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.00/0.09 c [STEP] preprocessing with Papilo
0.09/0.13 c [STEP] solving with SCIP
299.28/300.19 c [STEP] preprocessing done, loading into solver
299.38/300.22 c [STEP] solving
299.38/300.22 c #variables 7311 #constraints 7573
299.38/300.22 c SMALL=int, LARGE=long long
299.38/300.22 d SCIPUB 3614039
299.38/300.22 c bounds - >= -85 @ 299.285
299.38/300.22 c stratification level: 3543122
494.45/495.82 c #Conflicts: 1000 | #Constraints: 8573
494.45/495.82 c #Conflicts: 2000 | #Constraints: 9573
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 3000 | #Constraints: 6696
494.45/495.82 c #Conflicts: 4000 | #Constraints: 7696
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 5000 | #Constraints: 7098
494.45/495.82 c #Conflicts: 6000 | #Constraints: 8098
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 7000 | #Constraints: 7104
494.45/495.82 c #Conflicts: 8000 | #Constraints: 8104
494.45/495.82 c #Conflicts: 9000 | #Constraints: 9104
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 10000 | #Constraints: 7835
494.45/495.82 c #Conflicts: 11000 | #Constraints: 8835
494.45/495.82 c #Conflicts: 12000 | #Constraints: 9835
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 13000 | #Constraints: 8277
494.45/495.82 c #Conflicts: 14000 | #Constraints: 9277
494.45/495.82 c #Conflicts: 15000 | #Constraints: 10277
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 16000 | #Constraints: 8523
494.45/495.82 c #Conflicts: 17000 | #Constraints: 9523
494.45/495.82 c #Conflicts: 18000 | #Constraints: 10523
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 19000 | #Constraints: 8533
494.45/495.82 c #Conflicts: 20000 | #Constraints: 9533
494.45/495.82 c #Conflicts: 21000 | #Constraints: 10533
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 22000 | #Constraints: 8392
494.45/495.82 c #Conflicts: 23000 | #Constraints: 9392
494.45/495.82 c #Conflicts: 24000 | #Constraints: 10392
494.45/495.82 c #Conflicts: 25000 | #Constraints: 11392
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 26000 | #Constraints: 9030
494.45/495.82 c #Conflicts: 27000 | #Constraints: 10030
494.45/495.82 c #Conflicts: 28000 | #Constraints: 11030
494.45/495.82 c #Conflicts: 29000 | #Constraints: 12030
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 30000 | #Constraints: 9412
494.45/495.82 c #Conflicts: 31000 | #Constraints: 10412
494.45/495.82 c #Conflicts: 32000 | #Constraints: 11412
494.45/495.82 c #Conflicts: 33000 | #Constraints: 12412
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 34000 | #Constraints: 9594
494.45/495.82 c #Conflicts: 35000 | #Constraints: 10594
494.45/495.82 c #Conflicts: 36000 | #Constraints: 11594
494.45/495.82 c #Conflicts: 37000 | #Constraints: 12594
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 38000 | #Constraints: 9653
494.45/495.82 c #Conflicts: 39000 | #Constraints: 10653
494.45/495.82 c #Conflicts: 40000 | #Constraints: 11653
494.45/495.82 c #Conflicts: 41000 | #Constraints: 12653
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 42000 | #Constraints: 9478
494.45/495.82 c #Conflicts: 43000 | #Constraints: 10478
494.45/495.82 c #Conflicts: 44000 | #Constraints: 11478
494.45/495.82 c #Conflicts: 45000 | #Constraints: 12478
494.45/495.82 c #Conflicts: 46000 | #Constraints: 13478
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 47000 | #Constraints: 10066
494.45/495.82 c #Conflicts: 48000 | #Constraints: 11066
494.45/495.82 c #Conflicts: 49000 | #Constraints: 12066
494.45/495.82 c #Conflicts: 50000 | #Constraints: 13066
494.45/495.82 c #Conflicts: 51000 | #Constraints: 14066
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 52000 | #Constraints: 10485
494.45/495.82 c #Conflicts: 53000 | #Constraints: 11485
494.45/495.82 c #Conflicts: 54000 | #Constraints: 12485
494.45/495.82 c #Conflicts: 55000 | #Constraints: 13485
494.45/495.82 c #Conflicts: 56000 | #Constraints: 14485
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 57000 | #Constraints: 10686
494.45/495.82 c #Conflicts: 58000 | #Constraints: 11686
494.45/495.82 c #Conflicts: 59000 | #Constraints: 12686
494.45/495.82 c #Conflicts: 60000 | #Constraints: 13686
494.45/495.82 c #Conflicts: 61000 | #Constraints: 14686
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 62000 | #Constraints: 10686
494.45/495.82 c #Conflicts: 63000 | #Constraints: 11686
494.45/495.82 c #Conflicts: 64000 | #Constraints: 12686
494.45/495.82 c #Conflicts: 65000 | #Constraints: 13686
494.45/495.82 c #Conflicts: 66000 | #Constraints: 14686
494.45/495.82 c INPROCESSING
494.45/495.82 c GARBAGE COLLECT
494.45/495.82 c #Conflicts: 67000 | #Constraints: 10530
494.45/495.82 c #Conflicts: 68000 | #Constraints: 11530
781.47/783.60 c #Conflicts: 69000 | #Constraints: 12530
781.47/783.60 c #Conflicts: 70000 | #Constraints: 13530
781.47/783.60 c #Conflicts: 71000 | #Constraints: 14530
781.47/783.60 c #Conflicts: 72000 | #Constraints: 15530
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 73000 | #Constraints: 11068
781.47/783.60 c #Conflicts: 74000 | #Constraints: 12068
781.47/783.60 c #Conflicts: 75000 | #Constraints: 13068
781.47/783.60 c #Conflicts: 76000 | #Constraints: 14068
781.47/783.60 c #Conflicts: 77000 | #Constraints: 15068
781.47/783.60 c #Conflicts: 78000 | #Constraints: 16068
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 79000 | #Constraints: 11417
781.47/783.60 c #Conflicts: 80000 | #Constraints: 12417
781.47/783.60 c #Conflicts: 81000 | #Constraints: 13417
781.47/783.60 c #Conflicts: 82000 | #Constraints: 14417
781.47/783.60 c #Conflicts: 83000 | #Constraints: 15417
781.47/783.60 c #Conflicts: 84000 | #Constraints: 16417
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 85000 | #Constraints: 11671
781.47/783.60 c #Conflicts: 86000 | #Constraints: 12671
781.47/783.60 c #Conflicts: 87000 | #Constraints: 13671
781.47/783.60 c #Conflicts: 88000 | #Constraints: 14671
781.47/783.60 c #Conflicts: 89000 | #Constraints: 15671
781.47/783.60 c #Conflicts: 90000 | #Constraints: 16671
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 91000 | #Constraints: 11714
781.47/783.60 c #Conflicts: 92000 | #Constraints: 12714
781.47/783.60 c #Conflicts: 93000 | #Constraints: 13714
781.47/783.60 c #Conflicts: 94000 | #Constraints: 14714
781.47/783.60 c #Conflicts: 95000 | #Constraints: 15714
781.47/783.60 c #Conflicts: 96000 | #Constraints: 16714
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 97000 | #Constraints: 11487
781.47/783.60 c #Conflicts: 98000 | #Constraints: 12487
781.47/783.60 c #Conflicts: 99000 | #Constraints: 13487
781.47/783.60 c #Conflicts: 100000 | #Constraints: 14487
781.47/783.60 c #Conflicts: 101000 | #Constraints: 15487
781.47/783.60 c #Conflicts: 102000 | #Constraints: 16487
781.47/783.60 c #Conflicts: 103000 | #Constraints: 17487
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 104000 | #Constraints: 12079
781.47/783.60 c #Conflicts: 105000 | #Constraints: 13079
781.47/783.60 c #Conflicts: 106000 | #Constraints: 14079
781.47/783.60 c #Conflicts: 107000 | #Constraints: 15079
781.47/783.60 c #Conflicts: 108000 | #Constraints: 16079
781.47/783.60 c #Conflicts: 109000 | #Constraints: 17079
781.47/783.60 c #Conflicts: 110000 | #Constraints: 18079
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 111000 | #Constraints: 12487
781.47/783.60 c #Conflicts: 112000 | #Constraints: 13487
781.47/783.60 c #Conflicts: 113000 | #Constraints: 14487
781.47/783.60 c #Conflicts: 114000 | #Constraints: 15487
781.47/783.60 c #Conflicts: 115000 | #Constraints: 16487
781.47/783.60 c #Conflicts: 116000 | #Constraints: 17487
781.47/783.60 c #Conflicts: 117000 | #Constraints: 18487
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 118000 | #Constraints: 12715
781.47/783.60 c #Conflicts: 119000 | #Constraints: 13715
781.47/783.60 c #Conflicts: 120000 | #Constraints: 14715
781.47/783.60 c #Conflicts: 121000 | #Constraints: 15715
781.47/783.60 c #Conflicts: 122000 | #Constraints: 16715
781.47/783.60 c #Conflicts: 123000 | #Constraints: 17715
781.47/783.60 c #Conflicts: 124000 | #Constraints: 18715
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 125000 | #Constraints: 12834
781.47/783.60 c #Conflicts: 126000 | #Constraints: 13834
781.47/783.60 c #Conflicts: 127000 | #Constraints: 14834
781.47/783.60 c #Conflicts: 128000 | #Constraints: 15834
781.47/783.60 c #Conflicts: 129000 | #Constraints: 16834
781.47/783.60 c #Conflicts: 130000 | #Constraints: 17834
781.47/783.60 c #Conflicts: 131000 | #Constraints: 18834
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 132000 | #Constraints: 12628
781.47/783.60 c #Conflicts: 133000 | #Constraints: 13628
781.47/783.60 c #Conflicts: 134000 | #Constraints: 14628
781.47/783.60 c #Conflicts: 135000 | #Constraints: 15628
781.47/783.60 c #Conflicts: 136000 | #Constraints: 16628
781.47/783.60 c #Conflicts: 137000 | #Constraints: 17628
781.47/783.60 c #Conflicts: 138000 | #Constraints: 18628
781.47/783.60 c #Conflicts: 139000 | #Constraints: 19628
781.47/783.60 c INPROCESSING
781.47/783.60 c GARBAGE COLLECT
781.47/783.60 c #Conflicts: 140000 | #Constraints: 13164
1107.88/1110.95 c #Conflicts: 141000 | #Constraints: 14164
1107.88/1110.95 c #Conflicts: 142000 | #Constraints: 15164
1107.88/1110.95 c #Conflicts: 143000 | #Constraints: 16164
1107.88/1110.95 c #Conflicts: 144000 | #Constraints: 17164
1107.88/1110.95 c #Conflicts: 145000 | #Constraints: 18164
1107.88/1110.95 c #Conflicts: 146000 | #Constraints: 19164
1107.88/1110.95 c #Conflicts: 147000 | #Constraints: 20164
1107.88/1110.95 c INPROCESSING
1107.88/1110.95 c GARBAGE COLLECT
1107.88/1110.95 c #Conflicts: 148000 | #Constraints: 13535
1107.88/1110.95 c #Conflicts: 149000 | #Constraints: 14535
1107.88/1110.95 c #Conflicts: 150000 | #Constraints: 15535
1107.88/1110.95 c #Conflicts: 151000 | #Constraints: 16535
1107.88/1110.95 c #Conflicts: 152000 | #Constraints: 17535
1107.88/1110.95 c #Conflicts: 153000 | #Constraints: 18535
1107.88/1110.95 c #Conflicts: 154000 | #Constraints: 19535
1107.88/1110.95 c #Conflicts: 155000 | #Constraints: 20535
1107.88/1110.95 c INPROCESSING
1107.88/1110.95 c GARBAGE COLLECT
1107.88/1110.95 c #Conflicts: 156000 | #Constraints: 13733
1107.88/1110.95 c #Conflicts: 157000 | #Constraints: 14733
1107.88/1110.95 c #Conflicts: 158000 | #Constraints: 15733
1107.88/1110.95 c #Conflicts: 159000 | #Constraints: 16733
1107.88/1110.95 c #Conflicts: 160000 | #Constraints: 17733
1107.88/1110.95 c #Conflicts: 161000 | #Constraints: 18733
1107.88/1110.95 c #Conflicts: 162000 | #Constraints: 19733
1107.88/1110.95 c #Conflicts: 163000 | #Constraints: 20733
1107.88/1110.95 c INPROCESSING
1107.88/1110.95 c GARBAGE COLLECT
1107.88/1110.95 c #Conflicts: 164000 | #Constraints: 13834
1107.88/1110.95 c #Conflicts: 165000 | #Constraints: 14834
1107.88/1110.95 c #Conflicts: 166000 | #Constraints: 15834
1107.88/1110.95 c #Conflicts: 167000 | #Constraints: 16834
1107.88/1110.95 c #Conflicts: 168000 | #Constraints: 17834
1107.88/1110.95 c #Conflicts: 169000 | #Constraints: 18834
1107.88/1110.95 c #Conflicts: 170000 | #Constraints: 19834
1107.88/1110.95 c #Conflicts: 171000 | #Constraints: 20834
1107.88/1110.95 c INPROCESSING
1107.88/1110.95 c GARBAGE COLLECT
1107.88/1110.95 c #Conflicts: 172000 | #Constraints: 13553
1107.88/1110.95 c #Conflicts: 173000 | #Constraints: 14553
1107.88/1110.95 c #Conflicts: 174000 | #Constraints: 15553
1107.88/1110.95 c #Conflicts: 175000 | #Constraints: 16553
1107.88/1110.95 c #Conflicts: 176000 | #Constraints: 17553
1107.88/1110.95 c #Conflicts: 177000 | #Constraints: 18553
1107.88/1110.95 c #Conflicts: 178000 | #Constraints: 19553
1107.88/1110.95 c #Conflicts: 179000 | #Constraints: 20553
1107.88/1110.95 c #Conflicts: 180000 | #Constraints: 21553
1107.88/1110.95 c INPROCESSING
1107.88/1110.95 c GARBAGE COLLECT
1107.88/1110.95 c #Conflicts: 181000 | #Constraints: 14180
1107.88/1110.95 c #Conflicts: 182000 | #Constraints: 15180
1107.88/1110.95 c #Conflicts: 183000 | #Constraints: 16180
1107.88/1110.95 c #Conflicts: 184000 | #Constraints: 17180
1107.88/1110.95 c #Conflicts: 185000 | #Constraints: 18180
1107.88/1110.95 c #Conflicts: 186000 | #Constraints: 19180
1107.88/1110.95 c #Conflicts: 187000 | #Constraints: 20180
1107.88/1110.95 c #Conflicts: 188000 | #Constraints: 21180
1107.88/1110.95 c #Conflicts: 189000 | #Constraints: 22180
1107.88/1110.95 c INPROCESSING
1107.88/1110.95 c GARBAGE COLLECT
1107.88/1110.95 c #Conflicts: 190000 | #Constraints: 14548
1107.88/1110.95 c #Conflicts: 191000 | #Constraints: 15548
1107.88/1110.95 c #Conflicts: 192000 | #Constraints: 16548
1107.88/1110.95 c #Conflicts: 193000 | #Constraints: 17548
1107.88/1110.95 c #Conflicts: 194000 | #Constraints: 18548
1107.88/1110.95 c #Conflicts: 195000 | #Constraints: 19548
1107.88/1110.95 c #Conflicts: 196000 | #Constraints: 20548
1107.88/1110.95 c #Conflicts: 197000 | #Constraints: 21548
1107.88/1110.95 c #Conflicts: 198000 | #Constraints: 22548
1107.88/1110.95 c INPROCESSING
1107.88/1110.95 c GARBAGE COLLECT
1107.88/1110.95 c #Conflicts: 199000 | #Constraints: 14687
1107.88/1110.95 c #Conflicts: 200000 | #Constraints: 15687
1107.88/1110.95 c #Conflicts: 201000 | #Constraints: 16687
1107.88/1110.95 c #Conflicts: 202000 | #Constraints: 17687
1107.88/1110.95 c #Conflicts: 203000 | #Constraints: 18687
1107.88/1110.95 c #Conflicts: 204000 | #Constraints: 19687
1107.88/1110.95 c #Conflicts: 205000 | #Constraints: 20687
1107.88/1110.95 c #Conflicts: 206000 | #Constraints: 21687
1107.88/1110.95 c #Conflicts: 207000 | #Constraints: 22687
1107.88/1110.95 c INPROCESSING
1107.88/1110.95 c GARBAGE COLLECT
1107.88/1110.95 c #Conflicts: 208000 | #Constraints: 14708
1107.88/1110.95 c #Conflicts: 209000 | #Constraints: 15708
1107.88/1110.95 c #Conflicts: 210000 | #Constraints: 16708
1107.88/1110.95 c #Conflicts: 211000 | #Constraints: 17708
1107.88/1110.95 c #Conflicts: 212000 | #Constraints: 18708
1107.88/1110.95 c #Conflicts: 213000 | #Constraints: 19708
1449.63/1453.63 c #Conflicts: 214000 | #Constraints: 20708
1449.63/1453.63 c #Conflicts: 215000 | #Constraints: 21708
1449.63/1453.63 c #Conflicts: 216000 | #Constraints: 22708
1449.63/1453.63 c INPROCESSING
1449.63/1453.63 c GARBAGE COLLECT
1449.63/1453.63 c #Conflicts: 217000 | #Constraints: 14533
1449.63/1453.63 c #Conflicts: 218000 | #Constraints: 15533
1449.63/1453.63 c #Conflicts: 219000 | #Constraints: 16533
1449.63/1453.63 c #Conflicts: 220000 | #Constraints: 17533
1449.63/1453.63 c #Conflicts: 221000 | #Constraints: 18533
1449.63/1453.63 c #Conflicts: 222000 | #Constraints: 19533
1449.63/1453.63 c #Conflicts: 223000 | #Constraints: 20533
1449.63/1453.63 c #Conflicts: 224000 | #Constraints: 21533
1449.63/1453.63 c #Conflicts: 225000 | #Constraints: 22533
1449.63/1453.63 c #Conflicts: 226000 | #Constraints: 23533
1449.63/1453.63 c INPROCESSING
1449.63/1453.63 c GARBAGE COLLECT
1449.63/1453.63 c #Conflicts: 227000 | #Constraints: 15144
1449.63/1453.63 c #Conflicts: 228000 | #Constraints: 16144
1449.63/1453.63 c #Conflicts: 229000 | #Constraints: 17144
1449.63/1453.63 c #Conflicts: 230000 | #Constraints: 18144
1449.63/1453.63 c #Conflicts: 231000 | #Constraints: 19144
1449.63/1453.63 c #Conflicts: 232000 | #Constraints: 20144
1449.63/1453.63 c #Conflicts: 233000 | #Constraints: 21144
1449.63/1453.63 c #Conflicts: 234000 | #Constraints: 22144
1449.63/1453.63 c #Conflicts: 235000 | #Constraints: 23144
1449.63/1453.63 c #Conflicts: 236000 | #Constraints: 24144
1449.63/1453.63 c INPROCESSING
1449.63/1453.63 c GARBAGE COLLECT
1449.63/1453.63 c #Conflicts: 237000 | #Constraints: 15547
1449.63/1453.63 c #Conflicts: 238000 | #Constraints: 16547
1449.63/1453.63 c #Conflicts: 239000 | #Constraints: 17547
1449.63/1453.63 c #Conflicts: 240000 | #Constraints: 18547
1449.63/1453.63 c #Conflicts: 241000 | #Constraints: 19547
1449.63/1453.63 c #Conflicts: 242000 | #Constraints: 20547
1449.63/1453.63 c #Conflicts: 243000 | #Constraints: 21547
1449.63/1453.63 c #Conflicts: 244000 | #Constraints: 22547
1449.63/1453.63 c #Conflicts: 245000 | #Constraints: 23547
1449.63/1453.63 c #Conflicts: 246000 | #Constraints: 24547
1449.63/1453.63 c INPROCESSING
1449.63/1453.63 c GARBAGE COLLECT
1449.63/1453.63 c #Conflicts: 247000 | #Constraints: 15733
1449.63/1453.63 c #Conflicts: 248000 | #Constraints: 16733
1449.63/1453.63 c #Conflicts: 249000 | #Constraints: 17733
1449.63/1453.63 c #Conflicts: 250000 | #Constraints: 18733
1449.63/1453.63 c #Conflicts: 251000 | #Constraints: 19733
1449.63/1453.63 c #Conflicts: 252000 | #Constraints: 20733
1449.63/1453.63 c #Conflicts: 253000 | #Constraints: 21733
1449.63/1453.63 c #Conflicts: 254000 | #Constraints: 22733
1449.63/1453.63 c #Conflicts: 255000 | #Constraints: 23733
1449.63/1453.63 c #Conflicts: 256000 | #Constraints: 24733
1449.63/1453.63 c INPROCESSING
1449.63/1453.63 c GARBAGE COLLECT
1449.63/1453.63 c #Conflicts: 257000 | #Constraints: 15758
1449.63/1453.63 c #Conflicts: 258000 | #Constraints: 16758
1449.63/1453.63 c #Conflicts: 259000 | #Constraints: 17758
1449.63/1453.63 c #Conflicts: 260000 | #Constraints: 18758
1449.63/1453.63 c #Conflicts: 261000 | #Constraints: 19758
1449.63/1453.63 c #Conflicts: 262000 | #Constraints: 20758
1449.63/1453.63 c #Conflicts: 263000 | #Constraints: 21758
1449.63/1453.63 c #Conflicts: 264000 | #Constraints: 22758
1449.63/1453.63 c #Conflicts: 265000 | #Constraints: 23758
1449.63/1453.63 c #Conflicts: 266000 | #Constraints: 24758
1449.63/1453.63 c INPROCESSING
1449.63/1453.63 c GARBAGE COLLECT
1449.63/1453.63 c #Conflicts: 267000 | #Constraints: 15526
1449.63/1453.63 c #Conflicts: 268000 | #Constraints: 16526
1449.63/1453.63 c #Conflicts: 269000 | #Constraints: 17526
1449.63/1453.63 c #Conflicts: 270000 | #Constraints: 18526
1449.63/1453.63 c #Conflicts: 271000 | #Constraints: 19526
1449.63/1453.63 c #Conflicts: 272000 | #Constraints: 20526
1449.63/1453.63 c #Conflicts: 273000 | #Constraints: 21526
1449.63/1453.63 c #Conflicts: 274000 | #Constraints: 22526
1449.63/1453.63 c #Conflicts: 275000 | #Constraints: 23526
1449.63/1453.63 c #Conflicts: 276000 | #Constraints: 24526
1449.63/1453.63 c #Conflicts: 277000 | #Constraints: 25526
1449.63/1453.63 c INPROCESSING
1449.63/1453.63 c GARBAGE COLLECT
1449.63/1453.63 c #Conflicts: 278000 | #Constraints: 16184
1449.63/1453.63 c #Conflicts: 279000 | #Constraints: 17184
1449.63/1453.63 c #Conflicts: 280000 | #Constraints: 18184
1449.63/1453.63 c #Conflicts: 281000 | #Constraints: 19184
1449.63/1453.63 c #Conflicts: 282000 | #Constraints: 20184
1449.63/1453.63 c #Conflicts: 283000 | #Constraints: 21184
1449.63/1453.63 c #Conflicts: 284000 | #Constraints: 22184
1449.63/1453.63 c #Conflicts: 285000 | #Constraints: 23184
1449.63/1453.63 c #Conflicts: 286000 | #Constraints: 24184
1449.63/1453.63 c #Conflicts: 287000 | #Constraints: 25184
1449.63/1453.63 c #Conflicts: 288000 | #Constraints: 26184
1780.83/1785.62 c INPROCESSING
1780.83/1785.62 c GARBAGE COLLECT
1780.83/1785.62 c #Conflicts: 289000 | #Constraints: 16542
1780.83/1785.62 c #Conflicts: 290000 | #Constraints: 17542
1780.83/1785.62 c #Conflicts: 291000 | #Constraints: 18542
1780.83/1785.62 c #Conflicts: 292000 | #Constraints: 19542
1780.83/1785.62 c #Conflicts: 293000 | #Constraints: 20542
1780.83/1785.62 c #Conflicts: 294000 | #Constraints: 21542
1780.83/1785.62 c #Conflicts: 295000 | #Constraints: 22542
1780.83/1785.62 c #Conflicts: 296000 | #Constraints: 23542
1780.83/1785.62 c #Conflicts: 297000 | #Constraints: 24542
1780.83/1785.62 c #Conflicts: 298000 | #Constraints: 25542
1780.83/1785.62 c #Conflicts: 299000 | #Constraints: 26542
1780.83/1785.62 c INPROCESSING
1780.83/1785.62 c GARBAGE COLLECT
1780.83/1785.62 c #Conflicts: 300000 | #Constraints: 16728
1780.83/1785.62 c #Conflicts: 301000 | #Constraints: 17728
1780.83/1785.62 c #Conflicts: 302000 | #Constraints: 18728
1780.83/1785.62 c #Conflicts: 303000 | #Constraints: 19728
1780.83/1785.62 c #Conflicts: 304000 | #Constraints: 20728
1780.83/1785.62 c #Conflicts: 305000 | #Constraints: 21728
1780.83/1785.62 c #Conflicts: 306000 | #Constraints: 22728
1780.83/1785.62 c #Conflicts: 307000 | #Constraints: 23728
1780.83/1785.62 c #Conflicts: 308000 | #Constraints: 24728
1780.83/1785.62 c #Conflicts: 309000 | #Constraints: 25728
1780.83/1785.62 c #Conflicts: 310000 | #Constraints: 26728
1780.83/1785.62 c INPROCESSING
1780.83/1785.62 c GARBAGE COLLECT
1780.83/1785.62 c #Conflicts: 311000 | #Constraints: 16741
1780.83/1785.62 c #Conflicts: 312000 | #Constraints: 17741
1780.83/1785.62 c #Conflicts: 313000 | #Constraints: 18741
1780.83/1785.62 c #Conflicts: 314000 | #Constraints: 19741
1780.83/1785.62 c #Conflicts: 315000 | #Constraints: 20741
1780.83/1785.62 c #Conflicts: 316000 | #Constraints: 21741
1780.83/1785.62 c #Conflicts: 317000 | #Constraints: 22741
1780.83/1785.62 c #Conflicts: 318000 | #Constraints: 23741
1780.83/1785.62 c #Conflicts: 319000 | #Constraints: 24741
1780.83/1785.62 c #Conflicts: 320000 | #Constraints: 25741
1780.83/1785.62 c #Conflicts: 321000 | #Constraints: 26741
1780.83/1785.62 c INPROCESSING
1780.83/1785.62 c GARBAGE COLLECT
1780.83/1785.62 c #Conflicts: 322000 | #Constraints: 16494
1780.83/1785.62 c #Conflicts: 323000 | #Constraints: 17494
1780.83/1785.62 c #Conflicts: 324000 | #Constraints: 18494
1780.83/1785.62 c #Conflicts: 325000 | #Constraints: 19494
1780.83/1785.62 c #Conflicts: 326000 | #Constraints: 20494
1780.83/1785.62 c #Conflicts: 327000 | #Constraints: 21494
1780.83/1785.62 c #Conflicts: 328000 | #Constraints: 22494
1780.83/1785.62 c #Conflicts: 329000 | #Constraints: 23494
1780.83/1785.62 c #Conflicts: 330000 | #Constraints: 24494
1780.83/1785.62 c #Conflicts: 331000 | #Constraints: 25494
1780.83/1785.62 c #Conflicts: 332000 | #Constraints: 26494
1780.83/1785.62 c #Conflicts: 333000 | #Constraints: 27494
1780.83/1785.62 c INPROCESSING
1780.83/1785.62 c GARBAGE COLLECT
1780.83/1785.62 c #Conflicts: 334000 | #Constraints: 17082
1780.83/1785.62 c #Conflicts: 335000 | #Constraints: 18082
1780.83/1785.62 c #Conflicts: 336000 | #Constraints: 19082
1780.83/1785.62 c #Conflicts: 337000 | #Constraints: 20082
1780.83/1785.62 c #Conflicts: 338000 | #Constraints: 21082
1780.83/1785.62 c #Conflicts: 339000 | #Constraints: 22082
1780.83/1785.62 c #Conflicts: 340000 | #Constraints: 23082
1780.83/1785.62 c #Conflicts: 341000 | #Constraints: 24082
1780.83/1785.62 c #Conflicts: 342000 | #Constraints: 25082
1780.83/1785.62 c #Conflicts: 343000 | #Constraints: 26082
1780.83/1785.62 c #Conflicts: 344000 | #Constraints: 27082
1780.83/1785.62 c #Conflicts: 345000 | #Constraints: 28082
1780.83/1785.62 c INPROCESSING
1780.83/1785.62 c GARBAGE COLLECT
1780.83/1785.62 c #Conflicts: 346000 | #Constraints: 17430
1780.83/1785.62 c #Conflicts: 347000 | #Constraints: 18430
1780.83/1785.62 c #Conflicts: 348000 | #Constraints: 19430
1780.83/1785.62 c #Conflicts: 349000 | #Constraints: 20430
1780.83/1785.62 c #Conflicts: 350000 | #Constraints: 21430
1780.83/1785.62 c #Conflicts: 351000 | #Constraints: 22430
1780.83/1785.62 c #Conflicts: 352000 | #Constraints: 23430
1780.83/1785.62 c #Conflicts: 353000 | #Constraints: 24430
1780.83/1785.62 c #Conflicts: 354000 | #Constraints: 25430
1780.83/1785.62 c #Conflicts: 355000 | #Constraints: 26430
1780.83/1785.62 c #Conflicts: 356000 | #Constraints: 27430
1780.83/1785.62 c #Conflicts: 357000 | #Constraints: 28430
1780.83/1785.62 c INPROCESSING
1780.83/1785.62 c GARBAGE COLLECT
1780.83/1785.62 c #Conflicts: 358000 | #Constraints: 17692
1780.83/1785.62 c #Conflicts: 359000 | #Constraints: 18692
1780.83/1785.62 c #Conflicts: 360000 | #Constraints: 19692
1780.83/1785.62 c #Conflicts: 361000 | #Constraints: 20692
1780.83/1785.62 c #Conflicts: 362000 | #Constraints: 21692
2167.34/2173.11 c #Conflicts: 363000 | #Constraints: 22692
2167.34/2173.11 c #Conflicts: 364000 | #Constraints: 23692
2167.34/2173.11 c #Conflicts: 365000 | #Constraints: 24692
2167.34/2173.11 c #Conflicts: 366000 | #Constraints: 25692
2167.34/2173.11 c #Conflicts: 367000 | #Constraints: 26692
2167.34/2173.11 c #Conflicts: 368000 | #Constraints: 27692
2167.34/2173.11 c #Conflicts: 369000 | #Constraints: 28692
2167.34/2173.11 c INPROCESSING
2167.34/2173.11 c GARBAGE COLLECT
2167.34/2173.11 c #Conflicts: 370000 | #Constraints: 17731
2167.34/2173.11 c #Conflicts: 371000 | #Constraints: 18731
2167.34/2173.11 c #Conflicts: 372000 | #Constraints: 19731
2167.34/2173.11 c #Conflicts: 373000 | #Constraints: 20731
2167.34/2173.11 c #Conflicts: 374000 | #Constraints: 21731
2167.34/2173.11 c #Conflicts: 375000 | #Constraints: 22731
2167.34/2173.11 c #Conflicts: 376000 | #Constraints: 23731
2167.34/2173.11 c #Conflicts: 377000 | #Constraints: 24731
2167.34/2173.11 c #Conflicts: 378000 | #Constraints: 25731
2167.34/2173.11 c #Conflicts: 379000 | #Constraints: 26731
2167.34/2173.11 c #Conflicts: 380000 | #Constraints: 27731
2167.34/2173.11 c #Conflicts: 381000 | #Constraints: 28731
2167.34/2173.11 c INPROCESSING
2167.34/2173.11 c GARBAGE COLLECT
2167.34/2173.11 c #Conflicts: 382000 | #Constraints: 17550
2167.34/2173.11 c #Conflicts: 383000 | #Constraints: 18550
2167.34/2173.11 c #Conflicts: 384000 | #Constraints: 19550
2167.34/2173.11 c #Conflicts: 385000 | #Constraints: 20550
2167.34/2173.11 c #Conflicts: 386000 | #Constraints: 21550
2167.34/2173.11 c #Conflicts: 387000 | #Constraints: 22550
2167.34/2173.11 c #Conflicts: 388000 | #Constraints: 23550
2167.34/2173.11 c #Conflicts: 389000 | #Constraints: 24550
2167.34/2173.11 c #Conflicts: 390000 | #Constraints: 25550
2167.34/2173.11 c #Conflicts: 391000 | #Constraints: 26550
2167.34/2173.11 c #Conflicts: 392000 | #Constraints: 27550
2167.34/2173.11 c #Conflicts: 393000 | #Constraints: 28550
2167.34/2173.11 c #Conflicts: 394000 | #Constraints: 29550
2167.34/2173.11 c INPROCESSING
2167.34/2173.11 c GARBAGE COLLECT
2167.34/2173.11 c #Conflicts: 395000 | #Constraints: 18091
2167.34/2173.11 c #Conflicts: 396000 | #Constraints: 19091
2167.34/2173.11 c #Conflicts: 397000 | #Constraints: 20091
2167.34/2173.11 c #Conflicts: 398000 | #Constraints: 21091
2167.34/2173.11 c #Conflicts: 399000 | #Constraints: 22091
2167.34/2173.11 c #Conflicts: 400000 | #Constraints: 23091
2167.34/2173.11 c #Conflicts: 401000 | #Constraints: 24091
2167.34/2173.11 c #Conflicts: 402000 | #Constraints: 25091
2167.34/2173.11 c #Conflicts: 403000 | #Constraints: 26091
2167.34/2173.11 c #Conflicts: 404000 | #Constraints: 27091
2167.34/2173.11 c #Conflicts: 405000 | #Constraints: 28091
2167.34/2173.11 c #Conflicts: 406000 | #Constraints: 29091
2167.34/2173.11 c #Conflicts: 407000 | #Constraints: 30091
2167.34/2173.11 c INPROCESSING
2167.34/2173.11 c GARBAGE COLLECT
2167.34/2173.11 c #Conflicts: 408000 | #Constraints: 18463
2167.34/2173.11 c #Conflicts: 409000 | #Constraints: 19463
2167.34/2173.11 c #Conflicts: 410000 | #Constraints: 20463
2167.34/2173.11 c #Conflicts: 411000 | #Constraints: 21463
2167.34/2173.11 c #Conflicts: 412000 | #Constraints: 22463
2167.34/2173.11 c #Conflicts: 413000 | #Constraints: 23463
2167.34/2173.11 c #Conflicts: 414000 | #Constraints: 24463
2167.34/2173.11 c #Conflicts: 415000 | #Constraints: 25463
2167.34/2173.11 c #Conflicts: 416000 | #Constraints: 26463
2167.34/2173.11 c #Conflicts: 417000 | #Constraints: 27463
2167.34/2173.11 c #Conflicts: 418000 | #Constraints: 28463
2167.34/2173.11 c #Conflicts: 419000 | #Constraints: 29463
2167.34/2173.11 c #Conflicts: 420000 | #Constraints: 30463
2167.34/2173.11 c INPROCESSING
2167.34/2173.11 c GARBAGE COLLECT
2167.34/2173.11 c #Conflicts: 421000 | #Constraints: 18622
2167.34/2173.11 c #Conflicts: 422000 | #Constraints: 19622
2167.34/2173.11 c #Conflicts: 423000 | #Constraints: 20622
2167.34/2173.11 c #Conflicts: 424000 | #Constraints: 21622
2167.34/2173.11 c #Conflicts: 425000 | #Constraints: 22622
2167.34/2173.11 c #Conflicts: 426000 | #Constraints: 23622
2167.34/2173.11 c #Conflicts: 427000 | #Constraints: 24622
2167.34/2173.11 c #Conflicts: 428000 | #Constraints: 25622
2167.34/2173.11 c #Conflicts: 429000 | #Constraints: 26622
2167.34/2173.11 c #Conflicts: 430000 | #Constraints: 27622
2167.34/2173.11 c #Conflicts: 431000 | #Constraints: 28622
2167.34/2173.11 c #Conflicts: 432000 | #Constraints: 29622
2167.34/2173.11 c #Conflicts: 433000 | #Constraints: 30622
2167.34/2173.11 c INPROCESSING
2167.34/2173.11 c GARBAGE COLLECT
2167.34/2173.11 c #Conflicts: 434000 | #Constraints: 18613
2167.34/2173.11 c #Conflicts: 435000 | #Constraints: 19613
2167.34/2173.11 c #Conflicts: 436000 | #Constraints: 20613
2167.34/2173.11 c #Conflicts: 437000 | #Constraints: 21613
2262.07/2268.16 c #Conflicts: 438000 | #Constraints: 22613
2262.07/2268.16 c #Conflicts: 439000 | #Constraints: 23613
2262.07/2268.16 c #Conflicts: 440000 | #Constraints: 24613
2262.07/2268.16 c #Conflicts: 441000 | #Constraints: 25613
2262.07/2268.16 c #Conflicts: 442000 | #Constraints: 26613
2262.07/2268.16 c #Conflicts: 443000 | #Constraints: 27613
2262.07/2268.16 c #Conflicts: 444000 | #Constraints: 28613
2262.07/2268.16 c #Conflicts: 445000 | #Constraints: 29613
2262.07/2268.16 c #Conflicts: 446000 | #Constraints: 30613
2262.07/2268.16 c INPROCESSING
2262.07/2268.16 c GARBAGE COLLECT
2262.07/2268.16 c #Conflicts: 447000 | #Constraints: 18486
2262.07/2268.16 c #Conflicts: 448000 | #Constraints: 19486
2262.07/2268.16 c #Conflicts: 449000 | #Constraints: 20486
2262.07/2268.16 c #Conflicts: 450000 | #Constraints: 21486
2262.07/2268.16 c #Conflicts: 451000 | #Constraints: 22486
2262.07/2268.16 c #Conflicts: 452000 | #Constraints: 23486
2262.07/2268.16 c #Conflicts: 453000 | #Constraints: 24486
2262.07/2268.16 c #Conflicts: 454000 | #Constraints: 25486
2262.07/2268.16 c #Conflicts: 455000 | #Constraints: 26486
2262.07/2268.16 c #Conflicts: 456000 | #Constraints: 27486
2262.07/2268.16 c #Conflicts: 457000 | #Constraints: 28486
2262.07/2268.16 c #Conflicts: 458000 | #Constraints: 29486
2262.07/2268.16 c #Conflicts: 459000 | #Constraints: 30486
2262.07/2268.16 c bounds - >= 3543085 @ 2258.96
2262.07/2268.16 c bounds - >= 3543085 @ 2258.97
2262.07/2268.16 d SOLVEDBY oll
2262.07/2268.16 c cpu time 2258.97 s
2262.07/2268.16 c deterministic time 164527396642 1.65e+11
2262.07/2268.16 c optimization time 0.039922 s
2262.07/2268.16 c total solve time 1959.65 s
2262.07/2268.16 c core-guided solve time 1959.65 s
2262.07/2268.16 c propagation time 915.945 s
2262.07/2268.16 c conflict analysis time 1010.24 s
2262.07/2268.16 c propagations 388196746
2262.07/2268.16 c resolve steps 28754003
2262.07/2268.16 c decisions 1399876
2262.07/2268.16 c conflicts 459319
2262.07/2268.16 c restarts 1021
2262.07/2268.16 c inprocessing phases 58
2262.07/2268.16 c input clauses 6070
2262.07/2268.16 c input cardinalities 7
2262.07/2268.16 c input general constraints 3827
2262.07/2268.16 c input average constraint length 8.68
2262.07/2268.16 c input average constraint degree 14769174.17
2262.07/2268.16 c learned clauses 259560
2262.07/2268.16 c learned cardinalities 450
2262.07/2268.16 c learned general constraints 199308
2262.07/2268.16 c learned average constraint length 1189.05
2262.07/2268.16 c learned average constraint degree 136095284.69
2262.07/2268.16 c watched constraints 143504
2262.07/2268.16 c counting constraints 59631
2262.07/2268.16 c gcd simplifications 45085
2262.07/2268.16 c detected cardinalities 36
2262.07/2268.16 c weakened non-implied lits 184012046
2262.07/2268.16 c weakened non-implying lits 987611
2262.07/2268.16 c original variables 14620
2262.07/2268.16 c clausal propagations 321360674
2262.07/2268.16 c cardinality propagations 2047132
2262.07/2268.16 c watched propagations 2984984
2262.07/2268.16 c counting propagations 61156368
2262.07/2268.16 c watch lookups 23513114250
2262.07/2268.16 c watch backjump lookups 22067492046
2262.07/2268.16 c watch checks 87538500993
2262.07/2268.16 c propagation checks 27731926006
2262.07/2268.16 c constraint additions 2896717323
2262.07/2268.16 c trail pops 390049401
2262.07/2268.16 c formula constraints 7573
2262.07/2268.16 c learned constraints 459318
2262.07/2268.16 c bound constraints 2331
2262.07/2268.16 c core-guided constraints 0
2262.07/2268.16 c encountered formula constraints 25250906
2262.07/2268.16 c encountered learned constraints 3933719
2262.07/2268.16 c encountered bound constraints 28697
2262.07/2268.16 c encountered core-guided constraints 0
2262.07/2268.16 c LP total time 0 s
2262.07/2268.16 c LP solve time 0 s
2262.07/2268.16 c LP constraints added 0
2262.07/2268.16 c LP constraints removed 0
2262.07/2268.16 c LP pivots internal 0
2262.07/2268.16 c LP pivots root 0
2262.07/2268.16 c LP calls 0
2262.07/2268.16 c LP optimalities 0
2262.07/2268.16 c LP no pivot count 0
2262.07/2268.16 c LP infeasibilities 0
2262.07/2268.16 c LP valid Farkas constraints 0
2262.07/2268.16 c LP learned Farkas constraints 0
2262.07/2268.16 c LP basis resets 0
2262.07/2268.16 c LP cycling count 0
2262.07/2268.16 c LP singular count 0
2262.07/2268.16 c LP no primal count 0
2262.07/2268.16 c LP no farkas count 0
2262.07/2268.16 c LP other issue count 0
2262.07/2268.16 c LP Gomory cuts 0
2262.07/2268.16 c LP learned cuts 0
2262.07/2268.16 c LP deleted cuts 0
2262.07/2268.16 c LP encountered Gomory constraints 0
2262.07/2268.16 c LP encountered Farkas constraints 0
2262.07/2268.16 c LP encountered learned Farkas constraints 0
2262.07/2268.16 c CG auxiliary variables introduced 0
2262.07/2268.16 c CG solutions found 0
2262.07/2268.16 c CG cores constructed 1
2262.07/2268.16 c CG core cardinality constraints returned 0
2262.07/2268.16 c CG unit cores 0
2262.07/2268.16 c CG single cores 1
2262.07/2268.16 c CG blocks removed during cardinality reduction 0
2262.07/2268.16 c CG first core best 0
2262.07/2268.16 c CG decision core best 0
2262.07/2268.16 c CG core reduction tie 0
2262.07/2268.16 c CG core degree average 1.00
2262.07/2268.16 c CG core slack average 13.00
2262.07/2268.16 c CG exhausted 0
2262.07/2268.16 c CG exhaust time 0 s
2262.07/2268.16 c CG trimmed 2
2262.07/2268.16 c CG trim time 0.025126 s
2262.07/2268.16 c CG minimized 0
2262.07/2268.16 c CG minimize time 0 s
2262.07/2268.16 c CG am1 prop time 4.7e-05 s
2262.07/2268.16 c CG # am1s reformulated 0
2262.07/2268.16 c CG lower bound derived from am1s 0
2262.07/2268.16 c CG # clausal cores 1
2262.07/2268.16 c CG # cardinality cores 0
2262.07/2268.16 c CG # pb cores 0
2262.07/2268.16 c CG # pb reforms 0
2262.07/2268.16 c CG # cores discarded because of pb reform 0
2262.07/2268.16 d LOWERBOUND 3543085
2262.07/2268.16 d NCORES 1
2262.07/2268.16 d NPBCORES 0
2262.07/2268.16 d NPBREFORM 0
2262.07/2268.16 d NTRIMMED 2
2262.07/2268.16 d NEXHAUSTED 0
2262.07/2268.16 d NAM1S 0
2262.07/2268.16 d AM1LB 0
2262.07/2268.16 c [Papilo Statistics]
2262.07/2268.16 c prepro time 0.0444055s
2262.07/2268.16 c # tsx applied 18190
2262.07/2268.16 c # tsx conflicts 0
2262.07/2268.16 c # bound changes 170
2262.07/2268.16 c # side changes 3570
2262.07/2268.16 c # coef changes 46410
2262.07/2268.16 c # rounds 3
2262.07/2268.16 c # deted vars 7310
2262.07/2268.16 c # deted constrs 14282
2262.07/2268.16 c # consecutive rounds of only bound changes 0
2262.07/2268.16 c [STEP] postprocessing with Papilo
2262.07/2268.16 c [Papilo ERROR] Postsolving solution failed. Please use debug mode to obtain more information.
2262.07/2268.16 c ERROR in papilo postprocessing
2262.07/2268.16 o 0
2262.07/2268.16 s OPTIMUM FOUND
2262.07/2268.16 v
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: 63665 MiB (61818 MiB free)
memory of node 1: 64507 MiB (62804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529150-1752260267/watcher-4529150-1752260267 -o /tmp/evaluation-result-4529150-1752260267/solver-4529150-1752260267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121309 --watchdog 3760 mixed-bag HOME/instance-4529150-1752260267.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
solver pid=121950, runsolver pid=121947
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.09 4.09 5/266 121951
/proc/meminfo: memFree=127598696/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=112724 memory=33548 CPUtime=0.09 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 8065 0 0 0 8 1 0 0 20 0 1 0 141704576 115429376 8387 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 28181 8387 2240 2834 0 10386 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112724 KiB
Current children cumulated memory: 33548 KiB
[startup+0.205634 s]*
/proc/loadavg: 4.10 4.09 4.09 5/266 121951
/proc/meminfo: memFree=127558628/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=154756 memory=80812 CPUtime=0.19 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 18263 0 0 0 16 3 0 0 20 0 1 0 141704576 158470144 20203 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 38689 20203 4000 2834 0 20894 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 154756 KiB
Current children cumulated memory: 80812 KiB
[startup+0.305469 s]*
/proc/loadavg: 4.10 4.09 4.09 5/266 121951
/proc/meminfo: memFree=127556864/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=162476 memory=88400 CPUtime=0.29 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 21456 0 0 0 26 3 0 0 20 0 1 0 141704576 166375424 22100 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 40619 22100 4032 2834 0 22824 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 162476 KiB
Current children cumulated memory: 88400 KiB
[startup+0.700159 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 121951
/proc/meminfo: memFree=127535696/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=222096 memory=133076 CPUtime=0.68 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 33502 0 0 0 63 5 0 0 20 0 1 0 141704576 227426304 33269 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 55524 33269 4256 2834 0 37729 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 222096 KiB
Current children cumulated memory: 133076 KiB
[startup+1.50016 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 121951
/proc/meminfo: memFree=127511756/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=223772 memory=134868 CPUtime=1.47 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 34006 0 0 0 142 5 0 0 20 0 1 0 141704576 229142528 33717 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 55943 33717 4256 2834 0 38148 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 223772 KiB
Current children cumulated memory: 134868 KiB
[startup+3.10538 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 121951
/proc/meminfo: memFree=127503712/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=224348 memory=135636 CPUtime=3.07 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 34191 0 0 0 302 5 0 0 20 0 1 0 141704576 229732352 33909 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 56087 33909 4256 2834 0 38292 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 224348 KiB
Current children cumulated memory: 135636 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 121951
/proc/meminfo: memFree=127487836/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=229924 memory=141268 CPUtime=6.27 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 35615 0 0 0 621 6 0 0 20 0 1 0 141704576 235442176 35317 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 57481 35317 4256 2834 0 39686 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 229924 KiB
Current children cumulated memory: 141268 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 121951
/proc/meminfo: memFree=127468368/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=245752 memory=154324 CPUtime=12.65 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 38975 0 0 0 1258 7 0 0 20 0 1 0 141704576 251650048 38581 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 61438 38581 4256 2834 0 43643 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 245752 KiB
Current children cumulated memory: 154324 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 121952
/proc/meminfo: memFree=127409024/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=262264 memory=169300 CPUtime=25.42 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 42884 0 0 0 2534 8 0 0 20 0 1 0 141704576 268558336 42325 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 65566 42325 4256 2834 0 47771 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 262264 KiB
Current children cumulated memory: 169300 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 121952
/proc/meminfo: memFree=127333172/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=294408 memory=200532 CPUtime=50.94 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 50711 0 0 0 5086 8 0 0 20 0 1 0 141704576 301473792 50133 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 73602 50133 4256 2834 0 55807 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 294408 KiB
Current children cumulated memory: 200532 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 121954
/proc/meminfo: memFree=127275916/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=294408 memory=200532 CPUtime=102.01 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 50714 0 0 0 10192 9 0 0 20 0 1 0 141704576 301473792 50133 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 73602 50133 4256 2834 0 55807 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 294408 KiB
Current children cumulated memory: 200532 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 121956
/proc/meminfo: memFree=127307856/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=294408 memory=200660 CPUtime=161.84 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 50745 0 0 0 16175 9 0 0 20 0 1 0 141704576 301473792 50165 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 73602 50165 4256 2834 0 55807 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 294408 KiB
Current children cumulated memory: 200660 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 121970
/proc/meminfo: memFree=127045404/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=299928 memory=205652 CPUtime=221.68 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 51982 0 0 0 22159 9 0 0 20 0 1 0 141704576 307126272 51413 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 74982 51413 4256 2834 0 57187 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 299928 KiB
Current children cumulated memory: 205652 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 121972
/proc/meminfo: memFree=126816004/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=340080 memory=243924 CPUtime=281.52 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 61580 0 0 0 28141 11 0 0 20 0 1 0 141704576 348241920 60981 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 85020 60981 4256 2834 0 67225 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 340080 KiB
Current children cumulated memory: 243924 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 121975
/proc/meminfo: memFree=126501764/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=337828 memory=259312 CPUtime=341.36 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 64038 0 0 0 34109 27 0 0 20 0 1 0 141704576 345935872 64828 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 84457 64828 4416 2834 0 66662 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 337828 KiB
Current children cumulated memory: 259312 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 121978
/proc/meminfo: memFree=126327716/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=356796 memory=266156 CPUtime=401.2 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 64745 0 0 0 40075 45 0 0 20 0 1 0 141704576 365359104 66539 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 89199 66539 4416 2834 0 71404 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 356796 KiB
Current children cumulated memory: 266156 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 121980
/proc/meminfo: memFree=126246004/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=356796 memory=274664 CPUtime=461.05 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 64816 0 0 0 46047 58 0 0 20 0 1 0 141704576 365359104 68666 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 89199 68666 4416 2834 0 71404 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
/proc/loadavg: 4.23 4.18 4.12 5/264 122051
/proc/meminfo: memFree=125026344/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=336392 CPUtime=1777.53 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66866 0 0 0 177491 262 0 0 20 0 1 0 141704576 448208896 84098 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 84098 4416 2834 0 91631 0
Current children cumulated CPU time: 1777.53 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 336392 KiB
[startup+1842.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/264 122054
/proc/meminfo: memFree=124839708/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=342536 CPUtime=1837.39 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66914 0 0 0 183471 268 0 0 20 0 1 0 141704576 448208896 85634 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 85634 4416 2834 0 91631 0
Current children cumulated CPU time: 1837.39 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 342536 KiB
[startup+1902.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 122056
/proc/meminfo: memFree=124832404/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=350728 CPUtime=1897.24 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66918 0 0 0 189450 274 0 0 20 0 1 0 141704576 448208896 87682 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 87682 4416 2834 0 91631 0
Current children cumulated CPU time: 1897.24 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 350728 KiB
[startup+1962.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/264 122058
/proc/meminfo: memFree=124825104/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=1957.1 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 195428 282 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 1957.1 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2022.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 122060
/proc/meminfo: memFree=124825968/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2016.96 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 201407 289 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2016.96 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2082.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 122063
/proc/meminfo: memFree=124693132/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2076.79 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 207383 296 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2076.79 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2142.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 122065
/proc/meminfo: memFree=124694764/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2136.63 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 213360 303 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2136.63 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2202.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 122068
/proc/meminfo: memFree=124686336/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2196.45 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 219336 309 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2196.45 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2262.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 122070
/proc/meminfo: memFree=124710484/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2256.28 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 225313 315 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2256.28 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2268.17 s]
# the end of solver process 121950 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2258.98 s, system=3.16641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2262.4 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 122070
/proc/meminfo: memFree=124710484/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2256.38 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 225323 315 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2256.38 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2265.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 122070
/proc/meminfo: memFree=124710492/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2259.57 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 225641 316 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2259.57 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2267.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 122070
/proc/meminfo: memFree=124710492/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2261.17 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 225801 316 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2261.17 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2267.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 122070
/proc/meminfo: memFree=124710492/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2261.57 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 225841 316 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2261.57 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2268 s]*
/proc/loadavg: 4.12 4.13 4.09 5/264 122070
/proc/meminfo: memFree=124710744/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2261.97 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 225881 316 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2261.97 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
[startup+2268.11 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 122070
/proc/meminfo: memFree=124710744/131250000 swapFree=33010416/33010684
[pid=121950] ppid=121947 vsize=437704 memory=358920 CPUtime=2262.07 cores=4,6
/proc/121950/stat : 121950 (mixed-bag) R 121947 121950 121298 0 -1 4194304 66922 0 0 0 225891 316 0 0 20 0 1 0 141704576 448208896 89730 18446744073709551615 4235264 15840557 140722751528848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 34181120 140722751531418 140722751531495 140722751531495 140722751537099 0
/proc/121950/statm: 109426 89730 4416 2834 0 91631 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 437704 KiB
Current children cumulated memory: 358920 KiB
Child status: 0
Real time (s): 2268.17
CPU time (s): 2262.14
CPU user time (s): 2258.98
CPU system time (s): 3.16641
CPU usage (%): 99.7343
Max. virtual memory (cumulated for all children) (KiB): 437704
Max. memory (cumulated for all children) (KiB): 358920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2258.98
system time used= 3.16641
maximum resident set size= 359432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66941
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= 181
involuntary context switches= 1250
# summary of solver processes directly reported to runsolver:
# pid: 121950
# total CPU time (s): 2262.14
# total CPU user time (s): 2258.98
# total CPU system time (s): 3.16641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75854 second user time and 8.01392 second system time
The end
Begin job on nodeC018 at 2025-07-11 20:57:47
IDJOB=4529150
IDBENCH=155628
IDSOLVER=3386
FILE ID=nodeC018/4529150-1752260267
RUNJOBID= nodeC018-1752256148-121309
SLURM_JOB_ID= 9682594
Free space on /tmp= 432524 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529150-1752260267/watcher-4529150-1752260267 -o /tmp/evaluation-result-4529150-1752260267/solver-4529150-1752260267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121309 --watchdog 3760 mixed-bag HOME/instance-4529150-1752260267.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21308a801a9cbe43fb5a50efc40ff8ff
RANDOM SEED=783004477
nodeC018 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.835
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.66
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 : 3599.828
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.66
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 : 3647.331
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.66
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.607
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.66
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 : 3599.818
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.66
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 : 3599.831
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.66
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.429
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.534
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127614068 kB
MemAvailable: 128583144 kB
Buffers: 2128 kB
Cached: 1730328 kB
SwapCached: 32 kB
Active: 1682100 kB
Inactive: 1201476 kB
Active(anon): 1168876 kB
Inactive(anon): 288 kB
Active(file): 513224 kB
Inactive(file): 1201188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16524 kB
Writeback: 0 kB
AnonPages: 1153208 kB
Mapped: 140068 kB
Shmem: 18044 kB
KReclaimable: 187408 kB
Slab: 281040 kB
SReclaimable: 187408 kB
SUnreclaim: 93632 kB
KernelStack: 4336 kB
PageTables: 5644 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1607120 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 645120 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432512 MiB
End job on nodeC018 at 2025-07-11 21:35:36