0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.07 c [STEP] solving with SCIP
299.18/300.34 c [STEP] preprocessing done, loading into solver
299.18/300.34 c [STEP] solving
299.18/300.34 c #variables 5569 #constraints 412
299.18/300.34 c SMALL=int, LARGE=long long
299.18/300.34 c bounds - >= 0 @ 298.934
299.18/300.34 c stratification level: 0
372.15/373.51 c bounds - >= 15 @ 298.935
372.15/373.51 c #Conflicts: 1000 | #Constraints: 1413
372.15/373.51 c #Conflicts: 2000 | #Constraints: 2413
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 3000 | #Constraints: 2415
372.15/373.51 c #Conflicts: 4000 | #Constraints: 3415
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 5000 | #Constraints: 2820
372.15/373.51 c #Conflicts: 6000 | #Constraints: 3820
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 7000 | #Constraints: 2825
372.15/373.51 c #Conflicts: 8000 | #Constraints: 3825
372.15/373.51 c #Conflicts: 9000 | #Constraints: 4825
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 10000 | #Constraints: 3530
372.15/373.51 c #Conflicts: 11000 | #Constraints: 4530
372.15/373.51 c #Conflicts: 12000 | #Constraints: 5530
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 13000 | #Constraints: 3980
372.15/373.51 c #Conflicts: 14000 | #Constraints: 4980
372.15/373.51 c #Conflicts: 15000 | #Constraints: 5980
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 16000 | #Constraints: 4207
372.15/373.51 c #Conflicts: 17000 | #Constraints: 5207
372.15/373.51 c #Conflicts: 18000 | #Constraints: 6207
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 19000 | #Constraints: 4230
372.15/373.51 c #Conflicts: 20000 | #Constraints: 5230
372.15/373.51 c #Conflicts: 21000 | #Constraints: 6230
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 22000 | #Constraints: 4033
372.15/373.51 c #Conflicts: 23000 | #Constraints: 5033
372.15/373.51 c #Conflicts: 24000 | #Constraints: 6033
372.15/373.51 c #Conflicts: 25000 | #Constraints: 7033
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 26000 | #Constraints: 4633
372.15/373.51 c #Conflicts: 27000 | #Constraints: 5633
372.15/373.51 c #Conflicts: 28000 | #Constraints: 6633
372.15/373.51 c #Conflicts: 29000 | #Constraints: 7633
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 30000 | #Constraints: 5030
372.15/373.51 c #Conflicts: 31000 | #Constraints: 6030
372.15/373.51 c #Conflicts: 32000 | #Constraints: 7030
372.15/373.51 c #Conflicts: 33000 | #Constraints: 8030
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 34000 | #Constraints: 5233
372.15/373.51 c #Conflicts: 35000 | #Constraints: 6233
372.15/373.51 c #Conflicts: 36000 | #Constraints: 7233
372.15/373.51 c #Conflicts: 37000 | #Constraints: 8233
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 38000 | #Constraints: 5233
372.15/373.51 c #Conflicts: 39000 | #Constraints: 6233
372.15/373.51 c #Conflicts: 40000 | #Constraints: 7233
372.15/373.51 c #Conflicts: 41000 | #Constraints: 8233
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 42000 | #Constraints: 5041
372.15/373.51 c #Conflicts: 43000 | #Constraints: 6041
372.15/373.51 c #Conflicts: 44000 | #Constraints: 7041
372.15/373.51 c #Conflicts: 45000 | #Constraints: 8041
372.15/373.51 c #Conflicts: 46000 | #Constraints: 9041
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 47000 | #Constraints: 5640
372.15/373.51 c #Conflicts: 48000 | #Constraints: 6640
372.15/373.51 c #Conflicts: 49000 | #Constraints: 7640
372.15/373.51 c #Conflicts: 50000 | #Constraints: 8640
372.15/373.51 c #Conflicts: 51000 | #Constraints: 9640
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 52000 | #Constraints: 6041
372.15/373.51 c #Conflicts: 53000 | #Constraints: 7041
372.15/373.51 c #Conflicts: 54000 | #Constraints: 8041
372.15/373.51 c #Conflicts: 55000 | #Constraints: 9041
372.15/373.51 c #Conflicts: 56000 | #Constraints: 10041
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 57000 | #Constraints: 6240
372.15/373.51 c #Conflicts: 58000 | #Constraints: 7240
372.15/373.51 c #Conflicts: 59000 | #Constraints: 8240
372.15/373.51 c #Conflicts: 60000 | #Constraints: 9240
372.15/373.51 c #Conflicts: 61000 | #Constraints: 10240
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 62000 | #Constraints: 6243
372.15/373.51 c #Conflicts: 63000 | #Constraints: 7243
372.15/373.51 c #Conflicts: 64000 | #Constraints: 8243
372.15/373.51 c #Conflicts: 65000 | #Constraints: 9243
372.15/373.51 c #Conflicts: 66000 | #Constraints: 10243
372.15/373.51 c INPROCESSING
372.15/373.51 c GARBAGE COLLECT
372.15/373.51 c #Conflicts: 67000 | #Constraints: 6044
566.33/568.37 c #Conflicts: 68000 | #Constraints: 7044
566.33/568.37 c #Conflicts: 69000 | #Constraints: 8044
566.33/568.37 c #Conflicts: 70000 | #Constraints: 9044
566.33/568.37 c #Conflicts: 71000 | #Constraints: 10044
566.33/568.37 c #Conflicts: 72000 | #Constraints: 11044
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 73000 | #Constraints: 6643
566.33/568.37 c #Conflicts: 74000 | #Constraints: 7643
566.33/568.37 c #Conflicts: 75000 | #Constraints: 8643
566.33/568.37 c #Conflicts: 76000 | #Constraints: 9643
566.33/568.37 c #Conflicts: 77000 | #Constraints: 10643
566.33/568.37 c #Conflicts: 78000 | #Constraints: 11643
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 79000 | #Constraints: 7041
566.33/568.37 c #Conflicts: 80000 | #Constraints: 8041
566.33/568.37 c #Conflicts: 81000 | #Constraints: 9041
566.33/568.37 c #Conflicts: 82000 | #Constraints: 10041
566.33/568.37 c #Conflicts: 83000 | #Constraints: 11041
566.33/568.37 c #Conflicts: 84000 | #Constraints: 12041
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 85000 | #Constraints: 7240
566.33/568.37 c #Conflicts: 86000 | #Constraints: 8240
566.33/568.37 c #Conflicts: 87000 | #Constraints: 9240
566.33/568.37 c #Conflicts: 88000 | #Constraints: 10240
566.33/568.37 c #Conflicts: 89000 | #Constraints: 11240
566.33/568.37 c #Conflicts: 90000 | #Constraints: 12240
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 91000 | #Constraints: 7242
566.33/568.37 c #Conflicts: 92000 | #Constraints: 8242
566.33/568.37 c #Conflicts: 93000 | #Constraints: 9242
566.33/568.37 c #Conflicts: 94000 | #Constraints: 10242
566.33/568.37 c #Conflicts: 95000 | #Constraints: 11242
566.33/568.37 c #Conflicts: 96000 | #Constraints: 12242
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 97000 | #Constraints: 7047
566.33/568.37 c #Conflicts: 98000 | #Constraints: 8047
566.33/568.37 c #Conflicts: 99000 | #Constraints: 9047
566.33/568.37 c #Conflicts: 100000 | #Constraints: 10047
566.33/568.37 c #Conflicts: 101000 | #Constraints: 11047
566.33/568.37 c #Conflicts: 102000 | #Constraints: 12047
566.33/568.37 c #Conflicts: 103000 | #Constraints: 13047
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 104000 | #Constraints: 7642
566.33/568.37 c #Conflicts: 105000 | #Constraints: 8642
566.33/568.37 c #Conflicts: 106000 | #Constraints: 9642
566.33/568.37 c #Conflicts: 107000 | #Constraints: 10642
566.33/568.37 c #Conflicts: 108000 | #Constraints: 11642
566.33/568.37 c #Conflicts: 109000 | #Constraints: 12642
566.33/568.37 c #Conflicts: 110000 | #Constraints: 13642
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 111000 | #Constraints: 8043
566.33/568.37 c #Conflicts: 112000 | #Constraints: 9043
566.33/568.37 c #Conflicts: 113000 | #Constraints: 10043
566.33/568.37 c #Conflicts: 114000 | #Constraints: 11043
566.33/568.37 c #Conflicts: 115000 | #Constraints: 12043
566.33/568.37 c #Conflicts: 116000 | #Constraints: 13043
566.33/568.37 c #Conflicts: 117000 | #Constraints: 14043
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 118000 | #Constraints: 8242
566.33/568.37 c #Conflicts: 119000 | #Constraints: 9242
566.33/568.37 c #Conflicts: 120000 | #Constraints: 10242
566.33/568.37 c #Conflicts: 121000 | #Constraints: 11242
566.33/568.37 c #Conflicts: 122000 | #Constraints: 12242
566.33/568.37 c #Conflicts: 123000 | #Constraints: 13242
566.33/568.37 c #Conflicts: 124000 | #Constraints: 14242
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 125000 | #Constraints: 8239
566.33/568.37 c #Conflicts: 126000 | #Constraints: 9239
566.33/568.37 c #Conflicts: 127000 | #Constraints: 10239
566.33/568.37 c #Conflicts: 128000 | #Constraints: 11239
566.33/568.37 c #Conflicts: 129000 | #Constraints: 12239
566.33/568.37 c #Conflicts: 130000 | #Constraints: 13239
566.33/568.37 c #Conflicts: 131000 | #Constraints: 14239
566.33/568.37 c INPROCESSING
566.33/568.37 c GARBAGE COLLECT
566.33/568.37 c #Conflicts: 132000 | #Constraints: 8040
566.33/568.37 c #Conflicts: 133000 | #Constraints: 9040
566.33/568.37 c #Conflicts: 134000 | #Constraints: 10040
566.33/568.37 c #Conflicts: 135000 | #Constraints: 11040
566.33/568.37 c #Conflicts: 136000 | #Constraints: 12040
566.33/568.37 c #Conflicts: 137000 | #Constraints: 13040
566.33/568.37 c #Conflicts: 138000 | #Constraints: 14040
566.33/568.37 c #Conflicts: 139000 | #Constraints: 15040
566.33/568.37 c INPROCESSING
813.07/815.84 c GARBAGE COLLECT
813.07/815.84 c #Conflicts: 140000 | #Constraints: 8644
813.07/815.84 c #Conflicts: 141000 | #Constraints: 9644
813.07/815.84 c #Conflicts: 142000 | #Constraints: 10644
813.07/815.84 c #Conflicts: 143000 | #Constraints: 11644
813.07/815.84 c #Conflicts: 144000 | #Constraints: 12644
813.07/815.84 c #Conflicts: 145000 | #Constraints: 13644
813.07/815.84 c #Conflicts: 146000 | #Constraints: 14644
813.07/815.84 c #Conflicts: 147000 | #Constraints: 15644
813.07/815.84 c INPROCESSING
813.07/815.84 c GARBAGE COLLECT
813.07/815.84 c #Conflicts: 148000 | #Constraints: 9042
813.07/815.84 c #Conflicts: 149000 | #Constraints: 10042
813.07/815.84 c #Conflicts: 150000 | #Constraints: 11042
813.07/815.84 c #Conflicts: 151000 | #Constraints: 12042
813.07/815.84 c #Conflicts: 152000 | #Constraints: 13042
813.07/815.84 c #Conflicts: 153000 | #Constraints: 14042
813.07/815.84 c #Conflicts: 154000 | #Constraints: 15042
813.07/815.84 c #Conflicts: 155000 | #Constraints: 16042
813.07/815.84 c INPROCESSING
813.07/815.84 c GARBAGE COLLECT
813.07/815.84 c #Conflicts: 156000 | #Constraints: 9242
813.07/815.84 c #Conflicts: 157000 | #Constraints: 10242
813.07/815.84 c #Conflicts: 158000 | #Constraints: 11242
813.07/815.85 c #Conflicts: 159000 | #Constraints: 12242
813.07/815.85 c #Conflicts: 160000 | #Constraints: 13242
813.07/815.85 c #Conflicts: 161000 | #Constraints: 14242
813.07/815.85 c #Conflicts: 162000 | #Constraints: 15242
813.07/815.85 c #Conflicts: 163000 | #Constraints: 16242
813.07/815.85 c INPROCESSING
813.07/815.85 c GARBAGE COLLECT
813.07/815.85 c #Conflicts: 164000 | #Constraints: 9236
813.07/815.85 c #Conflicts: 165000 | #Constraints: 10236
813.07/815.85 c #Conflicts: 166000 | #Constraints: 11236
813.07/815.85 c #Conflicts: 167000 | #Constraints: 12236
813.07/815.85 c #Conflicts: 168000 | #Constraints: 13236
813.07/815.85 c #Conflicts: 169000 | #Constraints: 14236
813.07/815.85 c #Conflicts: 170000 | #Constraints: 15236
813.07/815.85 c #Conflicts: 171000 | #Constraints: 16236
813.07/815.85 c INPROCESSING
813.07/815.85 c GARBAGE COLLECT
813.07/815.85 c #Conflicts: 172000 | #Constraints: 9037
813.07/815.85 c #Conflicts: 173000 | #Constraints: 10037
813.07/815.85 c #Conflicts: 174000 | #Constraints: 11037
813.07/815.85 c #Conflicts: 175000 | #Constraints: 12037
813.07/815.85 c #Conflicts: 176000 | #Constraints: 13037
813.07/815.85 c #Conflicts: 177000 | #Constraints: 14037
813.07/815.85 c #Conflicts: 178000 | #Constraints: 15037
813.07/815.85 c #Conflicts: 179000 | #Constraints: 16037
813.07/815.85 c #Conflicts: 180000 | #Constraints: 17037
813.07/815.85 c INPROCESSING
813.07/815.85 c GARBAGE COLLECT
813.07/815.85 c #Conflicts: 181000 | #Constraints: 9642
813.07/815.85 c #Conflicts: 182000 | #Constraints: 10642
813.07/815.85 c #Conflicts: 183000 | #Constraints: 11642
813.07/815.85 c #Conflicts: 184000 | #Constraints: 12642
813.07/815.85 c #Conflicts: 185000 | #Constraints: 13642
813.07/815.85 c #Conflicts: 186000 | #Constraints: 14642
813.07/815.85 c #Conflicts: 187000 | #Constraints: 15642
813.07/815.85 c #Conflicts: 188000 | #Constraints: 16642
813.07/815.85 c #Conflicts: 189000 | #Constraints: 17642
813.07/815.85 c INPROCESSING
813.07/815.85 c GARBAGE COLLECT
813.07/815.85 c #Conflicts: 190000 | #Constraints: 10042
813.07/815.85 c #Conflicts: 191000 | #Constraints: 11042
813.07/815.85 c #Conflicts: 192000 | #Constraints: 12042
813.07/815.85 c #Conflicts: 193000 | #Constraints: 13042
813.07/815.85 c #Conflicts: 194000 | #Constraints: 14042
813.07/815.85 c #Conflicts: 195000 | #Constraints: 15042
813.07/815.85 c #Conflicts: 196000 | #Constraints: 16042
813.07/815.85 c #Conflicts: 197000 | #Constraints: 17042
813.07/815.85 c #Conflicts: 198000 | #Constraints: 18042
813.07/815.85 c INPROCESSING
813.07/815.85 c GARBAGE COLLECT
813.07/815.85 c #Conflicts: 199000 | #Constraints: 10246
813.07/815.85 c #Conflicts: 200000 | #Constraints: 11246
813.07/815.85 c #Conflicts: 201000 | #Constraints: 12246
813.07/815.85 c #Conflicts: 202000 | #Constraints: 13246
813.07/815.85 c #Conflicts: 203000 | #Constraints: 14246
813.07/815.85 c #Conflicts: 204000 | #Constraints: 15246
813.07/815.85 c #Conflicts: 205000 | #Constraints: 16246
813.07/815.85 c #Conflicts: 206000 | #Constraints: 17246
813.07/815.85 c #Conflicts: 207000 | #Constraints: 18246
813.07/815.85 c INPROCESSING
813.07/815.85 c GARBAGE COLLECT
813.07/815.85 c #Conflicts: 208000 | #Constraints: 10250
813.07/815.85 c #Conflicts: 209000 | #Constraints: 11250
813.07/815.85 c #Conflicts: 210000 | #Constraints: 12250
813.07/815.85 c #Conflicts: 211000 | #Constraints: 13250
813.07/815.85 c #Conflicts: 212000 | #Constraints: 14250
813.07/815.85 c #Conflicts: 213000 | #Constraints: 15250
1092.19/1095.81 c #Conflicts: 214000 | #Constraints: 16250
1092.19/1095.81 c #Conflicts: 215000 | #Constraints: 17250
1092.19/1095.81 c #Conflicts: 216000 | #Constraints: 18250
1092.19/1095.81 c INPROCESSING
1092.19/1095.81 c GARBAGE COLLECT
1092.19/1095.81 c #Conflicts: 217000 | #Constraints: 10053
1092.19/1095.81 c #Conflicts: 218000 | #Constraints: 11053
1092.19/1095.81 c #Conflicts: 219000 | #Constraints: 12053
1092.19/1095.81 c #Conflicts: 220000 | #Constraints: 13053
1092.19/1095.81 c #Conflicts: 221000 | #Constraints: 14053
1092.19/1095.81 c #Conflicts: 222000 | #Constraints: 15053
1092.19/1095.81 c #Conflicts: 223000 | #Constraints: 16053
1092.19/1095.81 c #Conflicts: 224000 | #Constraints: 17053
1092.19/1095.81 c #Conflicts: 225000 | #Constraints: 18053
1092.19/1095.81 c #Conflicts: 226000 | #Constraints: 19053
1092.19/1095.81 c INPROCESSING
1092.19/1095.81 c GARBAGE COLLECT
1092.19/1095.81 c #Conflicts: 227000 | #Constraints: 10650
1092.19/1095.81 c #Conflicts: 228000 | #Constraints: 11650
1092.19/1095.81 c #Conflicts: 229000 | #Constraints: 12650
1092.19/1095.81 c #Conflicts: 230000 | #Constraints: 13650
1092.19/1095.81 c #Conflicts: 231000 | #Constraints: 14650
1092.19/1095.81 c #Conflicts: 232000 | #Constraints: 15650
1092.19/1095.81 c #Conflicts: 233000 | #Constraints: 16650
1092.19/1095.81 c #Conflicts: 234000 | #Constraints: 17650
1092.19/1095.81 c #Conflicts: 235000 | #Constraints: 18650
1092.19/1095.81 c #Conflicts: 236000 | #Constraints: 19650
1092.19/1095.81 c INPROCESSING
1092.19/1095.81 c GARBAGE COLLECT
1092.19/1095.81 c #Conflicts: 237000 | #Constraints: 11048
1092.19/1095.81 c #Conflicts: 238000 | #Constraints: 12048
1092.19/1095.81 c #Conflicts: 239000 | #Constraints: 13048
1092.19/1095.81 c #Conflicts: 240000 | #Constraints: 14048
1092.19/1095.81 c #Conflicts: 241000 | #Constraints: 15048
1092.19/1095.81 c #Conflicts: 242000 | #Constraints: 16048
1092.19/1095.81 c #Conflicts: 243000 | #Constraints: 17048
1092.19/1095.81 c #Conflicts: 244000 | #Constraints: 18048
1092.19/1095.81 c #Conflicts: 245000 | #Constraints: 19048
1092.19/1095.81 c #Conflicts: 246000 | #Constraints: 20048
1092.19/1095.81 c INPROCESSING
1092.19/1095.81 c GARBAGE COLLECT
1092.19/1095.81 c #Conflicts: 247000 | #Constraints: 11251
1092.19/1095.81 c #Conflicts: 248000 | #Constraints: 12251
1092.19/1095.81 c #Conflicts: 249000 | #Constraints: 13251
1092.19/1095.81 c #Conflicts: 250000 | #Constraints: 14251
1092.19/1095.81 c #Conflicts: 251000 | #Constraints: 15251
1092.19/1095.81 c #Conflicts: 252000 | #Constraints: 16251
1092.19/1095.81 c #Conflicts: 253000 | #Constraints: 17251
1092.19/1095.81 c #Conflicts: 254000 | #Constraints: 18251
1092.19/1095.81 c #Conflicts: 255000 | #Constraints: 19251
1092.19/1095.81 c #Conflicts: 256000 | #Constraints: 20251
1092.19/1095.81 c INPROCESSING
1092.19/1095.81 c GARBAGE COLLECT
1092.19/1095.81 c #Conflicts: 257000 | #Constraints: 11245
1092.19/1095.81 c #Conflicts: 258000 | #Constraints: 12245
1092.19/1095.81 c #Conflicts: 259000 | #Constraints: 13245
1092.19/1095.81 c #Conflicts: 260000 | #Constraints: 14245
1092.19/1095.81 c #Conflicts: 261000 | #Constraints: 15245
1092.19/1095.81 c #Conflicts: 262000 | #Constraints: 16245
1092.19/1095.81 c #Conflicts: 263000 | #Constraints: 17245
1092.19/1095.81 c #Conflicts: 264000 | #Constraints: 18245
1092.19/1095.81 c #Conflicts: 265000 | #Constraints: 19245
1092.19/1095.81 c #Conflicts: 266000 | #Constraints: 20245
1092.19/1095.81 c INPROCESSING
1092.19/1095.81 c GARBAGE COLLECT
1092.19/1095.81 c #Conflicts: 267000 | #Constraints: 11045
1092.19/1095.81 c #Conflicts: 268000 | #Constraints: 12045
1092.19/1095.81 c #Conflicts: 269000 | #Constraints: 13045
1092.19/1095.81 c #Conflicts: 270000 | #Constraints: 14045
1092.19/1095.81 c #Conflicts: 271000 | #Constraints: 15045
1092.19/1095.81 c #Conflicts: 272000 | #Constraints: 16045
1092.19/1095.81 c #Conflicts: 273000 | #Constraints: 17045
1092.19/1095.81 c #Conflicts: 274000 | #Constraints: 18045
1092.19/1095.81 c #Conflicts: 275000 | #Constraints: 19045
1092.19/1095.81 c #Conflicts: 276000 | #Constraints: 20045
1092.19/1095.81 c #Conflicts: 277000 | #Constraints: 21045
1092.19/1095.81 c INPROCESSING
1092.19/1095.81 c GARBAGE COLLECT
1092.19/1095.81 c #Conflicts: 278000 | #Constraints: 11644
1092.19/1095.81 c #Conflicts: 279000 | #Constraints: 12644
1092.19/1095.81 c #Conflicts: 280000 | #Constraints: 13644
1092.19/1095.81 c #Conflicts: 281000 | #Constraints: 14644
1092.19/1095.81 c #Conflicts: 282000 | #Constraints: 15644
1092.19/1095.81 c #Conflicts: 283000 | #Constraints: 16644
1092.19/1095.81 c #Conflicts: 284000 | #Constraints: 17644
1092.19/1095.81 c #Conflicts: 285000 | #Constraints: 18644
1092.19/1095.81 c #Conflicts: 286000 | #Constraints: 19644
1092.19/1095.81 c #Conflicts: 287000 | #Constraints: 20644
1466.42/1471.26 c #Conflicts: 288000 | #Constraints: 21644
1466.42/1471.26 c INPROCESSING
1466.42/1471.26 c GARBAGE COLLECT
1466.42/1471.26 c #Conflicts: 289000 | #Constraints: 12039
1466.42/1471.26 c #Conflicts: 290000 | #Constraints: 13039
1466.42/1471.26 c #Conflicts: 291000 | #Constraints: 14039
1466.42/1471.26 c #Conflicts: 292000 | #Constraints: 15039
1466.42/1471.26 c #Conflicts: 293000 | #Constraints: 16039
1466.42/1471.26 c #Conflicts: 294000 | #Constraints: 17039
1466.42/1471.26 c #Conflicts: 295000 | #Constraints: 18039
1466.42/1471.26 c #Conflicts: 296000 | #Constraints: 19039
1466.42/1471.26 c #Conflicts: 297000 | #Constraints: 20039
1466.42/1471.26 c #Conflicts: 298000 | #Constraints: 21039
1466.42/1471.26 c #Conflicts: 299000 | #Constraints: 22039
1466.42/1471.26 c INPROCESSING
1466.42/1471.26 c GARBAGE COLLECT
1466.42/1471.26 c #Conflicts: 300000 | #Constraints: 12239
1466.42/1471.26 c #Conflicts: 301000 | #Constraints: 13239
1466.42/1471.26 c #Conflicts: 302000 | #Constraints: 14239
1466.42/1471.26 c #Conflicts: 303000 | #Constraints: 15239
1466.42/1471.26 c #Conflicts: 304000 | #Constraints: 16239
1466.42/1471.26 c #Conflicts: 305000 | #Constraints: 17239
1466.42/1471.26 c #Conflicts: 306000 | #Constraints: 18239
1466.42/1471.26 c #Conflicts: 307000 | #Constraints: 19239
1466.42/1471.26 c #Conflicts: 308000 | #Constraints: 20239
1466.42/1471.26 c #Conflicts: 309000 | #Constraints: 21239
1466.42/1471.26 c #Conflicts: 310000 | #Constraints: 22239
1466.42/1471.26 c INPROCESSING
1466.42/1471.26 c GARBAGE COLLECT
1466.42/1471.26 c #Conflicts: 311000 | #Constraints: 12256
1466.42/1471.26 c #Conflicts: 312000 | #Constraints: 13256
1466.42/1471.26 c #Conflicts: 313000 | #Constraints: 14256
1466.42/1471.26 c #Conflicts: 314000 | #Constraints: 15256
1466.42/1471.26 c #Conflicts: 315000 | #Constraints: 16256
1466.42/1471.26 c #Conflicts: 316000 | #Constraints: 17256
1466.42/1471.26 c #Conflicts: 317000 | #Constraints: 18256
1466.42/1471.26 c #Conflicts: 318000 | #Constraints: 19256
1466.42/1471.26 c #Conflicts: 319000 | #Constraints: 20256
1466.42/1471.26 c #Conflicts: 320000 | #Constraints: 21256
1466.42/1471.26 c #Conflicts: 321000 | #Constraints: 22256
1466.42/1471.26 c INPROCESSING
1466.42/1471.26 c GARBAGE COLLECT
1466.42/1471.26 c #Conflicts: 322000 | #Constraints: 12051
1466.42/1471.26 c #Conflicts: 323000 | #Constraints: 13051
1466.42/1471.26 c #Conflicts: 324000 | #Constraints: 14051
1466.42/1471.26 c #Conflicts: 325000 | #Constraints: 15051
1466.42/1471.26 c #Conflicts: 326000 | #Constraints: 16051
1466.42/1471.26 c #Conflicts: 327000 | #Constraints: 17051
1466.42/1471.26 c #Conflicts: 328000 | #Constraints: 18051
1466.42/1471.26 c #Conflicts: 329000 | #Constraints: 19051
1466.42/1471.26 c #Conflicts: 330000 | #Constraints: 20051
1466.42/1471.26 c #Conflicts: 331000 | #Constraints: 21051
1466.42/1471.26 c #Conflicts: 332000 | #Constraints: 22051
1466.42/1471.26 c #Conflicts: 333000 | #Constraints: 23051
1466.42/1471.26 c INPROCESSING
1466.42/1471.26 c GARBAGE COLLECT
1466.42/1471.26 c #Conflicts: 334000 | #Constraints: 12647
1466.42/1471.26 c #Conflicts: 335000 | #Constraints: 13647
1466.42/1471.26 c #Conflicts: 336000 | #Constraints: 14647
1466.42/1471.26 c #Conflicts: 337000 | #Constraints: 15647
1466.42/1471.26 c #Conflicts: 338000 | #Constraints: 16647
1466.42/1471.26 c #Conflicts: 339000 | #Constraints: 17647
1466.42/1471.26 c #Conflicts: 340000 | #Constraints: 18647
1466.42/1471.26 c #Conflicts: 341000 | #Constraints: 19647
1466.42/1471.26 c #Conflicts: 342000 | #Constraints: 20647
1466.42/1471.26 c #Conflicts: 343000 | #Constraints: 21647
1466.42/1471.26 c #Conflicts: 344000 | #Constraints: 22647
1466.42/1471.26 c #Conflicts: 345000 | #Constraints: 23647
1466.42/1471.26 c INPROCESSING
1466.42/1471.26 c GARBAGE COLLECT
1466.42/1471.26 c #Conflicts: 346000 | #Constraints: 13041
1466.42/1471.26 c #Conflicts: 347000 | #Constraints: 14041
1466.42/1471.26 c #Conflicts: 348000 | #Constraints: 15041
1466.42/1471.26 c #Conflicts: 349000 | #Constraints: 16041
1466.42/1471.26 c #Conflicts: 350000 | #Constraints: 17041
1466.42/1471.26 c #Conflicts: 351000 | #Constraints: 18041
1466.42/1471.26 c #Conflicts: 352000 | #Constraints: 19041
1466.42/1471.26 c #Conflicts: 353000 | #Constraints: 20041
1466.42/1471.26 c #Conflicts: 354000 | #Constraints: 21041
1466.42/1471.26 c #Conflicts: 355000 | #Constraints: 22041
1466.42/1471.26 c #Conflicts: 356000 | #Constraints: 23041
1466.42/1471.26 c #Conflicts: 357000 | #Constraints: 24041
1466.42/1471.26 c INPROCESSING
1466.42/1471.26 c GARBAGE COLLECT
1466.42/1471.26 c #Conflicts: 358000 | #Constraints: 13240
1466.42/1471.26 c #Conflicts: 359000 | #Constraints: 14240
1466.42/1471.26 c #Conflicts: 360000 | #Constraints: 15240
1466.42/1471.26 c #Conflicts: 361000 | #Constraints: 16240
1899.67/1905.87 c #Conflicts: 362000 | #Constraints: 17240
1899.67/1905.87 c #Conflicts: 363000 | #Constraints: 18240
1899.67/1905.87 c #Conflicts: 364000 | #Constraints: 19240
1899.67/1905.87 c #Conflicts: 365000 | #Constraints: 20240
1899.67/1905.87 c #Conflicts: 366000 | #Constraints: 21240
1899.67/1905.87 c #Conflicts: 367000 | #Constraints: 22240
1899.67/1905.87 c #Conflicts: 368000 | #Constraints: 23240
1899.67/1905.87 c #Conflicts: 369000 | #Constraints: 24240
1899.67/1905.87 c INPROCESSING
1899.67/1905.87 c GARBAGE COLLECT
1899.67/1905.87 c #Conflicts: 370000 | #Constraints: 13250
1899.67/1905.87 c #Conflicts: 371000 | #Constraints: 14250
1899.67/1905.87 c #Conflicts: 372000 | #Constraints: 15250
1899.67/1905.87 c #Conflicts: 373000 | #Constraints: 16250
1899.67/1905.87 c #Conflicts: 374000 | #Constraints: 17250
1899.67/1905.87 c #Conflicts: 375000 | #Constraints: 18250
1899.67/1905.87 c #Conflicts: 376000 | #Constraints: 19250
1899.67/1905.87 c #Conflicts: 377000 | #Constraints: 20250
1899.67/1905.87 c #Conflicts: 378000 | #Constraints: 21250
1899.67/1905.87 c #Conflicts: 379000 | #Constraints: 22250
1899.67/1905.87 c #Conflicts: 380000 | #Constraints: 23250
1899.67/1905.87 c #Conflicts: 381000 | #Constraints: 24250
1899.67/1905.87 c INPROCESSING
1899.67/1905.87 c GARBAGE COLLECT
1899.67/1905.87 c #Conflicts: 382000 | #Constraints: 13044
1899.67/1905.87 c #Conflicts: 383000 | #Constraints: 14044
1899.67/1905.87 c #Conflicts: 384000 | #Constraints: 15044
1899.67/1905.87 c #Conflicts: 385000 | #Constraints: 16044
1899.67/1905.87 c #Conflicts: 386000 | #Constraints: 17044
1899.67/1905.87 c #Conflicts: 387000 | #Constraints: 18044
1899.67/1905.87 c #Conflicts: 388000 | #Constraints: 19044
1899.67/1905.87 c #Conflicts: 389000 | #Constraints: 20044
1899.67/1905.87 c #Conflicts: 390000 | #Constraints: 21044
1899.67/1905.87 c #Conflicts: 391000 | #Constraints: 22044
1899.67/1905.87 c #Conflicts: 392000 | #Constraints: 23044
1899.67/1905.87 c #Conflicts: 393000 | #Constraints: 24044
1899.67/1905.87 c #Conflicts: 394000 | #Constraints: 25044
1899.67/1905.87 c INPROCESSING
1899.67/1905.87 c GARBAGE COLLECT
1899.67/1905.87 c #Conflicts: 395000 | #Constraints: 13645
1899.67/1905.87 c #Conflicts: 396000 | #Constraints: 14645
1899.67/1905.87 c #Conflicts: 397000 | #Constraints: 15645
1899.67/1905.87 c #Conflicts: 398000 | #Constraints: 16645
1899.67/1905.87 c #Conflicts: 399000 | #Constraints: 17645
1899.67/1905.87 c #Conflicts: 400000 | #Constraints: 18645
1899.67/1905.87 c #Conflicts: 401000 | #Constraints: 19645
1899.67/1905.87 c #Conflicts: 402000 | #Constraints: 20645
1899.67/1905.87 c #Conflicts: 403000 | #Constraints: 21645
1899.67/1905.87 c #Conflicts: 404000 | #Constraints: 22645
1899.67/1905.87 c #Conflicts: 405000 | #Constraints: 23645
1899.67/1905.87 c #Conflicts: 406000 | #Constraints: 24645
1899.67/1905.87 c #Conflicts: 407000 | #Constraints: 25645
1899.67/1905.87 c INPROCESSING
1899.67/1905.87 c GARBAGE COLLECT
1899.67/1905.87 c #Conflicts: 408000 | #Constraints: 14050
1899.67/1905.87 c #Conflicts: 409000 | #Constraints: 15050
1899.67/1905.87 c #Conflicts: 410000 | #Constraints: 16050
1899.67/1905.87 c #Conflicts: 411000 | #Constraints: 17050
1899.67/1905.87 c #Conflicts: 412000 | #Constraints: 18050
1899.67/1905.87 c #Conflicts: 413000 | #Constraints: 19050
1899.67/1905.87 c #Conflicts: 414000 | #Constraints: 20050
1899.67/1905.87 c #Conflicts: 415000 | #Constraints: 21050
1899.67/1905.87 c #Conflicts: 416000 | #Constraints: 22050
1899.67/1905.87 c #Conflicts: 417000 | #Constraints: 23050
1899.67/1905.87 c #Conflicts: 418000 | #Constraints: 24050
1899.67/1905.87 c #Conflicts: 419000 | #Constraints: 25050
1899.67/1905.87 c #Conflicts: 420000 | #Constraints: 26050
1899.67/1905.87 c INPROCESSING
1899.67/1905.87 c GARBAGE COLLECT
1899.67/1905.87 c #Conflicts: 421000 | #Constraints: 14249
1899.67/1905.87 c #Conflicts: 422000 | #Constraints: 15249
1899.67/1905.87 c #Conflicts: 423000 | #Constraints: 16249
1899.67/1905.87 c #Conflicts: 424000 | #Constraints: 17249
1899.67/1905.87 c #Conflicts: 425000 | #Constraints: 18249
1899.67/1905.87 c #Conflicts: 426000 | #Constraints: 19249
1899.67/1905.87 c #Conflicts: 427000 | #Constraints: 20249
1899.67/1905.87 c #Conflicts: 428000 | #Constraints: 21249
1899.67/1905.87 c #Conflicts: 429000 | #Constraints: 22249
1899.67/1905.87 c #Conflicts: 430000 | #Constraints: 23249
1899.67/1905.87 c #Conflicts: 431000 | #Constraints: 24249
1899.67/1905.87 c #Conflicts: 432000 | #Constraints: 25249
1899.67/1905.87 c #Conflicts: 433000 | #Constraints: 26249
1899.67/1905.87 c INPROCESSING
1899.67/1905.87 c GARBAGE COLLECT
1899.67/1905.87 c #Conflicts: 434000 | #Constraints: 14252
1899.67/1905.87 c #Conflicts: 435000 | #Constraints: 15252
1899.67/1905.87 c #Conflicts: 436000 | #Constraints: 16252
2901.33/2910.68 c #Conflicts: 437000 | #Constraints: 17252
2901.33/2910.68 c #Conflicts: 438000 | #Constraints: 18252
2901.33/2910.68 c #Conflicts: 439000 | #Constraints: 19252
2901.33/2910.68 c #Conflicts: 440000 | #Constraints: 20252
2901.33/2910.68 c #Conflicts: 441000 | #Constraints: 21252
2901.33/2910.68 c #Conflicts: 442000 | #Constraints: 22252
2901.33/2910.68 c #Conflicts: 443000 | #Constraints: 23252
2901.33/2910.68 c #Conflicts: 444000 | #Constraints: 24252
2901.33/2910.68 c #Conflicts: 445000 | #Constraints: 25252
2901.33/2910.68 c #Conflicts: 446000 | #Constraints: 26252
2901.33/2910.68 c INPROCESSING
2901.33/2910.68 c GARBAGE COLLECT
2901.33/2910.68 c #Conflicts: 447000 | #Constraints: 14049
2901.33/2910.68 c #Conflicts: 448000 | #Constraints: 15049
2901.33/2910.68 c #Conflicts: 449000 | #Constraints: 16049
2901.33/2910.68 c #Conflicts: 450000 | #Constraints: 17049
2901.33/2910.68 c #Conflicts: 451000 | #Constraints: 18049
2901.33/2910.68 c #Conflicts: 452000 | #Constraints: 19049
2901.33/2910.68 c #Conflicts: 453000 | #Constraints: 20049
2901.33/2910.68 c #Conflicts: 454000 | #Constraints: 21049
2901.33/2910.68 c #Conflicts: 455000 | #Constraints: 22049
2901.33/2910.68 c #Conflicts: 456000 | #Constraints: 23049
2901.33/2910.68 c #Conflicts: 457000 | #Constraints: 24049
2901.33/2910.68 c #Conflicts: 458000 | #Constraints: 25049
2901.33/2910.68 c #Conflicts: 459000 | #Constraints: 26049
2901.33/2910.68 c #Conflicts: 460000 | #Constraints: 27049
2901.33/2910.68 c INPROCESSING
2901.33/2910.68 c GARBAGE COLLECT
2901.33/2910.68 c #Conflicts: 461000 | #Constraints: 14649
2901.33/2910.68 c #Conflicts: 462000 | #Constraints: 15649
2901.33/2910.68 c #Conflicts: 463000 | #Constraints: 16649
2901.33/2910.68 c #Conflicts: 464000 | #Constraints: 17649
2901.33/2910.68 c #Conflicts: 465000 | #Constraints: 18649
2901.33/2910.68 c #Conflicts: 466000 | #Constraints: 19649
2901.33/2910.68 c #Conflicts: 467000 | #Constraints: 20649
2901.33/2910.68 c #Conflicts: 468000 | #Constraints: 21649
2901.33/2910.68 c #Conflicts: 469000 | #Constraints: 22649
2901.33/2910.68 c #Conflicts: 470000 | #Constraints: 23649
2901.33/2910.68 c #Conflicts: 471000 | #Constraints: 24649
2901.33/2910.68 c #Conflicts: 472000 | #Constraints: 25649
2901.33/2910.68 c #Conflicts: 473000 | #Constraints: 26649
2901.33/2910.68 c #Conflicts: 474000 | #Constraints: 27649
2901.33/2910.68 c INPROCESSING
2901.33/2910.68 c GARBAGE COLLECT
2901.33/2910.68 c #Conflicts: 475000 | #Constraints: 15047
2901.33/2910.68 c #Conflicts: 476000 | #Constraints: 16047
2901.33/2910.68 c #Conflicts: 477000 | #Constraints: 17047
2901.33/2910.68 c #Conflicts: 478000 | #Constraints: 18047
2901.33/2910.68 c #Conflicts: 479000 | #Constraints: 19047
2901.33/2910.68 c #Conflicts: 480000 | #Constraints: 20047
2901.33/2910.68 c #Conflicts: 481000 | #Constraints: 21047
2901.33/2910.68 c #Conflicts: 482000 | #Constraints: 22047
2901.33/2910.68 c #Conflicts: 483000 | #Constraints: 23047
2901.33/2910.68 c #Conflicts: 484000 | #Constraints: 24047
2901.33/2910.68 c #Conflicts: 485000 | #Constraints: 25047
2901.33/2910.68 c #Conflicts: 486000 | #Constraints: 26047
2901.33/2910.68 c #Conflicts: 487000 | #Constraints: 27047
2901.33/2910.68 c #Conflicts: 488000 | #Constraints: 28047
2901.33/2910.68 c INPROCESSING
2901.33/2910.68 c GARBAGE COLLECT
2901.33/2910.68 c #Conflicts: 489000 | #Constraints: 15248
2901.33/2910.68 c #Conflicts: 490000 | #Constraints: 16248
2901.33/2910.68 c #Conflicts: 491000 | #Constraints: 17248
2901.33/2910.68 c #Conflicts: 492000 | #Constraints: 18248
2901.33/2910.68 c #Conflicts: 493000 | #Constraints: 19248
2901.33/2910.68 c #Conflicts: 494000 | #Constraints: 20248
2901.33/2910.68 c #Conflicts: 495000 | #Constraints: 21248
2901.33/2910.68 c #Conflicts: 496000 | #Constraints: 22248
2901.33/2910.68 c #Conflicts: 497000 | #Constraints: 23248
2901.33/2910.68 c #Conflicts: 498000 | #Constraints: 24248
2901.33/2910.68 c #Conflicts: 499000 | #Constraints: 25248
2901.33/2910.68 c #Conflicts: 500000 | #Constraints: 26248
2901.33/2910.68 c #Conflicts: 501000 | #Constraints: 27248
2901.33/2910.68 c #Conflicts: 502000 | #Constraints: 28248
2901.33/2910.68 c INPROCESSING
2901.33/2910.68 c GARBAGE COLLECT
2901.33/2910.68 c #Conflicts: 503000 | #Constraints: 15259
2901.33/2910.68 c #Conflicts: 504000 | #Constraints: 16259
2901.33/2910.68 c #Conflicts: 505000 | #Constraints: 17259
2901.33/2910.68 c #Conflicts: 506000 | #Constraints: 18259
2901.33/2910.68 c #Conflicts: 507000 | #Constraints: 19259
2901.33/2910.68 c #Conflicts: 508000 | #Constraints: 20259
2901.33/2910.68 c #Conflicts: 509000 | #Constraints: 21259
2901.33/2910.68 c #Conflicts: 510000 | #Constraints: 22259
2901.33/2910.68 c #Conflicts: 511000 | #Constraints: 23259
2901.33/2910.68 c #Conflicts: 512000 | #Constraints: 24259
3421.53/3432.48 c #Conflicts: 513000 | #Constraints: 25259
3421.53/3432.48 c #Conflicts: 514000 | #Constraints: 26259
3421.53/3432.48 c #Conflicts: 515000 | #Constraints: 27259
3421.53/3432.48 c #Conflicts: 516000 | #Constraints: 28259
3421.53/3432.48 c INPROCESSING
3421.53/3432.48 c GARBAGE COLLECT
3421.53/3432.48 c #Conflicts: 517000 | #Constraints: 15053
3421.53/3432.48 c #Conflicts: 518000 | #Constraints: 16053
3421.53/3432.48 c #Conflicts: 519000 | #Constraints: 17053
3421.53/3432.48 c #Conflicts: 520000 | #Constraints: 18053
3421.53/3432.48 c #Conflicts: 521000 | #Constraints: 19053
3421.53/3432.48 c #Conflicts: 522000 | #Constraints: 20053
3421.53/3432.48 c #Conflicts: 523000 | #Constraints: 21053
3421.53/3432.48 c #Conflicts: 524000 | #Constraints: 22053
3421.53/3432.48 c #Conflicts: 525000 | #Constraints: 23053
3421.53/3432.48 c #Conflicts: 526000 | #Constraints: 24053
3421.53/3432.48 c #Conflicts: 527000 | #Constraints: 25053
3421.53/3432.48 c #Conflicts: 528000 | #Constraints: 26053
3421.53/3432.48 c #Conflicts: 529000 | #Constraints: 27053
3421.53/3432.48 c #Conflicts: 530000 | #Constraints: 28053
3421.53/3432.48 c #Conflicts: 531000 | #Constraints: 29053
3421.53/3432.48 c INPROCESSING
3421.53/3432.48 c GARBAGE COLLECT
3421.53/3432.48 c #Conflicts: 532000 | #Constraints: 15650
3421.53/3432.48 c #Conflicts: 533000 | #Constraints: 16650
3421.53/3432.48 c #Conflicts: 534000 | #Constraints: 17650
3421.53/3432.48 c #Conflicts: 535000 | #Constraints: 18650
3421.53/3432.48 c #Conflicts: 536000 | #Constraints: 19650
3421.53/3432.48 c #Conflicts: 537000 | #Constraints: 20650
3421.53/3432.48 c #Conflicts: 538000 | #Constraints: 21650
3421.53/3432.48 c #Conflicts: 539000 | #Constraints: 22650
3421.53/3432.48 c #Conflicts: 540000 | #Constraints: 23650
3421.53/3432.48 c #Conflicts: 541000 | #Constraints: 24650
3421.53/3432.48 c #Conflicts: 542000 | #Constraints: 25650
3421.53/3432.48 c #Conflicts: 543000 | #Constraints: 26650
3421.53/3432.48 c #Conflicts: 544000 | #Constraints: 27650
3421.53/3432.48 c #Conflicts: 545000 | #Constraints: 28650
3421.53/3432.48 c #Conflicts: 546000 | #Constraints: 29650
3421.53/3432.48 c INPROCESSING
3421.53/3432.48 c GARBAGE COLLECT
3421.53/3432.48 c #Conflicts: 547000 | #Constraints: 16058
3421.53/3432.48 c #Conflicts: 548000 | #Constraints: 17058
3421.53/3432.48 c #Conflicts: 549000 | #Constraints: 18058
3421.53/3432.48 c #Conflicts: 550000 | #Constraints: 19058
3421.53/3432.48 c #Conflicts: 551000 | #Constraints: 20058
3421.53/3432.48 c #Conflicts: 552000 | #Constraints: 21058
3421.53/3432.48 c #Conflicts: 553000 | #Constraints: 22058
3421.53/3432.48 c #Conflicts: 554000 | #Constraints: 23058
3421.53/3432.48 c #Conflicts: 555000 | #Constraints: 24058
3421.53/3432.48 c #Conflicts: 556000 | #Constraints: 25058
3421.53/3432.48 c #Conflicts: 557000 | #Constraints: 26058
3421.53/3432.48 c #Conflicts: 558000 | #Constraints: 27058
3421.53/3432.48 c #Conflicts: 559000 | #Constraints: 28058
3421.53/3432.48 c #Conflicts: 560000 | #Constraints: 29058
3421.53/3432.48 c #Conflicts: 561000 | #Constraints: 30058
3421.53/3432.48 c INPROCESSING
3421.53/3432.48 c GARBAGE COLLECT
3421.53/3432.48 c #Conflicts: 562000 | #Constraints: 16250
3421.53/3432.48 c #Conflicts: 563000 | #Constraints: 17250
3421.53/3432.48 c #Conflicts: 564000 | #Constraints: 18250
3421.53/3432.48 c #Conflicts: 565000 | #Constraints: 19250
3421.53/3432.48 c #Conflicts: 566000 | #Constraints: 20250
3421.53/3432.48 c #Conflicts: 567000 | #Constraints: 21250
3421.53/3432.48 c #Conflicts: 568000 | #Constraints: 22250
3421.53/3432.48 c #Conflicts: 569000 | #Constraints: 23250
3421.53/3432.48 c #Conflicts: 570000 | #Constraints: 24250
3421.53/3432.48 c #Conflicts: 571000 | #Constraints: 25250
3421.53/3432.48 c #Conflicts: 572000 | #Constraints: 26250
3421.53/3432.48 c #Conflicts: 573000 | #Constraints: 27250
3421.53/3432.48 c #Conflicts: 574000 | #Constraints: 28250
3421.53/3432.48 c #Conflicts: 575000 | #Constraints: 29250
3421.53/3432.48 c #Conflicts: 576000 | #Constraints: 30250
3421.53/3432.48 c INPROCESSING
3421.53/3432.48 c GARBAGE COLLECT
3421.53/3432.48 c #Conflicts: 577000 | #Constraints: 16248
3421.53/3432.48 c #Conflicts: 578000 | #Constraints: 17248
3421.53/3432.48 c #Conflicts: 579000 | #Constraints: 18248
3421.53/3432.48 c #Conflicts: 580000 | #Constraints: 19248
3421.53/3432.48 c #Conflicts: 581000 | #Constraints: 20248
3421.53/3432.48 c #Conflicts: 582000 | #Constraints: 21248
3421.53/3432.48 c #Conflicts: 583000 | #Constraints: 22248
3421.53/3432.48 c #Conflicts: 584000 | #Constraints: 23248
3421.53/3432.48 c #Conflicts: 585000 | #Constraints: 24248
3421.53/3432.48 c #Conflicts: 586000 | #Constraints: 25248
3421.53/3432.48 c #Conflicts: 587000 | #Constraints: 26248
3421.53/3432.48 c #Conflicts: 588000 | #Constraints: 27248
3600.07/3611.50 c #Conflicts: 589000 | #Constraints: 28248
3600.07/3611.50 c #Conflicts: 590000 | #Constraints: 29248
3600.07/3611.50 c #Conflicts: 591000 | #Constraints: 30248
3600.07/3611.50 c INPROCESSING
3600.07/3611.50 c GARBAGE COLLECT
3600.07/3611.50 c #Conflicts: 592000 | #Constraints: 16052
3600.07/3611.50 c #Conflicts: 593000 | #Constraints: 17052
3600.07/3611.50 c #Conflicts: 594000 | #Constraints: 18052
3600.07/3611.50 c #Conflicts: 595000 | #Constraints: 19052
3600.07/3611.50 c #Conflicts: 596000 | #Constraints: 20052
3600.07/3611.50 c #Conflicts: 597000 | #Constraints: 21052
3600.07/3611.50 c #Conflicts: 598000 | #Constraints: 22052
3600.07/3611.50 c #Conflicts: 599000 | #Constraints: 23052
3600.07/3611.50 c #Conflicts: 600000 | #Constraints: 24052
3600.07/3611.50 c #Conflicts: 601000 | #Constraints: 25052
3600.07/3611.50 c #Conflicts: 602000 | #Constraints: 26052
3600.07/3611.50 c #Conflicts: 603000 | #Constraints: 27052
3600.07/3611.50 c #Conflicts: 604000 | #Constraints: 28052
3600.07/3611.50 c #Conflicts: 605000 | #Constraints: 29052
3600.07/3611.50 c #Conflicts: 606000 | #Constraints: 30052
3600.07/3611.50 c Program interrupted by user.
3600.07/3611.50 c cpu time 3581.07 s
3600.07/3611.50 c deterministic time 478456419023 4.78e+11
3600.07/3611.50 c optimization time 143.012 s
3600.07/3611.50 c total solve time 3139.12 s
3600.07/3611.50 c core-guided solve time 3139.12 s
3600.07/3611.50 c propagation time 2888.01 s
3600.07/3611.50 c conflict analysis time 297.928 s
3600.07/3611.50 c propagations 58096272
3600.07/3611.50 c resolve steps 3604640
3600.07/3611.50 c decisions 12931055
3600.07/3611.50 c conflicts 606990
3600.07/3611.50 c restarts 1277
3600.07/3611.50 c inprocessing phases 68
3600.07/3611.50 c input clauses 173
3600.07/3611.50 c input cardinalities 175
3600.07/3611.50 c input general constraints 66
3600.07/3611.50 c input average constraint length 53.95
3600.07/3611.50 c input average constraint degree 11119.52
3600.07/3611.50 c learned clauses 6228
3600.07/3611.50 c learned cardinalities 15
3600.07/3611.50 c learned general constraints 600746
3600.07/3611.50 c learned average constraint length 1543.85
3600.07/3611.50 c learned average constraint degree 12955917.76
3600.07/3611.50 c watched constraints 290896
3600.07/3611.50 c counting constraints 309916
3600.07/3611.50 c gcd simplifications 3408
3600.07/3611.50 c detected cardinalities 6
3600.07/3611.50 c weakened non-implied lits 26704331
3600.07/3611.50 c weakened non-implying lits 60004
3600.07/3611.50 c original variables 5568
3600.07/3611.50 c clausal propagations 2215235
3600.07/3611.50 c cardinality propagations 10222864
3600.07/3611.50 c watched propagations 3480270
3600.07/3611.50 c counting propagations 42039011
3600.07/3611.50 c watch lookups 36284446701
3600.07/3611.50 c watch backjump lookups 35729473831
3600.07/3611.50 c watch checks 298824390214
3600.07/3611.50 c propagation checks 105474563998
3600.07/3611.50 c constraint additions 2000888062
3600.07/3611.50 c trail pops 71628889
3600.07/3611.50 c formula constraints 412
3600.07/3611.50 c learned constraints 606989
3600.07/3611.50 c bound constraints 2
3600.07/3611.50 c core-guided constraints 0
3600.07/3611.50 c encountered formula constraints 2299882
3600.07/3611.50 c encountered learned constraints 1910000
3600.07/3611.50 c encountered bound constraints 1748
3600.07/3611.50 c encountered core-guided constraints 0
3600.07/3611.50 c LP total time 0 s
3600.07/3611.50 c LP solve time 0 s
3600.07/3611.50 c LP constraints added 0
3600.07/3611.50 c LP constraints removed 0
3600.07/3611.50 c LP pivots internal 0
3600.07/3611.50 c LP pivots root 0
3600.07/3611.50 c LP calls 0
3600.07/3611.50 c LP optimalities 0
3600.07/3611.50 c LP no pivot count 0
3600.07/3611.50 c LP infeasibilities 0
3600.07/3611.50 c LP valid Farkas constraints 0
3600.07/3611.50 c LP learned Farkas constraints 0
3600.07/3611.50 c LP basis resets 0
3600.07/3611.50 c LP cycling count 0
3600.07/3611.50 c LP singular count 0
3600.07/3611.50 c LP no primal count 0
3600.07/3611.50 c LP no farkas count 0
3600.07/3611.50 c LP other issue count 0
3600.07/3611.50 c LP Gomory cuts 0
3600.07/3611.50 c LP learned cuts 0
3600.07/3611.50 c LP deleted cuts 0
3600.07/3611.50 c LP encountered Gomory constraints 0
3600.07/3611.50 c LP encountered Farkas constraints 0
3600.07/3611.50 c LP encountered learned Farkas constraints 0
3600.07/3611.50 c CG auxiliary variables introduced 0
3600.07/3611.50 c CG solutions found 0
3600.07/3611.50 c CG cores constructed 1
3600.07/3611.50 c CG core cardinality constraints returned 1
3600.07/3611.50 c CG unit cores 0
3600.07/3611.50 c CG single cores 1
3600.07/3611.50 c CG blocks removed during cardinality reduction 0
3600.07/3611.50 c CG first core best 0
3600.07/3611.50 c CG decision core best 0
3600.07/3611.50 c CG core reduction tie 0
3600.07/3611.50 c CG core degree average 15.00
3600.07/3611.50 c CG core slack average 17.00
3600.07/3611.50 c CG exhausted 0
3600.07/3611.50 c CG exhaust time 0 s
3600.07/3611.50 c CG trimmed 0
3600.07/3611.50 c CG trim time 0.000119 s
3600.07/3611.50 c CG minimized 0
3600.07/3611.50 c CG minimize time 0 s
3600.07/3611.50 c CG am1 prop time 0.000159 s
3600.07/3611.50 c CG # am1s reformulated 0
3600.07/3611.50 c CG lower bound derived from am1s 0
3600.07/3611.50 c CG # clausal cores 0
3600.07/3611.50 c CG # cardinality cores 0
3600.07/3611.50 c CG # pb cores 1
3600.07/3611.50 c CG # pb reforms 0
3600.07/3611.50 c CG # cores discarded because of pb reform 0
3600.07/3611.50 d LOWERBOUND 15
3600.07/3611.50 d NCORES 1
3600.07/3611.50 d NPBCORES 1
3600.07/3611.50 d NPBREFORM 0
3600.07/3611.50 d NTRIMMED 0
3600.07/3611.50 d NEXHAUSTED 0
3600.07/3611.50 d NAM1S 0
3600.07/3611.50 d AM1LB 0
3600.07/3611.50 c [Papilo Statistics]
3600.07/3611.50 c prepro time 0.0209368s
3600.07/3611.50 c # tsx applied 173
3600.07/3611.50 c # tsx conflicts 0
3600.07/3611.50 c # bound changes 0
3600.07/3611.50 c # side changes 173
3600.07/3611.50 c # coef changes 0
3600.07/3611.50 c # rounds 2
3600.07/3611.50 c # deted vars 0
3600.07/3611.50 c # deted constrs 173
3600.07/3611.50 c # consecutive rounds of only bound changes 0
3600.07/3611.51 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: 64059 MiB (58119 MiB free)
memory of node 1: 64510 MiB (61472 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435757-1721173549/watcher-4435757-1721173549 -o /tmp/evaluation-result-4435757-1721173549/solver-4435757-1721173549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721173557-877609 --watchdog 3760 mixed-bag HOME/instance-4435757-1721173549.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=877717, runsolver pid=877714
[startup+0.100604 s]*
/proc/loadavg: 1.43 2.00 2.94 5/242 877718
/proc/meminfo: memFree=122359136/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=100860 memory=36296 CPUtime=0.09 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 5709 0 0 0 7 2 0 0 20 0 1 0 169513656 103280640 9074 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 25215 9074 3708 3002 0 8966 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100860 KiB
Current children cumulated memory: 36296 KiB
[startup+0.221598 s]*
/proc/loadavg: 1.43 2.00 2.94 5/242 877718
/proc/meminfo: memFree=122162464/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=114592 memory=48840 CPUtime=0.2 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 8981 0 0 0 17 3 0 0 20 0 1 0 169513656 117342208 12210 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 28648 12210 3820 3002 0 12399 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 114592 KiB
Current children cumulated memory: 48840 KiB
[startup+0.312602 s]*
/proc/loadavg: 1.43 2.00 2.94 5/242 877718
/proc/meminfo: memFree=122065360/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=122596 memory=55076 CPUtime=0.28 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 10521 0 0 0 25 3 0 0 20 0 1 0 169513656 125538304 13769 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 30649 13769 3836 3002 0 14400 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 122596 KiB
Current children cumulated memory: 55076 KiB
[startup+0.70034 s]
/proc/loadavg: 1.43 2.00 2.94 5/242 877718
/proc/meminfo: memFree=121997600/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=184284 memory=101008 CPUtime=0.64 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 22102 0 0 0 58 6 0 0 20 0 1 0 169513656 188706816 25252 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 46071 25252 3910 3002 0 29822 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 184284 KiB
Current children cumulated memory: 101008 KiB
[startup+1.50033 s]
/proc/loadavg: 1.43 2.00 2.94 5/242 877718
/proc/meminfo: memFree=121733672/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=218448 memory=131960 CPUtime=1.44 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 32508 0 0 0 135 9 0 0 20 0 1 0 169513656 223690752 32990 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 54612 32990 4069 3002 0 38363 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 218448 KiB
Current children cumulated memory: 131960 KiB
[startup+3.11295 s]
/proc/loadavg: 1.64 2.03 2.94 5/242 877718
/proc/meminfo: memFree=121196424/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=244072 memory=159304 CPUtime=3.04 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 40673 0 0 0 294 10 0 0 20 0 1 0 169513656 249929728 39826 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 61018 39826 4069 3002 0 44769 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 244072 KiB
Current children cumulated memory: 159304 KiB
[startup+6.30031 s]
/proc/loadavg: 1.64 2.03 2.94 5/242 877718
/proc/meminfo: memFree=121032336/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=259260 memory=174048 CPUtime=6.22 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 46004 0 0 0 611 11 0 0 20 0 1 0 169513656 265482240 43512 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 64815 43512 4069 3002 0 48566 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 259260 KiB
Current children cumulated memory: 174048 KiB
[startup+12.7003 s]
/proc/loadavg: 1.83 2.07 2.95 5/242 877719
/proc/meminfo: memFree=120881920/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=284304 memory=200196 CPUtime=12.59 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 61789 0 0 0 1246 13 0 0 20 0 1 0 169513656 291127296 50049 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 71076 50049 4069 3002 0 54827 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 284304 KiB
Current children cumulated memory: 200196 KiB
[startup+25.5003 s]
/proc/loadavg: 2.31 2.16 2.97 5/242 877721
/proc/meminfo: memFree=120689156/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=301244 memory=217376 CPUtime=25.35 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 81230 0 0 0 2519 16 0 0 20 0 1 0 169513656 308473856 54344 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 75311 54344 4069 3002 0 59062 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 301244 KiB
Current children cumulated memory: 217376 KiB
[startup+51.1128 s]
/proc/loadavg: 2.94 2.33 3.00 5/242 877725
/proc/meminfo: memFree=119935824/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=322832 memory=237952 CPUtime=50.88 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 93326 0 0 0 5069 19 0 0 20 0 1 0 169513656 330579968 59488 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 80708 59488 4069 3002 0 64459 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 322832 KiB
Current children cumulated memory: 237952 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 2.62 3.07 5/242 877734
/proc/meminfo: memFree=119599984/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=364960 memory=280700 CPUtime=101.89 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 104018 0 0 0 10167 22 0 0 20 0 1 0 169513656 373719040 70175 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 91240 70175 4069 3002 0 74991 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 364960 KiB
Current children cumulated memory: 280700 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.89 3.13 5/242 877744
/proc/meminfo: memFree=119420656/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=400612 memory=317116 CPUtime=161.66 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 113096 0 0 0 16143 23 0 0 20 0 1 0 169513656 410226688 79279 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 100153 79279 4069 3002 0 83904 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 400612 KiB
Current children cumulated memory: 317116 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.11 3.20 5/243 877848
/proc/meminfo: memFree=119988388/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=442792 memory=359600 CPUtime=221.47 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 123748 0 0 0 22122 25 0 0 20 0 1 0 169513656 453419008 89900 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 110698 89900 4069 3002 0 94449 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 442792 KiB
Current children cumulated memory: 359600 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.29 3.25 5/246 877863
/proc/meminfo: memFree=119510692/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=490364 memory=405484 CPUtime=281.25 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 135207 0 0 0 28097 28 0 0 20 0 1 0 169513656 502132736 101371 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 122591 101371 4069 3002 0 106342 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 490364 KiB
Current children cumulated memory: 405484 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.46 3.32 5/245 877873
/proc/meminfo: memFree=119428648/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=493672 memory=413644 CPUtime=341.04 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 142194 0 0 0 34005 99 0 0 20 0 1 0 169513656 505520128 103411 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 123418 103411 4181 3002 0 107169 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 493672 KiB
Current children cumulated memory: 413644 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.59 3.37 5/245 877884
/proc/meminfo: memFree=119042948/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=543760 memory=437712 CPUtime=400.86 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 143112 0 0 0 39904 182 0 0 20 0 1 0 169513656 556810240 109428 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 135940 109428 4181 3002 0 119691 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 543760 KiB
Current children cumulated memory: 437712 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.70 3.43 5/245 877894
/proc/meminfo: memFree=118986380/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=543760 memory=466832 CPUtime=460.67 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 143295 0 0 0 45856 211 0 0 20 0 1 0 169513656 556810240 116708 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
################
# More data... #
################
Current children cumulated memory: 984656 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/245 879509
/proc/meminfo: memFree=111970824/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1295328 memory=984656 CPUtime=2913 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 206805 0 0 0 289767 1533 0 0 20 0 1 0 169513656 1326415872 246164 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 323832 246164 4181 3002 0 307583 0
Current children cumulated CPU time: 2913 s
Current children cumulated vsize: 1295328 KiB
Current children cumulated memory: 984656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.44 4.19 4.12 5/242 879519
/proc/meminfo: memFree=111908816/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296352 memory=985304 CPUtime=2972.82 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207028 0 0 0 295717 1565 0 0 20 0 1 0 169513656 1327464448 246326 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324088 246326 4181 3002 0 307839 0
Current children cumulated CPU time: 2972.82 s
Current children cumulated vsize: 1296352 KiB
Current children cumulated memory: 985304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.65 4.31 4.16 5/242 879530
/proc/meminfo: memFree=111848916/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296352 memory=985304 CPUtime=3032.63 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207030 0 0 0 301664 1599 0 0 20 0 1 0 169513656 1327464448 246326 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324088 246326 4181 3002 0 307839 0
Current children cumulated CPU time: 3032.63 s
Current children cumulated vsize: 1296352 KiB
Current children cumulated memory: 985304 KiB
[startup+3102.3 s]
/proc/loadavg: 4.94 4.45 4.22 5/242 879540
/proc/meminfo: memFree=111843140/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296352 memory=985544 CPUtime=3092.44 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207037 0 0 0 307611 1633 0 0 20 0 1 0 169513656 1327464448 246386 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324088 246386 4181 3002 0 307839 0
Current children cumulated CPU time: 3092.44 s
Current children cumulated vsize: 1296352 KiB
Current children cumulated memory: 985544 KiB
[startup+3162.3 s]
/proc/loadavg: 4.39 4.38 4.21 5/242 879550
/proc/meminfo: memFree=111748104/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296352 memory=985544 CPUtime=3152.26 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207042 0 0 0 313557 1669 0 0 20 0 1 0 169513656 1327464448 246386 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324088 246386 4181 3002 0 307839 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 1296352 KiB
Current children cumulated memory: 985544 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.33 4.20 5/241 879561
/proc/meminfo: memFree=111715860/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296352 memory=985544 CPUtime=3212.07 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207044 0 0 0 319506 1701 0 0 20 0 1 0 169513656 1327464448 246386 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324088 246386 4181 3002 0 307839 0
Current children cumulated CPU time: 3212.07 s
Current children cumulated vsize: 1296352 KiB
Current children cumulated memory: 985544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.28 4.19 5/244 879576
/proc/meminfo: memFree=111656156/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296352 memory=985544 CPUtime=3271.89 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207058 0 0 0 325454 1735 0 0 20 0 1 0 169513656 1327464448 246386 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324088 246386 4181 3002 0 307839 0
Current children cumulated CPU time: 3271.89 s
Current children cumulated vsize: 1296352 KiB
Current children cumulated memory: 985544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.24 4.18 5/244 879586
/proc/meminfo: memFree=111596600/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296352 memory=985544 CPUtime=3331.71 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207060 0 0 0 331396 1775 0 0 20 0 1 0 169513656 1327464448 246386 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324088 246386 4181 3002 0 307839 0
Current children cumulated CPU time: 3331.71 s
Current children cumulated vsize: 1296352 KiB
Current children cumulated memory: 985544 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/244 879597
/proc/meminfo: memFree=111517112/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296352 memory=985668 CPUtime=3391.52 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207113 0 0 0 337340 1812 0 0 20 0 1 0 169513656 1327464448 246417 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324088 246417 4181 3002 0 307839 0
Current children cumulated CPU time: 3391.52 s
Current children cumulated vsize: 1296352 KiB
Current children cumulated memory: 985668 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.20 4.17 5/244 879607
/proc/meminfo: memFree=111405652/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296352 memory=985716 CPUtime=3451.33 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207628 0 0 0 343290 1843 0 0 20 0 1 0 169513656 1327464448 246429 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324088 246429 4181 3002 0 307839 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 1296352 KiB
Current children cumulated memory: 985716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/244 879618
/proc/meminfo: memFree=111345140/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296592 memory=985716 CPUtime=3511.15 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207686 0 0 0 349241 1874 0 0 20 0 1 0 169513656 1327710208 246429 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324148 246429 4181 3002 0 307899 0
Current children cumulated CPU time: 3511.15 s
Current children cumulated vsize: 1296592 KiB
Current children cumulated memory: 985716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/244 879628
/proc/meminfo: memFree=111288552/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1296592 memory=986164 CPUtime=3570.96 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 207814 0 0 0 355202 1894 0 0 20 0 1 0 169513656 1327710208 246541 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 324148 246541 4181 3002 0 307899 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 1296592 KiB
Current children cumulated memory: 986164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.00 4.15 4.16 3/227 879696
/proc/meminfo: memFree=120683632/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1301164 memory=989424 CPUtime=3600.07 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 208648 0 0 0 358106 1901 0 0 20 0 1 0 169513656 1332391936 247356 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 325291 247356 4181 3002 0 309042 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1301164 KiB
Current children cumulated memory: 989424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.53 s]
# the end of solver process 877717 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.07 s, system=19.0407 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 4.00 4.15 4.16 3/227 879696
/proc/meminfo: memFree=120683632/131655788 swapFree=131071996/131071996
[pid=877717] ppid=877714 vsize=1301164 memory=989424 CPUtime=3600.07 cores=5,7
/proc/877717/stat : 877717 (mixed-bag) R 877714 877717 877596 0 -1 4194304 208648 0 0 0 358106 1901 0 0 20 0 1 0 169513656 1332391936 247356 134679101440 4194304 16487941 140725954898112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 27897856 140725954901015 140725954901092 140725954901092 140725954908107 0
/proc/877717/statm: 325291 247356 4181 3002 0 309042 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1301164 KiB
Current children cumulated memory: 989424 KiB
Child status: 0
Real time (s): 3611.53
CPU time (s): 3600.11
CPU user time (s): 3581.07
CPU system time (s): 19.0407
CPU usage (%): 99.6838
Max. virtual memory (cumulated for all children) (KiB): 1301164
Max. memory (cumulated for all children) (KiB): 989424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.07
system time used= 19.0407
maximum resident set size= 989424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208669
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= 14
involuntary context switches= 2730
# summary of solver processes directly reported to runsolver:
# pid: 877717
# total CPU time (s): 3600.11
# total CPU user time (s): 3581.07
# total CPU system time (s): 19.0407
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9119 second user time and 36.4496 second system time
The end
Begin job on nodeC006 at 2024-07-17 01:46:01
IDJOB=4435757
IDBENCH=158621
IDSOLVER=3066
FILE ID=nodeC006/4435757-1721173549
RUNJOBID= nodeC006-1721173557-877609
SLURM_JOB_ID= 7505811
Free space on /tmp= 723716 MiB
SOLVER NAME= mixed-bag 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435757-1721173549/watcher-4435757-1721173549 -o /tmp/evaluation-result-4435757-1721173549/solver-4435757-1721173549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721173557-877609 --watchdog 3760 mixed-bag HOME/instance-4435757-1721173549.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1484625534
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3559.635
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3658.999
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.382
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.257
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3502.854
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.994
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.430
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.249
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122481276 kB
MemAvailable: 128429392 kB
Buffers: 434164 kB
Cached: 6278900 kB
SwapCached: 0 kB
Active: 787264 kB
Inactive: 7682708 kB
Active(anon): 1460 kB
Inactive(anon): 1793152 kB
Active(file): 785804 kB
Inactive(file): 5889556 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 76308 kB
Writeback: 12 kB
AnonPages: 1757304 kB
Mapped: 134648 kB
Shmem: 37704 kB
KReclaimable: 225576 kB
Slab: 340564 kB
SReclaimable: 225576 kB
SUnreclaim: 114988 kB
KernelStack: 3856 kB
PageTables: 13128 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2278236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 485376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723744 MiB
End job on nodeC006 at 2024-07-17 02:46:13