0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.68/0.71 c [STEP] solving
0.68/0.71 c #variables 175232 #constraints 2994
0.68/0.71 c SMALL=int, LARGE=long long
0.68/0.71 c bounds - >= 0 @ 0.629162
0.68/0.71 c stratification level: 0
332.77/333.71 c bounds - >= 125 @ 0.646077
332.77/333.71 c #Conflicts: 1000 | #Constraints: 3995
332.77/333.71 c #Conflicts: 2000 | #Constraints: 4995
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 3000 | #Constraints: 5008
332.77/333.71 c #Conflicts: 4000 | #Constraints: 6008
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 5000 | #Constraints: 5421
332.77/333.71 c #Conflicts: 6000 | #Constraints: 6421
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 7000 | #Constraints: 5433
332.77/333.71 c #Conflicts: 8000 | #Constraints: 6433
332.77/333.71 c #Conflicts: 9000 | #Constraints: 7433
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 10000 | #Constraints: 6140
332.77/333.71 c #Conflicts: 11000 | #Constraints: 7140
332.77/333.71 c #Conflicts: 12000 | #Constraints: 8140
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 13000 | #Constraints: 6594
332.77/333.71 c #Conflicts: 14000 | #Constraints: 7594
332.77/333.71 c #Conflicts: 15000 | #Constraints: 8594
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 16000 | #Constraints: 6823
332.77/333.71 c #Conflicts: 17000 | #Constraints: 7823
332.77/333.71 c #Conflicts: 18000 | #Constraints: 8823
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 19000 | #Constraints: 6844
332.77/333.71 c #Conflicts: 20000 | #Constraints: 7844
332.77/333.71 c #Conflicts: 21000 | #Constraints: 8844
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 22000 | #Constraints: 6642
332.77/333.71 c #Conflicts: 23000 | #Constraints: 7642
332.77/333.71 c #Conflicts: 24000 | #Constraints: 8642
332.77/333.71 c #Conflicts: 25000 | #Constraints: 9642
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 26000 | #Constraints: 7253
332.77/333.71 c #Conflicts: 27000 | #Constraints: 8253
332.77/333.71 c #Conflicts: 28000 | #Constraints: 9253
332.77/333.71 c #Conflicts: 29000 | #Constraints: 10253
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 30000 | #Constraints: 7642
332.77/333.71 c #Conflicts: 31000 | #Constraints: 8642
332.77/333.71 c #Conflicts: 32000 | #Constraints: 9642
332.77/333.71 c #Conflicts: 33000 | #Constraints: 10642
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 34000 | #Constraints: 7844
332.77/333.71 c #Conflicts: 35000 | #Constraints: 8844
332.77/333.71 c #Conflicts: 36000 | #Constraints: 9844
332.77/333.71 c #Conflicts: 37000 | #Constraints: 10844
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 38000 | #Constraints: 7841
332.77/333.71 c #Conflicts: 39000 | #Constraints: 8841
332.77/333.71 c #Conflicts: 40000 | #Constraints: 9841
332.77/333.71 c #Conflicts: 41000 | #Constraints: 10841
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 42000 | #Constraints: 7641
332.77/333.71 c #Conflicts: 43000 | #Constraints: 8641
332.77/333.71 c #Conflicts: 44000 | #Constraints: 9641
332.77/333.71 c #Conflicts: 45000 | #Constraints: 10641
332.77/333.71 c #Conflicts: 46000 | #Constraints: 11641
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 47000 | #Constraints: 8234
332.77/333.71 c #Conflicts: 48000 | #Constraints: 9234
332.77/333.71 c #Conflicts: 49000 | #Constraints: 10234
332.77/333.71 c #Conflicts: 50000 | #Constraints: 11234
332.77/333.71 c #Conflicts: 51000 | #Constraints: 12234
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 52000 | #Constraints: 8646
332.77/333.71 c #Conflicts: 53000 | #Constraints: 9646
332.77/333.71 c #Conflicts: 54000 | #Constraints: 10646
332.77/333.71 c #Conflicts: 55000 | #Constraints: 11646
332.77/333.71 c #Conflicts: 56000 | #Constraints: 12646
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 57000 | #Constraints: 8849
332.77/333.71 c #Conflicts: 58000 | #Constraints: 9849
332.77/333.71 c #Conflicts: 59000 | #Constraints: 10849
332.77/333.71 c #Conflicts: 60000 | #Constraints: 11849
332.77/333.71 c #Conflicts: 61000 | #Constraints: 12849
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 62000 | #Constraints: 8849
332.77/333.71 c #Conflicts: 63000 | #Constraints: 9849
332.77/333.71 c #Conflicts: 64000 | #Constraints: 10849
332.77/333.71 c #Conflicts: 65000 | #Constraints: 11849
332.77/333.71 c #Conflicts: 66000 | #Constraints: 12849
332.77/333.71 c INPROCESSING
332.77/333.71 c GARBAGE COLLECT
332.77/333.71 c #Conflicts: 67000 | #Constraints: 8651
843.71/846.12 c #Conflicts: 68000 | #Constraints: 9651
843.71/846.12 c #Conflicts: 69000 | #Constraints: 10651
843.71/846.12 c #Conflicts: 70000 | #Constraints: 11651
843.71/846.12 c #Conflicts: 71000 | #Constraints: 12651
843.71/846.12 c #Conflicts: 72000 | #Constraints: 13651
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 73000 | #Constraints: 9251
843.71/846.12 c #Conflicts: 74000 | #Constraints: 10251
843.71/846.12 c #Conflicts: 75000 | #Constraints: 11251
843.71/846.12 c #Conflicts: 76000 | #Constraints: 12251
843.71/846.12 c #Conflicts: 77000 | #Constraints: 13251
843.71/846.12 c #Conflicts: 78000 | #Constraints: 14251
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 79000 | #Constraints: 9644
843.71/846.12 c #Conflicts: 80000 | #Constraints: 10644
843.71/846.12 c #Conflicts: 81000 | #Constraints: 11644
843.71/846.12 c #Conflicts: 82000 | #Constraints: 12644
843.71/846.12 c #Conflicts: 83000 | #Constraints: 13644
843.71/846.12 c #Conflicts: 84000 | #Constraints: 14644
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 85000 | #Constraints: 9845
843.71/846.12 c #Conflicts: 86000 | #Constraints: 10845
843.71/846.12 c #Conflicts: 87000 | #Constraints: 11845
843.71/846.12 c #Conflicts: 88000 | #Constraints: 12845
843.71/846.12 c #Conflicts: 89000 | #Constraints: 13845
843.71/846.12 c #Conflicts: 90000 | #Constraints: 14845
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 91000 | #Constraints: 9848
843.71/846.12 c #Conflicts: 92000 | #Constraints: 10848
843.71/846.12 c #Conflicts: 93000 | #Constraints: 11848
843.71/846.12 c #Conflicts: 94000 | #Constraints: 12848
843.71/846.12 c #Conflicts: 95000 | #Constraints: 13848
843.71/846.12 c #Conflicts: 96000 | #Constraints: 14848
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 97000 | #Constraints: 9648
843.71/846.12 c #Conflicts: 98000 | #Constraints: 10648
843.71/846.12 c #Conflicts: 99000 | #Constraints: 11648
843.71/846.12 c #Conflicts: 100000 | #Constraints: 12648
843.71/846.12 c #Conflicts: 101000 | #Constraints: 13648
843.71/846.12 c #Conflicts: 102000 | #Constraints: 14648
843.71/846.12 c #Conflicts: 103000 | #Constraints: 15648
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 104000 | #Constraints: 10240
843.71/846.12 c #Conflicts: 105000 | #Constraints: 11240
843.71/846.12 c #Conflicts: 106000 | #Constraints: 12240
843.71/846.12 c #Conflicts: 107000 | #Constraints: 13240
843.71/846.12 c #Conflicts: 108000 | #Constraints: 14240
843.71/846.12 c #Conflicts: 109000 | #Constraints: 15240
843.71/846.12 c #Conflicts: 110000 | #Constraints: 16240
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 111000 | #Constraints: 10641
843.71/846.12 c #Conflicts: 112000 | #Constraints: 11641
843.71/846.12 c #Conflicts: 113000 | #Constraints: 12641
843.71/846.12 c #Conflicts: 114000 | #Constraints: 13641
843.71/846.12 c #Conflicts: 115000 | #Constraints: 14641
843.71/846.12 c #Conflicts: 116000 | #Constraints: 15641
843.71/846.12 c #Conflicts: 117000 | #Constraints: 16641
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 118000 | #Constraints: 10840
843.71/846.12 c #Conflicts: 119000 | #Constraints: 11840
843.71/846.12 c #Conflicts: 120000 | #Constraints: 12840
843.71/846.12 c #Conflicts: 121000 | #Constraints: 13840
843.71/846.12 c #Conflicts: 122000 | #Constraints: 14840
843.71/846.12 c #Conflicts: 123000 | #Constraints: 15840
843.71/846.12 c #Conflicts: 124000 | #Constraints: 16840
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 125000 | #Constraints: 10844
843.71/846.12 c #Conflicts: 126000 | #Constraints: 11844
843.71/846.12 c #Conflicts: 127000 | #Constraints: 12844
843.71/846.12 c #Conflicts: 128000 | #Constraints: 13844
843.71/846.12 c #Conflicts: 129000 | #Constraints: 14844
843.71/846.12 c #Conflicts: 130000 | #Constraints: 15844
843.71/846.12 c #Conflicts: 131000 | #Constraints: 16844
843.71/846.12 c INPROCESSING
843.71/846.12 c GARBAGE COLLECT
843.71/846.12 c #Conflicts: 132000 | #Constraints: 10636
843.71/846.12 c #Conflicts: 133000 | #Constraints: 11636
843.71/846.12 c #Conflicts: 134000 | #Constraints: 12636
843.71/846.12 c #Conflicts: 135000 | #Constraints: 13636
843.71/846.12 c #Conflicts: 136000 | #Constraints: 14636
843.71/846.12 c #Conflicts: 137000 | #Constraints: 15636
843.71/846.12 c #Conflicts: 138000 | #Constraints: 16636
843.71/846.12 c #Conflicts: 139000 | #Constraints: 17636
843.71/846.12 c INPROCESSING
1649.35/1654.25 c GARBAGE COLLECT
1649.35/1654.25 c #Conflicts: 140000 | #Constraints: 11255
1649.35/1654.25 c #Conflicts: 141000 | #Constraints: 12255
1649.35/1654.25 c #Conflicts: 142000 | #Constraints: 13255
1649.35/1654.25 c #Conflicts: 143000 | #Constraints: 14255
1649.35/1654.25 c #Conflicts: 144000 | #Constraints: 15255
1649.35/1654.25 c #Conflicts: 145000 | #Constraints: 16255
1649.35/1654.25 c #Conflicts: 146000 | #Constraints: 17255
1649.35/1654.25 c #Conflicts: 147000 | #Constraints: 18255
1649.35/1654.25 c INPROCESSING
1649.35/1654.25 c GARBAGE COLLECT
1649.35/1654.25 c #Conflicts: 148000 | #Constraints: 11669
1649.35/1654.25 c #Conflicts: 149000 | #Constraints: 12669
1649.35/1654.25 c #Conflicts: 150000 | #Constraints: 13669
1649.35/1654.25 c #Conflicts: 151000 | #Constraints: 14669
1649.35/1654.25 c #Conflicts: 152000 | #Constraints: 15669
1649.35/1654.25 c #Conflicts: 153000 | #Constraints: 16669
1649.35/1654.25 c #Conflicts: 154000 | #Constraints: 17669
1649.35/1654.25 c #Conflicts: 155000 | #Constraints: 18669
1649.35/1654.25 c INPROCESSING
1649.35/1654.25 c GARBAGE COLLECT
1649.35/1654.25 c #Conflicts: 156000 | #Constraints: 11865
1649.35/1654.25 c #Conflicts: 157000 | #Constraints: 12865
1649.35/1654.25 c #Conflicts: 158000 | #Constraints: 13865
1649.35/1654.25 c #Conflicts: 159000 | #Constraints: 14865
1649.35/1654.25 c #Conflicts: 160000 | #Constraints: 15865
1649.35/1654.25 c #Conflicts: 161000 | #Constraints: 16865
1649.35/1654.25 c #Conflicts: 162000 | #Constraints: 17865
1649.35/1654.25 c #Conflicts: 163000 | #Constraints: 18865
1649.35/1654.25 c INPROCESSING
1649.35/1654.25 c GARBAGE COLLECT
1649.35/1654.25 c #Conflicts: 164000 | #Constraints: 11865
1649.35/1654.25 c #Conflicts: 165000 | #Constraints: 12865
1649.35/1654.25 c #Conflicts: 166000 | #Constraints: 13865
1649.35/1654.25 c #Conflicts: 167000 | #Constraints: 14865
1649.35/1654.25 c #Conflicts: 168000 | #Constraints: 15865
1649.35/1654.25 c #Conflicts: 169000 | #Constraints: 16865
1649.35/1654.25 c #Conflicts: 170000 | #Constraints: 17865
1649.35/1654.25 c #Conflicts: 171000 | #Constraints: 18865
1649.35/1654.25 c INPROCESSING
1649.35/1654.25 c GARBAGE COLLECT
1649.35/1654.25 c #Conflicts: 172000 | #Constraints: 11651
1649.35/1654.25 c #Conflicts: 173000 | #Constraints: 12651
1649.35/1654.25 c #Conflicts: 174000 | #Constraints: 13651
1649.35/1654.25 c #Conflicts: 175000 | #Constraints: 14651
1649.35/1654.25 c #Conflicts: 176000 | #Constraints: 15651
1649.35/1654.25 c #Conflicts: 177000 | #Constraints: 16651
1649.35/1654.25 c #Conflicts: 178000 | #Constraints: 17651
1649.35/1654.25 c #Conflicts: 179000 | #Constraints: 18651
1649.35/1654.25 c #Conflicts: 180000 | #Constraints: 19651
1649.35/1654.25 c INPROCESSING
1649.35/1654.25 c GARBAGE COLLECT
1649.35/1654.25 c #Conflicts: 181000 | #Constraints: 12243
1649.35/1654.25 c #Conflicts: 182000 | #Constraints: 13243
1649.35/1654.25 c #Conflicts: 183000 | #Constraints: 14243
1649.35/1654.25 c #Conflicts: 184000 | #Constraints: 15243
1649.35/1654.25 c #Conflicts: 185000 | #Constraints: 16243
1649.35/1654.25 c #Conflicts: 186000 | #Constraints: 17243
1649.35/1654.25 c #Conflicts: 187000 | #Constraints: 18243
1649.35/1654.25 c #Conflicts: 188000 | #Constraints: 19243
1649.35/1654.25 c #Conflicts: 189000 | #Constraints: 20243
1649.35/1654.25 c INPROCESSING
1649.35/1654.25 c GARBAGE COLLECT
1649.35/1654.25 c #Conflicts: 190000 | #Constraints: 12647
1649.35/1654.25 c #Conflicts: 191000 | #Constraints: 13647
1649.35/1654.25 c #Conflicts: 192000 | #Constraints: 14647
1649.35/1654.25 c #Conflicts: 193000 | #Constraints: 15647
1649.35/1654.25 c #Conflicts: 194000 | #Constraints: 16647
1649.35/1654.25 c #Conflicts: 195000 | #Constraints: 17647
1649.35/1654.25 c #Conflicts: 196000 | #Constraints: 18647
1649.35/1654.25 c #Conflicts: 197000 | #Constraints: 19647
1649.35/1654.25 c #Conflicts: 198000 | #Constraints: 20647
1649.35/1654.25 c INPROCESSING
1649.35/1654.25 c GARBAGE COLLECT
1649.35/1654.25 c #Conflicts: 199000 | #Constraints: 12841
1649.35/1654.25 c #Conflicts: 200000 | #Constraints: 13841
1649.35/1654.25 c #Conflicts: 201000 | #Constraints: 14841
1649.35/1654.25 c #Conflicts: 202000 | #Constraints: 15841
1649.35/1654.25 c #Conflicts: 203000 | #Constraints: 16841
1649.35/1654.25 c #Conflicts: 204000 | #Constraints: 17841
1649.35/1654.25 c #Conflicts: 205000 | #Constraints: 18841
1649.35/1654.25 c #Conflicts: 206000 | #Constraints: 19841
1649.35/1654.25 c #Conflicts: 207000 | #Constraints: 20841
1649.35/1654.25 c INPROCESSING
1649.35/1654.25 c GARBAGE COLLECT
1649.35/1654.25 c #Conflicts: 208000 | #Constraints: 12844
1649.35/1654.25 c #Conflicts: 209000 | #Constraints: 13844
1649.35/1654.25 c #Conflicts: 210000 | #Constraints: 14844
1649.35/1654.25 c #Conflicts: 211000 | #Constraints: 15844
1649.35/1654.25 c #Conflicts: 212000 | #Constraints: 16844
1649.35/1654.25 c #Conflicts: 213000 | #Constraints: 17844
2723.25/2731.64 c #Conflicts: 214000 | #Constraints: 18844
2723.25/2731.64 c #Conflicts: 215000 | #Constraints: 19844
2723.25/2731.64 c #Conflicts: 216000 | #Constraints: 20844
2723.25/2731.64 c INPROCESSING
2723.25/2731.64 c GARBAGE COLLECT
2723.25/2731.64 c #Conflicts: 217000 | #Constraints: 12642
2723.25/2731.64 c #Conflicts: 218000 | #Constraints: 13642
2723.25/2731.64 c #Conflicts: 219000 | #Constraints: 14642
2723.25/2731.64 c #Conflicts: 220000 | #Constraints: 15642
2723.25/2731.64 c #Conflicts: 221000 | #Constraints: 16642
2723.25/2731.64 c #Conflicts: 222000 | #Constraints: 17642
2723.25/2731.64 c #Conflicts: 223000 | #Constraints: 18642
2723.25/2731.64 c #Conflicts: 224000 | #Constraints: 19642
2723.25/2731.64 c #Conflicts: 225000 | #Constraints: 20642
2723.25/2731.64 c #Conflicts: 226000 | #Constraints: 21642
2723.25/2731.64 c INPROCESSING
2723.25/2731.64 c GARBAGE COLLECT
2723.25/2731.64 c #Conflicts: 227000 | #Constraints: 13253
2723.25/2731.64 c #Conflicts: 228000 | #Constraints: 14253
2723.25/2731.64 c #Conflicts: 229000 | #Constraints: 15253
2723.25/2731.64 c #Conflicts: 230000 | #Constraints: 16253
2723.25/2731.64 c #Conflicts: 231000 | #Constraints: 17253
2723.25/2731.64 c #Conflicts: 232000 | #Constraints: 18253
2723.25/2731.64 c #Conflicts: 233000 | #Constraints: 19253
2723.25/2731.64 c #Conflicts: 234000 | #Constraints: 20253
2723.25/2731.64 c #Conflicts: 235000 | #Constraints: 21253
2723.25/2731.64 c #Conflicts: 236000 | #Constraints: 22253
2723.25/2731.64 c INPROCESSING
2723.25/2731.64 c GARBAGE COLLECT
2723.25/2731.64 c #Conflicts: 237000 | #Constraints: 13650
2723.25/2731.64 c #Conflicts: 238000 | #Constraints: 14650
2723.25/2731.64 c #Conflicts: 239000 | #Constraints: 15650
2723.25/2731.64 c #Conflicts: 240000 | #Constraints: 16650
2723.25/2731.64 c #Conflicts: 241000 | #Constraints: 17650
2723.25/2731.64 c #Conflicts: 242000 | #Constraints: 18650
2723.25/2731.64 c #Conflicts: 243000 | #Constraints: 19650
2723.25/2731.64 c #Conflicts: 244000 | #Constraints: 20650
2723.25/2731.64 c #Conflicts: 245000 | #Constraints: 21650
2723.25/2731.64 c #Conflicts: 246000 | #Constraints: 22650
2723.25/2731.64 c INPROCESSING
2723.25/2731.64 c GARBAGE COLLECT
2723.25/2731.64 c #Conflicts: 247000 | #Constraints: 13848
2723.25/2731.64 c #Conflicts: 248000 | #Constraints: 14848
2723.25/2731.64 c #Conflicts: 249000 | #Constraints: 15848
2723.25/2731.64 c #Conflicts: 250000 | #Constraints: 16848
2723.25/2731.64 c #Conflicts: 251000 | #Constraints: 17848
2723.25/2731.64 c #Conflicts: 252000 | #Constraints: 18848
2723.25/2731.64 c #Conflicts: 253000 | #Constraints: 19848
2723.25/2731.64 c #Conflicts: 254000 | #Constraints: 20848
2723.25/2731.64 c #Conflicts: 255000 | #Constraints: 21848
2723.25/2731.64 c #Conflicts: 256000 | #Constraints: 22848
2723.25/2731.64 c INPROCESSING
2723.25/2731.64 c GARBAGE COLLECT
2723.25/2731.64 c #Conflicts: 257000 | #Constraints: 13843
2723.25/2731.64 c #Conflicts: 258000 | #Constraints: 14843
2723.25/2731.64 c #Conflicts: 259000 | #Constraints: 15843
2723.25/2731.64 c #Conflicts: 260000 | #Constraints: 16843
2723.25/2731.64 c #Conflicts: 261000 | #Constraints: 17843
2723.25/2731.64 c #Conflicts: 262000 | #Constraints: 18843
2723.25/2731.64 c #Conflicts: 263000 | #Constraints: 19843
2723.25/2731.64 c #Conflicts: 264000 | #Constraints: 20843
2723.25/2731.64 c #Conflicts: 265000 | #Constraints: 21843
2723.25/2731.64 c #Conflicts: 266000 | #Constraints: 22843
2723.25/2731.64 c INPROCESSING
2723.25/2731.64 c GARBAGE COLLECT
2723.25/2731.64 c #Conflicts: 267000 | #Constraints: 13651
2723.25/2731.64 c #Conflicts: 268000 | #Constraints: 14651
2723.25/2731.64 c #Conflicts: 269000 | #Constraints: 15651
2723.25/2731.64 c #Conflicts: 270000 | #Constraints: 16651
2723.25/2731.64 c #Conflicts: 271000 | #Constraints: 17651
2723.25/2731.64 c #Conflicts: 272000 | #Constraints: 18651
2723.25/2731.64 c #Conflicts: 273000 | #Constraints: 19651
2723.25/2731.64 c #Conflicts: 274000 | #Constraints: 20651
2723.25/2731.64 c #Conflicts: 275000 | #Constraints: 21651
2723.25/2731.64 c #Conflicts: 276000 | #Constraints: 22651
2723.25/2731.64 c #Conflicts: 277000 | #Constraints: 23651
2723.25/2731.64 c INPROCESSING
2723.25/2731.64 c GARBAGE COLLECT
2723.25/2731.64 c #Conflicts: 278000 | #Constraints: 14242
2723.25/2731.64 c #Conflicts: 279000 | #Constraints: 15242
2723.25/2731.64 c #Conflicts: 280000 | #Constraints: 16242
2723.25/2731.64 c #Conflicts: 281000 | #Constraints: 17242
2723.25/2731.64 c #Conflicts: 282000 | #Constraints: 18242
2723.25/2731.64 c #Conflicts: 283000 | #Constraints: 19242
2723.25/2731.64 c #Conflicts: 284000 | #Constraints: 20242
2723.25/2731.64 c #Conflicts: 285000 | #Constraints: 21242
2723.25/2731.64 c #Conflicts: 286000 | #Constraints: 22242
2723.25/2731.64 c #Conflicts: 287000 | #Constraints: 23242
3600.13/3611.02 c #Conflicts: 288000 | #Constraints: 24242
3600.13/3611.02 c INPROCESSING
3600.13/3611.02 c GARBAGE COLLECT
3600.13/3611.02 c #Conflicts: 289000 | #Constraints: 14641
3600.13/3611.02 c #Conflicts: 290000 | #Constraints: 15641
3600.13/3611.02 c #Conflicts: 291000 | #Constraints: 16641
3600.13/3611.02 c #Conflicts: 292000 | #Constraints: 17641
3600.13/3611.02 c #Conflicts: 293000 | #Constraints: 18641
3600.13/3611.02 c #Conflicts: 294000 | #Constraints: 19641
3600.13/3611.02 c #Conflicts: 295000 | #Constraints: 20641
3600.13/3611.02 c #Conflicts: 296000 | #Constraints: 21641
3600.13/3611.02 c #Conflicts: 297000 | #Constraints: 22641
3600.13/3611.02 c #Conflicts: 298000 | #Constraints: 23641
3600.13/3611.02 c #Conflicts: 299000 | #Constraints: 24641
3600.13/3611.02 c INPROCESSING
3600.13/3611.02 c GARBAGE COLLECT
3600.13/3611.02 c #Conflicts: 300000 | #Constraints: 14844
3600.13/3611.02 c #Conflicts: 301000 | #Constraints: 15844
3600.13/3611.02 c #Conflicts: 302000 | #Constraints: 16844
3600.13/3611.02 c #Conflicts: 303000 | #Constraints: 17844
3600.13/3611.02 c #Conflicts: 304000 | #Constraints: 18844
3600.13/3611.02 c #Conflicts: 305000 | #Constraints: 19844
3600.13/3611.02 c #Conflicts: 306000 | #Constraints: 20844
3600.13/3611.02 c #Conflicts: 307000 | #Constraints: 21844
3600.13/3611.02 c #Conflicts: 308000 | #Constraints: 22844
3600.13/3611.02 c #Conflicts: 309000 | #Constraints: 23844
3600.13/3611.02 c #Conflicts: 310000 | #Constraints: 24844
3600.13/3611.02 c INPROCESSING
3600.13/3611.02 c GARBAGE COLLECT
3600.13/3611.02 c #Conflicts: 311000 | #Constraints: 14859
3600.13/3611.02 c #Conflicts: 312000 | #Constraints: 15859
3600.13/3611.02 c #Conflicts: 313000 | #Constraints: 16859
3600.13/3611.02 c #Conflicts: 314000 | #Constraints: 17859
3600.13/3611.02 c #Conflicts: 315000 | #Constraints: 18859
3600.13/3611.02 c #Conflicts: 316000 | #Constraints: 19859
3600.13/3611.02 c #Conflicts: 317000 | #Constraints: 20859
3600.13/3611.02 c #Conflicts: 318000 | #Constraints: 21859
3600.13/3611.02 c #Conflicts: 319000 | #Constraints: 22859
3600.13/3611.02 c #Conflicts: 320000 | #Constraints: 23859
3600.13/3611.02 c #Conflicts: 321000 | #Constraints: 24859
3600.13/3611.02 c INPROCESSING
3600.13/3611.02 c GARBAGE COLLECT
3600.13/3611.02 c #Conflicts: 322000 | #Constraints: 14660
3600.13/3611.02 c #Conflicts: 323000 | #Constraints: 15660
3600.13/3611.02 c #Conflicts: 324000 | #Constraints: 16660
3600.13/3611.02 c #Conflicts: 325000 | #Constraints: 17660
3600.13/3611.02 c #Conflicts: 326000 | #Constraints: 18660
3600.13/3611.02 c #Conflicts: 327000 | #Constraints: 19660
3600.13/3611.02 c #Conflicts: 328000 | #Constraints: 20660
3600.13/3611.02 c #Conflicts: 329000 | #Constraints: 21660
3600.13/3611.02 c #Conflicts: 330000 | #Constraints: 22660
3600.13/3611.02 c #Conflicts: 331000 | #Constraints: 23660
3600.13/3611.02 c Program interrupted by user.
3600.13/3611.02 c cpu time 3552.4 s
3600.13/3611.02 c deterministic time 591563482329 5.92e+11
3600.13/3611.02 c optimization time 592.654 s
3600.13/3611.02 c total solve time 2959.12 s
3600.13/3611.02 c core-guided solve time 2959.12 s
3600.13/3611.02 c propagation time 2479.65 s
3600.13/3611.02 c conflict analysis time 803.218 s
3600.13/3611.02 c propagations 288795948
3600.13/3611.02 c resolve steps 1599775
3600.13/3611.02 c decisions 60707798
3600.13/3611.02 c conflicts 331585
3600.13/3611.02 c restarts 765
3600.13/3611.02 c inprocessing phases 48
3600.13/3611.02 c input clauses 1369
3600.13/3611.02 c input cardinalities 1369
3600.13/3611.02 c input general constraints 258
3600.13/3611.02 c input average constraint length 233.03
3600.13/3611.02 c input average constraint degree 49322.55
3600.13/3611.02 c learned clauses 7496
3600.13/3611.02 c learned cardinalities 482
3600.13/3611.02 c learned general constraints 323606
3600.13/3611.02 c learned average constraint length 6168.71
3600.13/3611.02 c learned average constraint degree 47691634.49
3600.13/3611.02 c watched constraints 200536
3600.13/3611.02 c counting constraints 123328
3600.13/3611.02 c gcd simplifications 4839
3600.13/3611.02 c detected cardinalities 47
3600.13/3611.02 c weakened non-implied lits 200745248
3600.13/3611.02 c weakened non-implying lits 46436
3600.13/3611.02 c original variables 175232
3600.13/3611.02 c clausal propagations 1269872
3600.13/3611.02 c cardinality propagations 31138413
3600.13/3611.02 c watched propagations 22809262
3600.13/3611.02 c counting propagations 231972596
3600.13/3611.02 c watch lookups 10713250833
3600.13/3611.02 c watch backjump lookups 10634840140
3600.13/3611.02 c watch checks 461342390429
3600.13/3611.02 c propagation checks 102741254885
3600.13/3611.02 c constraint additions 5432570309
3600.13/3611.02 c trail pops 349671986
3600.13/3611.02 c formula constraints 2994
3600.13/3611.02 c learned constraints 331584
3600.13/3611.02 c bound constraints 1
3600.13/3611.02 c core-guided constraints 1
3600.13/3611.02 c encountered formula constraints 1143768
3600.13/3611.02 c encountered learned constraints 787557
3600.13/3611.02 c encountered bound constraints 0
3600.13/3611.02 c encountered core-guided constraints 35
3600.13/3611.02 c LP total time 0 s
3600.13/3611.02 c LP solve time 0 s
3600.13/3611.02 c LP constraints added 0
3600.13/3611.02 c LP constraints removed 0
3600.13/3611.02 c LP pivots internal 0
3600.13/3611.02 c LP pivots root 0
3600.13/3611.02 c LP calls 0
3600.13/3611.02 c LP optimalities 0
3600.13/3611.02 c LP no pivot count 0
3600.13/3611.02 c LP infeasibilities 0
3600.13/3611.02 c LP valid Farkas constraints 0
3600.13/3611.02 c LP learned Farkas constraints 0
3600.13/3611.02 c LP basis resets 0
3600.13/3611.02 c LP cycling count 0
3600.13/3611.02 c LP singular count 0
3600.13/3611.02 c LP no primal count 0
3600.13/3611.02 c LP no farkas count 0
3600.13/3611.02 c LP other issue count 0
3600.13/3611.02 c LP Gomory cuts 0
3600.13/3611.02 c LP learned cuts 0
3600.13/3611.02 c LP deleted cuts 0
3600.13/3611.02 c LP encountered Gomory constraints 0
3600.13/3611.02 c LP encountered Farkas constraints 0
3600.13/3611.02 c LP encountered learned Farkas constraints 0
3600.13/3611.02 c CG auxiliary variables introduced 1
3600.13/3611.02 c CG solutions found 0
3600.13/3611.02 c CG cores constructed 1
3600.13/3611.02 c CG core cardinality constraints returned 1
3600.13/3611.02 c CG unit cores 0
3600.13/3611.02 c CG single cores 1
3600.13/3611.02 c CG blocks removed during cardinality reduction 0
3600.13/3611.02 c CG first core best 0
3600.13/3611.02 c CG decision core best 0
3600.13/3611.02 c CG core reduction tie 0
3600.13/3611.02 c CG core degree average 117.00
3600.13/3611.02 c CG core slack average 2.00
3600.13/3611.02 c CG exhausted 0
3600.13/3611.02 c CG exhaust time 0 s
3600.13/3611.02 c CG trimmed 0
3600.13/3611.02 c CG trim time 0.001005 s
3600.13/3611.02 c CG minimized 0
3600.13/3611.02 c CG minimize time 0 s
3600.13/3611.02 c CG am1 prop time 0.006868 s
3600.13/3611.02 c CG # am1s reformulated 1
3600.13/3611.02 c CG lower bound derived from am1s 8
3600.13/3611.02 c CG # clausal cores 0
3600.13/3611.02 c CG # cardinality cores 1
3600.13/3611.02 c CG # pb cores 0
3600.13/3611.02 c CG # pb reforms 0
3600.13/3611.02 c CG # cores discarded because of pb reform 0
3600.13/3611.02 d LOWERBOUND 125
3600.13/3611.02 d NCORES 1
3600.13/3611.02 d NPBCORES 0
3600.13/3611.02 d NPBREFORM 0
3600.13/3611.02 d NTRIMMED 0
3600.13/3611.02 d NEXHAUSTED 0
3600.13/3611.02 d NAM1S 1
3600.13/3611.02 d AM1LB 8
3600.32/3611.20 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: 63794 MiB (59204 MiB free)
memory of node 1: 64507 MiB (63574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509282-1751521694/watcher-4509282-1751521694 -o /tmp/evaluation-result-4509282-1751521694/solver-4509282-1751521694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70846 --watchdog 3760 pb-oll-rs HOME/instance-4509282-1751521694.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=71262, runsolver pid=71259
[startup+0.10007 s]*
/proc/loadavg: 4.54 4.27 4.11 5/251 71263
/proc/meminfo: memFree=125692464/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=59576 memory=44596 CPUtime=0.09 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 7376 0 0 0 6 3 0 0 20 0 1 0 67849098 61005824 11149 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 14894 11149 1152 243 0 11143 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59576 KiB
Current children cumulated memory: 44596 KiB
[startup+0.213554 s]*
/proc/loadavg: 4.54 4.27 4.11 5/251 71263
/proc/meminfo: memFree=125688432/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=63180 memory=49076 CPUtime=0.21 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 9442 0 0 0 17 4 0 0 20 0 1 0 67849098 64696320 12269 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 15795 12269 1152 243 0 12044 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63180 KiB
Current children cumulated memory: 49076 KiB
[startup+0.313776 s]*
/proc/loadavg: 4.54 4.27 4.11 5/251 71263
/proc/meminfo: memFree=125670728/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=63868 memory=52248 CPUtime=0.31 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 10950 0 0 0 26 5 0 0 20 0 1 0 67849098 65400832 13062 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 15967 13062 1152 243 0 12216 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63868 KiB
Current children cumulated memory: 52248 KiB
[startup+0.700327 s]
/proc/loadavg: 4.54 4.27 4.11 5/251 71263
/proc/meminfo: memFree=125666696/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=70592 memory=59544 CPUtime=0.68 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 14104 0 0 0 61 7 0 0 20 0 1 0 67849098 72286208 14886 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 17648 14886 1152 243 0 13897 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70592 KiB
Current children cumulated memory: 59544 KiB
[startup+1.50031 s]
/proc/loadavg: 4.54 4.27 4.11 5/251 71263
/proc/meminfo: memFree=125649312/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=112424 memory=87848 CPUtime=1.48 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 21024 0 0 0 109 39 0 0 20 0 1 0 67849098 115122176 21962 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 28106 21962 1344 243 0 24355 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112424 KiB
Current children cumulated memory: 87848 KiB
[startup+3.11344 s]
/proc/loadavg: 4.54 4.27 4.11 5/251 71263
/proc/meminfo: memFree=125590876/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=131280 memory=105732 CPUtime=3.08 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 22410 0 0 0 247 61 0 0 20 0 1 0 67849098 134430720 26433 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 32820 26433 1344 243 0 29069 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 131280 KiB
Current children cumulated memory: 105732 KiB
[startup+6.3003 s]
/proc/loadavg: 4.58 4.28 4.12 5/251 71263
/proc/meminfo: memFree=125495684/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=184160 memory=145864 CPUtime=6.26 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 24283 0 0 0 561 65 0 0 20 0 1 0 67849098 188579840 36466 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 46040 36466 1344 243 0 42289 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 184160 KiB
Current children cumulated memory: 145864 KiB
[startup+12.7003 s]
/proc/loadavg: 4.53 4.28 4.12 5/251 71263
/proc/meminfo: memFree=125381824/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=246644 memory=226104 CPUtime=12.65 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 28523 0 0 0 1194 71 0 0 20 0 1 0 67849098 252563456 56526 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 61661 56526 1344 243 0 57910 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 246644 KiB
Current children cumulated memory: 226104 KiB
[startup+25.5003 s]
/proc/loadavg: 4.41 4.26 4.11 5/251 71264
/proc/meminfo: memFree=125015936/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=491132 memory=362244 CPUtime=25.41 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 37005 0 0 0 2425 116 0 0 20 0 1 0 67849098 502919168 90561 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 122783 90561 1344 243 0 119032 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 491132 KiB
Current children cumulated memory: 362244 KiB
[startup+51.1135 s]
/proc/loadavg: 4.35 4.26 4.11 5/251 71264
/proc/meminfo: memFree=124636944/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=680936 memory=549892 CPUtime=50.95 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 83937 0 0 0 4824 271 0 0 20 0 1 0 67849098 697278464 137473 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 170234 137473 1344 243 0 166483 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 680936 KiB
Current children cumulated memory: 549892 KiB
[startup+102.3 s]
/proc/loadavg: 4.68 4.36 4.16 5/250 71266
/proc/meminfo: memFree=124222436/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=878896 memory=745604 CPUtime=102.01 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 132862 0 0 0 9610 591 0 0 20 0 1 0 67849098 899989504 186401 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 219724 186401 1344 243 0 215973 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 878896 KiB
Current children cumulated memory: 745604 KiB
[startup+162.3 s]
/proc/loadavg: 4.53 4.39 4.18 5/250 71269
/proc/meminfo: memFree=123874920/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=1037260 memory=902148 CPUtime=161.84 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 172004 0 0 0 15366 818 0 0 20 0 1 0 67849098 1062154240 225537 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 259315 225537 1344 243 0 255564 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1037260 KiB
Current children cumulated memory: 902148 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.35 4.18 5/250 71271
/proc/meminfo: memFree=123000620/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=1351500 memory=1272848 CPUtime=221.67 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 243250 0 0 0 21272 895 0 0 20 0 1 0 67849098 1383936000 318212 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 337875 318212 1344 243 0 334124 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1351500 KiB
Current children cumulated memory: 1272848 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.30 4.17 5/250 71319
/proc/meminfo: memFree=122790700/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=1522340 memory=1443600 CPUtime=281.51 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 285956 0 0 0 26967 1184 0 0 20 0 1 0 67849098 1558876160 360900 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 380585 360900 1344 243 0 376834 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1522340 KiB
Current children cumulated memory: 1443600 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.24 4.16 5/250 71321
/proc/meminfo: memFree=122281604/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=1593648 memory=1515024 CPUtime=341.34 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 303813 0 0 0 32751 1383 0 0 20 0 1 0 67849098 1631895552 378756 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 398412 378756 1344 243 0 394661 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1593648 KiB
Current children cumulated memory: 1515024 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.23 4.16 5/250 71327
/proc/meminfo: memFree=121808632/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=1677532 memory=1598480 CPUtime=401.17 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 324673 0 0 0 38542 1575 0 0 20 0 1 0 67849098 1717792768 399620 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 419383 399620 1344 243 0 415632 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 1677532 KiB
Current children cumulated memory: 1598480 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/250 71329
/proc/meminfo: memFree=121392828/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=2012808 memory=1784356 CPUtime=461 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 353343 0 0 0 44491 1609 0 0 20 0 1 0 67849098 2061115392 446089 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 503202 446089 1344 243 0 499451 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
Current children cumulated memory: 5651796 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 71509
/proc/meminfo: memFree=112044204/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6285336 memory=5710420 CPUtime=2913.35 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1103187 0 0 0 286640 4695 0 0 20 0 1 0 67849098 6436184064 1427605 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1571334 1427605 1344 243 0 1567583 0
Current children cumulated CPU time: 2913.35 s
Current children cumulated vsize: 6285336 KiB
Current children cumulated memory: 5710420 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 71511
/proc/meminfo: memFree=111457460/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6340660 memory=5763924 CPUtime=2973.17 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1116705 0 0 0 292612 4705 0 0 20 0 1 0 67849098 6492835840 1440981 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1585165 1440981 1344 243 0 1581414 0
Current children cumulated CPU time: 2973.17 s
Current children cumulated vsize: 6340660 KiB
Current children cumulated memory: 5763924 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/251 71516
/proc/meminfo: memFree=111313964/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6402708 memory=5812692 CPUtime=3033 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1129482 0 0 0 298573 4727 0 0 20 0 1 0 67849098 6556372992 1453173 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1600677 1453173 1344 243 0 1596926 0
Current children cumulated CPU time: 3033 s
Current children cumulated vsize: 6402708 KiB
Current children cumulated memory: 5812692 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 71518
/proc/meminfo: memFree=111163560/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6450924 memory=5857236 CPUtime=3092.84 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1141112 0 0 0 304549 4735 0 0 20 0 1 0 67849098 6605746176 1464309 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1612731 1464309 1344 243 0 1608980 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 6450924 KiB
Current children cumulated memory: 5857236 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 71520
/proc/meminfo: memFree=111029076/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6494420 memory=5899476 CPUtime=3152.66 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1150425 0 0 0 310526 4740 0 0 20 0 1 0 67849098 6650286080 1474869 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1623605 1474869 1344 243 0 1619854 0
Current children cumulated CPU time: 3152.66 s
Current children cumulated vsize: 6494420 KiB
Current children cumulated memory: 5899476 KiB
[startup+3222.3 s]
/proc/loadavg: 4.55 4.20 4.13 5/250 71522
/proc/meminfo: memFree=110938248/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6536920 memory=5948628 CPUtime=3212.5 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1160242 0 0 0 316503 4747 0 0 20 0 1 0 67849098 6693806080 1487157 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1634230 1487157 1344 243 0 1630479 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 6536920 KiB
Current children cumulated memory: 5948628 KiB
[startup+3282.3 s]
/proc/loadavg: 4.50 4.27 4.16 5/250 71524
/proc/meminfo: memFree=110855256/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6576924 memory=5995604 CPUtime=3272.34 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1169369 0 0 0 322481 4753 0 0 20 0 1 0 67849098 6734770176 1498901 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1644231 1498901 1344 243 0 1640480 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 6576924 KiB
Current children cumulated memory: 5995604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.46 4.28 4.17 5/249 71525
/proc/meminfo: memFree=110773280/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6594460 memory=6019412 CPUtime=3332.17 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1174058 0 0 0 328459 4758 0 0 20 0 1 0 67849098 6752727040 1504853 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1648615 1504853 1344 243 0 1644864 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 6594460 KiB
Current children cumulated memory: 6019412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.73 4.40 4.22 5/249 71527
/proc/meminfo: memFree=110672868/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6633268 memory=6048980 CPUtime=3392 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1181781 0 0 0 334438 4762 0 0 20 0 1 0 67849098 6792466432 1512245 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1658317 1512245 1344 243 0 1654566 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 6633268 KiB
Current children cumulated memory: 6048980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.34 4.21 5/250 71534
/proc/meminfo: memFree=110571120/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6636760 memory=6066388 CPUtime=3451.84 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1184480 0 0 0 340417 4767 0 0 20 0 1 0 67849098 6796042240 1516597 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1659190 1516597 1344 243 0 1655439 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 6636760 KiB
Current children cumulated memory: 6066388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.29 4.19 5/250 71536
/proc/meminfo: memFree=110430104/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6647912 memory=6078420 CPUtime=3511.67 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1187990 0 0 0 346398 4769 0 0 20 0 1 0 67849098 6807461888 1519605 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1661978 1519605 1344 243 0 1658227 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 6647912 KiB
Current children cumulated memory: 6078420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.25 4.18 5/250 71538
/proc/meminfo: memFree=110256376/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6699552 memory=6115540 CPUtime=3571.5 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1197608 0 0 0 352376 4774 0 0 20 0 1 0 67849098 6860341248 1528885 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1674888 1528885 1344 243 0 1671137 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 6699552 KiB
Current children cumulated memory: 6115540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.06 4.23 4.18 4/248 71539
/proc/meminfo: memFree=115785756/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=6705712 memory=6129364 CPUtime=3600.02 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1199707 0 0 0 355227 4775 0 0 20 0 1 0 67849098 6866649088 1532341 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1676428 1532341 1344 243 0 1672677 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 6705712 KiB
Current children cumulated memory: 6129364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.22 s]
# the end of solver process 71262 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3552.47 s, system=47.881 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.14 4.24 4.18 5/246 71547
/proc/meminfo: memFree=115778312/131382112 swapFree=33010416/33010684
[pid=71262] ppid=71259 vsize=5313880 memory=3122748 CPUtime=3600.32 cores=4,6
/proc/71262/stat : 71262 (pb-oll-rs) R 71259 71262 70835 0 -1 4194304 1200223 0 0 0 355246 4786 0 0 20 0 1 0 67849098 5441413120 780687 18446744073709551615 4218880 5211445 140734898155312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9216000 140734898162076 140734898162153 140734898162153 140734898167755 0
/proc/71262/statm: 1328470 780687 1440 243 0 1324719 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 5313880 KiB
Current children cumulated memory: 3122748 KiB
Child status: 0
Real time (s): 3611.22
CPU time (s): 3600.35
CPU user time (s): 3552.47
CPU system time (s): 47.881
CPU usage (%): 99.6989
Max. virtual memory (cumulated for all children) (KiB): 6705712
Max. memory (cumulated for all children) (KiB): 6129364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.47
system time used= 47.881
maximum resident set size= 6129748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1200233
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= 224
involuntary context switches= 4025
# summary of solver processes directly reported to runsolver:
# pid: 71262
# total CPU time (s): 3600.35
# total CPU user time (s): 3552.47
# total CPU system time (s): 47.881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2778 second user time and 35.445 second system time
The end
Begin job on nodeC012 at 2025-07-03 07:48:14
IDJOB=4509282
IDBENCH=158606
IDSOLVER=3345
FILE ID=nodeC012/4509282-1751521694
RUNJOBID= nodeC012-1751518082-70846
SLURM_JOB_ID= 9598636
Free space on /tmp= 431860 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509282-1751521694/watcher-4509282-1751521694 -o /tmp/evaluation-result-4509282-1751521694/solver-4509282-1751521694 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70846 --watchdog 3760 pb-oll-rs HOME/instance-4509282-1751521694.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1561879904
nodeC012 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 : 0xb00001f
cpu MHz : 3491.702
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.159
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.213
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.012
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1596.940
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.592
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.153
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.658
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125726040 kB
MemAvailable: 125753948 kB
Buffers: 2136 kB
Cached: 829368 kB
SwapCached: 16 kB
Active: 4877280 kB
Inactive: 211608 kB
Active(anon): 4268388 kB
Inactive(anon): 6996 kB
Active(file): 608892 kB
Inactive(file): 204612 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18492 kB
Writeback: 0 kB
AnonPages: 4258816 kB
Mapped: 107172 kB
Shmem: 17944 kB
KReclaimable: 107680 kB
Slab: 192976 kB
SReclaimable: 107680 kB
SUnreclaim: 85296 kB
KernelStack: 4064 kB
PageTables: 11616 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 5168072 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2250752 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431860 MiB
End job on nodeC012 at 2025-07-03 08:48:25