0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.18/0.28 c [STEP] preprocessing with Papilo
0.48/0.54 c [STEP] solving with SCIP
300.70/301.62 c [STEP] preprocessing done, loading into solver
300.70/301.69 c [STEP] solving
300.70/301.69 c #variables 91080 #constraints 1684
300.70/301.69 c SMALL=int, LARGE=long long
300.70/301.69 d SCIPUB 63
300.70/301.69 c bounds - >= 0 @ 300.016
300.70/301.69 c stratification level: 0
623.56/625.38 c bounds - >= 60 @ 300.024
623.56/625.38 c #Conflicts: 1000 | #Constraints: 2685
623.56/625.38 c #Conflicts: 2000 | #Constraints: 3685
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 3000 | #Constraints: 3698
623.56/625.38 c #Conflicts: 4000 | #Constraints: 4698
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 5000 | #Constraints: 4113
623.56/625.38 c #Conflicts: 6000 | #Constraints: 5113
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 7000 | #Constraints: 4116
623.56/625.38 c #Conflicts: 8000 | #Constraints: 5116
623.56/625.38 c #Conflicts: 9000 | #Constraints: 6116
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 10000 | #Constraints: 4822
623.56/625.38 c #Conflicts: 11000 | #Constraints: 5822
623.56/625.38 c #Conflicts: 12000 | #Constraints: 6822
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 13000 | #Constraints: 5275
623.56/625.38 c #Conflicts: 14000 | #Constraints: 6275
623.56/625.38 c #Conflicts: 15000 | #Constraints: 7275
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 16000 | #Constraints: 5507
623.56/625.38 c #Conflicts: 17000 | #Constraints: 6507
623.56/625.38 c #Conflicts: 18000 | #Constraints: 7507
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 19000 | #Constraints: 5519
623.56/625.38 c #Conflicts: 20000 | #Constraints: 6519
623.56/625.38 c #Conflicts: 21000 | #Constraints: 7519
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 22000 | #Constraints: 5320
623.56/625.38 c #Conflicts: 23000 | #Constraints: 6320
623.56/625.38 c #Conflicts: 24000 | #Constraints: 7320
623.56/625.38 c #Conflicts: 25000 | #Constraints: 8320
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 26000 | #Constraints: 5936
623.56/625.38 c #Conflicts: 27000 | #Constraints: 6936
623.56/625.38 c #Conflicts: 28000 | #Constraints: 7936
623.56/625.38 c #Conflicts: 29000 | #Constraints: 8936
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 30000 | #Constraints: 6330
623.56/625.38 c #Conflicts: 31000 | #Constraints: 7330
623.56/625.38 c #Conflicts: 32000 | #Constraints: 8330
623.56/625.38 c #Conflicts: 33000 | #Constraints: 9330
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 34000 | #Constraints: 6529
623.56/625.38 c #Conflicts: 35000 | #Constraints: 7529
623.56/625.38 c #Conflicts: 36000 | #Constraints: 8529
623.56/625.38 c #Conflicts: 37000 | #Constraints: 9529
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 38000 | #Constraints: 6545
623.56/625.38 c #Conflicts: 39000 | #Constraints: 7545
623.56/625.38 c #Conflicts: 40000 | #Constraints: 8545
623.56/625.38 c #Conflicts: 41000 | #Constraints: 9545
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 42000 | #Constraints: 6346
623.56/625.38 c #Conflicts: 43000 | #Constraints: 7346
623.56/625.38 c #Conflicts: 44000 | #Constraints: 8346
623.56/625.38 c #Conflicts: 45000 | #Constraints: 9346
623.56/625.38 c #Conflicts: 46000 | #Constraints: 10346
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 47000 | #Constraints: 6933
623.56/625.38 c #Conflicts: 48000 | #Constraints: 7933
623.56/625.38 c #Conflicts: 49000 | #Constraints: 8933
623.56/625.38 c #Conflicts: 50000 | #Constraints: 9933
623.56/625.38 c #Conflicts: 51000 | #Constraints: 10933
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 52000 | #Constraints: 7333
623.56/625.38 c #Conflicts: 53000 | #Constraints: 8333
623.56/625.38 c #Conflicts: 54000 | #Constraints: 9333
623.56/625.38 c #Conflicts: 55000 | #Constraints: 10333
623.56/625.38 c #Conflicts: 56000 | #Constraints: 11333
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 57000 | #Constraints: 7526
623.56/625.38 c #Conflicts: 58000 | #Constraints: 8526
623.56/625.38 c #Conflicts: 59000 | #Constraints: 9526
623.56/625.38 c #Conflicts: 60000 | #Constraints: 10526
623.56/625.38 c #Conflicts: 61000 | #Constraints: 11526
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 62000 | #Constraints: 7534
623.56/625.38 c #Conflicts: 63000 | #Constraints: 8534
623.56/625.38 c #Conflicts: 64000 | #Constraints: 9534
623.56/625.38 c #Conflicts: 65000 | #Constraints: 10534
623.56/625.38 c #Conflicts: 66000 | #Constraints: 11534
623.56/625.38 c INPROCESSING
623.56/625.38 c GARBAGE COLLECT
623.56/625.38 c #Conflicts: 67000 | #Constraints: 7339
1292.07/1295.64 c #Conflicts: 68000 | #Constraints: 8339
1292.07/1295.64 c #Conflicts: 69000 | #Constraints: 9339
1292.07/1295.64 c #Conflicts: 70000 | #Constraints: 10339
1292.07/1295.64 c #Conflicts: 71000 | #Constraints: 11339
1292.07/1295.64 c #Conflicts: 72000 | #Constraints: 12339
1292.07/1295.64 c INPROCESSING
1292.07/1295.64 c GARBAGE COLLECT
1292.07/1295.64 c #Conflicts: 73000 | #Constraints: 7932
1292.07/1295.64 c #Conflicts: 74000 | #Constraints: 8932
1292.07/1295.64 c #Conflicts: 75000 | #Constraints: 9932
1292.07/1295.64 c #Conflicts: 76000 | #Constraints: 10932
1292.07/1295.64 c #Conflicts: 77000 | #Constraints: 11932
1292.07/1295.64 c #Conflicts: 78000 | #Constraints: 12932
1292.07/1295.64 c INPROCESSING
1292.07/1295.64 c GARBAGE COLLECT
1292.07/1295.64 c #Conflicts: 79000 | #Constraints: 8340
1292.07/1295.64 c #Conflicts: 80000 | #Constraints: 9340
1292.07/1295.64 c #Conflicts: 81000 | #Constraints: 10340
1292.07/1295.64 c #Conflicts: 82000 | #Constraints: 11340
1292.07/1295.64 c #Conflicts: 83000 | #Constraints: 12340
1292.07/1295.64 c #Conflicts: 84000 | #Constraints: 13340
1292.07/1295.64 c INPROCESSING
1292.07/1295.64 c GARBAGE COLLECT
1292.07/1295.64 c #Conflicts: 85000 | #Constraints: 8552
1292.07/1295.65 c #Conflicts: 86000 | #Constraints: 9552
1292.07/1295.65 c #Conflicts: 87000 | #Constraints: 10552
1292.07/1295.65 c #Conflicts: 88000 | #Constraints: 11552
1292.07/1295.65 c #Conflicts: 89000 | #Constraints: 12552
1292.07/1295.65 c #Conflicts: 90000 | #Constraints: 13552
1292.07/1295.65 c INPROCESSING
1292.07/1295.65 c GARBAGE COLLECT
1292.07/1295.65 c #Conflicts: 91000 | #Constraints: 8546
1292.07/1295.65 c #Conflicts: 92000 | #Constraints: 9546
1292.07/1295.65 c #Conflicts: 93000 | #Constraints: 10546
1292.07/1295.65 c #Conflicts: 94000 | #Constraints: 11546
1292.07/1295.65 c #Conflicts: 95000 | #Constraints: 12546
1292.07/1295.65 c #Conflicts: 96000 | #Constraints: 13546
1292.07/1295.65 c INPROCESSING
1292.07/1295.65 c GARBAGE COLLECT
1292.07/1295.65 c #Conflicts: 97000 | #Constraints: 8344
1292.07/1295.65 c #Conflicts: 98000 | #Constraints: 9344
1292.07/1295.65 c #Conflicts: 99000 | #Constraints: 10344
1292.07/1295.65 c #Conflicts: 100000 | #Constraints: 11344
1292.07/1295.65 c #Conflicts: 101000 | #Constraints: 12344
1292.07/1295.65 c #Conflicts: 102000 | #Constraints: 13344
1292.07/1295.65 c #Conflicts: 103000 | #Constraints: 14344
1292.07/1295.65 c INPROCESSING
1292.07/1295.65 c GARBAGE COLLECT
1292.07/1295.65 c #Conflicts: 104000 | #Constraints: 8933
1292.07/1295.65 c #Conflicts: 105000 | #Constraints: 9933
1292.07/1295.65 c #Conflicts: 106000 | #Constraints: 10933
1292.07/1295.65 c #Conflicts: 107000 | #Constraints: 11933
1292.07/1295.65 c #Conflicts: 108000 | #Constraints: 12933
1292.07/1295.65 c #Conflicts: 109000 | #Constraints: 13933
1292.07/1295.65 c #Conflicts: 110000 | #Constraints: 14933
1292.07/1295.65 c INPROCESSING
1292.07/1295.65 c GARBAGE COLLECT
1292.07/1295.65 c #Conflicts: 111000 | #Constraints: 9337
1292.07/1295.65 c #Conflicts: 112000 | #Constraints: 10337
1292.07/1295.65 c #Conflicts: 113000 | #Constraints: 11337
1292.07/1295.65 c #Conflicts: 114000 | #Constraints: 12337
1292.07/1295.65 c #Conflicts: 115000 | #Constraints: 13337
1292.07/1295.65 c #Conflicts: 116000 | #Constraints: 14337
1292.07/1295.65 c #Conflicts: 117000 | #Constraints: 15337
1292.07/1295.65 c INPROCESSING
1292.07/1295.65 c GARBAGE COLLECT
1292.07/1295.65 c #Conflicts: 118000 | #Constraints: 9537
1292.07/1295.65 c #Conflicts: 119000 | #Constraints: 10537
1292.07/1295.65 c #Conflicts: 120000 | #Constraints: 11537
1292.07/1295.65 c #Conflicts: 121000 | #Constraints: 12537
1292.07/1295.65 c #Conflicts: 122000 | #Constraints: 13537
1292.07/1295.65 c #Conflicts: 123000 | #Constraints: 14537
1292.07/1295.65 c #Conflicts: 124000 | #Constraints: 15537
1292.07/1295.65 c INPROCESSING
1292.07/1295.65 c GARBAGE COLLECT
1292.07/1295.65 c #Conflicts: 125000 | #Constraints: 9529
1292.07/1295.65 c #Conflicts: 126000 | #Constraints: 10529
1292.07/1295.65 c #Conflicts: 127000 | #Constraints: 11529
1292.07/1295.65 c #Conflicts: 128000 | #Constraints: 12529
1292.07/1295.65 c #Conflicts: 129000 | #Constraints: 13529
1292.07/1295.65 c #Conflicts: 130000 | #Constraints: 14529
1292.07/1295.65 c #Conflicts: 131000 | #Constraints: 15529
1292.07/1295.65 c INPROCESSING
1292.07/1295.65 c GARBAGE COLLECT
1292.07/1295.65 c #Conflicts: 132000 | #Constraints: 9327
1292.07/1295.65 c #Conflicts: 133000 | #Constraints: 10327
1292.07/1295.65 c #Conflicts: 134000 | #Constraints: 11327
1292.07/1295.65 c #Conflicts: 135000 | #Constraints: 12327
1292.07/1295.65 c #Conflicts: 136000 | #Constraints: 13327
1292.07/1295.65 c #Conflicts: 137000 | #Constraints: 14327
1292.07/1295.65 c #Conflicts: 138000 | #Constraints: 15327
1292.07/1295.65 c #Conflicts: 139000 | #Constraints: 16327
1292.07/1295.65 c INPROCESSING
2108.82/2114.41 c GARBAGE COLLECT
2108.82/2114.41 c #Conflicts: 140000 | #Constraints: 9944
2108.82/2114.41 c #Conflicts: 141000 | #Constraints: 10944
2108.82/2114.41 c #Conflicts: 142000 | #Constraints: 11944
2108.82/2114.41 c #Conflicts: 143000 | #Constraints: 12944
2108.82/2114.41 c #Conflicts: 144000 | #Constraints: 13944
2108.82/2114.41 c #Conflicts: 145000 | #Constraints: 14944
2108.82/2114.41 c #Conflicts: 146000 | #Constraints: 15944
2108.82/2114.41 c #Conflicts: 147000 | #Constraints: 16944
2108.82/2114.41 c INPROCESSING
2108.82/2114.41 c GARBAGE COLLECT
2108.82/2114.41 c #Conflicts: 148000 | #Constraints: 10354
2108.82/2114.41 c #Conflicts: 149000 | #Constraints: 11354
2108.82/2114.41 c #Conflicts: 150000 | #Constraints: 12354
2108.82/2114.41 c #Conflicts: 151000 | #Constraints: 13354
2108.82/2114.41 c #Conflicts: 152000 | #Constraints: 14354
2108.82/2114.41 c #Conflicts: 153000 | #Constraints: 15354
2108.82/2114.41 c #Conflicts: 154000 | #Constraints: 16354
2108.82/2114.41 c #Conflicts: 155000 | #Constraints: 17354
2108.82/2114.41 c INPROCESSING
2108.82/2114.41 c GARBAGE COLLECT
2108.82/2114.41 c #Conflicts: 156000 | #Constraints: 10555
2108.82/2114.41 c #Conflicts: 157000 | #Constraints: 11555
2108.82/2114.41 c #Conflicts: 158000 | #Constraints: 12555
2108.82/2114.41 c #Conflicts: 159000 | #Constraints: 13555
2108.82/2114.41 c #Conflicts: 160000 | #Constraints: 14555
2108.82/2114.41 c #Conflicts: 161000 | #Constraints: 15555
2108.82/2114.41 c #Conflicts: 162000 | #Constraints: 16555
2108.82/2114.41 c #Conflicts: 163000 | #Constraints: 17555
2108.82/2114.41 c INPROCESSING
2108.82/2114.41 c GARBAGE COLLECT
2108.82/2114.41 c #Conflicts: 164000 | #Constraints: 10551
2108.82/2114.41 c #Conflicts: 165000 | #Constraints: 11551
2108.82/2114.41 c #Conflicts: 166000 | #Constraints: 12551
2108.82/2114.41 c #Conflicts: 167000 | #Constraints: 13551
2108.82/2114.41 c #Conflicts: 168000 | #Constraints: 14551
2108.82/2114.41 c #Conflicts: 169000 | #Constraints: 15551
2108.82/2114.41 c #Conflicts: 170000 | #Constraints: 16551
2108.82/2114.41 c #Conflicts: 171000 | #Constraints: 17551
2108.82/2114.41 c INPROCESSING
2108.82/2114.41 c GARBAGE COLLECT
2108.82/2114.41 c #Conflicts: 172000 | #Constraints: 10343
2108.82/2114.41 c #Conflicts: 173000 | #Constraints: 11343
2108.82/2114.41 c #Conflicts: 174000 | #Constraints: 12343
2108.82/2114.41 c #Conflicts: 175000 | #Constraints: 13343
2108.82/2114.41 c #Conflicts: 176000 | #Constraints: 14343
2108.82/2114.41 c #Conflicts: 177000 | #Constraints: 15343
2108.82/2114.41 c #Conflicts: 178000 | #Constraints: 16343
2108.82/2114.41 c #Conflicts: 179000 | #Constraints: 17343
2108.82/2114.41 c #Conflicts: 180000 | #Constraints: 18343
2108.82/2114.41 c INPROCESSING
2108.82/2114.41 c GARBAGE COLLECT
2108.82/2114.41 c #Conflicts: 181000 | #Constraints: 10948
2108.82/2114.41 c #Conflicts: 182000 | #Constraints: 11948
2108.82/2114.41 c #Conflicts: 183000 | #Constraints: 12948
2108.82/2114.41 c #Conflicts: 184000 | #Constraints: 13948
2108.82/2114.41 c #Conflicts: 185000 | #Constraints: 14948
2108.82/2114.41 c #Conflicts: 186000 | #Constraints: 15948
2108.82/2114.41 c #Conflicts: 187000 | #Constraints: 16948
2108.82/2114.41 c #Conflicts: 188000 | #Constraints: 17948
2108.82/2114.41 c #Conflicts: 189000 | #Constraints: 18948
2108.82/2114.41 c INPROCESSING
2108.82/2114.41 c GARBAGE COLLECT
2108.82/2114.41 c #Conflicts: 190000 | #Constraints: 11355
2108.82/2114.41 c #Conflicts: 191000 | #Constraints: 12355
2108.82/2114.41 c #Conflicts: 192000 | #Constraints: 13355
2108.82/2114.41 c #Conflicts: 193000 | #Constraints: 14355
2108.82/2114.41 c #Conflicts: 194000 | #Constraints: 15355
2108.82/2114.41 c #Conflicts: 195000 | #Constraints: 16355
2108.82/2114.41 c #Conflicts: 196000 | #Constraints: 17355
2108.82/2114.41 c #Conflicts: 197000 | #Constraints: 18355
2108.82/2114.41 c #Conflicts: 198000 | #Constraints: 19355
2108.82/2114.41 c INPROCESSING
2108.82/2114.41 c GARBAGE COLLECT
2108.82/2114.41 c #Conflicts: 199000 | #Constraints: 11555
2108.82/2114.41 c #Conflicts: 200000 | #Constraints: 12555
2108.82/2114.41 c #Conflicts: 201000 | #Constraints: 13555
2108.82/2114.41 c #Conflicts: 202000 | #Constraints: 14555
2108.82/2114.41 c #Conflicts: 203000 | #Constraints: 15555
2108.82/2114.41 c #Conflicts: 204000 | #Constraints: 16555
2108.82/2114.41 c #Conflicts: 205000 | #Constraints: 17555
2108.82/2114.41 c #Conflicts: 206000 | #Constraints: 18555
2108.82/2114.41 c #Conflicts: 207000 | #Constraints: 19555
2108.82/2114.41 c INPROCESSING
2108.82/2114.41 c GARBAGE COLLECT
2108.82/2114.41 c #Conflicts: 208000 | #Constraints: 11546
2108.82/2114.41 c #Conflicts: 209000 | #Constraints: 12546
2108.82/2114.41 c #Conflicts: 210000 | #Constraints: 13546
2108.82/2114.41 c #Conflicts: 211000 | #Constraints: 14546
2108.82/2114.41 c #Conflicts: 212000 | #Constraints: 15546
2108.82/2114.41 c #Conflicts: 213000 | #Constraints: 16546
3287.92/3296.63 c #Conflicts: 214000 | #Constraints: 17546
3287.92/3296.63 c #Conflicts: 215000 | #Constraints: 18546
3287.92/3296.63 c #Conflicts: 216000 | #Constraints: 19546
3287.92/3296.63 c INPROCESSING
3287.92/3296.63 c GARBAGE COLLECT
3287.92/3296.63 c #Conflicts: 217000 | #Constraints: 11346
3287.92/3296.63 c #Conflicts: 218000 | #Constraints: 12346
3287.92/3296.63 c #Conflicts: 219000 | #Constraints: 13346
3287.92/3296.63 c #Conflicts: 220000 | #Constraints: 14346
3287.92/3296.63 c #Conflicts: 221000 | #Constraints: 15346
3287.92/3296.63 c #Conflicts: 222000 | #Constraints: 16346
3287.92/3296.63 c #Conflicts: 223000 | #Constraints: 17346
3287.92/3296.63 c #Conflicts: 224000 | #Constraints: 18346
3287.92/3296.63 c #Conflicts: 225000 | #Constraints: 19346
3287.92/3296.63 c #Conflicts: 226000 | #Constraints: 20346
3287.92/3296.63 c INPROCESSING
3287.92/3296.63 c GARBAGE COLLECT
3287.92/3296.63 c #Conflicts: 227000 | #Constraints: 11953
3287.92/3296.63 c #Conflicts: 228000 | #Constraints: 12953
3287.92/3296.63 c #Conflicts: 229000 | #Constraints: 13953
3287.92/3296.63 c #Conflicts: 230000 | #Constraints: 14953
3287.92/3296.63 c #Conflicts: 231000 | #Constraints: 15953
3287.92/3296.63 c #Conflicts: 232000 | #Constraints: 16953
3287.92/3296.63 c #Conflicts: 233000 | #Constraints: 17953
3287.92/3296.63 c #Conflicts: 234000 | #Constraints: 18953
3287.92/3296.63 c #Conflicts: 235000 | #Constraints: 19953
3287.92/3296.63 c #Conflicts: 236000 | #Constraints: 20953
3287.92/3296.63 c INPROCESSING
3287.92/3296.63 c GARBAGE COLLECT
3287.92/3296.63 c #Conflicts: 237000 | #Constraints: 12342
3287.92/3296.63 c #Conflicts: 238000 | #Constraints: 13342
3287.92/3296.63 c #Conflicts: 239000 | #Constraints: 14342
3287.92/3296.63 c #Conflicts: 240000 | #Constraints: 15342
3287.92/3296.63 c #Conflicts: 241000 | #Constraints: 16342
3287.92/3296.63 c #Conflicts: 242000 | #Constraints: 17342
3287.92/3296.63 c #Conflicts: 243000 | #Constraints: 18342
3287.92/3296.63 c #Conflicts: 244000 | #Constraints: 19342
3287.92/3296.63 c #Conflicts: 245000 | #Constraints: 20342
3287.92/3296.63 c #Conflicts: 246000 | #Constraints: 21342
3287.92/3296.63 c INPROCESSING
3287.92/3296.63 c GARBAGE COLLECT
3287.92/3296.63 c #Conflicts: 247000 | #Constraints: 12546
3287.92/3296.63 c #Conflicts: 248000 | #Constraints: 13546
3287.92/3296.63 c #Conflicts: 249000 | #Constraints: 14546
3287.92/3296.63 c #Conflicts: 250000 | #Constraints: 15546
3287.92/3296.63 c #Conflicts: 251000 | #Constraints: 16546
3287.92/3296.63 c #Conflicts: 252000 | #Constraints: 17546
3287.92/3296.63 c #Conflicts: 253000 | #Constraints: 18546
3287.92/3296.63 c #Conflicts: 254000 | #Constraints: 19546
3287.92/3296.63 c #Conflicts: 255000 | #Constraints: 20546
3287.92/3296.63 c #Conflicts: 256000 | #Constraints: 21546
3287.92/3296.63 c INPROCESSING
3287.92/3296.63 c GARBAGE COLLECT
3287.92/3296.63 c #Conflicts: 257000 | #Constraints: 12542
3287.92/3296.63 c #Conflicts: 258000 | #Constraints: 13542
3287.92/3296.63 c #Conflicts: 259000 | #Constraints: 14542
3287.92/3296.63 c #Conflicts: 260000 | #Constraints: 15542
3287.92/3296.63 c #Conflicts: 261000 | #Constraints: 16542
3287.92/3296.63 c #Conflicts: 262000 | #Constraints: 17542
3287.92/3296.63 c #Conflicts: 263000 | #Constraints: 18542
3287.92/3296.63 c #Conflicts: 264000 | #Constraints: 19542
3287.92/3296.63 c #Conflicts: 265000 | #Constraints: 20542
3287.92/3296.63 c #Conflicts: 266000 | #Constraints: 21542
3287.92/3296.63 c INPROCESSING
3287.92/3296.63 c GARBAGE COLLECT
3287.92/3296.63 c #Conflicts: 267000 | #Constraints: 12344
3287.92/3296.63 c #Conflicts: 268000 | #Constraints: 13344
3287.92/3296.63 c #Conflicts: 269000 | #Constraints: 14344
3287.92/3296.63 c #Conflicts: 270000 | #Constraints: 15344
3287.92/3296.63 c #Conflicts: 271000 | #Constraints: 16344
3287.92/3296.63 c #Conflicts: 272000 | #Constraints: 17344
3287.92/3296.63 c #Conflicts: 273000 | #Constraints: 18344
3287.92/3296.63 c #Conflicts: 274000 | #Constraints: 19344
3287.92/3296.63 c #Conflicts: 275000 | #Constraints: 20344
3287.92/3296.63 c #Conflicts: 276000 | #Constraints: 21344
3287.92/3296.63 c #Conflicts: 277000 | #Constraints: 22344
3287.92/3296.63 c INPROCESSING
3287.92/3296.63 c GARBAGE COLLECT
3287.92/3296.63 c #Conflicts: 278000 | #Constraints: 12931
3287.92/3296.63 c #Conflicts: 279000 | #Constraints: 13931
3287.92/3296.63 c #Conflicts: 280000 | #Constraints: 14931
3287.92/3296.63 c #Conflicts: 281000 | #Constraints: 15931
3287.92/3296.63 c #Conflicts: 282000 | #Constraints: 16931
3287.92/3296.63 c #Conflicts: 283000 | #Constraints: 17931
3287.92/3296.63 c #Conflicts: 284000 | #Constraints: 18931
3287.92/3296.63 c #Conflicts: 285000 | #Constraints: 19931
3287.92/3296.63 c #Conflicts: 286000 | #Constraints: 20931
3287.92/3296.63 c #Conflicts: 287000 | #Constraints: 21931
3600.08/3609.61 c #Conflicts: 288000 | #Constraints: 22931
3600.08/3609.61 c INPROCESSING
3600.08/3609.61 c GARBAGE COLLECT
3600.08/3609.61 c #Conflicts: 289000 | #Constraints: 13332
3600.08/3609.61 c #Conflicts: 290000 | #Constraints: 14332
3600.08/3609.61 c #Conflicts: 291000 | #Constraints: 15332
3600.08/3609.61 c #Conflicts: 292000 | #Constraints: 16332
3600.08/3609.61 c #Conflicts: 293000 | #Constraints: 17332
3600.08/3609.61 c #Conflicts: 294000 | #Constraints: 18332
3600.08/3609.61 c #Conflicts: 295000 | #Constraints: 19332
3600.08/3609.61 c #Conflicts: 296000 | #Constraints: 20332
3600.08/3609.61 c #Conflicts: 297000 | #Constraints: 21332
3600.08/3609.61 c #Conflicts: 298000 | #Constraints: 22332
3600.08/3609.61 c #Conflicts: 299000 | #Constraints: 23332
3600.08/3609.61 c INPROCESSING
3600.08/3609.61 c GARBAGE COLLECT
3600.08/3609.61 c #Conflicts: 300000 | #Constraints: 13526
3600.08/3609.61 c #Conflicts: 301000 | #Constraints: 14526
3600.08/3609.61 c #Conflicts: 302000 | #Constraints: 15526
3600.08/3609.61 c #Conflicts: 303000 | #Constraints: 16526
3600.08/3609.61 c #Conflicts: 304000 | #Constraints: 17526
3600.08/3609.61 c #Conflicts: 305000 | #Constraints: 18526
3600.08/3609.61 c #Conflicts: 306000 | #Constraints: 19526
3600.08/3609.61 c #Conflicts: 307000 | #Constraints: 20526
3600.08/3609.61 c #Conflicts: 308000 | #Constraints: 21526
3600.08/3609.61 c #Conflicts: 309000 | #Constraints: 22526
3600.08/3609.61 c #Conflicts: 310000 | #Constraints: 23526
3600.08/3609.61 c INPROCESSING
3600.08/3609.61 c GARBAGE COLLECT
3600.08/3609.61 c #Conflicts: 311000 | #Constraints: 13539
3600.08/3609.61 c #Conflicts: 312000 | #Constraints: 14539
3600.08/3609.61 c #Conflicts: 313000 | #Constraints: 15539
3600.08/3609.61 c #Conflicts: 314000 | #Constraints: 16539
3600.08/3609.61 c Program interrupted by user.
3600.08/3609.61 c cpu time 3577.47 s
3600.08/3609.61 c deterministic time 699283995522 6.99e+11
3600.08/3609.61 c optimization time 61.6829 s
3600.08/3609.61 c total solve time 3215.77 s
3600.08/3609.61 c core-guided solve time 3215.77 s
3600.08/3609.61 c propagation time 2408.75 s
3600.08/3609.61 c conflict analysis time 672.982 s
3600.08/3609.61 c propagations 170029923
3600.08/3609.61 c resolve steps 1419499
3600.08/3609.61 c decisions 26855480
3600.08/3609.61 c conflicts 314933
3600.08/3609.61 c restarts 764
3600.08/3609.61 c inprocessing phases 47
3600.08/3609.61 c input clauses 713
3600.08/3609.61 c input cardinalities 715
3600.08/3609.61 c input general constraints 258
3600.08/3609.61 c input average constraint length 216.23
3600.08/3609.61 c input average constraint degree 45800.71
3600.08/3609.61 c learned clauses 1232
3600.08/3609.61 c learned cardinalities 35
3600.08/3609.61 c learned general constraints 313666
3600.08/3609.61 c learned average constraint length 7125.85
3600.08/3609.61 c learned average constraint degree 21047617.31
3600.08/3609.61 c watched constraints 238363
3600.08/3609.61 c counting constraints 75561
3600.08/3609.61 c gcd simplifications 1001
3600.08/3609.61 c detected cardinalities 8
3600.08/3609.61 c weakened non-implied lits 85614614
3600.08/3609.61 c weakened non-implying lits 37740
3600.08/3609.61 c original variables 91392
3600.08/3609.61 c clausal propagations 1226799
3600.08/3609.61 c cardinality propagations 22581102
3600.08/3609.61 c watched propagations 27108016
3600.08/3609.61 c counting propagations 118326758
3600.08/3609.61 c watch lookups 10089154711
3600.08/3609.61 c watch backjump lookups 9875070571
3600.08/3609.61 c watch checks 615968533314
3600.08/3609.61 c propagation checks 58052883442
3600.08/3609.61 c constraint additions 4904356347
3600.08/3609.61 c trail pops 197111733
3600.08/3609.61 c formula constraints 1684
3600.08/3609.61 c learned constraints 314933
3600.08/3609.61 c bound constraints 2
3600.08/3609.61 c core-guided constraints 0
3600.08/3609.61 c encountered formula constraints 978128
3600.08/3609.61 c encountered learned constraints 755802
3600.08/3609.61 c encountered bound constraints 502
3600.08/3609.61 c encountered core-guided constraints 0
3600.08/3609.61 c LP total time 0 s
3600.08/3609.61 c LP solve time 0 s
3600.08/3609.61 c LP constraints added 0
3600.08/3609.61 c LP constraints removed 0
3600.08/3609.61 c LP pivots internal 0
3600.08/3609.61 c LP pivots root 0
3600.08/3609.61 c LP calls 0
3600.08/3609.61 c LP optimalities 0
3600.08/3609.61 c LP no pivot count 0
3600.08/3609.61 c LP infeasibilities 0
3600.08/3609.61 c LP valid Farkas constraints 0
3600.08/3609.61 c LP learned Farkas constraints 0
3600.08/3609.61 c LP basis resets 0
3600.08/3609.61 c LP cycling count 0
3600.08/3609.61 c LP singular count 0
3600.08/3609.61 c LP no primal count 0
3600.08/3609.61 c LP no farkas count 0
3600.08/3609.61 c LP other issue count 0
3600.08/3609.61 c LP Gomory cuts 0
3600.08/3609.61 c LP learned cuts 0
3600.08/3609.61 c LP deleted cuts 0
3600.08/3609.61 c LP encountered Gomory constraints 0
3600.08/3609.61 c LP encountered Farkas constraints 0
3600.08/3609.61 c LP encountered learned Farkas constraints 0
3600.08/3609.61 c CG auxiliary variables introduced 0
3600.08/3609.61 c CG solutions found 0
3600.08/3609.61 c CG cores constructed 1
3600.08/3609.61 c CG core cardinality constraints returned 1
3600.08/3609.61 c CG unit cores 0
3600.08/3609.61 c CG single cores 1
3600.08/3609.61 c CG blocks removed during cardinality reduction 0
3600.08/3609.61 c CG first core best 0
3600.08/3609.61 c CG decision core best 0
3600.08/3609.61 c CG core reduction tie 0
3600.08/3609.61 c CG core degree average 60.00
3600.08/3609.61 c CG core slack average 68.00
3600.08/3609.61 c CG exhausted 0
3600.08/3609.61 c CG exhaust time 0 s
3600.08/3609.61 c CG trimmed 0
3600.08/3609.61 c CG trim time 0.001645 s
3600.08/3609.61 c CG minimized 0
3600.08/3609.61 c CG minimize time 0 s
3600.08/3609.61 c CG am1 prop time 0.002628 s
3600.08/3609.61 c CG # am1s reformulated 0
3600.08/3609.61 c CG lower bound derived from am1s 0
3600.08/3609.61 c CG # clausal cores 0
3600.08/3609.61 c CG # cardinality cores 0
3600.08/3609.61 c CG # pb cores 1
3600.08/3609.61 c CG # pb reforms 0
3600.08/3609.61 c CG # cores discarded because of pb reform 0
3600.08/3609.61 d LOWERBOUND 60
3600.08/3609.61 d NCORES 1
3600.08/3609.61 d NPBCORES 1
3600.08/3609.61 d NPBREFORM 0
3600.08/3609.61 d NTRIMMED 0
3600.08/3609.61 d NEXHAUSTED 0
3600.08/3609.61 d NAM1S 0
3600.08/3609.61 d AM1LB 0
3600.08/3609.61 c [Papilo Statistics]
3600.08/3609.61 c prepro time 0.262606s
3600.08/3609.61 c # tsx applied 1339
3600.08/3609.61 c # tsx conflicts 0
3600.08/3609.61 c # bound changes 313
3600.08/3609.61 c # side changes 713
3600.08/3609.61 c # coef changes 0
3600.08/3609.61 c # rounds 3
3600.08/3609.61 c # deted vars 313
3600.08/3609.61 c # deted constrs 713
3600.08/3609.61 c # consecutive rounds of only bound changes 0
3600.08/3609.67 s UNKNOWN
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 (55134 MiB free)
memory of node 1: 64465 MiB (53630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509185-1751517503/watcher-4509185-1751517503 -o /tmp/evaluation-result-4509185-1751517503/solver-4509185-1751517503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751510282-71168 --watchdog 3760 mixed-bag HOME/instance-4509185-1751517503.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=72492, runsolver pid=72489
[startup+0.10006 s]*
/proc/loadavg: 4.12 4.09 4.09 5/265 72502
/proc/meminfo: memFree=111351396/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=103752 memory=31864 CPUtime=0.08 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 6069 0 0 0 7 1 0 0 20 0 1 0 67428940 106242048 7966 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 25938 7966 2144 2842 0 8171 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103752 KiB
Current children cumulated memory: 31864 KiB
[startup+0.20577 s]*
/proc/loadavg: 4.12 4.09 4.09 5/265 72502
/proc/meminfo: memFree=111327328/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=116040 memory=38404 CPUtime=0.18 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 6692 0 0 0 17 1 0 0 20 0 1 0 67428940 118824960 9601 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 29010 9601 2144 2842 0 11243 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 116040 KiB
Current children cumulated memory: 38404 KiB
[startup+0.305704 s]*
/proc/loadavg: 4.12 4.09 4.09 5/265 72502
/proc/meminfo: memFree=111271064/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=181664 memory=97596 CPUtime=0.29 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 13859 0 0 0 26 3 0 0 20 0 1 0 67428940 186023936 24399 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 45416 24399 2240 2842 0 27110 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 181664 KiB
Current children cumulated memory: 97596 KiB
[startup+0.70018 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 72502
/proc/meminfo: memFree=111254968/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=334444 memory=257548 CPUtime=0.67 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 54371 0 0 0 58 9 0 0 20 0 1 0 67428940 342470656 64387 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 83611 64387 3968 2842 0 65305 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 334444 KiB
Current children cumulated memory: 257548 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 72502
/proc/meminfo: memFree=110907944/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=439544 memory=356292 CPUtime=1.47 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 77928 0 0 0 134 13 0 0 20 0 1 0 67428940 450093056 89073 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 109886 89073 4064 2842 0 91580 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 439544 KiB
Current children cumulated memory: 356292 KiB
[startup+3.10561 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 72502
/proc/meminfo: memFree=110125412/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=635444 memory=538712 CPUtime=3.08 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 104099 0 0 0 289 19 0 0 20 0 1 0 67428940 650694656 134678 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 158861 134678 4096 2842 0 140555 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 635444 KiB
Current children cumulated memory: 538712 KiB
[startup+6.30015 s]
/proc/loadavg: 4.02 4.07 4.08 4/261 72510
/proc/meminfo: memFree=111267260/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=644904 memory=548184 CPUtime=6.26 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 106501 0 0 0 607 19 0 0 20 0 1 0 67428940 660381696 137046 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 161226 137046 4096 2842 0 142920 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 644904 KiB
Current children cumulated memory: 548184 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72552
/proc/meminfo: memFree=110316776/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=653096 memory=556376 CPUtime=12.65 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 108549 0 0 0 1245 20 0 0 20 0 1 0 67428940 668770304 139094 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 163274 139094 4096 2842 0 144968 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 653096 KiB
Current children cumulated memory: 556376 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 72597
/proc/meminfo: memFree=109722480/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=1385148 memory=1153108 CPUtime=25.41 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 251241 0 0 0 2500 41 0 0 20 0 1 0 67428940 1418391552 288277 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 346287 288277 4096 2842 0 327981 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1385148 KiB
Current children cumulated memory: 1153108 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 72598
/proc/meminfo: memFree=107248272/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=1807008 memory=1562360 CPUtime=50.94 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 348220 0 0 0 5035 59 0 0 20 0 1 0 67428940 1850376192 390590 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 451752 390590 4256 2842 0 433446 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1807008 KiB
Current children cumulated memory: 1562360 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 72602
/proc/meminfo: memFree=106578400/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=2165916 memory=1917524 CPUtime=101.99 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 434026 0 0 0 10126 73 0 0 20 0 1 0 67428940 2217897984 479381 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 541479 479381 4256 2842 0 523173 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2165916 KiB
Current children cumulated memory: 1917524 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/267 72604
/proc/meminfo: memFree=106128440/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=2227428 memory=1979092 CPUtime=161.81 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 449463 0 0 0 16105 76 0 0 20 0 1 0 67428940 2280886272 494773 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 556857 494773 4288 2842 0 538551 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2227428 KiB
Current children cumulated memory: 1979092 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 72610
/proc/meminfo: memFree=105652032/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=2227428 memory=1979732 CPUtime=221.62 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 449602 0 0 0 22086 76 0 0 20 0 1 0 67428940 2280886272 494933 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 556857 494933 4288 2842 0 538551 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2227428 KiB
Current children cumulated memory: 1979732 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 72612
/proc/meminfo: memFree=105251668/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=2248736 memory=2007764 CPUtime=281.45 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 455259 0 0 0 28067 78 0 0 20 0 1 0 67428940 2302705664 501941 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 562184 501941 4288 2842 0 543878 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2248736 KiB
Current children cumulated memory: 2007764 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 72614
/proc/meminfo: memFree=105177228/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=2125252 memory=2024120 CPUtime=341.3 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 460193 0 0 0 33915 215 0 0 20 0 1 0 67428940 2176258048 506030 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 531313 506030 4480 2842 0 513007 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 2125252 KiB
Current children cumulated memory: 2024120 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 72616
/proc/meminfo: memFree=104981604/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=2206640 memory=2116444 CPUtime=401.14 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 461576 0 0 0 39753 361 0 0 20 0 1 0 67428940 2259599360 529111 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 551660 529111 4480 2842 0 533354 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2206640 KiB
Current children cumulated memory: 2116444 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 72619
/proc/meminfo: memFree=104576460/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=2553824 memory=2382412 CPUtime=460.98 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 462662 0 0 0 45692 406 0 0 20 0 1 0 67428940 2615115776 595603 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 638456 595603 4480 2842 0 620150 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
Current children cumulated memory: 3787044 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/265 72750
/proc/meminfo: memFree=96100404/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4218772 memory=3791524 CPUtime=2854.78 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 642309 0 0 0 283754 1724 0 0 20 0 1 0 67428940 4320022528 947881 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1054693 947881 4480 2842 0 1036387 0
Current children cumulated CPU time: 2854.78 s
Current children cumulated vsize: 4218772 KiB
Current children cumulated memory: 3791524 KiB
[startup+2922.3 s]
/proc/loadavg: 4.38 4.22 4.14 5/264 72752
/proc/meminfo: memFree=95993496/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4223616 memory=3796132 CPUtime=2914.62 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 644400 0 0 0 289708 1754 0 0 20 0 1 0 67428940 4324982784 949033 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1055904 949033 4480 2842 0 1037598 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 4223616 KiB
Current children cumulated memory: 3796132 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.19 4.14 5/264 72754
/proc/meminfo: memFree=95839280/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4226100 memory=3798564 CPUtime=2974.46 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 645010 0 0 0 295615 1831 0 0 20 0 1 0 67428940 4327526400 949641 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1056525 949641 4480 2842 0 1038219 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 4226100 KiB
Current children cumulated memory: 3798564 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.18 4.14 5/267 72764
/proc/meminfo: memFree=95661172/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4237856 memory=3810084 CPUtime=3034.3 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 647894 0 0 0 301554 1876 0 0 20 0 1 0 67428940 4339564544 952521 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1059464 952521 4480 2842 0 1041158 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 4237856 KiB
Current children cumulated memory: 3810084 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.15 4.12 5/266 72766
/proc/meminfo: memFree=95386884/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4248676 memory=3820452 CPUtime=3094.13 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 651308 0 0 0 307523 1890 0 0 20 0 1 0 67428940 4350644224 955113 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1062169 955113 4480 2842 0 1043863 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 4248676 KiB
Current children cumulated memory: 3820452 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.13 4.12 5/266 72768
/proc/meminfo: memFree=94907796/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4275444 memory=3844516 CPUtime=3153.98 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 657413 0 0 0 313496 1902 0 0 20 0 1 0 67428940 4378054656 961129 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1068861 961129 4480 2842 0 1050555 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 4275444 KiB
Current children cumulated memory: 3844516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/267 72773
/proc/meminfo: memFree=94179936/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4311396 memory=3876004 CPUtime=3213.82 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 665294 0 0 0 319399 1983 0 0 20 0 1 0 67428940 4414869504 969001 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1077849 969001 4480 2842 0 1059543 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 4311396 KiB
Current children cumulated memory: 3876004 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/267 72775
/proc/meminfo: memFree=93839260/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4317516 memory=3881892 CPUtime=3273.65 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 667700 0 0 0 325334 2031 0 0 20 0 1 0 67428940 4421136384 970473 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1079379 970473 4480 2842 0 1061073 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 4317516 KiB
Current children cumulated memory: 3881892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/265 72777
/proc/meminfo: memFree=93290844/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4327100 memory=3891620 CPUtime=3333.5 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 670120 0 0 0 331267 2083 0 0 20 0 1 0 67428940 4430950400 972905 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1081775 972905 4480 2842 0 1063469 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 4327100 KiB
Current children cumulated memory: 3891620 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 72780
/proc/meminfo: memFree=92959336/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4345716 memory=3909796 CPUtime=3393.34 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 674673 0 0 0 337243 2091 0 0 20 0 1 0 67428940 4450013184 977449 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1086429 977449 4480 2842 0 1068123 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 4345716 KiB
Current children cumulated memory: 3909796 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 72782
/proc/meminfo: memFree=92623192/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4355500 memory=3919524 CPUtime=3453.18 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 678046 0 0 0 343167 2151 0 0 20 0 1 0 67428940 4460032000 979881 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1088875 979881 4480 2842 0 1070569 0
Current children cumulated CPU time: 3453.18 s
Current children cumulated vsize: 4355500 KiB
Current children cumulated memory: 3919524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 72784
/proc/meminfo: memFree=92090764/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4359140 memory=3923236 CPUtime=3513.02 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 678968 0 0 0 349075 2227 0 0 20 0 1 0 67428940 4463759360 980809 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1089785 980809 4480 2842 0 1071479 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 4359140 KiB
Current children cumulated memory: 3923236 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 72786
/proc/meminfo: memFree=91746104/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4362772 memory=3926820 CPUtime=3572.86 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 679874 0 0 0 355029 2257 0 0 20 0 1 0 67428940 4467478528 981705 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1090693 981705 4480 2842 0 1072387 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 4362772 KiB
Current children cumulated memory: 3926820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 72787
/proc/meminfo: memFree=91614436/131249996 swapFree=33010160/33010684
[pid=72492] ppid=72489 vsize=4366576 memory=3930532 CPUtime=3600.08 cores=1,3
/proc/72492/stat : 72492 (mixed-bag) R 72489 72492 71151 0 -1 4194304 680792 0 0 0 357745 2263 0 0 20 0 1 0 67428940 4471373824 982633 18446744073709551615 4235264 15874749 140731646575888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53256192 140731646585244 140731646585321 140731646585321 140731646590923 0
/proc/72492/statm: 1091644 982633 4480 2842 0 1073338 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4366576 KiB
Current children cumulated memory: 3930532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.69 s]
# the end of solver process 72492 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.5 s, system=22.6945 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.69
CPU time (s): 3600.19
CPU user time (s): 3577.5
CPU system time (s): 22.6945
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 4366576
Max. memory (cumulated for all children) (KiB): 3930532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.5
system time used= 22.6945
maximum resident set size= 3931044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 680826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198
involuntary context switches= 2949
# summary of solver processes directly reported to runsolver:
# pid: 72492
# total CPU time (s): 3600.19
# total CPU user time (s): 3577.5
# total CPU system time (s): 22.6945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93055 second user time and 16.3644 second system time
The end
Begin job on nodeC032 at 2025-07-03 06:38:23
IDJOB=4509185
IDBENCH=158601
IDSOLVER=3340
FILE ID=nodeC032/4509185-1751517503
RUNJOBID= nodeC032-1751510282-71168
SLURM_JOB_ID= 9598610
Free space on /tmp= 430532 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509185-1751517503/watcher-4509185-1751517503 -o /tmp/evaluation-result-4509185-1751517503/solver-4509185-1751517503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751510282-71168 --watchdog 3760 mixed-bag HOME/instance-4509185-1751517503.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 77cfb75a57ffdbd7a405571baa0b4678
RANDOM SEED=1369042977
nodeC032 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 : 3599.859
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 : 6999.69
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 : 3603.533
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 : 6999.69
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 : 3789.780
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 : 6999.69
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 : 3599.226
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 : 6999.69
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 : 3642.298
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 : 6999.69
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.032
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 : 6999.69
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 : 3600.033
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 : 6999.69
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 : 3597.689
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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 111395528 kB
MemAvailable: 127788344 kB
Buffers: 2728 kB
Cached: 17072168 kB
SwapCached: 20 kB
Active: 2278696 kB
Inactive: 16702684 kB
Active(anon): 1921412 kB
Inactive(anon): 3124 kB
Active(file): 357284 kB
Inactive(file): 16699560 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26332 kB
Writeback: 0 kB
AnonPages: 1903680 kB
Mapped: 128584 kB
Shmem: 18048 kB
KReclaimable: 350420 kB
Slab: 443908 kB
SReclaimable: 350420 kB
SUnreclaim: 93488 kB
KernelStack: 4256 kB
PageTables: 6836 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2310856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1830912 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430488 MiB
End job on nodeC032 at 2025-07-03 07:38:33