0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.08 c #variables 11503 #constraints 936
0.00/0.08 c objective is ce64
0.00/0.09 c initial watched CF 32, 64, 128, Arb: 48 , 0 , 0 , 0
0.00/0.09 c initial counting CF 32, 64, 128, Arb: 174 , 3 , 0 , 0
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.07477
0.09/0.10 c GLOBAL bounds - >= 0 @ 0.080794
0.09/0.11 c GLOBAL bounds - >= 0 @ 0.083148
0.09/0.11 c GLOBAL bounds - >= 1073740800 @ 0.083148
0.39/0.43 c GLOBAL bounds - >= 1073740800 @ 0.381765
0.39/0.43 c GLOBAL bounds - >= 1073740800 @ 0.38782
0.39/0.44 c GLOBAL bounds - >= 1073740800 @ 0.394767
9.75/9.84 c #Conflicts: 1000 | #Constraints: 1939
9.75/9.84 c #Conflicts: 2000 | #Constraints: 2939
9.75/9.84 c INPROCESSING
9.75/9.84 c GARBAGE COLLECT
9.75/9.84 c rational objective 1.07768e+09
503.99/505.49 c #Conflicts: 3000 | #Constraints: 2965
503.99/505.49 c #Conflicts: 4000 | #Constraints: 3966
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 5000 | #Constraints: 3368
503.99/505.49 c #Conflicts: 6000 | #Constraints: 4368
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 7000 | #Constraints: 3365
503.99/505.49 c #Conflicts: 8000 | #Constraints: 4377
503.99/505.49 c #Conflicts: 9000 | #Constraints: 5395
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 10000 | #Constraints: 4105
503.99/505.49 c #Conflicts: 11000 | #Constraints: 5121
503.99/505.49 c #Conflicts: 12000 | #Constraints: 6132
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 13000 | #Constraints: 4666
503.99/505.49 c #Conflicts: 14000 | #Constraints: 5666
503.99/505.49 c #Conflicts: 15000 | #Constraints: 6666
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 16000 | #Constraints: 4823
503.99/505.49 c #Conflicts: 17000 | #Constraints: 5849
503.99/505.49 c #Conflicts: 18000 | #Constraints: 6853
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 19000 | #Constraints: 4816
503.99/505.49 c #Conflicts: 20000 | #Constraints: 5822
503.99/505.49 c #Conflicts: 21000 | #Constraints: 6822
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 22000 | #Constraints: 4593
503.99/505.49 c #Conflicts: 23000 | #Constraints: 5593
503.99/505.49 c #Conflicts: 24000 | #Constraints: 6593
503.99/505.49 c #Conflicts: 25000 | #Constraints: 7593
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 26000 | #Constraints: 5189
503.99/505.49 c #Conflicts: 27000 | #Constraints: 6309
503.99/505.49 c #Conflicts: 28000 | #Constraints: 7507
503.99/505.49 c #Conflicts: 29000 | #Constraints: 8697
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 30000 | #Constraints: 5930
503.99/505.49 c #Conflicts: 31000 | #Constraints: 7147
503.99/505.49 c #Conflicts: 32000 | #Constraints: 8206
503.99/505.49 c #Conflicts: 33000 | #Constraints: 9479
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 34000 | #Constraints: 6232
503.99/505.49 c #Conflicts: 35000 | #Constraints: 7244
503.99/505.49 c #Conflicts: 36000 | #Constraints: 8266
503.99/505.49 c #Conflicts: 37000 | #Constraints: 9456
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 38000 | #Constraints: 6597
503.99/505.49 c #Conflicts: 39000 | #Constraints: 8093
503.99/505.49 c #Conflicts: 40000 | #Constraints: 9221
503.99/505.49 c #Conflicts: 41000 | #Constraints: 10767
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 42000 | #Constraints: 6735
503.99/505.49 c #Conflicts: 43000 | #Constraints: 7735
503.99/505.49 c #Conflicts: 44000 | #Constraints: 8735
503.99/505.49 c #Conflicts: 45000 | #Constraints: 9735
503.99/505.49 c #Conflicts: 46000 | #Constraints: 10753
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 47000 | #Constraints: 6760
503.99/505.49 c #Conflicts: 48000 | #Constraints: 7784
503.99/505.49 c #Conflicts: 49000 | #Constraints: 8784
503.99/505.49 c #Conflicts: 50000 | #Constraints: 9805
503.99/505.49 c #Conflicts: 51000 | #Constraints: 10816
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 52000 | #Constraints: 6919
503.99/505.49 c #Conflicts: 53000 | #Constraints: 7929
503.99/505.49 c #Conflicts: 54000 | #Constraints: 8932
503.99/505.49 c #Conflicts: 55000 | #Constraints: 9946
503.99/505.49 c #Conflicts: 56000 | #Constraints: 10964
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 57000 | #Constraints: 7043
503.99/505.49 c #Conflicts: 58000 | #Constraints: 8070
503.99/505.49 c #Conflicts: 59000 | #Constraints: 9071
503.99/505.49 c #Conflicts: 60000 | #Constraints: 10403
503.99/505.49 c #Conflicts: 61000 | #Constraints: 11415
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 62000 | #Constraints: 7154
503.99/505.49 c #Conflicts: 63000 | #Constraints: 8227
503.99/505.49 c #Conflicts: 64000 | #Constraints: 9277
503.99/505.49 c #Conflicts: 65000 | #Constraints: 10291
503.99/505.49 c #Conflicts: 66000 | #Constraints: 11351
503.99/505.49 c INPROCESSING
503.99/505.49 c GARBAGE COLLECT
503.99/505.49 c #Conflicts: 67000 | #Constraints: 6986
503.99/505.49 c #Conflicts: 68000 | #Constraints: 7994
503.99/505.49 c #Conflicts: 69000 | #Constraints: 8999
503.99/505.49 c #Conflicts: 70000 | #Constraints: 10143
918.78/921.58 c #Conflicts: 71000 | #Constraints: 11296
918.78/921.58 c #Conflicts: 72000 | #Constraints: 12357
918.78/921.58 c INPROCESSING
918.78/921.58 c GARBAGE COLLECT
918.78/921.58 c #Conflicts: 73000 | #Constraints: 8073
918.78/921.58 c #Conflicts: 74000 | #Constraints: 9263
918.78/921.58 c #Conflicts: 75000 | #Constraints: 10529
918.78/921.58 c #Conflicts: 76000 | #Constraints: 11981
918.78/921.58 c #Conflicts: 77000 | #Constraints: 13278
918.78/921.58 c #Conflicts: 78000 | #Constraints: 14811
918.78/921.58 c INPROCESSING
918.78/921.58 c GARBAGE COLLECT
918.78/921.58 c #Conflicts: 79000 | #Constraints: 9128
918.78/921.58 c #Conflicts: 80000 | #Constraints: 10128
918.78/921.58 c #Conflicts: 81000 | #Constraints: 11129
918.78/921.58 c #Conflicts: 82000 | #Constraints: 12171
918.78/921.58 c #Conflicts: 83000 | #Constraints: 13336
918.78/921.58 c #Conflicts: 84000 | #Constraints: 14356
918.78/921.58 c INPROCESSING
918.78/921.58 c GARBAGE COLLECT
918.78/921.58 c #Conflicts: 85000 | #Constraints: 8671
918.78/921.58 c #Conflicts: 86000 | #Constraints: 9688
918.78/921.58 c #Conflicts: 87000 | #Constraints: 10719
918.78/921.58 c #Conflicts: 88000 | #Constraints: 11920
918.78/921.58 c #Conflicts: 89000 | #Constraints: 13473
918.78/921.58 c #Conflicts: 90000 | #Constraints: 15035
918.78/921.58 c INPROCESSING
918.78/921.58 c GARBAGE COLLECT
918.78/921.58 c #Conflicts: 91000 | #Constraints: 9179
918.78/921.58 c #Conflicts: 92000 | #Constraints: 10179
918.78/921.58 c #Conflicts: 93000 | #Constraints: 11179
918.78/921.58 c #Conflicts: 94000 | #Constraints: 12179
918.78/921.58 c #Conflicts: 95000 | #Constraints: 13181
918.78/921.58 c #Conflicts: 96000 | #Constraints: 14221
918.78/921.58 c INPROCESSING
918.78/921.58 c GARBAGE COLLECT
918.78/921.58 c #Conflicts: 97000 | #Constraints: 8509
918.78/921.58 c #Conflicts: 98000 | #Constraints: 9730
918.78/921.58 c #Conflicts: 99000 | #Constraints: 10730
918.78/921.58 c #Conflicts: 100000 | #Constraints: 11730
918.78/921.58 c #Conflicts: 101000 | #Constraints: 12920
918.78/921.58 c #Conflicts: 102000 | #Constraints: 14460
918.78/921.58 c #Conflicts: 103000 | #Constraints: 15834
918.78/921.58 c INPROCESSING
918.78/921.58 c GARBAGE COLLECT
918.78/921.58 c #Conflicts: 104000 | #Constraints: 9314
918.78/921.58 c #Conflicts: 105000 | #Constraints: 10324
918.78/921.58 c #Conflicts: 106000 | #Constraints: 11361
918.78/921.58 c #Conflicts: 107000 | #Constraints: 12621
918.78/921.58 c #Conflicts: 108000 | #Constraints: 14130
918.78/921.58 c #Conflicts: 109000 | #Constraints: 15130
918.78/921.58 c #Conflicts: 110000 | #Constraints: 16130
918.78/921.58 c INPROCESSING
918.78/921.58 c GARBAGE COLLECT
918.78/921.58 c rational objective 1.07768e+09
1597.97/1602.72 c #Conflicts: 111000 | #Constraints: 9717
1597.97/1602.72 c #Conflicts: 112000 | #Constraints: 10959
1597.97/1602.72 c #Conflicts: 113000 | #Constraints: 11990
1597.97/1602.72 c #Conflicts: 114000 | #Constraints: 13014
1597.97/1602.72 c #Conflicts: 115000 | #Constraints: 14155
1597.97/1602.72 c #Conflicts: 116000 | #Constraints: 15163
1597.97/1602.72 c #Conflicts: 117000 | #Constraints: 16198
1597.97/1602.72 c INPROCESSING
1597.97/1602.72 c GARBAGE COLLECT
1597.97/1602.72 c #Conflicts: 118000 | #Constraints: 9603
1597.97/1602.72 c #Conflicts: 119000 | #Constraints: 10630
1597.97/1602.72 c #Conflicts: 120000 | #Constraints: 11723
1597.97/1602.72 c #Conflicts: 121000 | #Constraints: 12771
1597.97/1602.72 c #Conflicts: 122000 | #Constraints: 13824
1597.97/1602.72 c #Conflicts: 123000 | #Constraints: 14857
1597.97/1602.72 c #Conflicts: 124000 | #Constraints: 16114
1597.97/1602.72 c INPROCESSING
1597.97/1602.72 c GARBAGE COLLECT
1597.97/1602.72 c #Conflicts: 125000 | #Constraints: 9490
1597.97/1602.72 c #Conflicts: 126000 | #Constraints: 10520
1597.97/1602.72 c #Conflicts: 127000 | #Constraints: 11554
1597.97/1602.72 c #Conflicts: 128000 | #Constraints: 12597
1597.97/1602.72 c #Conflicts: 129000 | #Constraints: 13671
1597.97/1602.72 c #Conflicts: 130000 | #Constraints: 14810
1597.97/1602.72 c #Conflicts: 131000 | #Constraints: 15842
1597.97/1602.72 c INPROCESSING
1597.97/1602.72 c GARBAGE COLLECT
1597.97/1602.72 c #Conflicts: 132000 | #Constraints: 9125
1597.97/1602.72 c #Conflicts: 133000 | #Constraints: 10151
1597.97/1602.72 c #Conflicts: 134000 | #Constraints: 11209
1597.97/1602.72 c #Conflicts: 135000 | #Constraints: 12300
1597.97/1602.72 c #Conflicts: 136000 | #Constraints: 13321
1597.97/1602.72 c #Conflicts: 137000 | #Constraints: 14327
1597.97/1602.72 c #Conflicts: 138000 | #Constraints: 15327
1597.97/1602.72 c #Conflicts: 139000 | #Constraints: 16327
1597.97/1602.72 c INPROCESSING
1597.97/1602.72 c GARBAGE COLLECT
1597.97/1602.72 c #Conflicts: 140000 | #Constraints: 9552
1597.97/1602.72 c #Conflicts: 141000 | #Constraints: 10552
1597.97/1602.72 c #Conflicts: 142000 | #Constraints: 11552
1597.97/1602.72 c #Conflicts: 143000 | #Constraints: 12552
1597.97/1602.72 c #Conflicts: 144000 | #Constraints: 13552
1597.97/1602.72 c #Conflicts: 145000 | #Constraints: 14552
1597.97/1602.72 c #Conflicts: 146000 | #Constraints: 15552
1597.97/1602.72 c #Conflicts: 147000 | #Constraints: 16594
1597.97/1602.72 c INPROCESSING
1597.97/1602.72 c GARBAGE COLLECT
1597.97/1602.72 c #Conflicts: 148000 | #Constraints: 10137
1597.97/1602.72 c #Conflicts: 149000 | #Constraints: 11691
1597.97/1602.72 c #Conflicts: 150000 | #Constraints: 13223
1597.97/1602.72 c #Conflicts: 151000 | #Constraints: 14766
1597.97/1602.72 c #Conflicts: 152000 | #Constraints: 16322
1597.97/1602.72 c #Conflicts: 153000 | #Constraints: 17889
1597.97/1602.72 c #Conflicts: 154000 | #Constraints: 19455
1597.97/1602.72 c #Conflicts: 155000 | #Constraints: 20589
1597.97/1602.72 c INPROCESSING
1597.97/1602.72 c GARBAGE COLLECT
1597.97/1602.72 c #Conflicts: 156000 | #Constraints: 11784
1597.97/1602.72 c #Conflicts: 157000 | #Constraints: 12796
1597.97/1602.72 c #Conflicts: 158000 | #Constraints: 13917
1597.97/1602.72 c #Conflicts: 159000 | #Constraints: 15229
1597.97/1602.72 c #Conflicts: 160000 | #Constraints: 16748
1597.97/1602.72 c #Conflicts: 161000 | #Constraints: 17784
1597.97/1602.72 c #Conflicts: 162000 | #Constraints: 19279
1597.97/1602.72 c #Conflicts: 163000 | #Constraints: 20369
1597.97/1602.72 c INPROCESSING
1597.97/1602.72 c GARBAGE COLLECT
1597.97/1602.72 c #Conflicts: 164000 | #Constraints: 11802
1597.97/1602.72 c #Conflicts: 165000 | #Constraints: 13315
1597.97/1602.72 c #Conflicts: 166000 | #Constraints: 14844
1597.97/1602.72 c #Conflicts: 167000 | #Constraints: 16169
1597.97/1602.72 c #Conflicts: 168000 | #Constraints: 17176
1597.97/1602.72 c #Conflicts: 169000 | #Constraints: 18290
1597.97/1602.72 c #Conflicts: 170000 | #Constraints: 19307
1597.97/1602.72 c #Conflicts: 171000 | #Constraints: 20322
1597.97/1602.72 c INPROCESSING
1597.97/1602.72 c GARBAGE COLLECT
1597.97/1602.72 c #Conflicts: 172000 | #Constraints: 11361
1597.97/1602.72 c #Conflicts: 173000 | #Constraints: 12389
1597.97/1602.72 c #Conflicts: 174000 | #Constraints: 13408
1597.97/1602.72 c #Conflicts: 175000 | #Constraints: 14425
1597.97/1602.72 c #Conflicts: 176000 | #Constraints: 15441
1597.97/1602.72 c #Conflicts: 177000 | #Constraints: 16461
1597.97/1602.72 c #Conflicts: 178000 | #Constraints: 17462
1597.97/1602.72 c #Conflicts: 179000 | #Constraints: 18536
1597.97/1602.72 c #Conflicts: 180000 | #Constraints: 19735
1597.97/1602.72 c INPROCESSING
1597.97/1602.72 c GARBAGE COLLECT
1597.97/1602.72 c #Conflicts: 181000 | #Constraints: 11320
1597.97/1602.72 c #Conflicts: 182000 | #Constraints: 12320
1597.97/1602.72 c #Conflicts: 183000 | #Constraints: 13320
1597.97/1602.72 c #Conflicts: 184000 | #Constraints: 14320
1638.15/1643.02 c #Conflicts: 185000 | #Constraints: 15320
1638.15/1643.02 c #Conflicts: 186000 | #Constraints: 16320
1638.15/1643.02 c #Conflicts: 187000 | #Constraints: 17320
1638.15/1643.02 c #Conflicts: 188000 | #Constraints: 18320
1638.15/1643.02 c #Conflicts: 189000 | #Constraints: 19320
1638.15/1643.02 c INPROCESSING
1638.15/1643.02 c GARBAGE COLLECT
1638.15/1643.02 c rational objective 1.0777e+09
2395.01/2402.60 c #Conflicts: 190000 | #Constraints: 11161
2395.01/2402.60 c #Conflicts: 191000 | #Constraints: 12401
2395.01/2402.60 c #Conflicts: 192000 | #Constraints: 13955
2395.01/2402.60 c #Conflicts: 193000 | #Constraints: 15085
2395.01/2402.60 c #Conflicts: 194000 | #Constraints: 16261
2395.01/2402.60 c #Conflicts: 195000 | #Constraints: 17801
2395.01/2402.60 c #Conflicts: 196000 | #Constraints: 19339
2395.01/2402.60 c #Conflicts: 197000 | #Constraints: 20896
2395.01/2402.60 c #Conflicts: 198000 | #Constraints: 22448
2395.01/2402.60 c INPROCESSING
2395.01/2402.60 c GARBAGE COLLECT
2395.01/2402.60 c #Conflicts: 199000 | #Constraints: 13152
2395.01/2402.60 c #Conflicts: 200000 | #Constraints: 14333
2395.01/2402.60 c #Conflicts: 201000 | #Constraints: 15386
2395.01/2402.60 c #Conflicts: 202000 | #Constraints: 16411
2395.01/2402.60 c #Conflicts: 203000 | #Constraints: 17431
2395.01/2402.60 c #Conflicts: 204000 | #Constraints: 18448
2395.01/2402.60 c #Conflicts: 205000 | #Constraints: 19904
2395.01/2402.60 c #Conflicts: 206000 | #Constraints: 20944
2395.01/2402.60 c #Conflicts: 207000 | #Constraints: 21949
2395.01/2402.60 c INPROCESSING
2395.01/2402.60 c GARBAGE COLLECT
2395.01/2402.60 c #Conflicts: 208000 | #Constraints: 12815
2395.01/2402.60 c #Conflicts: 209000 | #Constraints: 14434
2395.01/2402.60 c #Conflicts: 210000 | #Constraints: 15933
2395.01/2402.60 c #Conflicts: 211000 | #Constraints: 17531
2395.01/2402.60 c #Conflicts: 212000 | #Constraints: 19118
2395.01/2402.60 c #Conflicts: 213000 | #Constraints: 20700
2395.01/2402.60 c #Conflicts: 214000 | #Constraints: 22242
2395.01/2402.60 c #Conflicts: 215000 | #Constraints: 23787
2395.01/2402.60 c #Conflicts: 216000 | #Constraints: 25341
2395.01/2402.60 c INPROCESSING
2395.01/2402.60 c GARBAGE COLLECT
2395.01/2402.60 c #Conflicts: 217000 | #Constraints: 14058
2395.01/2402.60 c #Conflicts: 218000 | #Constraints: 15058
2395.01/2402.60 c #Conflicts: 219000 | #Constraints: 16058
2395.01/2402.60 c #Conflicts: 220000 | #Constraints: 17058
2395.01/2402.60 c #Conflicts: 221000 | #Constraints: 18069
2395.01/2402.60 c #Conflicts: 222000 | #Constraints: 19070
2395.01/2402.60 c #Conflicts: 223000 | #Constraints: 20071
2395.01/2402.60 c #Conflicts: 224000 | #Constraints: 21071
2395.01/2402.60 c #Conflicts: 225000 | #Constraints: 22143
2395.01/2402.60 c #Conflicts: 226000 | #Constraints: 23231
2395.01/2402.60 c INPROCESSING
2395.01/2402.60 c GARBAGE COLLECT
2395.01/2402.60 c #Conflicts: 227000 | #Constraints: 13021
2395.01/2402.60 c #Conflicts: 228000 | #Constraints: 14021
2395.01/2402.60 c #Conflicts: 229000 | #Constraints: 15171
2395.01/2402.60 c #Conflicts: 230000 | #Constraints: 16618
2395.01/2402.60 c #Conflicts: 231000 | #Constraints: 17961
2395.01/2402.60 c #Conflicts: 232000 | #Constraints: 18992
2395.01/2402.60 c #Conflicts: 233000 | #Constraints: 20000
2395.01/2402.60 c #Conflicts: 234000 | #Constraints: 21007
2395.01/2402.60 c #Conflicts: 235000 | #Constraints: 22029
2395.01/2402.60 c #Conflicts: 236000 | #Constraints: 23262
2395.01/2402.60 c INPROCESSING
2395.01/2402.60 c GARBAGE COLLECT
2395.01/2402.60 c #Conflicts: 237000 | #Constraints: 13124
2395.01/2402.60 c #Conflicts: 238000 | #Constraints: 14124
2395.01/2402.60 c #Conflicts: 239000 | #Constraints: 15124
2395.01/2402.60 c #Conflicts: 240000 | #Constraints: 16124
2395.01/2402.60 c #Conflicts: 241000 | #Constraints: 17124
2395.01/2402.60 c #Conflicts: 242000 | #Constraints: 18124
2395.01/2402.60 c #Conflicts: 243000 | #Constraints: 19124
2395.01/2402.60 c #Conflicts: 244000 | #Constraints: 20124
2395.01/2402.60 c #Conflicts: 245000 | #Constraints: 21124
2395.01/2402.60 c #Conflicts: 246000 | #Constraints: 22148
2395.01/2402.60 c INPROCESSING
2395.01/2402.60 c GARBAGE COLLECT
2395.01/2402.60 c #Conflicts: 247000 | #Constraints: 12579
2395.01/2402.60 c #Conflicts: 248000 | #Constraints: 13579
2395.01/2402.60 c #Conflicts: 249000 | #Constraints: 14601
2395.01/2402.60 c #Conflicts: 250000 | #Constraints: 16000
2395.01/2402.60 c #Conflicts: 251000 | #Constraints: 17028
2395.01/2402.60 c #Conflicts: 252000 | #Constraints: 18047
2395.01/2402.60 c #Conflicts: 253000 | #Constraints: 19206
2395.01/2402.60 c #Conflicts: 254000 | #Constraints: 20319
2395.01/2402.60 c #Conflicts: 255000 | #Constraints: 21505
2395.01/2402.60 c #Conflicts: 256000 | #Constraints: 22585
2395.01/2402.60 c INPROCESSING
2395.01/2402.60 c GARBAGE COLLECT
2395.01/2402.60 c #Conflicts: 257000 | #Constraints: 12746
2395.01/2402.60 c #Conflicts: 258000 | #Constraints: 13746
2395.01/2402.60 c #Conflicts: 259000 | #Constraints: 14746
2395.01/2402.60 c #Conflicts: 260000 | #Constraints: 15746
2395.01/2402.60 c #Conflicts: 261000 | #Constraints: 16746
2395.01/2402.60 c #Conflicts: 262000 | #Constraints: 17746
2395.01/2402.60 c #Conflicts: 263000 | #Constraints: 18746
2395.01/2402.60 c #Conflicts: 264000 | #Constraints: 19746
3189.47/3199.76 c #Conflicts: 265000 | #Constraints: 20746
3189.47/3199.76 c #Conflicts: 266000 | #Constraints: 21746
3189.47/3199.76 c INPROCESSING
3189.47/3199.76 c GARBAGE COLLECT
3189.47/3199.76 c #Conflicts: 267000 | #Constraints: 12078
3189.47/3199.76 c #Conflicts: 268000 | #Constraints: 13196
3189.47/3199.76 c #Conflicts: 269000 | #Constraints: 14726
3189.47/3199.76 c #Conflicts: 270000 | #Constraints: 15964
3189.47/3199.76 c #Conflicts: 271000 | #Constraints: 17567
3189.47/3199.76 c #Conflicts: 272000 | #Constraints: 19077
3189.47/3199.76 c #Conflicts: 273000 | #Constraints: 20652
3189.47/3199.76 c #Conflicts: 274000 | #Constraints: 22110
3189.47/3199.76 c #Conflicts: 275000 | #Constraints: 23703
3189.47/3199.76 c #Conflicts: 276000 | #Constraints: 25294
3189.47/3199.76 c #Conflicts: 277000 | #Constraints: 26751
3189.47/3199.76 c INPROCESSING
3189.47/3199.76 c GARBAGE COLLECT
3189.47/3199.76 c #Conflicts: 278000 | #Constraints: 14776
3189.47/3199.76 c #Conflicts: 279000 | #Constraints: 15804
3189.47/3199.76 c #Conflicts: 280000 | #Constraints: 16826
3189.47/3199.76 c #Conflicts: 281000 | #Constraints: 17883
3189.47/3199.76 c #Conflicts: 282000 | #Constraints: 18905
3189.47/3199.76 c #Conflicts: 283000 | #Constraints: 19905
3189.47/3199.76 c #Conflicts: 284000 | #Constraints: 20905
3189.47/3199.76 c #Conflicts: 285000 | #Constraints: 21905
3189.47/3199.76 c #Conflicts: 286000 | #Constraints: 22905
3189.47/3199.76 c #Conflicts: 287000 | #Constraints: 23905
3189.47/3199.76 c #Conflicts: 288000 | #Constraints: 24905
3189.47/3199.76 c INPROCESSING
3189.47/3199.76 c GARBAGE COLLECT
3189.47/3199.76 c #Conflicts: 289000 | #Constraints: 13989
3189.47/3199.76 c #Conflicts: 290000 | #Constraints: 15038
3189.47/3199.76 c #Conflicts: 291000 | #Constraints: 16078
3189.47/3199.76 c #Conflicts: 292000 | #Constraints: 17198
3189.47/3199.76 c #Conflicts: 293000 | #Constraints: 18687
3189.47/3199.76 c #Conflicts: 294000 | #Constraints: 20246
3189.47/3199.76 c #Conflicts: 295000 | #Constraints: 21597
3189.47/3199.76 c #Conflicts: 296000 | #Constraints: 22733
3189.47/3199.76 c #Conflicts: 297000 | #Constraints: 23733
3189.47/3199.76 c #Conflicts: 298000 | #Constraints: 24733
3189.47/3199.76 c #Conflicts: 299000 | #Constraints: 25733
3189.47/3199.76 c INPROCESSING
3189.47/3199.76 c GARBAGE COLLECT
3189.47/3199.76 c #Conflicts: 300000 | #Constraints: 14384
3189.47/3199.76 c #Conflicts: 301000 | #Constraints: 15397
3189.47/3199.76 c #Conflicts: 302000 | #Constraints: 16402
3189.47/3199.76 c #Conflicts: 303000 | #Constraints: 17407
3189.47/3199.76 c #Conflicts: 304000 | #Constraints: 18440
3189.47/3199.76 c #Conflicts: 305000 | #Constraints: 19461
3189.47/3199.76 c #Conflicts: 306000 | #Constraints: 20461
3189.47/3199.76 c #Conflicts: 307000 | #Constraints: 21470
3189.47/3199.76 c #Conflicts: 308000 | #Constraints: 22499
3189.47/3199.76 c #Conflicts: 309000 | #Constraints: 23524
3189.47/3199.76 c #Conflicts: 310000 | #Constraints: 24550
3189.47/3199.76 c INPROCESSING
3189.47/3199.76 c GARBAGE COLLECT
3189.47/3199.76 c #Conflicts: 311000 | #Constraints: 13704
3189.47/3199.76 c #Conflicts: 312000 | #Constraints: 14716
3189.47/3199.76 c #Conflicts: 313000 | #Constraints: 15773
3189.47/3199.76 c #Conflicts: 314000 | #Constraints: 17343
3189.47/3199.76 c #Conflicts: 315000 | #Constraints: 18915
3189.47/3199.76 c #Conflicts: 316000 | #Constraints: 20475
3189.47/3199.76 c #Conflicts: 317000 | #Constraints: 22016
3189.47/3199.76 c #Conflicts: 318000 | #Constraints: 23544
3189.47/3199.76 c #Conflicts: 319000 | #Constraints: 25066
3189.47/3199.76 c #Conflicts: 320000 | #Constraints: 26632
3189.47/3199.76 c #Conflicts: 321000 | #Constraints: 27845
3189.47/3199.76 c INPROCESSING
3189.47/3199.76 c GARBAGE COLLECT
3189.47/3199.76 c #Conflicts: 322000 | #Constraints: 15119
3189.47/3199.76 c #Conflicts: 323000 | #Constraints: 16142
3189.47/3199.76 c #Conflicts: 324000 | #Constraints: 17163
3189.47/3199.76 c #Conflicts: 325000 | #Constraints: 18198
3189.47/3199.76 c #Conflicts: 326000 | #Constraints: 19240
3189.47/3199.76 c #Conflicts: 327000 | #Constraints: 20456
3189.47/3199.76 c #Conflicts: 328000 | #Constraints: 21555
3189.47/3199.76 c #Conflicts: 329000 | #Constraints: 22555
3189.47/3199.76 c #Conflicts: 330000 | #Constraints: 23555
3189.47/3199.76 c #Conflicts: 331000 | #Constraints: 24581
3189.47/3199.76 c #Conflicts: 332000 | #Constraints: 25640
3189.47/3199.76 c #Conflicts: 333000 | #Constraints: 26640
3189.47/3199.76 c INPROCESSING
3189.47/3199.76 c GARBAGE COLLECT
3189.47/3199.76 c #Conflicts: 334000 | #Constraints: 14739
3189.47/3199.76 c #Conflicts: 335000 | #Constraints: 15852
3189.47/3199.76 c #Conflicts: 336000 | #Constraints: 16852
3189.47/3199.76 c #Conflicts: 337000 | #Constraints: 17861
3189.47/3199.76 c #Conflicts: 338000 | #Constraints: 18873
3600.03/3611.62 c #Conflicts: 339000 | #Constraints: 19880
3600.03/3611.62 c #Conflicts: 340000 | #Constraints: 20911
3600.03/3611.62 c #Conflicts: 341000 | #Constraints: 21911
3600.03/3611.62 c #Conflicts: 342000 | #Constraints: 22911
3600.03/3611.62 c #Conflicts: 343000 | #Constraints: 23919
3600.03/3611.62 c #Conflicts: 344000 | #Constraints: 24944
3600.03/3611.62 c #Conflicts: 345000 | #Constraints: 26103
3600.03/3611.62 c INPROCESSING
3600.03/3611.62 c GARBAGE COLLECT
3600.03/3611.62 c #Conflicts: 346000 | #Constraints: 14617
3600.03/3611.62 c #Conflicts: 347000 | #Constraints: 15629
3600.03/3611.62 c #Conflicts: 348000 | #Constraints: 16734
3600.03/3611.62 c #Conflicts: 349000 | #Constraints: 17740
3600.03/3611.62 c #Conflicts: 350000 | #Constraints: 18754
3600.03/3611.62 c #Conflicts: 351000 | #Constraints: 19788
3600.03/3611.62 c #Conflicts: 352000 | #Constraints: 21092
3600.03/3611.62 c #Conflicts: 353000 | #Constraints: 22383
3600.03/3611.62 c #Conflicts: 354000 | #Constraints: 23424
3600.03/3611.62 c #Conflicts: 355000 | #Constraints: 24424
3600.03/3611.62 c #Conflicts: 356000 | #Constraints: 25426
3600.03/3611.62 c #Conflicts: 357000 | #Constraints: 26443
3600.03/3611.62 c INPROCESSING
3600.03/3611.62 c GARBAGE COLLECT
3600.03/3611.62 c #Conflicts: 358000 | #Constraints: 14733
3600.03/3611.62 c #Conflicts: 359000 | #Constraints: 15746
3600.03/3611.62 c #Conflicts: 360000 | #Constraints: 17263
3600.03/3611.62 c #Conflicts: 361000 | #Constraints: 18596
3600.03/3611.62 c #Conflicts: 362000 | #Constraints: 19614
3600.03/3611.62 c #Conflicts: 363000 | #Constraints: 20719
3600.03/3611.62 c #Conflicts: 364000 | #Constraints: 21809
3600.03/3611.62 c #Conflicts: 365000 | #Constraints: 22829
3600.03/3611.62 c #Conflicts: 366000 | #Constraints: 23954
3600.03/3611.62 c #Conflicts: 367000 | #Constraints: 25020
3600.03/3611.62 c #Conflicts: 368000 | #Constraints: 26252
3600.03/3611.62 c #Conflicts: 369000 | #Constraints: 27565
3600.03/3611.62 c INPROCESSING
3600.03/3611.62 c GARBAGE COLLECT
3600.03/3611.62 c #Conflicts: 370000 | #Constraints: 15223
3600.03/3611.62 c #Conflicts: 371000 | #Constraints: 16284
3600.03/3611.62 c #Conflicts: 372000 | #Constraints: 17652
3600.03/3611.62 c #Conflicts: 373000 | #Constraints: 19209
3600.03/3611.62 c #Conflicts: 374000 | #Constraints: 20741
3600.03/3611.62 c #Conflicts: 375000 | #Constraints: 22304
3600.03/3611.62 c cpu time 3560.68 s
3600.03/3611.62 c deterministic time 371765233962 3.72e+11
3600.03/3611.62 c optimization time 67.8705 s
3600.03/3611.62 c total solve time 3492.75 s
3600.03/3611.62 c core-guided solve time 0 s
3600.03/3611.62 c propagation time 2127.32 s
3600.03/3611.62 c conflict analysis time 1130.16 s
3600.03/3611.62 c propagations 41619436
3600.03/3611.62 c resolve steps 1174030
3600.03/3611.62 c decisions 7409255
3600.03/3611.62 c conflicts 375920
3600.03/3611.62 c restarts 892
3600.03/3611.62 c inprocessing phases 52
3600.03/3611.62 c garbage collections 52 ,( 100.00 )
3600.03/3611.62 c input clauses 2 ,( 0.21 )
3600.03/3611.62 c input cardinalities 712 ,( 75.74 )
3600.03/3611.62 c input general constraints 226 ,( 24.04 )
3600.03/3611.62 c input average constraint length 223.75
3600.03/3611.62 c input average constraint degree 410775706686.68
3600.03/3611.62 c learned clauses 214984 ,( 50.33 )
3600.03/3611.62 c learned cardinalities 171 ,( 0.04 )
3600.03/3611.62 c learned general constraints 211961 ,( 49.63 )
3600.03/3611.62 c learned average constraint length 7212.95
3600.03/3611.62 c learned average constraint degree 688158480.14
3600.03/3611.62 c watched CF 32, 64, 128, Arb: 142563 , 0 , 0 , 0
3600.03/3611.62 c counting CF 32, 64, 128, Arb: 69620 , 5 , 0 , 0
3600.03/3611.62 c watched constraints 142563 ,( 67.19 )
3600.03/3611.62 c counting constraints 69624 ,( 32.81 )
3600.03/3611.62 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 6399378 , 721564 , 8437416363 ,( 1458958028 , 6978458335 )
3600.03/3611.62 c gcd simplifications 246325
3600.03/3611.62 c detected cardinalities 40
3600.03/3611.62 c weakened non-implied lits 100911217
3600.03/3611.62 c weakened non-implying lits 7981795
3600.03/3611.62 c original variables 11503
3600.03/3611.62 c clausal propagations 50416
3600.03/3611.62 c cardinality propagations 367858
3600.03/3611.62 c watched propagations 6054435
3600.03/3611.62 c counting propagations 34668205
3600.03/3611.62 c watch lookups 12769756141
3600.03/3611.62 c watch backjump lookups 0
3600.03/3611.62 c watch checks 93847296880
3600.03/3611.62 c propagation checks 254384375373
3600.03/3611.62 c constraint additions 10664864519
3600.03/3611.62 c trail pops 49393271
3600.03/3611.62 c formula constraints 936
3600.03/3611.62 c learned constraints 375912
3600.03/3611.62 c bound constraints 0
3600.03/3611.62 c core-guided constraints 0
3600.03/3611.62 c encountered formula constraints 1020382
3600.03/3611.62 c encountered learned constraints 492717
3600.03/3611.62 c encountered bound constraints 0
3600.03/3611.62 c encountered core-guided constraints 0
3600.03/3611.62 c LP total time 390.987 s
3600.03/3611.62 c LP solve time 324.62 s
3600.03/3611.62 c LP constraints added 961
3600.03/3611.62 c LP constraints removed 7
3600.03/3611.62 c LP pivots internal 371543
3600.03/3611.62 c LP pivots root 147543
3600.03/3611.62 c LP calls 66151
3600.03/3611.62 c LP optimalities 14475
3600.03/3611.62 c LP no pivot count 5715
3600.03/3611.62 c LP infeasibilities 51617
3600.03/3611.62 c LP valid Farkas constraints 51178
3600.03/3611.62 c LP learned Farkas constraints 8
3600.03/3611.62 c LP basis resets 55
3600.03/3611.62 c LP cycling count 3
3600.03/3611.62 c LP singular count 52
3600.03/3611.62 c LP no primal count 0
3600.03/3611.62 c LP no farkas count 0
3600.03/3611.62 c LP other issue count 0
3600.03/3611.62 c LP Gomory cuts 18
3600.03/3611.62 c LP learned cuts 7
3600.03/3611.62 c LP deleted cuts 7
3600.03/3611.62 c LP encountered Gomory constraints 4929
3600.03/3611.62 c LP encountered Farkas constraints 31912
3600.03/3611.62 c LP encountered learned Farkas constraints 2
3600.03/3611.62 c CG auxiliary variables introduced 3
3600.03/3611.62 c CG solutions found 0
3600.03/3611.62 c CG cores constructed 2
3600.03/3611.62 c CG core cardinality constraints returned 0
3600.03/3611.62 c CG unit cores 1
3600.03/3611.62 c CG single cores 0
3600.03/3611.62 c CG blocks removed during cardinality reduction 0
3600.03/3611.62 c CG first core best 0
3600.03/3611.62 c CG decision core best 0
3600.03/3611.62 c CG core reduction tie 0
3600.03/3611.62 c CG core degree average 0.00
3600.03/3611.62 c CG core slack average 0.00
3600.03/3611.62 c CG core upper bound improvements 0
3600.03/3611.62 c STR number of successful calls 0
3600.03/3611.62 c STR number of unsuccessful calls 0
3600.03/3611.62 c STR number of inconclusive calls 0
3600.03/3611.62 c STR number of successful attempts 0
3600.03/3611.62 c STR number of unsuccessful attempts 0
3600.03/3611.62 c STR number of inconclusive attempts 0
3600.03/3611.62 c STR average degree increase per successful call inf
3600.03/3611.62 c STR average degree increase per successful attempt inf
3600.03/3611.62 c STR total number of conflicts for successful attempts 0
3600.03/3611.62 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.62 c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.62 c STR average number of conflicts per successful attempt inf
3600.03/3611.62 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.62 c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.62 c AVG.sumWPerc 30.14
3600.03/3611.62 c bigint constraints 5
3600.03/3611.62 s UNKNOWN
3600.03/3611.62 c Program interrupted by user.
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: 63708 MiB (58735 MiB free)
memory of node 1: 64465 MiB (63059 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485459-1751307917/watcher-4485459-1751307917 -o /tmp/evaluation-result-4485459-1751307917/solver-4485459-1751307917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751304294-40739 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485459-1751307917.opb PROOFDIR/proof-4485459-1751307917
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41188, runsolver pid=41185
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.11 4.09 5/275 41190
/proc/meminfo: memFree=124682948/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=75544 memory=27860 CPUtime=0.09 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 5351 0 0 0 8 1 0 0 20 0 1 0 46469230 77357056 6965 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 18886 6965 2336 1147 0 6313 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79736 KiB
Current children cumulated memory: 30932 KiB
[startup+0.205772 s]*
/proc/loadavg: 4.10 4.11 4.09 5/275 41190
/proc/meminfo: memFree=124667196/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=89072 memory=39108 CPUtime=0.18 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 10965 0 0 0 16 2 0 0 20 0 1 0 46469230 91209728 9777 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 22268 9777 2368 1147 0 9695 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 93264 KiB
Current children cumulated memory: 42180 KiB
[startup+0.305653 s]*
/proc/loadavg: 4.10 4.11 4.09 5/275 41190
/proc/meminfo: memFree=124659132/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=89564 memory=39492 CPUtime=0.29 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 11048 0 0 0 26 3 0 0 20 0 1 0 46469230 91713536 9873 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 22391 9873 2400 1147 0 9818 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93756 KiB
Current children cumulated memory: 42564 KiB
[startup+0.700152 s]
/proc/loadavg: 4.10 4.11 4.09 5/275 41190
/proc/meminfo: memFree=124646972/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=97756 memory=48572 CPUtime=0.68 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 12297 0 0 0 63 5 0 0 20 0 1 0 46469230 100102144 12143 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 24439 12143 2400 1147 0 11866 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101948 KiB
Current children cumulated memory: 51644 KiB
[startup+1.50015 s]
/proc/loadavg: 4.09 4.11 4.09 5/275 41190
/proc/meminfo: memFree=124546924/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=118936 memory=69560 CPUtime=1.48 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 17036 0 0 0 133 15 0 0 20 0 1 0 46469230 121790464 17390 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 29734 17390 2400 1147 0 17161 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123128 KiB
Current children cumulated memory: 72632 KiB
[startup+3.10554 s]
/proc/loadavg: 4.09 4.11 4.09 5/275 41190
/proc/meminfo: memFree=124139812/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=142644 memory=89968 CPUtime=3.07 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 19079 0 0 0 289 18 0 0 20 0 1 0 46469230 146067456 22492 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 35661 22492 2400 1147 0 23088 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 146836 KiB
Current children cumulated memory: 93040 KiB
[startup+6.30015 s]
/proc/loadavg: 4.08 4.10 4.09 5/275 41190
/proc/meminfo: memFree=123544128/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=197564 memory=123872 CPUtime=6.26 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 21425 0 0 0 602 24 0 0 20 0 1 0 46469230 202305536 30968 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 49391 30968 2400 1147 0 36818 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 201756 KiB
Current children cumulated memory: 126944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/275 41190
/proc/meminfo: memFree=122718188/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=279368 memory=219952 CPUtime=12.64 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 39115 0 0 0 1224 40 0 0 20 0 1 0 46469230 286072832 54988 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 69842 54988 2400 1147 0 57269 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 283560 KiB
Current children cumulated memory: 223024 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/274 41190
/proc/meminfo: memFree=121072428/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=352436 memory=293408 CPUtime=25.42 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 45105 0 0 0 2482 60 0 0 20 0 1 0 46469230 360894464 73352 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 88109 73352 2496 1147 0 75536 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 356628 KiB
Current children cumulated memory: 296480 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.12 4.09 5/273 41191
/proc/meminfo: memFree=118117120/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=478892 memory=370456 CPUtime=50.94 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 56710 0 0 0 4999 95 0 0 20 0 1 0 46469230 490385408 92614 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 119723 92614 2496 1147 0 107150 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 483084 KiB
Current children cumulated memory: 373528 KiB
[startup+102.3 s]
/proc/loadavg: 4.54 4.23 4.13 5/273 41192
/proc/meminfo: memFree=113088992/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=718292 memory=557076 CPUtime=102 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 83775 0 0 0 10024 176 0 0 20 0 1 0 46469230 735531008 139269 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 179573 139269 2496 1147 0 167000 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 722484 KiB
Current children cumulated memory: 560148 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.21 4.13 5/272 41194
/proc/meminfo: memFree=108669844/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=824288 memory=667444 CPUtime=161.84 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 105791 0 0 0 15925 259 0 0 20 0 1 0 46469230 844070912 166861 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 206072 166861 2496 1147 0 193499 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 828480 KiB
Current children cumulated memory: 670516 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.20 4.13 5/271 41196
/proc/meminfo: memFree=104695304/131249996 swapFree=33010684/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=878648 memory=772072 CPUtime=221.68 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 120185 0 0 0 21828 340 0 0 20 0 1 0 46469230 899735552 193018 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 219662 193018 2496 1147 0 207089 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/277 41370
/proc/meminfo: memFree=535332/131249996 swapFree=33010416/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=4216580 memory=3481524 CPUtime=3212 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 569017 0 0 0 317643 3557 0 0 20 0 1 0 46469230 4317777920 870381 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1054145 870381 2496 1147 0 1041572 0
Current children cumulated CPU time: 3212 s
Current children cumulated vsize: 4220772 KiB
Current children cumulated memory: 3484596 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/276 41372
/proc/meminfo: memFree=647424/131249996 swapFree=33010416/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=4227944 memory=3514676 CPUtime=3271.81 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 577407 0 0 0 323563 3618 0 0 20 0 1 0 46469230 4329414656 878669 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1056986 878669 2496 1147 0 1044413 0
Current children cumulated CPU time: 3271.81 s
Current children cumulated vsize: 4232136 KiB
Current children cumulated memory: 3517748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/276 41374
/proc/meminfo: memFree=520684/131249996 swapFree=33010416/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=4239620 memory=3526480 CPUtime=3331.6 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 578489 0 0 0 329477 3683 0 0 20 0 1 0 46469230 4341370880 881620 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1059905 881620 2496 1147 0 1047332 0
Current children cumulated CPU time: 3331.6 s
Current children cumulated vsize: 4243812 KiB
Current children cumulated memory: 3529552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/276 41377
/proc/meminfo: memFree=704864/131249996 swapFree=33010416/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=4242180 memory=3562740 CPUtime=3391.42 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 579456 0 0 0 335399 3743 0 0 20 0 1 0 46469230 4343992320 890685 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1060545 890685 2496 1147 0 1047972 0
Current children cumulated CPU time: 3391.42 s
Current children cumulated vsize: 4246372 KiB
Current children cumulated memory: 3565812 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/277 41380
/proc/meminfo: memFree=734176/131249996 swapFree=33010416/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=4243540 memory=3568124 CPUtime=3451.23 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 580044 0 0 0 341316 3807 0 0 20 0 1 0 46469230 4345384960 892031 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1060885 892031 2496 1147 0 1048312 0
Current children cumulated CPU time: 3451.23 s
Current children cumulated vsize: 4247732 KiB
Current children cumulated memory: 3571196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/275 41388
/proc/meminfo: memFree=523572/131249996 swapFree=33010416/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=4243540 memory=3568380 CPUtime=3511.04 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 580190 0 0 0 347241 3863 0 0 20 0 1 0 46469230 4345384960 892095 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1060885 892095 2496 1147 0 1048312 0
Current children cumulated CPU time: 3511.04 s
Current children cumulated vsize: 4247732 KiB
Current children cumulated memory: 3571452 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/274 41390
/proc/meminfo: memFree=584200/131249996 swapFree=33010416/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=4243540 memory=3578976 CPUtime=3570.85 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 580358 0 0 0 353173 3912 0 0 20 0 1 0 46469230 4345384960 894744 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1060885 894744 2496 1147 0 1048312 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 4247732 KiB
Current children cumulated memory: 3582048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.16 4.12 4.12 4/266 41464
/proc/meminfo: memFree=50540744/131249996 swapFree=33010416/33010684
[pid=41188] ppid=41185 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/41188/stat : 41188 (run-opt-log.sh) S 41185 41188 40729 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 46469229 4292608 768 18446744073709551615 94075026853888 94075027748421 140726965792208 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94075027987472 94075028035216 94075031617536 140726965799201 140726965799396 140726965799396 140726965804998 0
/proc/41188/statm: 1048 768 704 219 0 110 0
[pid=41190] ppid=41188 vsize=4243540 memory=3579360 CPUtime=3600.03 cores=0,2
/proc/41190/stat : 41190 (roundingsat) R 41188 41188 40729 0 -1 4194304 580678 0 0 0 356067 3936 0 0 20 0 1 0 46469230 4345384960 894840 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1060885 894840 2496 1147 0 1048312 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4247732 KiB
Current children cumulated memory: 3582432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.61 s]
# the end of solver process 41188 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.00199 s
[startup+3612.62 s]
# the end of solver process 41190 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3560.69 s, system=39.5175 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 4.07 4.10 4.11 2/271 41484
/proc/meminfo: memFree=51664532/131249996 swapFree=33010416/33010684
[pid=41190] ppid=41185 vsize=4243540 memory=3579616 CPUtime=3600.05 cores=0,2
/proc/41190/stat : 41190 (roundingsat) D 41185 41188 40729 0 -1 4194304 580679 0 2 0 356068 3937 0 0 20 0 1 0 46469230 4345384960 894904 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1060885 894904 2560 1147 0 1048312 0
Current cumulated CPU time of completed processes: 0.00199 s
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4243540 KiB
Current children cumulated memory: 3579616 KiB
[startup+3612.4 s]
/proc/loadavg: 4.07 4.10 4.11 2/271 41484
/proc/meminfo: memFree=51664532/131249996 swapFree=33010416/33010684
[pid=41190] ppid=41185 vsize=4243540 memory=3579616 CPUtime=3600.05 cores=0,2
/proc/41190/stat : 41190 (roundingsat) D 41185 41188 40729 0 -1 4194304 580679 0 2 0 356068 3937 0 0 20 0 1 0 46469230 4345384960 894904 18446744073709551615 4227072 8923433 140726589197040 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 14778368 140726589200722 140726589200936 140726589200936 140726589206506 0
/proc/41190/statm: 1060885 894904 2560 1147 0 1048312 0
Current cumulated CPU time of completed processes: 0.00199 s
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4243540 KiB
Current children cumulated memory: 3579616 KiB
[startup+3612.61 s]
/proc/loadavg: 4.07 4.10 4.11 4/271 41484
/proc/meminfo: memFree=52748720/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.00199 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3612.62
CPU time (s): 3600.21
CPU user time (s): 3560.69
CPU system time (s): 39.5175
CPU usage (%): 99.6564
Max. virtual memory (cumulated for all children) (KiB): 4247732
Max. memory (cumulated for all children) (KiB): 3582432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.69
system time used= 39.5175
maximum resident set size= 3579616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580905
page faults= 2
swaps= 0
block input operations= 3272
block output operations= 74278768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5296
involuntary context switches= 7463
# summary of solver processes directly reported to runsolver:
# pid: 41188,41190
# total CPU time (s): 3600.21
# total CPU user time (s): 3560.69
# total CPU system time (s): 39.5175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24196 second user time and 17.3554 second system time
The end
Begin job on nodeC015 at 2025-06-30 20:25:17
IDJOB=4485459
IDBENCH=146795
IDSOLVER=3351
FILE ID=nodeC015/4485459-1751307917
RUNJOBID= nodeC015-1751304294-40739
SLURM_JOB_ID= 9594299
Free space on /tmp= 432980 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485459-1751307917/watcher-4485459-1751307917 -o /tmp/evaluation-result-4485459-1751307917/solver-4485459-1751307917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751304294-40739 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485459-1751307917.opb PROOFDIR/proof-4485459-1751307917
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55b762fd6bb408eb2777c16ed585e3a1
RANDOM SEED=1284465345
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.076
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.073
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3604.756
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3595.735
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.070
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.072
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3608.053
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3598.978
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 124774172 kB
MemAvailable: 128855056 kB
Buffers: 3280 kB
Cached: 4868932 kB
SwapCached: 0 kB
Active: 1040492 kB
Inactive: 4558724 kB
Active(anon): 744260 kB
Inactive(anon): 884 kB
Active(file): 296232 kB
Inactive(file): 4557840 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 317960 kB
Writeback: 0 kB
AnonPages: 730196 kB
Mapped: 116844 kB
Shmem: 18076 kB
KReclaimable: 132104 kB
Slab: 230776 kB
SReclaimable: 132104 kB
SUnreclaim: 98672 kB
KernelStack: 4448 kB
PageTables: 4568 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1125292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 149504 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC015 at 2025-06-30 21:25:30