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.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
299.02/300.30 c [STEP] preprocessing done, loading into solver
299.02/300.30 c [STEP] solving
299.02/300.30 c #variables 5569 #constraints 412
299.02/300.30 c SMALL=int, LARGE=long long
299.02/300.30 d SCIPUB 16
299.02/300.30 c bounds - >= 0 @ 298.83
299.02/300.30 c stratification level: 0
372.68/374.22 c bounds - >= 15 @ 298.831
372.68/374.22 c #Conflicts: 1000 | #Constraints: 1413
372.68/374.22 c #Conflicts: 2000 | #Constraints: 2413
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 3000 | #Constraints: 2415
372.68/374.22 c #Conflicts: 4000 | #Constraints: 3415
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 5000 | #Constraints: 2820
372.68/374.22 c #Conflicts: 6000 | #Constraints: 3820
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 7000 | #Constraints: 2825
372.68/374.22 c #Conflicts: 8000 | #Constraints: 3825
372.68/374.22 c #Conflicts: 9000 | #Constraints: 4825
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 10000 | #Constraints: 3530
372.68/374.22 c #Conflicts: 11000 | #Constraints: 4530
372.68/374.22 c #Conflicts: 12000 | #Constraints: 5530
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 13000 | #Constraints: 3980
372.68/374.22 c #Conflicts: 14000 | #Constraints: 4980
372.68/374.22 c #Conflicts: 15000 | #Constraints: 5980
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 16000 | #Constraints: 4207
372.68/374.22 c #Conflicts: 17000 | #Constraints: 5207
372.68/374.22 c #Conflicts: 18000 | #Constraints: 6207
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 19000 | #Constraints: 4230
372.68/374.22 c #Conflicts: 20000 | #Constraints: 5230
372.68/374.22 c #Conflicts: 21000 | #Constraints: 6230
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 22000 | #Constraints: 4033
372.68/374.22 c #Conflicts: 23000 | #Constraints: 5033
372.68/374.22 c #Conflicts: 24000 | #Constraints: 6033
372.68/374.22 c #Conflicts: 25000 | #Constraints: 7033
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 26000 | #Constraints: 4633
372.68/374.22 c #Conflicts: 27000 | #Constraints: 5633
372.68/374.22 c #Conflicts: 28000 | #Constraints: 6633
372.68/374.22 c #Conflicts: 29000 | #Constraints: 7633
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 30000 | #Constraints: 5030
372.68/374.22 c #Conflicts: 31000 | #Constraints: 6030
372.68/374.22 c #Conflicts: 32000 | #Constraints: 7030
372.68/374.22 c #Conflicts: 33000 | #Constraints: 8030
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 34000 | #Constraints: 5233
372.68/374.22 c #Conflicts: 35000 | #Constraints: 6233
372.68/374.22 c #Conflicts: 36000 | #Constraints: 7233
372.68/374.22 c #Conflicts: 37000 | #Constraints: 8233
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 38000 | #Constraints: 5233
372.68/374.22 c #Conflicts: 39000 | #Constraints: 6233
372.68/374.22 c #Conflicts: 40000 | #Constraints: 7233
372.68/374.22 c #Conflicts: 41000 | #Constraints: 8233
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 42000 | #Constraints: 5041
372.68/374.22 c #Conflicts: 43000 | #Constraints: 6041
372.68/374.22 c #Conflicts: 44000 | #Constraints: 7041
372.68/374.22 c #Conflicts: 45000 | #Constraints: 8041
372.68/374.22 c #Conflicts: 46000 | #Constraints: 9041
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 47000 | #Constraints: 5640
372.68/374.22 c #Conflicts: 48000 | #Constraints: 6640
372.68/374.22 c #Conflicts: 49000 | #Constraints: 7640
372.68/374.22 c #Conflicts: 50000 | #Constraints: 8640
372.68/374.22 c #Conflicts: 51000 | #Constraints: 9640
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 52000 | #Constraints: 6041
372.68/374.22 c #Conflicts: 53000 | #Constraints: 7041
372.68/374.22 c #Conflicts: 54000 | #Constraints: 8041
372.68/374.22 c #Conflicts: 55000 | #Constraints: 9041
372.68/374.22 c #Conflicts: 56000 | #Constraints: 10041
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 57000 | #Constraints: 6240
372.68/374.22 c #Conflicts: 58000 | #Constraints: 7240
372.68/374.22 c #Conflicts: 59000 | #Constraints: 8240
372.68/374.22 c #Conflicts: 60000 | #Constraints: 9240
372.68/374.22 c #Conflicts: 61000 | #Constraints: 10240
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 62000 | #Constraints: 6243
372.68/374.22 c #Conflicts: 63000 | #Constraints: 7243
372.68/374.22 c #Conflicts: 64000 | #Constraints: 8243
372.68/374.22 c #Conflicts: 65000 | #Constraints: 9243
372.68/374.22 c #Conflicts: 66000 | #Constraints: 10243
372.68/374.22 c INPROCESSING
372.68/374.22 c GARBAGE COLLECT
372.68/374.22 c #Conflicts: 67000 | #Constraints: 6044
562.07/564.21 c #Conflicts: 68000 | #Constraints: 7044
562.07/564.21 c #Conflicts: 69000 | #Constraints: 8044
562.07/564.21 c #Conflicts: 70000 | #Constraints: 9044
562.07/564.21 c #Conflicts: 71000 | #Constraints: 10044
562.07/564.21 c #Conflicts: 72000 | #Constraints: 11044
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 73000 | #Constraints: 6643
562.07/564.21 c #Conflicts: 74000 | #Constraints: 7643
562.07/564.21 c #Conflicts: 75000 | #Constraints: 8643
562.07/564.21 c #Conflicts: 76000 | #Constraints: 9643
562.07/564.21 c #Conflicts: 77000 | #Constraints: 10643
562.07/564.21 c #Conflicts: 78000 | #Constraints: 11643
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 79000 | #Constraints: 7041
562.07/564.21 c #Conflicts: 80000 | #Constraints: 8041
562.07/564.21 c #Conflicts: 81000 | #Constraints: 9041
562.07/564.21 c #Conflicts: 82000 | #Constraints: 10041
562.07/564.21 c #Conflicts: 83000 | #Constraints: 11041
562.07/564.21 c #Conflicts: 84000 | #Constraints: 12041
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 85000 | #Constraints: 7240
562.07/564.21 c #Conflicts: 86000 | #Constraints: 8240
562.07/564.21 c #Conflicts: 87000 | #Constraints: 9240
562.07/564.21 c #Conflicts: 88000 | #Constraints: 10240
562.07/564.21 c #Conflicts: 89000 | #Constraints: 11240
562.07/564.21 c #Conflicts: 90000 | #Constraints: 12240
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 91000 | #Constraints: 7242
562.07/564.21 c #Conflicts: 92000 | #Constraints: 8242
562.07/564.21 c #Conflicts: 93000 | #Constraints: 9242
562.07/564.21 c #Conflicts: 94000 | #Constraints: 10242
562.07/564.21 c #Conflicts: 95000 | #Constraints: 11242
562.07/564.21 c #Conflicts: 96000 | #Constraints: 12242
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 97000 | #Constraints: 7047
562.07/564.21 c #Conflicts: 98000 | #Constraints: 8047
562.07/564.21 c #Conflicts: 99000 | #Constraints: 9047
562.07/564.21 c #Conflicts: 100000 | #Constraints: 10047
562.07/564.21 c #Conflicts: 101000 | #Constraints: 11047
562.07/564.21 c #Conflicts: 102000 | #Constraints: 12047
562.07/564.21 c #Conflicts: 103000 | #Constraints: 13047
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 104000 | #Constraints: 7642
562.07/564.21 c #Conflicts: 105000 | #Constraints: 8642
562.07/564.21 c #Conflicts: 106000 | #Constraints: 9642
562.07/564.21 c #Conflicts: 107000 | #Constraints: 10642
562.07/564.21 c #Conflicts: 108000 | #Constraints: 11642
562.07/564.21 c #Conflicts: 109000 | #Constraints: 12642
562.07/564.21 c #Conflicts: 110000 | #Constraints: 13642
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 111000 | #Constraints: 8043
562.07/564.21 c #Conflicts: 112000 | #Constraints: 9043
562.07/564.21 c #Conflicts: 113000 | #Constraints: 10043
562.07/564.21 c #Conflicts: 114000 | #Constraints: 11043
562.07/564.21 c #Conflicts: 115000 | #Constraints: 12043
562.07/564.21 c #Conflicts: 116000 | #Constraints: 13043
562.07/564.21 c #Conflicts: 117000 | #Constraints: 14043
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 118000 | #Constraints: 8242
562.07/564.21 c #Conflicts: 119000 | #Constraints: 9242
562.07/564.21 c #Conflicts: 120000 | #Constraints: 10242
562.07/564.21 c #Conflicts: 121000 | #Constraints: 11242
562.07/564.21 c #Conflicts: 122000 | #Constraints: 12242
562.07/564.21 c #Conflicts: 123000 | #Constraints: 13242
562.07/564.21 c #Conflicts: 124000 | #Constraints: 14242
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 125000 | #Constraints: 8239
562.07/564.21 c #Conflicts: 126000 | #Constraints: 9239
562.07/564.21 c #Conflicts: 127000 | #Constraints: 10239
562.07/564.21 c #Conflicts: 128000 | #Constraints: 11239
562.07/564.21 c #Conflicts: 129000 | #Constraints: 12239
562.07/564.21 c #Conflicts: 130000 | #Constraints: 13239
562.07/564.21 c #Conflicts: 131000 | #Constraints: 14239
562.07/564.21 c INPROCESSING
562.07/564.21 c GARBAGE COLLECT
562.07/564.21 c #Conflicts: 132000 | #Constraints: 8040
562.07/564.21 c #Conflicts: 133000 | #Constraints: 9040
562.07/564.21 c #Conflicts: 134000 | #Constraints: 10040
562.07/564.21 c #Conflicts: 135000 | #Constraints: 11040
562.07/564.21 c #Conflicts: 136000 | #Constraints: 12040
562.07/564.21 c #Conflicts: 137000 | #Constraints: 13040
562.07/564.21 c #Conflicts: 138000 | #Constraints: 14040
562.07/564.21 c #Conflicts: 139000 | #Constraints: 15040
562.07/564.21 c INPROCESSING
805.71/808.61 c GARBAGE COLLECT
805.71/808.61 c #Conflicts: 140000 | #Constraints: 8644
805.71/808.61 c #Conflicts: 141000 | #Constraints: 9644
805.71/808.61 c #Conflicts: 142000 | #Constraints: 10644
805.71/808.61 c #Conflicts: 143000 | #Constraints: 11644
805.71/808.61 c #Conflicts: 144000 | #Constraints: 12644
805.71/808.61 c #Conflicts: 145000 | #Constraints: 13644
805.71/808.61 c #Conflicts: 146000 | #Constraints: 14644
805.71/808.61 c #Conflicts: 147000 | #Constraints: 15644
805.71/808.61 c INPROCESSING
805.71/808.61 c GARBAGE COLLECT
805.71/808.61 c #Conflicts: 148000 | #Constraints: 9042
805.71/808.61 c #Conflicts: 149000 | #Constraints: 10042
805.71/808.61 c #Conflicts: 150000 | #Constraints: 11042
805.71/808.61 c #Conflicts: 151000 | #Constraints: 12042
805.71/808.61 c #Conflicts: 152000 | #Constraints: 13042
805.71/808.61 c #Conflicts: 153000 | #Constraints: 14042
805.71/808.61 c #Conflicts: 154000 | #Constraints: 15042
805.71/808.61 c #Conflicts: 155000 | #Constraints: 16042
805.71/808.61 c INPROCESSING
805.71/808.61 c GARBAGE COLLECT
805.71/808.61 c #Conflicts: 156000 | #Constraints: 9242
805.71/808.61 c #Conflicts: 157000 | #Constraints: 10242
805.71/808.61 c #Conflicts: 158000 | #Constraints: 11242
805.71/808.61 c #Conflicts: 159000 | #Constraints: 12242
805.71/808.61 c #Conflicts: 160000 | #Constraints: 13242
805.71/808.61 c #Conflicts: 161000 | #Constraints: 14242
805.71/808.61 c #Conflicts: 162000 | #Constraints: 15242
805.71/808.61 c #Conflicts: 163000 | #Constraints: 16242
805.71/808.61 c INPROCESSING
805.71/808.61 c GARBAGE COLLECT
805.71/808.61 c #Conflicts: 164000 | #Constraints: 9236
805.71/808.61 c #Conflicts: 165000 | #Constraints: 10236
805.71/808.61 c #Conflicts: 166000 | #Constraints: 11236
805.71/808.61 c #Conflicts: 167000 | #Constraints: 12236
805.71/808.61 c #Conflicts: 168000 | #Constraints: 13236
805.71/808.61 c #Conflicts: 169000 | #Constraints: 14236
805.71/808.61 c #Conflicts: 170000 | #Constraints: 15236
805.71/808.61 c #Conflicts: 171000 | #Constraints: 16236
805.71/808.61 c INPROCESSING
805.71/808.61 c GARBAGE COLLECT
805.71/808.61 c #Conflicts: 172000 | #Constraints: 9037
805.71/808.61 c #Conflicts: 173000 | #Constraints: 10037
805.71/808.61 c #Conflicts: 174000 | #Constraints: 11037
805.71/808.61 c #Conflicts: 175000 | #Constraints: 12037
805.71/808.61 c #Conflicts: 176000 | #Constraints: 13037
805.71/808.61 c #Conflicts: 177000 | #Constraints: 14037
805.71/808.61 c #Conflicts: 178000 | #Constraints: 15037
805.71/808.61 c #Conflicts: 179000 | #Constraints: 16037
805.71/808.61 c #Conflicts: 180000 | #Constraints: 17037
805.71/808.61 c INPROCESSING
805.71/808.61 c GARBAGE COLLECT
805.71/808.61 c #Conflicts: 181000 | #Constraints: 9642
805.71/808.61 c #Conflicts: 182000 | #Constraints: 10642
805.71/808.61 c #Conflicts: 183000 | #Constraints: 11642
805.71/808.61 c #Conflicts: 184000 | #Constraints: 12642
805.71/808.61 c #Conflicts: 185000 | #Constraints: 13642
805.71/808.61 c #Conflicts: 186000 | #Constraints: 14642
805.71/808.61 c #Conflicts: 187000 | #Constraints: 15642
805.71/808.61 c #Conflicts: 188000 | #Constraints: 16642
805.71/808.61 c #Conflicts: 189000 | #Constraints: 17642
805.71/808.61 c INPROCESSING
805.71/808.61 c GARBAGE COLLECT
805.71/808.61 c #Conflicts: 190000 | #Constraints: 10042
805.71/808.61 c #Conflicts: 191000 | #Constraints: 11042
805.71/808.61 c #Conflicts: 192000 | #Constraints: 12042
805.71/808.61 c #Conflicts: 193000 | #Constraints: 13042
805.71/808.61 c #Conflicts: 194000 | #Constraints: 14042
805.71/808.61 c #Conflicts: 195000 | #Constraints: 15042
805.71/808.61 c #Conflicts: 196000 | #Constraints: 16042
805.71/808.61 c #Conflicts: 197000 | #Constraints: 17042
805.71/808.61 c #Conflicts: 198000 | #Constraints: 18042
805.71/808.61 c INPROCESSING
805.71/808.61 c GARBAGE COLLECT
805.71/808.61 c #Conflicts: 199000 | #Constraints: 10246
805.71/808.61 c #Conflicts: 200000 | #Constraints: 11246
805.71/808.61 c #Conflicts: 201000 | #Constraints: 12246
805.71/808.61 c #Conflicts: 202000 | #Constraints: 13246
805.71/808.61 c #Conflicts: 203000 | #Constraints: 14246
805.71/808.61 c #Conflicts: 204000 | #Constraints: 15246
805.71/808.61 c #Conflicts: 205000 | #Constraints: 16246
805.71/808.61 c #Conflicts: 206000 | #Constraints: 17246
805.71/808.61 c #Conflicts: 207000 | #Constraints: 18246
805.71/808.61 c INPROCESSING
805.71/808.61 c GARBAGE COLLECT
805.71/808.61 c #Conflicts: 208000 | #Constraints: 10250
805.71/808.61 c #Conflicts: 209000 | #Constraints: 11250
805.71/808.61 c #Conflicts: 210000 | #Constraints: 12250
805.71/808.61 c #Conflicts: 211000 | #Constraints: 13250
805.71/808.61 c #Conflicts: 212000 | #Constraints: 14250
805.71/808.61 c #Conflicts: 213000 | #Constraints: 15250
1078.92/1082.79 c #Conflicts: 214000 | #Constraints: 16250
1078.92/1082.79 c #Conflicts: 215000 | #Constraints: 17250
1078.92/1082.79 c #Conflicts: 216000 | #Constraints: 18250
1078.92/1082.79 c INPROCESSING
1078.92/1082.79 c GARBAGE COLLECT
1078.92/1082.79 c #Conflicts: 217000 | #Constraints: 10053
1078.92/1082.79 c #Conflicts: 218000 | #Constraints: 11053
1078.92/1082.79 c #Conflicts: 219000 | #Constraints: 12053
1078.92/1082.79 c #Conflicts: 220000 | #Constraints: 13053
1078.92/1082.79 c #Conflicts: 221000 | #Constraints: 14053
1078.92/1082.79 c #Conflicts: 222000 | #Constraints: 15053
1078.92/1082.79 c #Conflicts: 223000 | #Constraints: 16053
1078.92/1082.79 c #Conflicts: 224000 | #Constraints: 17053
1078.92/1082.79 c #Conflicts: 225000 | #Constraints: 18053
1078.92/1082.79 c #Conflicts: 226000 | #Constraints: 19053
1078.92/1082.79 c INPROCESSING
1078.92/1082.79 c GARBAGE COLLECT
1078.92/1082.79 c #Conflicts: 227000 | #Constraints: 10650
1078.92/1082.79 c #Conflicts: 228000 | #Constraints: 11650
1078.92/1082.79 c #Conflicts: 229000 | #Constraints: 12650
1078.92/1082.79 c #Conflicts: 230000 | #Constraints: 13650
1078.92/1082.79 c #Conflicts: 231000 | #Constraints: 14650
1078.92/1082.79 c #Conflicts: 232000 | #Constraints: 15650
1078.92/1082.79 c #Conflicts: 233000 | #Constraints: 16650
1078.92/1082.79 c #Conflicts: 234000 | #Constraints: 17650
1078.92/1082.79 c #Conflicts: 235000 | #Constraints: 18650
1078.92/1082.79 c #Conflicts: 236000 | #Constraints: 19650
1078.92/1082.79 c INPROCESSING
1078.92/1082.79 c GARBAGE COLLECT
1078.92/1082.79 c #Conflicts: 237000 | #Constraints: 11048
1078.92/1082.79 c #Conflicts: 238000 | #Constraints: 12048
1078.92/1082.79 c #Conflicts: 239000 | #Constraints: 13048
1078.92/1082.79 c #Conflicts: 240000 | #Constraints: 14048
1078.92/1082.79 c #Conflicts: 241000 | #Constraints: 15048
1078.92/1082.79 c #Conflicts: 242000 | #Constraints: 16048
1078.92/1082.79 c #Conflicts: 243000 | #Constraints: 17048
1078.92/1082.79 c #Conflicts: 244000 | #Constraints: 18048
1078.92/1082.79 c #Conflicts: 245000 | #Constraints: 19048
1078.92/1082.79 c #Conflicts: 246000 | #Constraints: 20048
1078.92/1082.79 c INPROCESSING
1078.92/1082.79 c GARBAGE COLLECT
1078.92/1082.79 c #Conflicts: 247000 | #Constraints: 11251
1078.92/1082.79 c #Conflicts: 248000 | #Constraints: 12251
1078.92/1082.79 c #Conflicts: 249000 | #Constraints: 13251
1078.92/1082.79 c #Conflicts: 250000 | #Constraints: 14251
1078.92/1082.79 c #Conflicts: 251000 | #Constraints: 15251
1078.92/1082.79 c #Conflicts: 252000 | #Constraints: 16251
1078.92/1082.79 c #Conflicts: 253000 | #Constraints: 17251
1078.92/1082.79 c #Conflicts: 254000 | #Constraints: 18251
1078.92/1082.79 c #Conflicts: 255000 | #Constraints: 19251
1078.92/1082.79 c #Conflicts: 256000 | #Constraints: 20251
1078.92/1082.79 c INPROCESSING
1078.92/1082.79 c GARBAGE COLLECT
1078.92/1082.79 c #Conflicts: 257000 | #Constraints: 11245
1078.92/1082.79 c #Conflicts: 258000 | #Constraints: 12245
1078.92/1082.79 c #Conflicts: 259000 | #Constraints: 13245
1078.92/1082.79 c #Conflicts: 260000 | #Constraints: 14245
1078.92/1082.79 c #Conflicts: 261000 | #Constraints: 15245
1078.92/1082.79 c #Conflicts: 262000 | #Constraints: 16245
1078.92/1082.79 c #Conflicts: 263000 | #Constraints: 17245
1078.92/1082.79 c #Conflicts: 264000 | #Constraints: 18245
1078.92/1082.79 c #Conflicts: 265000 | #Constraints: 19245
1078.92/1082.79 c #Conflicts: 266000 | #Constraints: 20245
1078.92/1082.79 c INPROCESSING
1078.92/1082.79 c GARBAGE COLLECT
1078.92/1082.79 c #Conflicts: 267000 | #Constraints: 11045
1078.92/1082.79 c #Conflicts: 268000 | #Constraints: 12045
1078.92/1082.79 c #Conflicts: 269000 | #Constraints: 13045
1078.92/1082.79 c #Conflicts: 270000 | #Constraints: 14045
1078.92/1082.79 c #Conflicts: 271000 | #Constraints: 15045
1078.92/1082.79 c #Conflicts: 272000 | #Constraints: 16045
1078.92/1082.79 c #Conflicts: 273000 | #Constraints: 17045
1078.92/1082.79 c #Conflicts: 274000 | #Constraints: 18045
1078.92/1082.79 c #Conflicts: 275000 | #Constraints: 19045
1078.92/1082.79 c #Conflicts: 276000 | #Constraints: 20045
1078.92/1082.79 c #Conflicts: 277000 | #Constraints: 21045
1078.92/1082.79 c INPROCESSING
1078.92/1082.79 c GARBAGE COLLECT
1078.92/1082.79 c #Conflicts: 278000 | #Constraints: 11644
1078.92/1082.79 c #Conflicts: 279000 | #Constraints: 12644
1078.92/1082.79 c #Conflicts: 280000 | #Constraints: 13644
1078.92/1082.79 c #Conflicts: 281000 | #Constraints: 14644
1078.92/1082.79 c #Conflicts: 282000 | #Constraints: 15644
1078.92/1082.79 c #Conflicts: 283000 | #Constraints: 16644
1078.92/1082.79 c #Conflicts: 284000 | #Constraints: 17644
1078.92/1082.79 c #Conflicts: 285000 | #Constraints: 18644
1078.92/1082.79 c #Conflicts: 286000 | #Constraints: 19644
1078.92/1082.79 c #Conflicts: 287000 | #Constraints: 20644
1444.76/1449.76 c #Conflicts: 288000 | #Constraints: 21644
1444.76/1449.76 c INPROCESSING
1444.76/1449.76 c GARBAGE COLLECT
1444.76/1449.76 c #Conflicts: 289000 | #Constraints: 12039
1444.76/1449.76 c #Conflicts: 290000 | #Constraints: 13039
1444.76/1449.76 c #Conflicts: 291000 | #Constraints: 14039
1444.76/1449.76 c #Conflicts: 292000 | #Constraints: 15039
1444.76/1449.76 c #Conflicts: 293000 | #Constraints: 16039
1444.76/1449.76 c #Conflicts: 294000 | #Constraints: 17039
1444.76/1449.76 c #Conflicts: 295000 | #Constraints: 18039
1444.76/1449.76 c #Conflicts: 296000 | #Constraints: 19039
1444.76/1449.76 c #Conflicts: 297000 | #Constraints: 20039
1444.76/1449.76 c #Conflicts: 298000 | #Constraints: 21039
1444.76/1449.76 c #Conflicts: 299000 | #Constraints: 22039
1444.76/1449.76 c INPROCESSING
1444.76/1449.76 c GARBAGE COLLECT
1444.76/1449.76 c #Conflicts: 300000 | #Constraints: 12239
1444.76/1449.76 c #Conflicts: 301000 | #Constraints: 13239
1444.76/1449.76 c #Conflicts: 302000 | #Constraints: 14239
1444.76/1449.76 c #Conflicts: 303000 | #Constraints: 15239
1444.76/1449.76 c #Conflicts: 304000 | #Constraints: 16239
1444.76/1449.76 c #Conflicts: 305000 | #Constraints: 17239
1444.76/1449.76 c #Conflicts: 306000 | #Constraints: 18239
1444.76/1449.76 c #Conflicts: 307000 | #Constraints: 19239
1444.76/1449.76 c #Conflicts: 308000 | #Constraints: 20239
1444.76/1449.76 c #Conflicts: 309000 | #Constraints: 21239
1444.76/1449.76 c #Conflicts: 310000 | #Constraints: 22239
1444.76/1449.76 c INPROCESSING
1444.76/1449.76 c GARBAGE COLLECT
1444.76/1449.76 c #Conflicts: 311000 | #Constraints: 12256
1444.76/1449.76 c #Conflicts: 312000 | #Constraints: 13256
1444.76/1449.76 c #Conflicts: 313000 | #Constraints: 14256
1444.76/1449.76 c #Conflicts: 314000 | #Constraints: 15256
1444.76/1449.76 c #Conflicts: 315000 | #Constraints: 16256
1444.76/1449.76 c #Conflicts: 316000 | #Constraints: 17256
1444.76/1449.76 c #Conflicts: 317000 | #Constraints: 18256
1444.76/1449.76 c #Conflicts: 318000 | #Constraints: 19256
1444.76/1449.76 c #Conflicts: 319000 | #Constraints: 20256
1444.76/1449.76 c #Conflicts: 320000 | #Constraints: 21256
1444.76/1449.76 c #Conflicts: 321000 | #Constraints: 22256
1444.76/1449.76 c INPROCESSING
1444.76/1449.76 c GARBAGE COLLECT
1444.76/1449.76 c #Conflicts: 322000 | #Constraints: 12051
1444.76/1449.76 c #Conflicts: 323000 | #Constraints: 13051
1444.76/1449.76 c #Conflicts: 324000 | #Constraints: 14051
1444.76/1449.76 c #Conflicts: 325000 | #Constraints: 15051
1444.76/1449.76 c #Conflicts: 326000 | #Constraints: 16051
1444.76/1449.76 c #Conflicts: 327000 | #Constraints: 17051
1444.76/1449.76 c #Conflicts: 328000 | #Constraints: 18051
1444.76/1449.76 c #Conflicts: 329000 | #Constraints: 19051
1444.76/1449.76 c #Conflicts: 330000 | #Constraints: 20051
1444.76/1449.76 c #Conflicts: 331000 | #Constraints: 21051
1444.76/1449.76 c #Conflicts: 332000 | #Constraints: 22051
1444.76/1449.76 c #Conflicts: 333000 | #Constraints: 23051
1444.76/1449.76 c INPROCESSING
1444.76/1449.76 c GARBAGE COLLECT
1444.76/1449.76 c #Conflicts: 334000 | #Constraints: 12647
1444.76/1449.76 c #Conflicts: 335000 | #Constraints: 13647
1444.76/1449.76 c #Conflicts: 336000 | #Constraints: 14647
1444.76/1449.76 c #Conflicts: 337000 | #Constraints: 15647
1444.76/1449.76 c #Conflicts: 338000 | #Constraints: 16647
1444.76/1449.76 c #Conflicts: 339000 | #Constraints: 17647
1444.76/1449.76 c #Conflicts: 340000 | #Constraints: 18647
1444.76/1449.76 c #Conflicts: 341000 | #Constraints: 19647
1444.76/1449.76 c #Conflicts: 342000 | #Constraints: 20647
1444.76/1449.76 c #Conflicts: 343000 | #Constraints: 21647
1444.76/1449.76 c #Conflicts: 344000 | #Constraints: 22647
1444.76/1449.76 c #Conflicts: 345000 | #Constraints: 23647
1444.76/1449.76 c INPROCESSING
1444.76/1449.76 c GARBAGE COLLECT
1444.76/1449.76 c #Conflicts: 346000 | #Constraints: 13041
1444.76/1449.76 c #Conflicts: 347000 | #Constraints: 14041
1444.76/1449.76 c #Conflicts: 348000 | #Constraints: 15041
1444.76/1449.76 c #Conflicts: 349000 | #Constraints: 16041
1444.76/1449.76 c #Conflicts: 350000 | #Constraints: 17041
1444.76/1449.76 c #Conflicts: 351000 | #Constraints: 18041
1444.76/1449.76 c #Conflicts: 352000 | #Constraints: 19041
1444.76/1449.76 c #Conflicts: 353000 | #Constraints: 20041
1444.76/1449.76 c #Conflicts: 354000 | #Constraints: 21041
1444.76/1449.76 c #Conflicts: 355000 | #Constraints: 22041
1444.76/1449.76 c #Conflicts: 356000 | #Constraints: 23041
1444.76/1449.76 c #Conflicts: 357000 | #Constraints: 24041
1444.76/1449.76 c INPROCESSING
1444.76/1449.76 c GARBAGE COLLECT
1444.76/1449.76 c #Conflicts: 358000 | #Constraints: 13240
1444.76/1449.76 c #Conflicts: 359000 | #Constraints: 14240
1444.76/1449.76 c #Conflicts: 360000 | #Constraints: 15240
1444.76/1449.76 c #Conflicts: 361000 | #Constraints: 16240
1848.83/1854.90 c #Conflicts: 362000 | #Constraints: 17240
1848.83/1854.90 c #Conflicts: 363000 | #Constraints: 18240
1848.83/1854.90 c #Conflicts: 364000 | #Constraints: 19240
1848.83/1854.90 c #Conflicts: 365000 | #Constraints: 20240
1848.83/1854.90 c #Conflicts: 366000 | #Constraints: 21240
1848.83/1854.90 c #Conflicts: 367000 | #Constraints: 22240
1848.83/1854.90 c #Conflicts: 368000 | #Constraints: 23240
1848.83/1854.90 c #Conflicts: 369000 | #Constraints: 24240
1848.83/1854.90 c INPROCESSING
1848.83/1854.90 c GARBAGE COLLECT
1848.83/1854.90 c #Conflicts: 370000 | #Constraints: 13250
1848.83/1854.90 c #Conflicts: 371000 | #Constraints: 14250
1848.83/1854.90 c #Conflicts: 372000 | #Constraints: 15250
1848.83/1854.90 c #Conflicts: 373000 | #Constraints: 16250
1848.83/1854.90 c #Conflicts: 374000 | #Constraints: 17250
1848.83/1854.90 c #Conflicts: 375000 | #Constraints: 18250
1848.83/1854.90 c #Conflicts: 376000 | #Constraints: 19250
1848.83/1854.90 c #Conflicts: 377000 | #Constraints: 20250
1848.83/1854.90 c #Conflicts: 378000 | #Constraints: 21250
1848.83/1854.90 c #Conflicts: 379000 | #Constraints: 22250
1848.83/1854.90 c #Conflicts: 380000 | #Constraints: 23250
1848.83/1854.90 c #Conflicts: 381000 | #Constraints: 24250
1848.83/1854.90 c INPROCESSING
1848.83/1854.90 c GARBAGE COLLECT
1848.83/1854.90 c #Conflicts: 382000 | #Constraints: 13044
1848.83/1854.90 c #Conflicts: 383000 | #Constraints: 14044
1848.83/1854.90 c #Conflicts: 384000 | #Constraints: 15044
1848.83/1854.90 c #Conflicts: 385000 | #Constraints: 16044
1848.83/1854.90 c #Conflicts: 386000 | #Constraints: 17044
1848.83/1854.90 c #Conflicts: 387000 | #Constraints: 18044
1848.83/1854.90 c #Conflicts: 388000 | #Constraints: 19044
1848.83/1854.90 c #Conflicts: 389000 | #Constraints: 20044
1848.83/1854.90 c #Conflicts: 390000 | #Constraints: 21044
1848.83/1854.90 c #Conflicts: 391000 | #Constraints: 22044
1848.83/1854.90 c #Conflicts: 392000 | #Constraints: 23044
1848.83/1854.90 c #Conflicts: 393000 | #Constraints: 24044
1848.83/1854.90 c #Conflicts: 394000 | #Constraints: 25044
1848.83/1854.90 c INPROCESSING
1848.83/1854.90 c GARBAGE COLLECT
1848.83/1854.90 c #Conflicts: 395000 | #Constraints: 13645
1848.83/1854.90 c #Conflicts: 396000 | #Constraints: 14645
1848.83/1854.90 c #Conflicts: 397000 | #Constraints: 15645
1848.83/1854.90 c #Conflicts: 398000 | #Constraints: 16645
1848.83/1854.90 c #Conflicts: 399000 | #Constraints: 17645
1848.83/1854.90 c #Conflicts: 400000 | #Constraints: 18645
1848.83/1854.90 c #Conflicts: 401000 | #Constraints: 19645
1848.83/1854.90 c #Conflicts: 402000 | #Constraints: 20645
1848.83/1854.90 c #Conflicts: 403000 | #Constraints: 21645
1848.83/1854.90 c #Conflicts: 404000 | #Constraints: 22645
1848.83/1854.90 c #Conflicts: 405000 | #Constraints: 23645
1848.83/1854.90 c #Conflicts: 406000 | #Constraints: 24645
1848.83/1854.90 c #Conflicts: 407000 | #Constraints: 25645
1848.83/1854.90 c INPROCESSING
1848.83/1854.90 c GARBAGE COLLECT
1848.83/1854.90 c #Conflicts: 408000 | #Constraints: 14050
1848.83/1854.90 c #Conflicts: 409000 | #Constraints: 15050
1848.83/1854.90 c #Conflicts: 410000 | #Constraints: 16050
1848.83/1854.90 c #Conflicts: 411000 | #Constraints: 17050
1848.83/1854.90 c #Conflicts: 412000 | #Constraints: 18050
1848.83/1854.90 c #Conflicts: 413000 | #Constraints: 19050
1848.83/1854.90 c #Conflicts: 414000 | #Constraints: 20050
1848.83/1854.90 c #Conflicts: 415000 | #Constraints: 21050
1848.83/1854.90 c #Conflicts: 416000 | #Constraints: 22050
1848.83/1854.90 c #Conflicts: 417000 | #Constraints: 23050
1848.83/1854.90 c #Conflicts: 418000 | #Constraints: 24050
1848.83/1854.90 c #Conflicts: 419000 | #Constraints: 25050
1848.83/1854.90 c #Conflicts: 420000 | #Constraints: 26050
1848.83/1854.90 c INPROCESSING
1848.83/1854.90 c GARBAGE COLLECT
1848.83/1854.90 c #Conflicts: 421000 | #Constraints: 14249
1848.83/1854.90 c #Conflicts: 422000 | #Constraints: 15249
1848.83/1854.90 c #Conflicts: 423000 | #Constraints: 16249
1848.83/1854.90 c #Conflicts: 424000 | #Constraints: 17249
1848.83/1854.90 c #Conflicts: 425000 | #Constraints: 18249
1848.83/1854.90 c #Conflicts: 426000 | #Constraints: 19249
1848.83/1854.90 c #Conflicts: 427000 | #Constraints: 20249
1848.83/1854.90 c #Conflicts: 428000 | #Constraints: 21249
1848.83/1854.90 c #Conflicts: 429000 | #Constraints: 22249
1848.83/1854.90 c #Conflicts: 430000 | #Constraints: 23249
1848.83/1854.90 c #Conflicts: 431000 | #Constraints: 24249
1848.83/1854.90 c #Conflicts: 432000 | #Constraints: 25249
1848.83/1854.90 c #Conflicts: 433000 | #Constraints: 26249
1848.83/1854.90 c INPROCESSING
1848.83/1854.90 c GARBAGE COLLECT
1848.83/1854.90 c #Conflicts: 434000 | #Constraints: 14252
1848.83/1854.90 c #Conflicts: 435000 | #Constraints: 15252
1848.83/1854.90 c #Conflicts: 436000 | #Constraints: 16252
2795.82/2804.57 c #Conflicts: 437000 | #Constraints: 17252
2795.82/2804.57 c #Conflicts: 438000 | #Constraints: 18252
2795.82/2804.57 c #Conflicts: 439000 | #Constraints: 19252
2795.82/2804.57 c #Conflicts: 440000 | #Constraints: 20252
2795.82/2804.57 c #Conflicts: 441000 | #Constraints: 21252
2795.82/2804.57 c #Conflicts: 442000 | #Constraints: 22252
2795.82/2804.57 c #Conflicts: 443000 | #Constraints: 23252
2795.82/2804.57 c #Conflicts: 444000 | #Constraints: 24252
2795.82/2804.57 c #Conflicts: 445000 | #Constraints: 25252
2795.82/2804.57 c #Conflicts: 446000 | #Constraints: 26252
2795.82/2804.57 c INPROCESSING
2795.82/2804.57 c GARBAGE COLLECT
2795.82/2804.57 c #Conflicts: 447000 | #Constraints: 14049
2795.82/2804.57 c #Conflicts: 448000 | #Constraints: 15049
2795.82/2804.57 c #Conflicts: 449000 | #Constraints: 16049
2795.82/2804.57 c #Conflicts: 450000 | #Constraints: 17049
2795.82/2804.57 c #Conflicts: 451000 | #Constraints: 18049
2795.82/2804.57 c #Conflicts: 452000 | #Constraints: 19049
2795.82/2804.57 c #Conflicts: 453000 | #Constraints: 20049
2795.82/2804.57 c #Conflicts: 454000 | #Constraints: 21049
2795.82/2804.57 c #Conflicts: 455000 | #Constraints: 22049
2795.82/2804.57 c #Conflicts: 456000 | #Constraints: 23049
2795.82/2804.57 c #Conflicts: 457000 | #Constraints: 24049
2795.82/2804.57 c #Conflicts: 458000 | #Constraints: 25049
2795.82/2804.57 c #Conflicts: 459000 | #Constraints: 26049
2795.82/2804.57 c #Conflicts: 460000 | #Constraints: 27049
2795.82/2804.57 c INPROCESSING
2795.82/2804.57 c GARBAGE COLLECT
2795.82/2804.57 c #Conflicts: 461000 | #Constraints: 14649
2795.82/2804.57 c #Conflicts: 462000 | #Constraints: 15649
2795.82/2804.57 c #Conflicts: 463000 | #Constraints: 16649
2795.82/2804.57 c #Conflicts: 464000 | #Constraints: 17649
2795.82/2804.57 c #Conflicts: 465000 | #Constraints: 18649
2795.82/2804.57 c #Conflicts: 466000 | #Constraints: 19649
2795.82/2804.57 c #Conflicts: 467000 | #Constraints: 20649
2795.82/2804.57 c #Conflicts: 468000 | #Constraints: 21649
2795.82/2804.57 c #Conflicts: 469000 | #Constraints: 22649
2795.82/2804.57 c #Conflicts: 470000 | #Constraints: 23649
2795.82/2804.57 c #Conflicts: 471000 | #Constraints: 24649
2795.82/2804.57 c #Conflicts: 472000 | #Constraints: 25649
2795.82/2804.57 c #Conflicts: 473000 | #Constraints: 26649
2795.82/2804.57 c #Conflicts: 474000 | #Constraints: 27649
2795.82/2804.57 c INPROCESSING
2795.82/2804.57 c GARBAGE COLLECT
2795.82/2804.57 c #Conflicts: 475000 | #Constraints: 15047
2795.82/2804.57 c #Conflicts: 476000 | #Constraints: 16047
2795.82/2804.57 c #Conflicts: 477000 | #Constraints: 17047
2795.82/2804.57 c #Conflicts: 478000 | #Constraints: 18047
2795.82/2804.57 c #Conflicts: 479000 | #Constraints: 19047
2795.82/2804.57 c #Conflicts: 480000 | #Constraints: 20047
2795.82/2804.57 c #Conflicts: 481000 | #Constraints: 21047
2795.82/2804.57 c #Conflicts: 482000 | #Constraints: 22047
2795.82/2804.57 c #Conflicts: 483000 | #Constraints: 23047
2795.82/2804.57 c #Conflicts: 484000 | #Constraints: 24047
2795.82/2804.57 c #Conflicts: 485000 | #Constraints: 25047
2795.82/2804.57 c #Conflicts: 486000 | #Constraints: 26047
2795.82/2804.57 c #Conflicts: 487000 | #Constraints: 27047
2795.82/2804.57 c #Conflicts: 488000 | #Constraints: 28047
2795.82/2804.57 c INPROCESSING
2795.82/2804.57 c GARBAGE COLLECT
2795.82/2804.57 c #Conflicts: 489000 | #Constraints: 15248
2795.82/2804.57 c #Conflicts: 490000 | #Constraints: 16248
2795.82/2804.57 c #Conflicts: 491000 | #Constraints: 17248
2795.82/2804.57 c #Conflicts: 492000 | #Constraints: 18248
2795.82/2804.57 c #Conflicts: 493000 | #Constraints: 19248
2795.82/2804.57 c #Conflicts: 494000 | #Constraints: 20248
2795.82/2804.57 c #Conflicts: 495000 | #Constraints: 21248
2795.82/2804.57 c #Conflicts: 496000 | #Constraints: 22248
2795.82/2804.57 c #Conflicts: 497000 | #Constraints: 23248
2795.82/2804.57 c #Conflicts: 498000 | #Constraints: 24248
2795.82/2804.57 c #Conflicts: 499000 | #Constraints: 25248
2795.82/2804.57 c #Conflicts: 500000 | #Constraints: 26248
2795.82/2804.57 c #Conflicts: 501000 | #Constraints: 27248
2795.82/2804.57 c #Conflicts: 502000 | #Constraints: 28248
2795.82/2804.57 c INPROCESSING
2795.82/2804.57 c GARBAGE COLLECT
2795.82/2804.57 c #Conflicts: 503000 | #Constraints: 15259
2795.82/2804.57 c #Conflicts: 504000 | #Constraints: 16259
2795.82/2804.57 c #Conflicts: 505000 | #Constraints: 17259
2795.82/2804.57 c #Conflicts: 506000 | #Constraints: 18259
2795.82/2804.57 c #Conflicts: 507000 | #Constraints: 19259
2795.82/2804.57 c #Conflicts: 508000 | #Constraints: 20259
2795.82/2804.57 c #Conflicts: 509000 | #Constraints: 21259
2795.82/2804.57 c #Conflicts: 510000 | #Constraints: 22259
2795.82/2804.57 c #Conflicts: 511000 | #Constraints: 23259
2795.82/2804.57 c #Conflicts: 512000 | #Constraints: 24259
3305.65/3315.78 c #Conflicts: 513000 | #Constraints: 25259
3305.65/3315.78 c #Conflicts: 514000 | #Constraints: 26259
3305.65/3315.78 c #Conflicts: 515000 | #Constraints: 27259
3305.65/3315.78 c #Conflicts: 516000 | #Constraints: 28259
3305.65/3315.78 c INPROCESSING
3305.65/3315.78 c GARBAGE COLLECT
3305.65/3315.78 c #Conflicts: 517000 | #Constraints: 15053
3305.65/3315.78 c #Conflicts: 518000 | #Constraints: 16053
3305.65/3315.78 c #Conflicts: 519000 | #Constraints: 17053
3305.65/3315.78 c #Conflicts: 520000 | #Constraints: 18053
3305.65/3315.78 c #Conflicts: 521000 | #Constraints: 19053
3305.65/3315.78 c #Conflicts: 522000 | #Constraints: 20053
3305.65/3315.78 c #Conflicts: 523000 | #Constraints: 21053
3305.65/3315.78 c #Conflicts: 524000 | #Constraints: 22053
3305.65/3315.78 c #Conflicts: 525000 | #Constraints: 23053
3305.65/3315.78 c #Conflicts: 526000 | #Constraints: 24053
3305.65/3315.78 c #Conflicts: 527000 | #Constraints: 25053
3305.65/3315.78 c #Conflicts: 528000 | #Constraints: 26053
3305.65/3315.78 c #Conflicts: 529000 | #Constraints: 27053
3305.65/3315.78 c #Conflicts: 530000 | #Constraints: 28053
3305.65/3315.78 c #Conflicts: 531000 | #Constraints: 29053
3305.65/3315.78 c INPROCESSING
3305.65/3315.78 c GARBAGE COLLECT
3305.65/3315.78 c #Conflicts: 532000 | #Constraints: 15650
3305.65/3315.78 c #Conflicts: 533000 | #Constraints: 16650
3305.65/3315.78 c #Conflicts: 534000 | #Constraints: 17650
3305.65/3315.78 c #Conflicts: 535000 | #Constraints: 18650
3305.65/3315.78 c #Conflicts: 536000 | #Constraints: 19650
3305.65/3315.78 c #Conflicts: 537000 | #Constraints: 20650
3305.65/3315.78 c #Conflicts: 538000 | #Constraints: 21650
3305.65/3315.78 c #Conflicts: 539000 | #Constraints: 22650
3305.65/3315.78 c #Conflicts: 540000 | #Constraints: 23650
3305.65/3315.78 c #Conflicts: 541000 | #Constraints: 24650
3305.65/3315.78 c #Conflicts: 542000 | #Constraints: 25650
3305.65/3315.78 c #Conflicts: 543000 | #Constraints: 26650
3305.65/3315.78 c #Conflicts: 544000 | #Constraints: 27650
3305.65/3315.78 c #Conflicts: 545000 | #Constraints: 28650
3305.65/3315.78 c #Conflicts: 546000 | #Constraints: 29650
3305.65/3315.78 c INPROCESSING
3305.65/3315.78 c GARBAGE COLLECT
3305.65/3315.78 c #Conflicts: 547000 | #Constraints: 16058
3305.65/3315.78 c #Conflicts: 548000 | #Constraints: 17058
3305.65/3315.78 c #Conflicts: 549000 | #Constraints: 18058
3305.65/3315.78 c #Conflicts: 550000 | #Constraints: 19058
3305.65/3315.78 c #Conflicts: 551000 | #Constraints: 20058
3305.65/3315.78 c #Conflicts: 552000 | #Constraints: 21058
3305.65/3315.78 c #Conflicts: 553000 | #Constraints: 22058
3305.65/3315.78 c #Conflicts: 554000 | #Constraints: 23058
3305.65/3315.78 c #Conflicts: 555000 | #Constraints: 24058
3305.65/3315.78 c #Conflicts: 556000 | #Constraints: 25058
3305.65/3315.78 c #Conflicts: 557000 | #Constraints: 26058
3305.65/3315.78 c #Conflicts: 558000 | #Constraints: 27058
3305.65/3315.78 c #Conflicts: 559000 | #Constraints: 28058
3305.65/3315.78 c #Conflicts: 560000 | #Constraints: 29058
3305.65/3315.78 c #Conflicts: 561000 | #Constraints: 30058
3305.65/3315.78 c INPROCESSING
3305.65/3315.78 c GARBAGE COLLECT
3305.65/3315.78 c #Conflicts: 562000 | #Constraints: 16250
3305.65/3315.78 c #Conflicts: 563000 | #Constraints: 17250
3305.65/3315.78 c #Conflicts: 564000 | #Constraints: 18250
3305.65/3315.78 c #Conflicts: 565000 | #Constraints: 19250
3305.65/3315.78 c #Conflicts: 566000 | #Constraints: 20250
3305.65/3315.78 c #Conflicts: 567000 | #Constraints: 21250
3305.65/3315.78 c #Conflicts: 568000 | #Constraints: 22250
3305.65/3315.78 c #Conflicts: 569000 | #Constraints: 23250
3305.65/3315.78 c #Conflicts: 570000 | #Constraints: 24250
3305.65/3315.78 c #Conflicts: 571000 | #Constraints: 25250
3305.65/3315.78 c #Conflicts: 572000 | #Constraints: 26250
3305.65/3315.78 c #Conflicts: 573000 | #Constraints: 27250
3305.65/3315.78 c #Conflicts: 574000 | #Constraints: 28250
3305.65/3315.78 c #Conflicts: 575000 | #Constraints: 29250
3305.65/3315.78 c #Conflicts: 576000 | #Constraints: 30250
3305.65/3315.78 c INPROCESSING
3305.65/3315.78 c GARBAGE COLLECT
3305.65/3315.78 c #Conflicts: 577000 | #Constraints: 16248
3305.65/3315.78 c #Conflicts: 578000 | #Constraints: 17248
3305.65/3315.78 c #Conflicts: 579000 | #Constraints: 18248
3305.65/3315.78 c #Conflicts: 580000 | #Constraints: 19248
3305.65/3315.78 c #Conflicts: 581000 | #Constraints: 20248
3305.65/3315.78 c #Conflicts: 582000 | #Constraints: 21248
3305.65/3315.78 c #Conflicts: 583000 | #Constraints: 22248
3305.65/3315.78 c #Conflicts: 584000 | #Constraints: 23248
3305.65/3315.78 c #Conflicts: 585000 | #Constraints: 24248
3305.65/3315.78 c #Conflicts: 586000 | #Constraints: 25248
3305.65/3315.78 c #Conflicts: 587000 | #Constraints: 26248
3305.65/3315.78 c #Conflicts: 588000 | #Constraints: 27248
3600.00/3610.80 c #Conflicts: 589000 | #Constraints: 28248
3600.00/3610.80 c #Conflicts: 590000 | #Constraints: 29248
3600.00/3610.80 c #Conflicts: 591000 | #Constraints: 30248
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 592000 | #Constraints: 16052
3600.00/3610.80 c #Conflicts: 593000 | #Constraints: 17052
3600.00/3610.80 c #Conflicts: 594000 | #Constraints: 18052
3600.00/3610.80 c #Conflicts: 595000 | #Constraints: 19052
3600.00/3610.80 c #Conflicts: 596000 | #Constraints: 20052
3600.00/3610.80 c #Conflicts: 597000 | #Constraints: 21052
3600.00/3610.80 c #Conflicts: 598000 | #Constraints: 22052
3600.00/3610.80 c #Conflicts: 599000 | #Constraints: 23052
3600.00/3610.80 c #Conflicts: 600000 | #Constraints: 24052
3600.00/3610.80 c #Conflicts: 601000 | #Constraints: 25052
3600.00/3610.80 c #Conflicts: 602000 | #Constraints: 26052
3600.00/3610.80 c #Conflicts: 603000 | #Constraints: 27052
3600.00/3610.80 c #Conflicts: 604000 | #Constraints: 28052
3600.00/3610.80 c #Conflicts: 605000 | #Constraints: 29052
3600.00/3610.80 c #Conflicts: 606000 | #Constraints: 30052
3600.00/3610.80 c #Conflicts: 607000 | #Constraints: 31052
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 608000 | #Constraints: 16648
3600.00/3610.80 c #Conflicts: 609000 | #Constraints: 17648
3600.00/3610.80 c #Conflicts: 610000 | #Constraints: 18648
3600.00/3610.80 c #Conflicts: 611000 | #Constraints: 19648
3600.00/3610.80 c #Conflicts: 612000 | #Constraints: 20648
3600.00/3610.80 c #Conflicts: 613000 | #Constraints: 21648
3600.00/3610.80 c #Conflicts: 614000 | #Constraints: 22648
3600.00/3610.80 c #Conflicts: 615000 | #Constraints: 23648
3600.00/3610.80 c #Conflicts: 616000 | #Constraints: 24648
3600.00/3610.80 c #Conflicts: 617000 | #Constraints: 25648
3600.00/3610.80 c #Conflicts: 618000 | #Constraints: 26648
3600.00/3610.80 c #Conflicts: 619000 | #Constraints: 27648
3600.00/3610.80 c Program interrupted by user.
3600.00/3610.80 c cpu time 3582.36 s
3600.00/3610.80 c deterministic time 489703827777 4.90e+11
3600.00/3610.80 c optimization time 117.382 s
3600.00/3610.80 c total solve time 3166.15 s
3600.00/3610.80 c core-guided solve time 3166.15 s
3600.00/3610.80 c propagation time 2878.56 s
3600.00/3610.80 c conflict analysis time 308.012 s
3600.00/3610.80 c propagations 59837644
3600.00/3610.80 c resolve steps 3677929
3600.00/3610.80 c decisions 13395224
3600.00/3610.80 c conflicts 619015
3600.00/3610.80 c restarts 1302
3600.00/3610.80 c inprocessing phases 69
3600.00/3610.80 c input clauses 173
3600.00/3610.80 c input cardinalities 175
3600.00/3610.80 c input general constraints 66
3600.00/3610.80 c input average constraint length 53.95
3600.00/3610.80 c input average constraint degree 11119.52
3600.00/3610.80 c learned clauses 6253
3600.00/3610.80 c learned cardinalities 15
3600.00/3610.80 c learned general constraints 612746
3600.00/3610.80 c learned average constraint length 1545.28
3600.00/3610.80 c learned average constraint degree 12808111.30
3600.00/3610.80 c watched constraints 294654
3600.00/3610.80 c counting constraints 318158
3600.00/3610.80 c gcd simplifications 3426
3600.00/3610.80 c detected cardinalities 6
3600.00/3610.80 c weakened non-implied lits 27049971
3600.00/3610.80 c weakened non-implying lits 60635
3600.00/3610.80 c original variables 5568
3600.00/3610.80 c clausal propagations 2259038
3600.00/3610.80 c cardinality propagations 10595857
3600.00/3610.80 c watched propagations 3514010
3600.00/3610.80 c counting propagations 43328441
3600.00/3610.80 c watch lookups 37884192311
3600.00/3610.80 c watch backjump lookups 37315606099
3600.00/3610.80 c watch checks 303257658309
3600.00/3610.80 c propagation checks 109062846427
3600.00/3610.80 c constraint additions 2036445326
3600.00/3610.80 c trail pops 73846436
3600.00/3610.80 c formula constraints 412
3600.00/3610.80 c learned constraints 619014
3600.00/3610.80 c bound constraints 2
3600.00/3610.80 c core-guided constraints 0
3600.00/3610.80 c encountered formula constraints 2348024
3600.00/3610.80 c encountered learned constraints 1947171
3600.00/3610.80 c encountered bound constraints 1749
3600.00/3610.80 c encountered core-guided constraints 0
3600.00/3610.80 c LP total time 0 s
3600.00/3610.80 c LP solve time 0 s
3600.00/3610.80 c LP constraints added 0
3600.00/3610.80 c LP constraints removed 0
3600.00/3610.80 c LP pivots internal 0
3600.00/3610.80 c LP pivots root 0
3600.00/3610.80 c LP calls 0
3600.00/3610.80 c LP optimalities 0
3600.00/3610.80 c LP no pivot count 0
3600.00/3610.80 c LP infeasibilities 0
3600.00/3610.80 c LP valid Farkas constraints 0
3600.00/3610.80 c LP learned Farkas constraints 0
3600.00/3610.80 c LP basis resets 0
3600.00/3610.80 c LP cycling count 0
3600.00/3610.80 c LP singular count 0
3600.00/3610.80 c LP no primal count 0
3600.00/3610.80 c LP no farkas count 0
3600.00/3610.80 c LP other issue count 0
3600.00/3610.80 c LP Gomory cuts 0
3600.00/3610.80 c LP learned cuts 0
3600.00/3610.80 c LP deleted cuts 0
3600.00/3610.80 c LP encountered Gomory constraints 0
3600.00/3610.80 c LP encountered Farkas constraints 0
3600.00/3610.80 c LP encountered learned Farkas constraints 0
3600.00/3610.80 c CG auxiliary variables introduced 0
3600.00/3610.80 c CG solutions found 0
3600.00/3610.80 c CG cores constructed 1
3600.00/3610.80 c CG core cardinality constraints returned 1
3600.00/3610.80 c CG unit cores 0
3600.00/3610.80 c CG single cores 1
3600.00/3610.80 c CG blocks removed during cardinality reduction 0
3600.00/3610.80 c CG first core best 0
3600.00/3610.80 c CG decision core best 0
3600.00/3610.80 c CG core reduction tie 0
3600.00/3610.80 c CG core degree average 15.00
3600.00/3610.80 c CG core slack average 17.00
3600.00/3610.80 c CG exhausted 0
3600.00/3610.80 c CG exhaust time 0 s
3600.00/3610.80 c CG trimmed 0
3600.00/3610.80 c CG trim time 0.000119 s
3600.00/3610.80 c CG minimized 0
3600.00/3610.80 c CG minimize time 0 s
3600.00/3610.80 c CG am1 prop time 0.000163 s
3600.00/3610.80 c CG # am1s reformulated 0
3600.00/3610.80 c CG lower bound derived from am1s 0
3600.00/3610.80 c CG # clausal cores 0
3600.00/3610.80 c CG # cardinality cores 0
3600.00/3610.80 c CG # pb cores 1
3600.00/3610.80 c CG # pb reforms 0
3600.00/3610.80 c CG # cores discarded because of pb reform 0
3600.00/3610.80 d LOWERBOUND 15
3600.00/3610.80 d NCORES 1
3600.00/3610.80 d NPBCORES 1
3600.00/3610.80 d NPBREFORM 0
3600.00/3610.80 d NTRIMMED 0
3600.00/3610.80 d NEXHAUSTED 0
3600.00/3610.80 d NAM1S 0
3600.00/3610.80 d AM1LB 0
3600.00/3610.80 c [Papilo Statistics]
3600.00/3610.80 c prepro time 0.00720667s
3600.00/3610.80 c # tsx applied 173
3600.00/3610.80 c # tsx conflicts 0
3600.00/3610.80 c # bound changes 0
3600.00/3610.80 c # side changes 173
3600.00/3610.80 c # coef changes 0
3600.00/3610.80 c # rounds 2
3600.00/3610.80 c # deted vars 0
3600.00/3610.80 c # deted constrs 173
3600.00/3610.80 c # consecutive rounds of only bound changes 0
3600.00/3610.81 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61824 MiB free)
memory of node 1: 64465 MiB (63329 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509507-1751527683/watcher-4509507-1751527683 -o /tmp/evaluation-result-4509507-1751527683/solver-4509507-1751527683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70539 --watchdog 3760 mixed-bag HOME/instance-4509507-1751527683.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70591, runsolver pid=70583
[startup+0.10006 s]*
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=128044720/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=122996 memory=48472 CPUtime=0.08 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 8903 0 0 0 7 1 0 0 20 0 1 0 68445792 125947904 12118 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 30749 12118 4096 2842 0 12443 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 122996 KiB
Current children cumulated memory: 48472 KiB
[startup+0.205488 s]*
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127979388/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=149948 memory=64344 CPUtime=0.18 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 12884 0 0 0 17 1 0 0 20 0 1 0 68445792 153546752 16086 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 37487 16086 4128 2842 0 19181 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 149948 KiB
Current children cumulated memory: 64344 KiB
[startup+0.305463 s]*
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127776120/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=196816 memory=104360 CPUtime=0.28 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 22942 0 0 0 25 3 0 0 20 0 1 0 68445792 201539584 26090 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 49204 26090 4256 2842 0 30898 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 196816 KiB
Current children cumulated memory: 104360 KiB
[startup+0.700169 s]
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127695604/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=226724 memory=131016 CPUtime=0.68 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 32406 0 0 0 63 5 0 0 20 0 1 0 68445792 232165376 32754 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 56681 32754 4288 2842 0 38375 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 226724 KiB
Current children cumulated memory: 131016 KiB
[startup+1.50017 s]
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127478776/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=247752 memory=153392 CPUtime=1.47 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 38501 0 0 0 141 6 0 0 20 0 1 0 68445792 253698048 38348 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 61938 38348 4288 2842 0 43632 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 247752 KiB
Current children cumulated memory: 153392 KiB
[startup+3.10539 s]
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127130604/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=262432 memory=168248 CPUtime=3.07 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 43130 0 0 0 300 7 0 0 20 0 1 0 68445792 268730368 42062 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 65608 42062 4288 2842 0 47302 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 262432 KiB
Current children cumulated memory: 168248 KiB
[startup+6.30016 s]
/proc/loadavg: 1.12 1.56 2.75 5/265 70597
/proc/meminfo: memFree=126626248/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=271312 memory=178008 CPUtime=6.25 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 47612 0 0 0 618 7 0 0 20 0 1 0 68445792 277823488 44502 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 67828 44502 4288 2842 0 49522 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 271312 KiB
Current children cumulated memory: 178008 KiB
[startup+12.7002 s]
/proc/loadavg: 1.43 1.62 2.77 5/265 70598
/proc/meminfo: memFree=126498272/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=300700 memory=207568 CPUtime=12.63 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 58065 0 0 0 1254 9 0 0 20 0 1 0 68445792 307916800 51892 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 75175 51892 4288 2842 0 56869 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 300700 KiB
Current children cumulated memory: 207568 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 1.74 2.79 5/265 70598
/proc/meminfo: memFree=126289476/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=320336 memory=227116 CPUtime=25.38 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 70116 0 0 0 2527 11 0 0 20 0 1 0 68445792 328024064 56779 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 80084 56779 4288 2842 0 61778 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 320336 KiB
Current children cumulated memory: 227116 KiB
[startup+51.1054 s]
/proc/loadavg: 2.68 1.92 2.82 5/266 70691
/proc/meminfo: memFree=126259864/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=331104 memory=237228 CPUtime=50.88 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 72643 0 0 0 5077 11 0 0 20 0 1 0 68445792 339050496 59307 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 82776 59307 4288 2842 0 64470 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 331104 KiB
Current children cumulated memory: 237228 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.27 2.90 5/266 70693
/proc/meminfo: memFree=126102488/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=373172 memory=279980 CPUtime=101.85 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 83350 0 0 0 10172 13 0 0 20 0 1 0 68445792 382128128 69995 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 93293 69995 4288 2842 0 74987 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 373172 KiB
Current children cumulated memory: 279980 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.61 2.97 5/266 70696
/proc/meminfo: memFree=125941800/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=408868 memory=316332 CPUtime=161.59 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 92417 0 0 0 16144 15 0 0 20 0 1 0 68445792 418680832 79083 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 102217 79083 4288 2842 0 83911 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 408868 KiB
Current children cumulated memory: 316332 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.88 3.04 5/266 70698
/proc/meminfo: memFree=125746376/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=451028 memory=358956 CPUtime=221.35 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 103074 0 0 0 22118 17 0 0 20 0 1 0 68445792 461852672 89739 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 112757 89739 4288 2842 0 94451 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 451028 KiB
Current children cumulated memory: 358956 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.11 3.12 5/267 70701
/proc/meminfo: memFree=125693476/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=498676 memory=404036 CPUtime=281.09 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 116584 0 0 0 28090 19 0 0 20 0 1 0 68445792 510644224 101009 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 124669 101009 4288 2842 0 106363 0
Current children cumulated CPU time: 281.09 s
Current children cumulated vsize: 498676 KiB
Current children cumulated memory: 404036 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.29 3.18 5/264 70703
/proc/meminfo: memFree=125609452/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=506668 memory=416772 CPUtime=340.88 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 120226 0 0 0 34002 86 0 0 20 0 1 0 68445792 518828032 104193 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 126667 104193 4480 2842 0 108361 0
Current children cumulated CPU time: 340.88 s
Current children cumulated vsize: 506668 KiB
Current children cumulated memory: 416772 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.45 3.25 5/264 70705
/proc/meminfo: memFree=125397696/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=556756 memory=440788 CPUtime=400.7 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 120611 0 0 0 39904 166 0 0 20 0 1 0 68445792 570118144 110197 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 139189 110197 4480 2842 0 120883 0
Current children cumulated CPU time: 400.7 s
Current children cumulated vsize: 556756 KiB
Current children cumulated memory: 440788 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.57 3.30 5/264 70708
/proc/meminfo: memFree=125243160/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=556756 memory=469800 CPUtime=460.5 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 120726 0 0 0 45858 192 0 0 20 0 1 0 68445792 570118144 117450 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 139189 117450 4480 2842 0 120883 0
Current children cumulated CPU time: 460.5 s
################
# More data... #
################
Current children cumulated memory: 989852 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/267 70846
/proc/meminfo: memFree=118447228/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303604 memory=990748 CPUtime=2853.46 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179369 0 0 0 283954 1392 0 0 20 0 1 0 68445792 1334890496 247687 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325901 247687 4480 2842 0 307595 0
Current children cumulated CPU time: 2853.46 s
Current children cumulated vsize: 1303604 KiB
Current children cumulated memory: 990748 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/267 70853
/proc/meminfo: memFree=118292648/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303604 memory=990748 CPUtime=2913.3 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179369 0 0 0 289902 1428 0 0 20 0 1 0 68445792 1334890496 247687 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325901 247687 4480 2842 0 307595 0
Current children cumulated CPU time: 2913.3 s
Current children cumulated vsize: 1303604 KiB
Current children cumulated memory: 990748 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.02 5/267 70855
/proc/meminfo: memFree=118139748/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303604 memory=990748 CPUtime=2973.13 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179369 0 0 0 295856 1457 0 0 20 0 1 0 68445792 1334890496 247687 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325901 247687 4480 2842 0 307595 0
Current children cumulated CPU time: 2973.13 s
Current children cumulated vsize: 1303604 KiB
Current children cumulated memory: 990748 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/266 70860
/proc/meminfo: memFree=118023480/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303604 memory=990748 CPUtime=3032.96 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179369 0 0 0 301809 1487 0 0 20 0 1 0 68445792 1334890496 247687 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325901 247687 4480 2842 0 307595 0
Current children cumulated CPU time: 3032.96 s
Current children cumulated vsize: 1303604 KiB
Current children cumulated memory: 990748 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/266 70863
/proc/meminfo: memFree=117916944/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303604 memory=990748 CPUtime=3092.8 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179369 0 0 0 307756 1524 0 0 20 0 1 0 68445792 1334890496 247687 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325901 247687 4480 2842 0 307595 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 1303604 KiB
Current children cumulated memory: 990748 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/266 70865
/proc/meminfo: memFree=117818320/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303604 memory=990748 CPUtime=3152.64 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179370 0 0 0 313709 1555 0 0 20 0 1 0 68445792 1334890496 247687 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325901 247687 4480 2842 0 307595 0
Current children cumulated CPU time: 3152.64 s
Current children cumulated vsize: 1303604 KiB
Current children cumulated memory: 990748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/266 70867
/proc/meminfo: memFree=117745016/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303604 memory=990748 CPUtime=3212.49 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179370 0 0 0 319663 1586 0 0 20 0 1 0 68445792 1334890496 247687 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325901 247687 4480 2842 0 307595 0
Current children cumulated CPU time: 3212.49 s
Current children cumulated vsize: 1303604 KiB
Current children cumulated memory: 990748 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.03 5/266 70869
/proc/meminfo: memFree=117671584/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303604 memory=990748 CPUtime=3272.34 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179388 0 0 0 325614 1620 0 0 20 0 1 0 68445792 1334890496 247687 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325901 247687 4480 2842 0 307595 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 1303604 KiB
Current children cumulated memory: 990748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/266 70871
/proc/meminfo: memFree=117571068/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303604 memory=990748 CPUtime=3332.18 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179388 0 0 0 331567 1651 0 0 20 0 1 0 68445792 1334890496 247687 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325901 247687 4480 2842 0 307595 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 1303604 KiB
Current children cumulated memory: 990748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.10 4.04 5/264 70874
/proc/meminfo: memFree=117546600/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303844 memory=991004 CPUtime=3392.03 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179435 0 0 0 337524 1679 0 0 20 0 1 0 68445792 1335136256 247751 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325961 247751 4480 2842 0 307655 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 1303844 KiB
Current children cumulated memory: 991004 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.04 5/264 70876
/proc/meminfo: memFree=117473324/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1303844 memory=991260 CPUtime=3451.88 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 179531 0 0 0 343491 1697 0 0 20 0 1 0 68445792 1335136256 247815 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 325961 247815 4480 2842 0 307655 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 1303844 KiB
Current children cumulated memory: 991260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/264 70882
/proc/meminfo: memFree=117361256/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1308580 memory=994460 CPUtime=3511.73 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 180350 0 0 0 349449 1724 0 0 20 0 1 0 68445792 1339985920 248615 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 327145 248615 4480 2842 0 308839 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 1308580 KiB
Current children cumulated memory: 994460 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/263 70884
/proc/meminfo: memFree=117304536/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1308580 memory=994460 CPUtime=3571.57 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 180350 0 0 0 355405 1752 0 0 20 0 1 0 68445792 1339985920 248615 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 327145 248615 4480 2842 0 308839 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 1308580 KiB
Current children cumulated memory: 994460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.10 4.11 4.05 5/263 70884
/proc/meminfo: memFree=119043536/131250000 swapFree=33007332/33010684
[pid=70591] ppid=70583 vsize=1308580 memory=994460 CPUtime=3600 cores=1,3
/proc/70591/stat : 70591 (mixed-bag) R 70583 70591 70527 0 -1 4194304 180351 0 0 0 358236 1764 0 0 20 0 1 0 68445792 1339985920 248615 18446744073709551615 4235264 15874749 140727068916576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 33619968 140727068924316 140727068924393 140727068924393 140727068929995 0
/proc/70591/statm: 327145 248615 4480 2842 0 308839 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1308580 KiB
Current children cumulated memory: 994460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.82 s]
# the end of solver process 70591 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.36 s, system=17.6631 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.82
CPU time (s): 3600.03
CPU user time (s): 3582.36
CPU system time (s): 17.6631
CPU usage (%): 99.7011
Max. virtual memory (cumulated for all children) (KiB): 1308580
Max. memory (cumulated for all children) (KiB): 994460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.36
system time used= 17.6631
maximum resident set size= 994972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180382
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= 234
involuntary context switches= 6073
# summary of solver processes directly reported to runsolver:
# pid: 70591
# total CPU time (s): 3600.03
# total CPU user time (s): 3582.36
# total CPU system time (s): 17.6631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54552 second user time and 15.7537 second system time
The end
Begin job on nodeC019 at 2025-07-03 09:28:03
IDJOB=4509507
IDBENCH=158621
IDSOLVER=3340
FILE ID=nodeC019/4509507-1751527683
RUNJOBID= nodeC019-1751527683-70539
SLURM_JOB_ID= 9598661
Free space on /tmp= 431644 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509507-1751527683/watcher-4509507-1751527683 -o /tmp/evaluation-result-4509507-1751527683/solver-4509507-1751527683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70539 --watchdog 3760 mixed-bag HOME/instance-4509507-1751527683.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1732309513
nodeC019 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.729
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.37
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 : 3597.852
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.37
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 : 3599.708
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.37
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.643
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.37
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.677
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.37
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.408
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.37
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 : 3597.569
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.37
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 : 3601.006
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128157948 kB
MemAvailable: 129779184 kB
Buffers: 904 kB
Cached: 2424180 kB
SwapCached: 440 kB
Active: 213260 kB
Inactive: 2278584 kB
Active(anon): 54216 kB
Inactive(anon): 27736 kB
Active(file): 159044 kB
Inactive(file): 2250848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 64696 kB
Writeback: 0 kB
AnonPages: 69672 kB
Mapped: 103776 kB
Shmem: 15192 kB
KReclaimable: 101164 kB
Slab: 189848 kB
SReclaimable: 101164 kB
SUnreclaim: 88684 kB
KernelStack: 4068 kB
PageTables: 2496 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431580 MiB
End job on nodeC019 at 2025-07-03 10:28:14