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.19/300.36 c [STEP] preprocessing done, loading into solver
299.19/300.37 c [STEP] solving
299.19/300.37 c #variables 5569 #constraints 412
299.19/300.37 c SMALL=int, LARGE=long long
299.19/300.37 d SCIPUB 16
299.19/300.37 c bounds - >= 0 @ 298.893
299.19/300.37 c stratification level: 0
372.31/373.60 c bounds - >= 15 @ 298.894
372.31/373.60 c #Conflicts: 1000 | #Constraints: 1413
372.31/373.60 c #Conflicts: 2000 | #Constraints: 2413
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 3000 | #Constraints: 2415
372.31/373.60 c #Conflicts: 4000 | #Constraints: 3415
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 5000 | #Constraints: 2820
372.31/373.60 c #Conflicts: 6000 | #Constraints: 3820
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 7000 | #Constraints: 2825
372.31/373.60 c #Conflicts: 8000 | #Constraints: 3825
372.31/373.60 c #Conflicts: 9000 | #Constraints: 4825
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 10000 | #Constraints: 3530
372.31/373.60 c #Conflicts: 11000 | #Constraints: 4530
372.31/373.60 c #Conflicts: 12000 | #Constraints: 5530
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 13000 | #Constraints: 3980
372.31/373.60 c #Conflicts: 14000 | #Constraints: 4980
372.31/373.60 c #Conflicts: 15000 | #Constraints: 5980
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 16000 | #Constraints: 4207
372.31/373.60 c #Conflicts: 17000 | #Constraints: 5207
372.31/373.60 c #Conflicts: 18000 | #Constraints: 6207
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 19000 | #Constraints: 4230
372.31/373.60 c #Conflicts: 20000 | #Constraints: 5230
372.31/373.60 c #Conflicts: 21000 | #Constraints: 6230
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 22000 | #Constraints: 4033
372.31/373.60 c #Conflicts: 23000 | #Constraints: 5033
372.31/373.60 c #Conflicts: 24000 | #Constraints: 6033
372.31/373.60 c #Conflicts: 25000 | #Constraints: 7033
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 26000 | #Constraints: 4633
372.31/373.60 c #Conflicts: 27000 | #Constraints: 5633
372.31/373.60 c #Conflicts: 28000 | #Constraints: 6633
372.31/373.60 c #Conflicts: 29000 | #Constraints: 7633
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 30000 | #Constraints: 5030
372.31/373.60 c #Conflicts: 31000 | #Constraints: 6030
372.31/373.60 c #Conflicts: 32000 | #Constraints: 7030
372.31/373.60 c #Conflicts: 33000 | #Constraints: 8030
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 34000 | #Constraints: 5233
372.31/373.60 c #Conflicts: 35000 | #Constraints: 6233
372.31/373.60 c #Conflicts: 36000 | #Constraints: 7233
372.31/373.60 c #Conflicts: 37000 | #Constraints: 8233
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 38000 | #Constraints: 5233
372.31/373.60 c #Conflicts: 39000 | #Constraints: 6233
372.31/373.60 c #Conflicts: 40000 | #Constraints: 7233
372.31/373.60 c #Conflicts: 41000 | #Constraints: 8233
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 42000 | #Constraints: 5041
372.31/373.60 c #Conflicts: 43000 | #Constraints: 6041
372.31/373.60 c #Conflicts: 44000 | #Constraints: 7041
372.31/373.60 c #Conflicts: 45000 | #Constraints: 8041
372.31/373.60 c #Conflicts: 46000 | #Constraints: 9041
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 47000 | #Constraints: 5640
372.31/373.60 c #Conflicts: 48000 | #Constraints: 6640
372.31/373.60 c #Conflicts: 49000 | #Constraints: 7640
372.31/373.60 c #Conflicts: 50000 | #Constraints: 8640
372.31/373.60 c #Conflicts: 51000 | #Constraints: 9640
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 52000 | #Constraints: 6041
372.31/373.60 c #Conflicts: 53000 | #Constraints: 7041
372.31/373.60 c #Conflicts: 54000 | #Constraints: 8041
372.31/373.60 c #Conflicts: 55000 | #Constraints: 9041
372.31/373.60 c #Conflicts: 56000 | #Constraints: 10041
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 57000 | #Constraints: 6240
372.31/373.60 c #Conflicts: 58000 | #Constraints: 7240
372.31/373.60 c #Conflicts: 59000 | #Constraints: 8240
372.31/373.60 c #Conflicts: 60000 | #Constraints: 9240
372.31/373.60 c #Conflicts: 61000 | #Constraints: 10240
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 62000 | #Constraints: 6243
372.31/373.60 c #Conflicts: 63000 | #Constraints: 7243
372.31/373.60 c #Conflicts: 64000 | #Constraints: 8243
372.31/373.60 c #Conflicts: 65000 | #Constraints: 9243
372.31/373.60 c #Conflicts: 66000 | #Constraints: 10243
372.31/373.60 c INPROCESSING
372.31/373.60 c GARBAGE COLLECT
372.31/373.60 c #Conflicts: 67000 | #Constraints: 6044
559.25/561.10 c #Conflicts: 68000 | #Constraints: 7044
559.25/561.10 c #Conflicts: 69000 | #Constraints: 8044
559.25/561.10 c #Conflicts: 70000 | #Constraints: 9044
559.25/561.10 c #Conflicts: 71000 | #Constraints: 10044
559.25/561.10 c #Conflicts: 72000 | #Constraints: 11044
559.25/561.10 c INPROCESSING
559.25/561.10 c GARBAGE COLLECT
559.25/561.10 c #Conflicts: 73000 | #Constraints: 6643
559.25/561.10 c #Conflicts: 74000 | #Constraints: 7643
559.25/561.10 c #Conflicts: 75000 | #Constraints: 8643
559.25/561.10 c #Conflicts: 76000 | #Constraints: 9643
559.25/561.10 c #Conflicts: 77000 | #Constraints: 10643
559.25/561.10 c #Conflicts: 78000 | #Constraints: 11643
559.25/561.10 c INPROCESSING
559.25/561.10 c GARBAGE COLLECT
559.25/561.10 c #Conflicts: 79000 | #Constraints: 7041
559.25/561.10 c #Conflicts: 80000 | #Constraints: 8041
559.25/561.10 c #Conflicts: 81000 | #Constraints: 9041
559.25/561.10 c #Conflicts: 82000 | #Constraints: 10041
559.25/561.10 c #Conflicts: 83000 | #Constraints: 11041
559.25/561.10 c #Conflicts: 84000 | #Constraints: 12041
559.25/561.10 c INPROCESSING
559.25/561.10 c GARBAGE COLLECT
559.25/561.10 c #Conflicts: 85000 | #Constraints: 7240
559.25/561.11 c #Conflicts: 86000 | #Constraints: 8240
559.25/561.11 c #Conflicts: 87000 | #Constraints: 9240
559.25/561.11 c #Conflicts: 88000 | #Constraints: 10240
559.25/561.11 c #Conflicts: 89000 | #Constraints: 11240
559.25/561.11 c #Conflicts: 90000 | #Constraints: 12240
559.25/561.11 c INPROCESSING
559.25/561.11 c GARBAGE COLLECT
559.25/561.11 c #Conflicts: 91000 | #Constraints: 7242
559.25/561.11 c #Conflicts: 92000 | #Constraints: 8242
559.25/561.11 c #Conflicts: 93000 | #Constraints: 9242
559.25/561.11 c #Conflicts: 94000 | #Constraints: 10242
559.25/561.11 c #Conflicts: 95000 | #Constraints: 11242
559.25/561.11 c #Conflicts: 96000 | #Constraints: 12242
559.25/561.11 c INPROCESSING
559.25/561.11 c GARBAGE COLLECT
559.25/561.11 c #Conflicts: 97000 | #Constraints: 7047
559.25/561.11 c #Conflicts: 98000 | #Constraints: 8047
559.25/561.11 c #Conflicts: 99000 | #Constraints: 9047
559.25/561.11 c #Conflicts: 100000 | #Constraints: 10047
559.25/561.11 c #Conflicts: 101000 | #Constraints: 11047
559.25/561.11 c #Conflicts: 102000 | #Constraints: 12047
559.25/561.11 c #Conflicts: 103000 | #Constraints: 13047
559.25/561.11 c INPROCESSING
559.25/561.11 c GARBAGE COLLECT
559.25/561.11 c #Conflicts: 104000 | #Constraints: 7642
559.25/561.11 c #Conflicts: 105000 | #Constraints: 8642
559.25/561.11 c #Conflicts: 106000 | #Constraints: 9642
559.25/561.11 c #Conflicts: 107000 | #Constraints: 10642
559.25/561.11 c #Conflicts: 108000 | #Constraints: 11642
559.25/561.11 c #Conflicts: 109000 | #Constraints: 12642
559.25/561.11 c #Conflicts: 110000 | #Constraints: 13642
559.25/561.11 c INPROCESSING
559.25/561.11 c GARBAGE COLLECT
559.25/561.11 c #Conflicts: 111000 | #Constraints: 8043
559.25/561.11 c #Conflicts: 112000 | #Constraints: 9043
559.25/561.11 c #Conflicts: 113000 | #Constraints: 10043
559.25/561.11 c #Conflicts: 114000 | #Constraints: 11043
559.25/561.11 c #Conflicts: 115000 | #Constraints: 12043
559.25/561.11 c #Conflicts: 116000 | #Constraints: 13043
559.25/561.11 c #Conflicts: 117000 | #Constraints: 14043
559.25/561.11 c INPROCESSING
559.25/561.11 c GARBAGE COLLECT
559.25/561.11 c #Conflicts: 118000 | #Constraints: 8242
559.25/561.11 c #Conflicts: 119000 | #Constraints: 9242
559.25/561.11 c #Conflicts: 120000 | #Constraints: 10242
559.25/561.11 c #Conflicts: 121000 | #Constraints: 11242
559.25/561.11 c #Conflicts: 122000 | #Constraints: 12242
559.25/561.11 c #Conflicts: 123000 | #Constraints: 13242
559.25/561.11 c #Conflicts: 124000 | #Constraints: 14242
559.25/561.11 c INPROCESSING
559.25/561.11 c GARBAGE COLLECT
559.25/561.11 c #Conflicts: 125000 | #Constraints: 8239
559.25/561.11 c #Conflicts: 126000 | #Constraints: 9239
559.25/561.11 c #Conflicts: 127000 | #Constraints: 10239
559.25/561.11 c #Conflicts: 128000 | #Constraints: 11239
559.25/561.11 c #Conflicts: 129000 | #Constraints: 12239
559.25/561.11 c #Conflicts: 130000 | #Constraints: 13239
559.25/561.11 c #Conflicts: 131000 | #Constraints: 14239
559.25/561.11 c INPROCESSING
559.25/561.11 c GARBAGE COLLECT
559.25/561.11 c #Conflicts: 132000 | #Constraints: 8040
559.25/561.11 c #Conflicts: 133000 | #Constraints: 9040
559.25/561.11 c #Conflicts: 134000 | #Constraints: 10040
559.25/561.11 c #Conflicts: 135000 | #Constraints: 11040
559.25/561.11 c #Conflicts: 136000 | #Constraints: 12040
559.25/561.11 c #Conflicts: 137000 | #Constraints: 13040
559.25/561.11 c #Conflicts: 138000 | #Constraints: 14040
559.25/561.11 c #Conflicts: 139000 | #Constraints: 15040
559.25/561.11 c INPROCESSING
795.76/798.11 c GARBAGE COLLECT
795.76/798.11 c #Conflicts: 140000 | #Constraints: 8644
795.76/798.11 c #Conflicts: 141000 | #Constraints: 9644
795.76/798.11 c #Conflicts: 142000 | #Constraints: 10644
795.76/798.11 c #Conflicts: 143000 | #Constraints: 11644
795.76/798.11 c #Conflicts: 144000 | #Constraints: 12644
795.76/798.11 c #Conflicts: 145000 | #Constraints: 13644
795.76/798.11 c #Conflicts: 146000 | #Constraints: 14644
795.76/798.11 c #Conflicts: 147000 | #Constraints: 15644
795.76/798.11 c INPROCESSING
795.76/798.11 c GARBAGE COLLECT
795.76/798.11 c #Conflicts: 148000 | #Constraints: 9042
795.76/798.11 c #Conflicts: 149000 | #Constraints: 10042
795.76/798.11 c #Conflicts: 150000 | #Constraints: 11042
795.76/798.11 c #Conflicts: 151000 | #Constraints: 12042
795.76/798.11 c #Conflicts: 152000 | #Constraints: 13042
795.76/798.11 c #Conflicts: 153000 | #Constraints: 14042
795.76/798.11 c #Conflicts: 154000 | #Constraints: 15042
795.76/798.11 c #Conflicts: 155000 | #Constraints: 16042
795.76/798.11 c INPROCESSING
795.76/798.11 c GARBAGE COLLECT
795.76/798.11 c #Conflicts: 156000 | #Constraints: 9242
795.76/798.11 c #Conflicts: 157000 | #Constraints: 10242
795.76/798.11 c #Conflicts: 158000 | #Constraints: 11242
795.76/798.11 c #Conflicts: 159000 | #Constraints: 12242
795.76/798.11 c #Conflicts: 160000 | #Constraints: 13242
795.76/798.11 c #Conflicts: 161000 | #Constraints: 14242
795.76/798.11 c #Conflicts: 162000 | #Constraints: 15242
795.76/798.11 c #Conflicts: 163000 | #Constraints: 16242
795.76/798.11 c INPROCESSING
795.76/798.11 c GARBAGE COLLECT
795.76/798.11 c #Conflicts: 164000 | #Constraints: 9236
795.76/798.11 c #Conflicts: 165000 | #Constraints: 10236
795.76/798.11 c #Conflicts: 166000 | #Constraints: 11236
795.76/798.11 c #Conflicts: 167000 | #Constraints: 12236
795.76/798.11 c #Conflicts: 168000 | #Constraints: 13236
795.76/798.11 c #Conflicts: 169000 | #Constraints: 14236
795.76/798.11 c #Conflicts: 170000 | #Constraints: 15236
795.76/798.11 c #Conflicts: 171000 | #Constraints: 16236
795.76/798.11 c INPROCESSING
795.76/798.11 c GARBAGE COLLECT
795.76/798.11 c #Conflicts: 172000 | #Constraints: 9037
795.76/798.11 c #Conflicts: 173000 | #Constraints: 10037
795.76/798.11 c #Conflicts: 174000 | #Constraints: 11037
795.76/798.11 c #Conflicts: 175000 | #Constraints: 12037
795.76/798.11 c #Conflicts: 176000 | #Constraints: 13037
795.76/798.11 c #Conflicts: 177000 | #Constraints: 14037
795.76/798.11 c #Conflicts: 178000 | #Constraints: 15037
795.76/798.11 c #Conflicts: 179000 | #Constraints: 16037
795.76/798.11 c #Conflicts: 180000 | #Constraints: 17037
795.76/798.11 c INPROCESSING
795.76/798.11 c GARBAGE COLLECT
795.76/798.11 c #Conflicts: 181000 | #Constraints: 9642
795.76/798.11 c #Conflicts: 182000 | #Constraints: 10642
795.76/798.11 c #Conflicts: 183000 | #Constraints: 11642
795.76/798.11 c #Conflicts: 184000 | #Constraints: 12642
795.76/798.11 c #Conflicts: 185000 | #Constraints: 13642
795.76/798.11 c #Conflicts: 186000 | #Constraints: 14642
795.76/798.11 c #Conflicts: 187000 | #Constraints: 15642
795.76/798.11 c #Conflicts: 188000 | #Constraints: 16642
795.76/798.11 c #Conflicts: 189000 | #Constraints: 17642
795.76/798.11 c INPROCESSING
795.76/798.11 c GARBAGE COLLECT
795.76/798.11 c #Conflicts: 190000 | #Constraints: 10042
795.76/798.11 c #Conflicts: 191000 | #Constraints: 11042
795.76/798.11 c #Conflicts: 192000 | #Constraints: 12042
795.76/798.11 c #Conflicts: 193000 | #Constraints: 13042
795.76/798.11 c #Conflicts: 194000 | #Constraints: 14042
795.76/798.11 c #Conflicts: 195000 | #Constraints: 15042
795.76/798.11 c #Conflicts: 196000 | #Constraints: 16042
795.76/798.11 c #Conflicts: 197000 | #Constraints: 17042
795.76/798.11 c #Conflicts: 198000 | #Constraints: 18042
795.76/798.11 c INPROCESSING
795.76/798.11 c GARBAGE COLLECT
795.76/798.11 c #Conflicts: 199000 | #Constraints: 10246
795.76/798.11 c #Conflicts: 200000 | #Constraints: 11246
795.76/798.11 c #Conflicts: 201000 | #Constraints: 12246
795.76/798.11 c #Conflicts: 202000 | #Constraints: 13246
795.76/798.11 c #Conflicts: 203000 | #Constraints: 14246
795.76/798.11 c #Conflicts: 204000 | #Constraints: 15246
795.76/798.11 c #Conflicts: 205000 | #Constraints: 16246
795.76/798.11 c #Conflicts: 206000 | #Constraints: 17246
795.76/798.11 c #Conflicts: 207000 | #Constraints: 18246
795.76/798.11 c INPROCESSING
795.76/798.11 c GARBAGE COLLECT
795.76/798.11 c #Conflicts: 208000 | #Constraints: 10250
795.76/798.11 c #Conflicts: 209000 | #Constraints: 11250
795.76/798.11 c #Conflicts: 210000 | #Constraints: 12250
795.76/798.11 c #Conflicts: 211000 | #Constraints: 13250
795.76/798.11 c #Conflicts: 212000 | #Constraints: 14250
795.76/798.11 c #Conflicts: 213000 | #Constraints: 15250
1057.50/1060.52 c #Conflicts: 214000 | #Constraints: 16250
1057.50/1060.52 c #Conflicts: 215000 | #Constraints: 17250
1057.50/1060.52 c #Conflicts: 216000 | #Constraints: 18250
1057.50/1060.52 c INPROCESSING
1057.50/1060.52 c GARBAGE COLLECT
1057.50/1060.52 c #Conflicts: 217000 | #Constraints: 10053
1057.50/1060.52 c #Conflicts: 218000 | #Constraints: 11053
1057.50/1060.52 c #Conflicts: 219000 | #Constraints: 12053
1057.50/1060.52 c #Conflicts: 220000 | #Constraints: 13053
1057.50/1060.52 c #Conflicts: 221000 | #Constraints: 14053
1057.50/1060.52 c #Conflicts: 222000 | #Constraints: 15053
1057.50/1060.52 c #Conflicts: 223000 | #Constraints: 16053
1057.50/1060.52 c #Conflicts: 224000 | #Constraints: 17053
1057.50/1060.52 c #Conflicts: 225000 | #Constraints: 18053
1057.50/1060.52 c #Conflicts: 226000 | #Constraints: 19053
1057.50/1060.52 c INPROCESSING
1057.50/1060.52 c GARBAGE COLLECT
1057.50/1060.52 c #Conflicts: 227000 | #Constraints: 10650
1057.50/1060.52 c #Conflicts: 228000 | #Constraints: 11650
1057.50/1060.52 c #Conflicts: 229000 | #Constraints: 12650
1057.50/1060.52 c #Conflicts: 230000 | #Constraints: 13650
1057.50/1060.52 c #Conflicts: 231000 | #Constraints: 14650
1057.50/1060.52 c #Conflicts: 232000 | #Constraints: 15650
1057.50/1060.52 c #Conflicts: 233000 | #Constraints: 16650
1057.50/1060.52 c #Conflicts: 234000 | #Constraints: 17650
1057.50/1060.52 c #Conflicts: 235000 | #Constraints: 18650
1057.50/1060.52 c #Conflicts: 236000 | #Constraints: 19650
1057.50/1060.52 c INPROCESSING
1057.50/1060.52 c GARBAGE COLLECT
1057.50/1060.52 c #Conflicts: 237000 | #Constraints: 11048
1057.50/1060.52 c #Conflicts: 238000 | #Constraints: 12048
1057.50/1060.52 c #Conflicts: 239000 | #Constraints: 13048
1057.50/1060.52 c #Conflicts: 240000 | #Constraints: 14048
1057.50/1060.52 c #Conflicts: 241000 | #Constraints: 15048
1057.50/1060.52 c #Conflicts: 242000 | #Constraints: 16048
1057.50/1060.52 c #Conflicts: 243000 | #Constraints: 17048
1057.50/1060.52 c #Conflicts: 244000 | #Constraints: 18048
1057.50/1060.52 c #Conflicts: 245000 | #Constraints: 19048
1057.50/1060.52 c #Conflicts: 246000 | #Constraints: 20048
1057.50/1060.52 c INPROCESSING
1057.50/1060.52 c GARBAGE COLLECT
1057.50/1060.52 c #Conflicts: 247000 | #Constraints: 11251
1057.50/1060.52 c #Conflicts: 248000 | #Constraints: 12251
1057.50/1060.52 c #Conflicts: 249000 | #Constraints: 13251
1057.50/1060.52 c #Conflicts: 250000 | #Constraints: 14251
1057.50/1060.52 c #Conflicts: 251000 | #Constraints: 15251
1057.50/1060.52 c #Conflicts: 252000 | #Constraints: 16251
1057.50/1060.52 c #Conflicts: 253000 | #Constraints: 17251
1057.50/1060.52 c #Conflicts: 254000 | #Constraints: 18251
1057.50/1060.52 c #Conflicts: 255000 | #Constraints: 19251
1057.50/1060.52 c #Conflicts: 256000 | #Constraints: 20251
1057.50/1060.52 c INPROCESSING
1057.50/1060.52 c GARBAGE COLLECT
1057.50/1060.52 c #Conflicts: 257000 | #Constraints: 11245
1057.50/1060.52 c #Conflicts: 258000 | #Constraints: 12245
1057.50/1060.52 c #Conflicts: 259000 | #Constraints: 13245
1057.50/1060.52 c #Conflicts: 260000 | #Constraints: 14245
1057.50/1060.52 c #Conflicts: 261000 | #Constraints: 15245
1057.50/1060.52 c #Conflicts: 262000 | #Constraints: 16245
1057.50/1060.52 c #Conflicts: 263000 | #Constraints: 17245
1057.50/1060.52 c #Conflicts: 264000 | #Constraints: 18245
1057.50/1060.52 c #Conflicts: 265000 | #Constraints: 19245
1057.50/1060.52 c #Conflicts: 266000 | #Constraints: 20245
1057.50/1060.52 c INPROCESSING
1057.50/1060.52 c GARBAGE COLLECT
1057.50/1060.52 c #Conflicts: 267000 | #Constraints: 11045
1057.50/1060.52 c #Conflicts: 268000 | #Constraints: 12045
1057.50/1060.52 c #Conflicts: 269000 | #Constraints: 13045
1057.50/1060.52 c #Conflicts: 270000 | #Constraints: 14045
1057.50/1060.52 c #Conflicts: 271000 | #Constraints: 15045
1057.50/1060.52 c #Conflicts: 272000 | #Constraints: 16045
1057.50/1060.52 c #Conflicts: 273000 | #Constraints: 17045
1057.50/1060.52 c #Conflicts: 274000 | #Constraints: 18045
1057.50/1060.52 c #Conflicts: 275000 | #Constraints: 19045
1057.50/1060.52 c #Conflicts: 276000 | #Constraints: 20045
1057.50/1060.52 c #Conflicts: 277000 | #Constraints: 21045
1057.50/1060.52 c INPROCESSING
1057.50/1060.52 c GARBAGE COLLECT
1057.50/1060.52 c #Conflicts: 278000 | #Constraints: 11644
1057.50/1060.52 c #Conflicts: 279000 | #Constraints: 12644
1057.50/1060.52 c #Conflicts: 280000 | #Constraints: 13644
1057.50/1060.52 c #Conflicts: 281000 | #Constraints: 14644
1057.50/1060.52 c #Conflicts: 282000 | #Constraints: 15644
1057.50/1060.52 c #Conflicts: 283000 | #Constraints: 16644
1057.50/1060.52 c #Conflicts: 284000 | #Constraints: 17644
1057.50/1060.52 c #Conflicts: 285000 | #Constraints: 18644
1057.50/1060.52 c #Conflicts: 286000 | #Constraints: 19644
1057.50/1060.52 c #Conflicts: 287000 | #Constraints: 20644
1405.32/1409.20 c #Conflicts: 288000 | #Constraints: 21644
1405.32/1409.20 c INPROCESSING
1405.32/1409.20 c GARBAGE COLLECT
1405.32/1409.20 c #Conflicts: 289000 | #Constraints: 12039
1405.32/1409.20 c #Conflicts: 290000 | #Constraints: 13039
1405.32/1409.20 c #Conflicts: 291000 | #Constraints: 14039
1405.32/1409.20 c #Conflicts: 292000 | #Constraints: 15039
1405.32/1409.20 c #Conflicts: 293000 | #Constraints: 16039
1405.32/1409.20 c #Conflicts: 294000 | #Constraints: 17039
1405.32/1409.20 c #Conflicts: 295000 | #Constraints: 18039
1405.32/1409.20 c #Conflicts: 296000 | #Constraints: 19039
1405.32/1409.20 c #Conflicts: 297000 | #Constraints: 20039
1405.32/1409.20 c #Conflicts: 298000 | #Constraints: 21039
1405.32/1409.20 c #Conflicts: 299000 | #Constraints: 22039
1405.32/1409.20 c INPROCESSING
1405.32/1409.20 c GARBAGE COLLECT
1405.32/1409.20 c #Conflicts: 300000 | #Constraints: 12239
1405.32/1409.20 c #Conflicts: 301000 | #Constraints: 13239
1405.32/1409.20 c #Conflicts: 302000 | #Constraints: 14239
1405.32/1409.20 c #Conflicts: 303000 | #Constraints: 15239
1405.32/1409.20 c #Conflicts: 304000 | #Constraints: 16239
1405.32/1409.20 c #Conflicts: 305000 | #Constraints: 17239
1405.32/1409.20 c #Conflicts: 306000 | #Constraints: 18239
1405.32/1409.20 c #Conflicts: 307000 | #Constraints: 19239
1405.32/1409.20 c #Conflicts: 308000 | #Constraints: 20239
1405.32/1409.20 c #Conflicts: 309000 | #Constraints: 21239
1405.32/1409.20 c #Conflicts: 310000 | #Constraints: 22239
1405.32/1409.20 c INPROCESSING
1405.32/1409.20 c GARBAGE COLLECT
1405.32/1409.20 c #Conflicts: 311000 | #Constraints: 12256
1405.32/1409.20 c #Conflicts: 312000 | #Constraints: 13256
1405.32/1409.20 c #Conflicts: 313000 | #Constraints: 14256
1405.32/1409.20 c #Conflicts: 314000 | #Constraints: 15256
1405.32/1409.20 c #Conflicts: 315000 | #Constraints: 16256
1405.32/1409.20 c #Conflicts: 316000 | #Constraints: 17256
1405.32/1409.20 c #Conflicts: 317000 | #Constraints: 18256
1405.32/1409.20 c #Conflicts: 318000 | #Constraints: 19256
1405.32/1409.20 c #Conflicts: 319000 | #Constraints: 20256
1405.32/1409.20 c #Conflicts: 320000 | #Constraints: 21256
1405.32/1409.20 c #Conflicts: 321000 | #Constraints: 22256
1405.32/1409.20 c INPROCESSING
1405.32/1409.20 c GARBAGE COLLECT
1405.32/1409.20 c #Conflicts: 322000 | #Constraints: 12051
1405.32/1409.20 c #Conflicts: 323000 | #Constraints: 13051
1405.32/1409.20 c #Conflicts: 324000 | #Constraints: 14051
1405.32/1409.20 c #Conflicts: 325000 | #Constraints: 15051
1405.32/1409.20 c #Conflicts: 326000 | #Constraints: 16051
1405.32/1409.20 c #Conflicts: 327000 | #Constraints: 17051
1405.32/1409.20 c #Conflicts: 328000 | #Constraints: 18051
1405.32/1409.20 c #Conflicts: 329000 | #Constraints: 19051
1405.32/1409.20 c #Conflicts: 330000 | #Constraints: 20051
1405.32/1409.20 c #Conflicts: 331000 | #Constraints: 21051
1405.32/1409.20 c #Conflicts: 332000 | #Constraints: 22051
1405.32/1409.20 c #Conflicts: 333000 | #Constraints: 23051
1405.32/1409.20 c INPROCESSING
1405.32/1409.20 c GARBAGE COLLECT
1405.32/1409.20 c #Conflicts: 334000 | #Constraints: 12647
1405.32/1409.20 c #Conflicts: 335000 | #Constraints: 13647
1405.32/1409.20 c #Conflicts: 336000 | #Constraints: 14647
1405.32/1409.20 c #Conflicts: 337000 | #Constraints: 15647
1405.32/1409.20 c #Conflicts: 338000 | #Constraints: 16647
1405.32/1409.20 c #Conflicts: 339000 | #Constraints: 17647
1405.32/1409.20 c #Conflicts: 340000 | #Constraints: 18647
1405.32/1409.20 c #Conflicts: 341000 | #Constraints: 19647
1405.32/1409.20 c #Conflicts: 342000 | #Constraints: 20647
1405.32/1409.20 c #Conflicts: 343000 | #Constraints: 21647
1405.32/1409.20 c #Conflicts: 344000 | #Constraints: 22647
1405.32/1409.20 c #Conflicts: 345000 | #Constraints: 23647
1405.32/1409.20 c INPROCESSING
1405.32/1409.20 c GARBAGE COLLECT
1405.32/1409.20 c #Conflicts: 346000 | #Constraints: 13041
1405.32/1409.20 c #Conflicts: 347000 | #Constraints: 14041
1405.32/1409.20 c #Conflicts: 348000 | #Constraints: 15041
1405.32/1409.20 c #Conflicts: 349000 | #Constraints: 16041
1405.32/1409.20 c #Conflicts: 350000 | #Constraints: 17041
1405.32/1409.20 c #Conflicts: 351000 | #Constraints: 18041
1405.32/1409.20 c #Conflicts: 352000 | #Constraints: 19041
1405.32/1409.20 c #Conflicts: 353000 | #Constraints: 20041
1405.32/1409.20 c #Conflicts: 354000 | #Constraints: 21041
1405.32/1409.20 c #Conflicts: 355000 | #Constraints: 22041
1405.32/1409.20 c #Conflicts: 356000 | #Constraints: 23041
1405.32/1409.20 c #Conflicts: 357000 | #Constraints: 24041
1405.32/1409.20 c INPROCESSING
1405.32/1409.20 c GARBAGE COLLECT
1405.32/1409.20 c #Conflicts: 358000 | #Constraints: 13240
1405.32/1409.20 c #Conflicts: 359000 | #Constraints: 14240
1405.32/1409.20 c #Conflicts: 360000 | #Constraints: 15240
1405.32/1409.20 c #Conflicts: 361000 | #Constraints: 16240
1820.16/1825.31 c #Conflicts: 362000 | #Constraints: 17240
1820.16/1825.31 c #Conflicts: 363000 | #Constraints: 18240
1820.16/1825.31 c #Conflicts: 364000 | #Constraints: 19240
1820.16/1825.31 c #Conflicts: 365000 | #Constraints: 20240
1820.16/1825.31 c #Conflicts: 366000 | #Constraints: 21240
1820.16/1825.31 c #Conflicts: 367000 | #Constraints: 22240
1820.16/1825.31 c #Conflicts: 368000 | #Constraints: 23240
1820.16/1825.31 c #Conflicts: 369000 | #Constraints: 24240
1820.16/1825.31 c INPROCESSING
1820.16/1825.31 c GARBAGE COLLECT
1820.16/1825.31 c #Conflicts: 370000 | #Constraints: 13250
1820.16/1825.31 c #Conflicts: 371000 | #Constraints: 14250
1820.16/1825.31 c #Conflicts: 372000 | #Constraints: 15250
1820.16/1825.31 c #Conflicts: 373000 | #Constraints: 16250
1820.16/1825.31 c #Conflicts: 374000 | #Constraints: 17250
1820.16/1825.31 c #Conflicts: 375000 | #Constraints: 18250
1820.16/1825.31 c #Conflicts: 376000 | #Constraints: 19250
1820.16/1825.31 c #Conflicts: 377000 | #Constraints: 20250
1820.16/1825.31 c #Conflicts: 378000 | #Constraints: 21250
1820.16/1825.31 c #Conflicts: 379000 | #Constraints: 22250
1820.16/1825.31 c #Conflicts: 380000 | #Constraints: 23250
1820.16/1825.31 c #Conflicts: 381000 | #Constraints: 24250
1820.16/1825.31 c INPROCESSING
1820.16/1825.31 c GARBAGE COLLECT
1820.16/1825.31 c #Conflicts: 382000 | #Constraints: 13044
1820.16/1825.31 c #Conflicts: 383000 | #Constraints: 14044
1820.16/1825.31 c #Conflicts: 384000 | #Constraints: 15044
1820.16/1825.31 c #Conflicts: 385000 | #Constraints: 16044
1820.16/1825.31 c #Conflicts: 386000 | #Constraints: 17044
1820.16/1825.31 c #Conflicts: 387000 | #Constraints: 18044
1820.16/1825.31 c #Conflicts: 388000 | #Constraints: 19044
1820.16/1825.31 c #Conflicts: 389000 | #Constraints: 20044
1820.16/1825.31 c #Conflicts: 390000 | #Constraints: 21044
1820.16/1825.31 c #Conflicts: 391000 | #Constraints: 22044
1820.16/1825.31 c #Conflicts: 392000 | #Constraints: 23044
1820.16/1825.31 c #Conflicts: 393000 | #Constraints: 24044
1820.16/1825.31 c #Conflicts: 394000 | #Constraints: 25044
1820.16/1825.31 c INPROCESSING
1820.16/1825.31 c GARBAGE COLLECT
1820.16/1825.31 c #Conflicts: 395000 | #Constraints: 13645
1820.16/1825.31 c #Conflicts: 396000 | #Constraints: 14645
1820.16/1825.31 c #Conflicts: 397000 | #Constraints: 15645
1820.16/1825.31 c #Conflicts: 398000 | #Constraints: 16645
1820.16/1825.31 c #Conflicts: 399000 | #Constraints: 17645
1820.16/1825.32 c #Conflicts: 400000 | #Constraints: 18645
1820.16/1825.32 c #Conflicts: 401000 | #Constraints: 19645
1820.16/1825.32 c #Conflicts: 402000 | #Constraints: 20645
1820.16/1825.32 c #Conflicts: 403000 | #Constraints: 21645
1820.16/1825.32 c #Conflicts: 404000 | #Constraints: 22645
1820.16/1825.32 c #Conflicts: 405000 | #Constraints: 23645
1820.16/1825.32 c #Conflicts: 406000 | #Constraints: 24645
1820.16/1825.32 c #Conflicts: 407000 | #Constraints: 25645
1820.16/1825.32 c INPROCESSING
1820.16/1825.32 c GARBAGE COLLECT
1820.16/1825.32 c #Conflicts: 408000 | #Constraints: 14050
1820.16/1825.32 c #Conflicts: 409000 | #Constraints: 15050
1820.16/1825.32 c #Conflicts: 410000 | #Constraints: 16050
1820.16/1825.32 c #Conflicts: 411000 | #Constraints: 17050
1820.16/1825.32 c #Conflicts: 412000 | #Constraints: 18050
1820.16/1825.32 c #Conflicts: 413000 | #Constraints: 19050
1820.16/1825.32 c #Conflicts: 414000 | #Constraints: 20050
1820.16/1825.32 c #Conflicts: 415000 | #Constraints: 21050
1820.16/1825.32 c #Conflicts: 416000 | #Constraints: 22050
1820.16/1825.32 c #Conflicts: 417000 | #Constraints: 23050
1820.16/1825.32 c #Conflicts: 418000 | #Constraints: 24050
1820.16/1825.32 c #Conflicts: 419000 | #Constraints: 25050
1820.16/1825.32 c #Conflicts: 420000 | #Constraints: 26050
1820.16/1825.32 c INPROCESSING
1820.16/1825.32 c GARBAGE COLLECT
1820.16/1825.32 c #Conflicts: 421000 | #Constraints: 14249
1820.16/1825.32 c #Conflicts: 422000 | #Constraints: 15249
1820.16/1825.32 c #Conflicts: 423000 | #Constraints: 16249
1820.16/1825.32 c #Conflicts: 424000 | #Constraints: 17249
1820.16/1825.32 c #Conflicts: 425000 | #Constraints: 18249
1820.16/1825.32 c #Conflicts: 426000 | #Constraints: 19249
1820.16/1825.32 c #Conflicts: 427000 | #Constraints: 20249
1820.16/1825.32 c #Conflicts: 428000 | #Constraints: 21249
1820.16/1825.32 c #Conflicts: 429000 | #Constraints: 22249
1820.16/1825.32 c #Conflicts: 430000 | #Constraints: 23249
1820.16/1825.32 c #Conflicts: 431000 | #Constraints: 24249
1820.16/1825.32 c #Conflicts: 432000 | #Constraints: 25249
1820.16/1825.32 c #Conflicts: 433000 | #Constraints: 26249
1820.16/1825.32 c INPROCESSING
1820.16/1825.32 c GARBAGE COLLECT
1820.16/1825.32 c #Conflicts: 434000 | #Constraints: 14252
1820.16/1825.32 c #Conflicts: 435000 | #Constraints: 15252
1820.16/1825.32 c #Conflicts: 436000 | #Constraints: 16252
2677.36/2684.87 c #Conflicts: 437000 | #Constraints: 17252
2677.36/2684.87 c #Conflicts: 438000 | #Constraints: 18252
2677.36/2684.87 c #Conflicts: 439000 | #Constraints: 19252
2677.36/2684.87 c #Conflicts: 440000 | #Constraints: 20252
2677.36/2684.87 c #Conflicts: 441000 | #Constraints: 21252
2677.36/2684.87 c #Conflicts: 442000 | #Constraints: 22252
2677.36/2684.87 c #Conflicts: 443000 | #Constraints: 23252
2677.36/2684.87 c #Conflicts: 444000 | #Constraints: 24252
2677.36/2684.87 c #Conflicts: 445000 | #Constraints: 25252
2677.36/2684.87 c #Conflicts: 446000 | #Constraints: 26252
2677.36/2684.87 c INPROCESSING
2677.36/2684.87 c GARBAGE COLLECT
2677.36/2684.87 c #Conflicts: 447000 | #Constraints: 14049
2677.36/2684.87 c #Conflicts: 448000 | #Constraints: 15049
2677.36/2684.87 c #Conflicts: 449000 | #Constraints: 16049
2677.36/2684.87 c #Conflicts: 450000 | #Constraints: 17049
2677.36/2684.87 c #Conflicts: 451000 | #Constraints: 18049
2677.36/2684.87 c #Conflicts: 452000 | #Constraints: 19049
2677.36/2684.87 c #Conflicts: 453000 | #Constraints: 20049
2677.36/2684.87 c #Conflicts: 454000 | #Constraints: 21049
2677.36/2684.87 c #Conflicts: 455000 | #Constraints: 22049
2677.36/2684.87 c #Conflicts: 456000 | #Constraints: 23049
2677.36/2684.87 c #Conflicts: 457000 | #Constraints: 24049
2677.36/2684.87 c #Conflicts: 458000 | #Constraints: 25049
2677.36/2684.87 c #Conflicts: 459000 | #Constraints: 26049
2677.36/2684.87 c #Conflicts: 460000 | #Constraints: 27049
2677.36/2684.87 c INPROCESSING
2677.36/2684.87 c GARBAGE COLLECT
2677.36/2684.87 c #Conflicts: 461000 | #Constraints: 14649
2677.36/2684.87 c #Conflicts: 462000 | #Constraints: 15649
2677.36/2684.87 c #Conflicts: 463000 | #Constraints: 16649
2677.36/2684.87 c #Conflicts: 464000 | #Constraints: 17649
2677.36/2684.87 c #Conflicts: 465000 | #Constraints: 18649
2677.36/2684.87 c #Conflicts: 466000 | #Constraints: 19649
2677.36/2684.87 c #Conflicts: 467000 | #Constraints: 20649
2677.36/2684.87 c #Conflicts: 468000 | #Constraints: 21649
2677.36/2684.87 c #Conflicts: 469000 | #Constraints: 22649
2677.36/2684.87 c #Conflicts: 470000 | #Constraints: 23649
2677.36/2684.87 c #Conflicts: 471000 | #Constraints: 24649
2677.36/2684.87 c #Conflicts: 472000 | #Constraints: 25649
2677.36/2684.87 c #Conflicts: 473000 | #Constraints: 26649
2677.36/2684.87 c #Conflicts: 474000 | #Constraints: 27649
2677.36/2684.87 c INPROCESSING
2677.36/2684.87 c GARBAGE COLLECT
2677.36/2684.87 c #Conflicts: 475000 | #Constraints: 15047
2677.36/2684.87 c #Conflicts: 476000 | #Constraints: 16047
2677.36/2684.87 c #Conflicts: 477000 | #Constraints: 17047
2677.36/2684.87 c #Conflicts: 478000 | #Constraints: 18047
2677.36/2684.87 c #Conflicts: 479000 | #Constraints: 19047
2677.36/2684.87 c #Conflicts: 480000 | #Constraints: 20047
2677.36/2684.87 c #Conflicts: 481000 | #Constraints: 21047
2677.36/2684.87 c #Conflicts: 482000 | #Constraints: 22047
2677.36/2684.87 c #Conflicts: 483000 | #Constraints: 23047
2677.36/2684.87 c #Conflicts: 484000 | #Constraints: 24047
2677.36/2684.87 c #Conflicts: 485000 | #Constraints: 25047
2677.36/2684.87 c #Conflicts: 486000 | #Constraints: 26047
2677.36/2684.87 c #Conflicts: 487000 | #Constraints: 27047
2677.36/2684.87 c #Conflicts: 488000 | #Constraints: 28047
2677.36/2684.87 c INPROCESSING
2677.36/2684.87 c GARBAGE COLLECT
2677.36/2684.87 c #Conflicts: 489000 | #Constraints: 15248
2677.36/2684.87 c #Conflicts: 490000 | #Constraints: 16248
2677.36/2684.87 c #Conflicts: 491000 | #Constraints: 17248
2677.36/2684.87 c #Conflicts: 492000 | #Constraints: 18248
2677.36/2684.87 c #Conflicts: 493000 | #Constraints: 19248
2677.36/2684.87 c #Conflicts: 494000 | #Constraints: 20248
2677.36/2684.87 c #Conflicts: 495000 | #Constraints: 21248
2677.36/2684.87 c #Conflicts: 496000 | #Constraints: 22248
2677.36/2684.87 c #Conflicts: 497000 | #Constraints: 23248
2677.36/2684.87 c #Conflicts: 498000 | #Constraints: 24248
2677.36/2684.87 c #Conflicts: 499000 | #Constraints: 25248
2677.36/2684.87 c #Conflicts: 500000 | #Constraints: 26248
2677.36/2684.87 c #Conflicts: 501000 | #Constraints: 27248
2677.36/2684.87 c #Conflicts: 502000 | #Constraints: 28248
2677.36/2684.87 c INPROCESSING
2677.36/2684.87 c GARBAGE COLLECT
2677.36/2684.87 c #Conflicts: 503000 | #Constraints: 15259
2677.36/2684.87 c #Conflicts: 504000 | #Constraints: 16259
2677.36/2684.87 c #Conflicts: 505000 | #Constraints: 17259
2677.36/2684.87 c #Conflicts: 506000 | #Constraints: 18259
2677.36/2684.87 c #Conflicts: 507000 | #Constraints: 19259
2677.36/2684.87 c #Conflicts: 508000 | #Constraints: 20259
2677.36/2684.87 c #Conflicts: 509000 | #Constraints: 21259
2677.36/2684.87 c #Conflicts: 510000 | #Constraints: 22259
2677.36/2684.87 c #Conflicts: 511000 | #Constraints: 23259
2677.36/2684.87 c #Conflicts: 512000 | #Constraints: 24259
3081.62/3090.14 c #Conflicts: 513000 | #Constraints: 25259
3081.62/3090.14 c #Conflicts: 514000 | #Constraints: 26259
3081.62/3090.14 c #Conflicts: 515000 | #Constraints: 27259
3081.62/3090.14 c #Conflicts: 516000 | #Constraints: 28259
3081.62/3090.14 c INPROCESSING
3081.62/3090.14 c GARBAGE COLLECT
3081.62/3090.14 c #Conflicts: 517000 | #Constraints: 15053
3081.62/3090.14 c #Conflicts: 518000 | #Constraints: 16053
3081.62/3090.14 c #Conflicts: 519000 | #Constraints: 17053
3081.62/3090.14 c #Conflicts: 520000 | #Constraints: 18053
3081.62/3090.14 c #Conflicts: 521000 | #Constraints: 19053
3081.62/3090.14 c #Conflicts: 522000 | #Constraints: 20053
3081.62/3090.14 c #Conflicts: 523000 | #Constraints: 21053
3081.62/3090.14 c #Conflicts: 524000 | #Constraints: 22053
3081.62/3090.14 c #Conflicts: 525000 | #Constraints: 23053
3081.62/3090.14 c #Conflicts: 526000 | #Constraints: 24053
3081.62/3090.14 c #Conflicts: 527000 | #Constraints: 25053
3081.62/3090.14 c #Conflicts: 528000 | #Constraints: 26053
3081.62/3090.14 c #Conflicts: 529000 | #Constraints: 27053
3081.62/3090.14 c #Conflicts: 530000 | #Constraints: 28053
3081.62/3090.14 c #Conflicts: 531000 | #Constraints: 29053
3081.62/3090.14 c INPROCESSING
3081.62/3090.14 c GARBAGE COLLECT
3081.62/3090.14 c #Conflicts: 532000 | #Constraints: 15650
3081.62/3090.14 c #Conflicts: 533000 | #Constraints: 16650
3081.62/3090.14 c #Conflicts: 534000 | #Constraints: 17650
3081.62/3090.14 c #Conflicts: 535000 | #Constraints: 18650
3081.62/3090.14 c #Conflicts: 536000 | #Constraints: 19650
3081.62/3090.14 c #Conflicts: 537000 | #Constraints: 20650
3081.62/3090.14 c #Conflicts: 538000 | #Constraints: 21650
3081.62/3090.14 c #Conflicts: 539000 | #Constraints: 22650
3081.62/3090.14 c #Conflicts: 540000 | #Constraints: 23650
3081.62/3090.14 c #Conflicts: 541000 | #Constraints: 24650
3081.62/3090.14 c #Conflicts: 542000 | #Constraints: 25650
3081.62/3090.14 c #Conflicts: 543000 | #Constraints: 26650
3081.62/3090.14 c #Conflicts: 544000 | #Constraints: 27650
3081.62/3090.14 c #Conflicts: 545000 | #Constraints: 28650
3081.62/3090.14 c #Conflicts: 546000 | #Constraints: 29650
3081.62/3090.14 c INPROCESSING
3081.62/3090.14 c GARBAGE COLLECT
3081.62/3090.14 c #Conflicts: 547000 | #Constraints: 16058
3081.62/3090.14 c #Conflicts: 548000 | #Constraints: 17058
3081.62/3090.14 c #Conflicts: 549000 | #Constraints: 18058
3081.62/3090.14 c #Conflicts: 550000 | #Constraints: 19058
3081.62/3090.14 c #Conflicts: 551000 | #Constraints: 20058
3081.62/3090.14 c #Conflicts: 552000 | #Constraints: 21058
3081.62/3090.14 c #Conflicts: 553000 | #Constraints: 22058
3081.62/3090.14 c #Conflicts: 554000 | #Constraints: 23058
3081.62/3090.14 c #Conflicts: 555000 | #Constraints: 24058
3081.62/3090.14 c #Conflicts: 556000 | #Constraints: 25058
3081.62/3090.14 c #Conflicts: 557000 | #Constraints: 26058
3081.62/3090.14 c #Conflicts: 558000 | #Constraints: 27058
3081.62/3090.14 c #Conflicts: 559000 | #Constraints: 28058
3081.62/3090.14 c #Conflicts: 560000 | #Constraints: 29058
3081.62/3090.14 c #Conflicts: 561000 | #Constraints: 30058
3081.62/3090.14 c INPROCESSING
3081.62/3090.14 c GARBAGE COLLECT
3081.62/3090.14 c #Conflicts: 562000 | #Constraints: 16250
3081.62/3090.14 c #Conflicts: 563000 | #Constraints: 17250
3081.62/3090.14 c #Conflicts: 564000 | #Constraints: 18250
3081.62/3090.14 c #Conflicts: 565000 | #Constraints: 19250
3081.62/3090.14 c #Conflicts: 566000 | #Constraints: 20250
3081.62/3090.14 c #Conflicts: 567000 | #Constraints: 21250
3081.62/3090.14 c #Conflicts: 568000 | #Constraints: 22250
3081.62/3090.14 c #Conflicts: 569000 | #Constraints: 23250
3081.62/3090.14 c #Conflicts: 570000 | #Constraints: 24250
3081.62/3090.14 c #Conflicts: 571000 | #Constraints: 25250
3081.62/3090.14 c #Conflicts: 572000 | #Constraints: 26250
3081.62/3090.14 c #Conflicts: 573000 | #Constraints: 27250
3081.62/3090.14 c #Conflicts: 574000 | #Constraints: 28250
3081.62/3090.14 c #Conflicts: 575000 | #Constraints: 29250
3081.62/3090.14 c #Conflicts: 576000 | #Constraints: 30250
3081.62/3090.14 c INPROCESSING
3081.62/3090.14 c GARBAGE COLLECT
3081.62/3090.14 c #Conflicts: 577000 | #Constraints: 16248
3081.62/3090.14 c #Conflicts: 578000 | #Constraints: 17248
3081.62/3090.14 c #Conflicts: 579000 | #Constraints: 18248
3081.62/3090.14 c #Conflicts: 580000 | #Constraints: 19248
3081.62/3090.14 c #Conflicts: 581000 | #Constraints: 20248
3081.62/3090.14 c #Conflicts: 582000 | #Constraints: 21248
3081.62/3090.14 c #Conflicts: 583000 | #Constraints: 22248
3081.62/3090.14 c #Conflicts: 584000 | #Constraints: 23248
3081.62/3090.14 c #Conflicts: 585000 | #Constraints: 24248
3081.62/3090.14 c #Conflicts: 586000 | #Constraints: 25248
3081.62/3090.14 c #Conflicts: 587000 | #Constraints: 26248
3081.62/3090.14 c #Conflicts: 588000 | #Constraints: 27248
3586.31/3596.15 c #Conflicts: 589000 | #Constraints: 28248
3586.31/3596.15 c #Conflicts: 590000 | #Constraints: 29248
3586.31/3596.15 c #Conflicts: 591000 | #Constraints: 30248
3586.31/3596.15 c INPROCESSING
3586.31/3596.15 c GARBAGE COLLECT
3586.31/3596.15 c #Conflicts: 592000 | #Constraints: 16052
3586.31/3596.15 c #Conflicts: 593000 | #Constraints: 17052
3586.31/3596.15 c #Conflicts: 594000 | #Constraints: 18052
3586.31/3596.15 c #Conflicts: 595000 | #Constraints: 19052
3586.31/3596.15 c #Conflicts: 596000 | #Constraints: 20052
3586.31/3596.15 c #Conflicts: 597000 | #Constraints: 21052
3586.31/3596.15 c #Conflicts: 598000 | #Constraints: 22052
3586.31/3596.15 c #Conflicts: 599000 | #Constraints: 23052
3586.31/3596.15 c #Conflicts: 600000 | #Constraints: 24052
3586.31/3596.15 c #Conflicts: 601000 | #Constraints: 25052
3586.31/3596.15 c #Conflicts: 602000 | #Constraints: 26052
3586.31/3596.15 c #Conflicts: 603000 | #Constraints: 27052
3586.31/3596.15 c #Conflicts: 604000 | #Constraints: 28052
3586.31/3596.15 c #Conflicts: 605000 | #Constraints: 29052
3586.31/3596.15 c #Conflicts: 606000 | #Constraints: 30052
3586.31/3596.15 c #Conflicts: 607000 | #Constraints: 31052
3586.31/3596.16 c INPROCESSING
3586.31/3596.16 c GARBAGE COLLECT
3586.31/3596.16 c #Conflicts: 608000 | #Constraints: 16648
3586.31/3596.16 c #Conflicts: 609000 | #Constraints: 17648
3586.31/3596.16 c #Conflicts: 610000 | #Constraints: 18648
3586.31/3596.16 c #Conflicts: 611000 | #Constraints: 19648
3586.31/3596.16 c #Conflicts: 612000 | #Constraints: 20648
3586.31/3596.16 c #Conflicts: 613000 | #Constraints: 21648
3586.31/3596.16 c #Conflicts: 614000 | #Constraints: 22648
3586.31/3596.16 c #Conflicts: 615000 | #Constraints: 23648
3586.31/3596.16 c #Conflicts: 616000 | #Constraints: 24648
3586.31/3596.16 c #Conflicts: 617000 | #Constraints: 25648
3586.31/3596.16 c #Conflicts: 618000 | #Constraints: 26648
3586.31/3596.16 c #Conflicts: 619000 | #Constraints: 27648
3586.31/3596.16 c #Conflicts: 620000 | #Constraints: 28648
3586.31/3596.16 c #Conflicts: 621000 | #Constraints: 29648
3586.31/3596.16 c #Conflicts: 622000 | #Constraints: 30648
3586.31/3596.16 c #Conflicts: 623000 | #Constraints: 31648
3586.31/3596.16 c INPROCESSING
3586.31/3596.16 c GARBAGE COLLECT
3586.31/3596.16 c #Conflicts: 624000 | #Constraints: 17046
3586.31/3596.16 c #Conflicts: 625000 | #Constraints: 18046
3586.31/3596.16 c #Conflicts: 626000 | #Constraints: 19046
3586.31/3596.16 c #Conflicts: 627000 | #Constraints: 20046
3586.31/3596.16 c #Conflicts: 628000 | #Constraints: 21046
3586.31/3596.16 c #Conflicts: 629000 | #Constraints: 22046
3586.31/3596.16 c #Conflicts: 630000 | #Constraints: 23046
3586.31/3596.16 c #Conflicts: 631000 | #Constraints: 24046
3586.31/3596.16 c #Conflicts: 632000 | #Constraints: 25046
3586.31/3596.16 c #Conflicts: 633000 | #Constraints: 26046
3586.31/3596.16 c #Conflicts: 634000 | #Constraints: 27046
3586.31/3596.16 c #Conflicts: 635000 | #Constraints: 28046
3586.31/3596.16 c #Conflicts: 636000 | #Constraints: 29046
3586.31/3596.16 c #Conflicts: 637000 | #Constraints: 30046
3586.31/3596.16 c #Conflicts: 638000 | #Constraints: 31046
3586.31/3596.16 c #Conflicts: 639000 | #Constraints: 32046
3586.31/3596.16 c INPROCESSING
3586.31/3596.16 c GARBAGE COLLECT
3586.31/3596.16 c #Conflicts: 640000 | #Constraints: 17243
3586.31/3596.16 c #Conflicts: 641000 | #Constraints: 18243
3586.31/3596.16 c #Conflicts: 642000 | #Constraints: 19243
3586.31/3596.16 c #Conflicts: 643000 | #Constraints: 20243
3586.31/3596.16 c #Conflicts: 644000 | #Constraints: 21243
3586.31/3596.16 c #Conflicts: 645000 | #Constraints: 22243
3586.31/3596.16 c #Conflicts: 646000 | #Constraints: 23243
3586.31/3596.16 c #Conflicts: 647000 | #Constraints: 24243
3586.31/3596.16 c #Conflicts: 648000 | #Constraints: 25243
3586.31/3596.16 c #Conflicts: 649000 | #Constraints: 26243
3586.31/3596.16 c #Conflicts: 650000 | #Constraints: 27243
3586.31/3596.16 c #Conflicts: 651000 | #Constraints: 28243
3586.31/3596.16 c #Conflicts: 652000 | #Constraints: 29243
3586.31/3596.16 c #Conflicts: 653000 | #Constraints: 30243
3586.31/3596.16 c #Conflicts: 654000 | #Constraints: 31243
3586.31/3596.16 c #Conflicts: 655000 | #Constraints: 32243
3586.31/3596.16 c INPROCESSING
3586.31/3596.16 c GARBAGE COLLECT
3586.31/3596.16 c #Conflicts: 656000 | #Constraints: 17244
3586.31/3596.16 c #Conflicts: 657000 | #Constraints: 18244
3586.31/3596.16 c #Conflicts: 658000 | #Constraints: 19244
3586.31/3596.16 c #Conflicts: 659000 | #Constraints: 20244
3586.31/3596.16 c #Conflicts: 660000 | #Constraints: 21244
3586.31/3596.16 c #Conflicts: 661000 | #Constraints: 22244
3586.31/3596.16 c #Conflicts: 662000 | #Constraints: 23244
3586.31/3596.16 c #Conflicts: 663000 | #Constraints: 24244
3600.08/3609.90 c #Conflicts: 664000 | #Constraints: 25244
3600.08/3609.90 c #Conflicts: 665000 | #Constraints: 26244
3600.08/3609.90 c Program interrupted by user.
3600.08/3609.90 c cpu time 3581.18 s
3600.08/3609.90 c deterministic time 522756404348 5.23e+11
3600.08/3609.90 c optimization time 58.6645 s
3600.08/3609.90 c total solve time 3223.62 s
3600.08/3609.90 c core-guided solve time 3223.62 s
3600.08/3609.90 c propagation time 2872.67 s
3600.08/3609.90 c conflict analysis time 305.326 s
3600.08/3609.90 c propagations 65231762
3600.08/3609.90 c resolve steps 3958916
3600.08/3609.90 c decisions 14539376
3600.08/3609.90 c conflicts 665360
3600.08/3609.90 c restarts 1434
3600.08/3609.90 c inprocessing phases 72
3600.08/3609.90 c input clauses 173
3600.08/3609.90 c input cardinalities 175
3600.08/3609.90 c input general constraints 66
3600.08/3609.90 c input average constraint length 53.95
3600.08/3609.90 c input average constraint degree 11119.52
3600.08/3609.90 c learned clauses 7195
3600.08/3609.90 c learned cardinalities 19
3600.08/3609.90 c learned general constraints 658146
3600.08/3609.90 c learned average constraint length 1547.98
3600.08/3609.90 c learned average constraint degree 12380900.67
3600.08/3609.90 c watched constraints 314764
3600.08/3609.90 c counting constraints 343448
3600.08/3609.90 c gcd simplifications 3940
3600.08/3609.90 c detected cardinalities 6
3600.08/3609.90 c weakened non-implied lits 29520331
3600.08/3609.90 c weakened non-implying lits 67436
3600.08/3609.90 c original variables 5568
3600.08/3609.90 c clausal propagations 2396739
3600.08/3609.90 c cardinality propagations 11549846
3600.08/3609.90 c watched propagations 3739225
3600.08/3609.90 c counting propagations 47396652
3600.08/3609.90 c watch lookups 42471273716
3600.08/3609.90 c watch backjump lookups 41849813203
3600.08/3609.90 c watch checks 317602049566
3600.08/3609.90 c propagation checks 118483176785
3600.08/3609.90 c constraint additions 2189888847
3600.08/3609.90 c trail pops 80431092
3600.08/3609.90 c formula constraints 412
3600.08/3609.90 c learned constraints 665360
3600.08/3609.90 c bound constraints 2
3600.08/3609.90 c core-guided constraints 0
3600.08/3609.90 c encountered formula constraints 2520045
3600.08/3609.90 c encountered learned constraints 2102322
3600.08/3609.90 c encountered bound constraints 1909
3600.08/3609.90 c encountered core-guided constraints 0
3600.08/3609.90 c LP total time 0 s
3600.08/3609.90 c LP solve time 0 s
3600.08/3609.90 c LP constraints added 0
3600.08/3609.90 c LP constraints removed 0
3600.08/3609.90 c LP pivots internal 0
3600.08/3609.90 c LP pivots root 0
3600.08/3609.90 c LP calls 0
3600.08/3609.90 c LP optimalities 0
3600.08/3609.90 c LP no pivot count 0
3600.08/3609.90 c LP infeasibilities 0
3600.08/3609.90 c LP valid Farkas constraints 0
3600.08/3609.90 c LP learned Farkas constraints 0
3600.08/3609.90 c LP basis resets 0
3600.08/3609.90 c LP cycling count 0
3600.08/3609.90 c LP singular count 0
3600.08/3609.90 c LP no primal count 0
3600.08/3609.90 c LP no farkas count 0
3600.08/3609.90 c LP other issue count 0
3600.08/3609.90 c LP Gomory cuts 0
3600.08/3609.90 c LP learned cuts 0
3600.08/3609.90 c LP deleted cuts 0
3600.08/3609.90 c LP encountered Gomory constraints 0
3600.08/3609.90 c LP encountered Farkas constraints 0
3600.08/3609.90 c LP encountered learned Farkas constraints 0
3600.08/3609.90 c CG auxiliary variables introduced 0
3600.08/3609.90 c CG solutions found 0
3600.08/3609.90 c CG cores constructed 1
3600.08/3609.90 c CG core cardinality constraints returned 1
3600.08/3609.90 c CG unit cores 0
3600.08/3609.90 c CG single cores 1
3600.08/3609.90 c CG blocks removed during cardinality reduction 0
3600.08/3609.90 c CG first core best 0
3600.08/3609.90 c CG decision core best 0
3600.08/3609.90 c CG core reduction tie 0
3600.08/3609.90 c CG core degree average 15.00
3600.08/3609.90 c CG core slack average 17.00
3600.08/3609.90 c CG exhausted 0
3600.08/3609.90 c CG exhaust time 0 s
3600.08/3609.90 c CG trimmed 0
3600.08/3609.90 c CG trim time 0.000128 s
3600.08/3609.90 c CG minimized 0
3600.08/3609.90 c CG minimize time 0 s
3600.08/3609.90 c CG am1 prop time 0.000168 s
3600.08/3609.90 c CG # am1s reformulated 0
3600.08/3609.90 c CG lower bound derived from am1s 0
3600.08/3609.90 c CG # clausal cores 0
3600.08/3609.90 c CG # cardinality cores 0
3600.08/3609.90 c CG # pb cores 1
3600.08/3609.90 c CG # pb reforms 0
3600.08/3609.90 c CG # cores discarded because of pb reform 0
3600.08/3609.90 d LOWERBOUND 15
3600.08/3609.90 d NCORES 1
3600.08/3609.90 d NPBCORES 1
3600.08/3609.90 d NPBREFORM 0
3600.08/3609.90 d NTRIMMED 0
3600.08/3609.90 d NEXHAUSTED 0
3600.08/3609.90 d NAM1S 0
3600.08/3609.90 d AM1LB 0
3600.08/3609.90 c [Papilo Statistics]
3600.08/3609.90 c prepro time 0.0211673s
3600.08/3609.90 c # tsx applied 173
3600.08/3609.90 c # tsx conflicts 0
3600.08/3609.90 c # bound changes 0
3600.08/3609.90 c # side changes 173
3600.08/3609.90 c # coef changes 0
3600.08/3609.90 c # rounds 2
3600.08/3609.90 c # deted vars 0
3600.08/3609.90 c # deted constrs 173
3600.08/3609.90 c # consecutive rounds of only bound changes 0
3600.08/3609.90 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 (57862 MiB free)
memory of node 1: 64510 MiB (58292 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455015-1721478964/watcher-4455015-1721478964 -o /tmp/evaluation-result-4455015-1721478964/solver-4455015-1721478964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721472791-1072409 --watchdog 3760 mixed-bag HOME/instance-4455015-1721478964.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1076810, runsolver pid=1076807
[startup+0.100342 s]*
/proc/loadavg: 4.11 4.10 4.15 5/241 1076811
/proc/meminfo: memFree=118921908/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=105480 memory=37820 CPUtime=0.1 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 6505 0 0 0 8 2 0 0 20 0 1 0 200052522 108011520 9455 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 26370 9455 3796 3002 0 10119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 105480 KiB
Current children cumulated memory: 37820 KiB
[startup+0.213369 s]*
/proc/loadavg: 4.11 4.10 4.15 5/241 1076811
/proc/meminfo: memFree=118902280/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=138620 memory=60244 CPUtime=0.21 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 12312 0 0 0 19 2 0 0 20 0 1 0 200052522 141946880 15061 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 34655 15061 3844 3002 0 18404 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 138620 KiB
Current children cumulated memory: 60244 KiB
[startup+0.313164 s]*
/proc/loadavg: 4.11 4.10 4.15 5/241 1076811
/proc/meminfo: memFree=118893068/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=160052 memory=77964 CPUtime=0.31 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 16745 0 0 0 28 3 0 0 20 0 1 0 200052522 163893248 19491 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 40013 19491 3853 3002 0 23762 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 160052 KiB
Current children cumulated memory: 77964 KiB
[startup+0.700359 s]
/proc/loadavg: 4.11 4.10 4.15 5/241 1076811
/proc/meminfo: memFree=118852524/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=230768 memory=142020 CPUtime=0.69 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 32507 0 0 0 63 6 0 0 20 0 1 0 200052522 236306432 35505 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 57692 35505 4029 3002 0 41441 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 230768 KiB
Current children cumulated memory: 142020 KiB
[startup+1.50035 s]
/proc/loadavg: 4.11 4.10 4.15 5/241 1076811
/proc/meminfo: memFree=118826960/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=234500 memory=147908 CPUtime=1.48 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 37030 0 0 0 142 6 0 0 20 0 1 0 200052522 240128000 36977 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 58625 36977 4060 3002 0 42374 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 234500 KiB
Current children cumulated memory: 147908 KiB
[startup+3.11298 s]
/proc/loadavg: 4.11 4.10 4.15 5/241 1076811
/proc/meminfo: memFree=118790144/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=254160 memory=167040 CPUtime=3.09 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 43961 0 0 0 302 7 0 0 20 0 1 0 200052522 260259840 41760 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 63540 41760 4060 3002 0 47289 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 254160 KiB
Current children cumulated memory: 167040 KiB
[startup+6.30034 s]
/proc/loadavg: 4.10 4.10 4.14 5/241 1076811
/proc/meminfo: memFree=118777404/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=266340 memory=179828 CPUtime=6.27 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 48453 0 0 0 618 9 0 0 20 0 1 0 200052522 272732160 44957 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 66585 44957 4060 3002 0 50334 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 266340 KiB
Current children cumulated memory: 179828 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.12 4.15 5/241 1076813
/proc/meminfo: memFree=118740504/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=293464 memory=206536 CPUtime=12.65 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 64616 0 0 0 1253 12 0 0 20 0 1 0 200052522 300507136 51634 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 73366 51634 4060 3002 0 57115 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 293464 KiB
Current children cumulated memory: 206536 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.11 4.15 5/241 1076814
/proc/meminfo: memFree=118726912/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=311916 memory=225412 CPUtime=25.41 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 86185 0 0 0 2524 17 0 0 20 0 1 0 200052522 319401984 56353 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 77979 56353 4060 3002 0 61728 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 311916 KiB
Current children cumulated memory: 225412 KiB
[startup+51.1132 s]
/proc/loadavg: 4.14 4.12 4.15 5/241 1076819
/proc/meminfo: memFree=118705876/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=322840 memory=235964 CPUtime=50.93 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 93343 0 0 0 5072 21 0 0 20 0 1 0 200052522 330588160 58991 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 80710 58991 4060 3002 0 64459 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 322840 KiB
Current children cumulated memory: 235964 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/241 1076827
/proc/meminfo: memFree=118662748/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=364968 memory=278896 CPUtime=101.91 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 104261 0 0 0 10163 28 0 0 20 0 1 0 200052522 373727232 69724 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 91242 69724 4060 3002 0 74991 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 364968 KiB
Current children cumulated memory: 278896 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.14 5/241 1076837
/proc/meminfo: memFree=118626056/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=400620 memory=315140 CPUtime=161.67 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 113477 0 0 0 16136 31 0 0 20 0 1 0 200052522 410234880 78785 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 100155 78785 4060 3002 0 83904 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 400620 KiB
Current children cumulated memory: 315140 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/241 1076848
/proc/meminfo: memFree=118566228/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=442800 memory=357816 CPUtime=221.47 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 124233 0 0 0 22113 34 0 0 20 0 1 0 200052522 453427200 89454 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 110700 89454 4060 3002 0 94449 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 442800 KiB
Current children cumulated memory: 357816 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/243 1076862
/proc/meminfo: memFree=118497008/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=490372 memory=403512 CPUtime=281.26 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 135890 0 0 0 28090 36 0 0 20 0 1 0 200052522 502140928 100878 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 122593 100878 4060 3002 0 106342 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 490372 KiB
Current children cumulated memory: 403512 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.13 5/243 1076872
/proc/meminfo: memFree=118488040/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=493668 memory=412552 CPUtime=341.09 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 142963 0 0 0 34002 107 0 0 20 0 1 0 200052522 505516032 103138 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 123417 103138 4172 3002 0 107166 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 493668 KiB
Current children cumulated memory: 412552 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.13 5/243 1076884
/proc/meminfo: memFree=118463620/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=543756 memory=436600 CPUtime=400.94 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 143379 0 0 0 39902 192 0 0 20 0 1 0 200052522 556806144 109150 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 135939 109150 4172 3002 0 119688 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 543756 KiB
Current children cumulated memory: 436600 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/243 1076894
/proc/meminfo: memFree=118390088/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=543756 memory=465848 CPUtime=460.79 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 143888 0 0 0 45862 217 0 0 20 0 1 0 200052522 556806144 116462 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 135939 116462 4172 3002 0 119688 0
################
# More data... #
################
Current children cumulated memory: 1025040 KiB
[startup+2922.3 s]
/proc/loadavg: 3.12 3.30 3.71 4/238 1078118
/proc/meminfo: memFree=126651196/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1295456 memory=1025040 CPUtime=2914.25 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 204167 0 0 0 289862 1563 0 0 20 0 1 0 200052522 1326546944 256260 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 323864 256260 4172 3002 0 307613 0
Current children cumulated CPU time: 2914.25 s
Current children cumulated vsize: 1295456 KiB
Current children cumulated memory: 1025040 KiB
[startup+2982.3 s]
/proc/loadavg: 3.46 3.34 3.70 4/235 1078511
/proc/meminfo: memFree=126618284/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1295456 memory=1025040 CPUtime=2974.09 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 204475 0 0 0 295807 1602 0 0 20 0 1 0 200052522 1326546944 256260 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 323864 256260 4172 3002 0 307613 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 1295456 KiB
Current children cumulated memory: 1025040 KiB
[startup+3042.3 s]
/proc/loadavg: 3.68 3.44 3.72 4/235 1078521
/proc/meminfo: memFree=126617940/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1295456 memory=1025040 CPUtime=3033.94 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 204718 0 0 0 301762 1632 0 0 20 0 1 0 200052522 1326546944 256260 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 323864 256260 4172 3002 0 307613 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 1295456 KiB
Current children cumulated memory: 1025040 KiB
[startup+3102.3 s]
/proc/loadavg: 3.29 3.38 3.67 4/234 1078531
/proc/meminfo: memFree=126617752/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1295456 memory=1025040 CPUtime=3093.78 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 204943 0 0 0 307710 1668 0 0 20 0 1 0 200052522 1326546944 256260 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 323864 256260 4172 3002 0 307613 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 1295456 KiB
Current children cumulated memory: 1025040 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.32 3.63 4/236 1078711
/proc/meminfo: memFree=126616916/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1295696 memory=1025208 CPUtime=3153.63 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 205344 0 0 0 313670 1693 0 0 20 0 1 0 200052522 1326792704 256302 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 323924 256302 4172 3002 0 307673 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 1295696 KiB
Current children cumulated memory: 1025208 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.27 3.60 4/236 1078723
/proc/meminfo: memFree=126604832/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1297196 memory=1025980 CPUtime=3213.46 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 205956 0 0 0 319639 1707 0 0 20 0 1 0 200052522 1328328704 256495 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 324299 256495 4172 3002 0 308048 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 1297196 KiB
Current children cumulated memory: 1025980 KiB
[startup+3282.3 s]
/proc/loadavg: 3.15 3.25 3.57 4/239 1078792
/proc/meminfo: memFree=126601876/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1300688 memory=1028340 CPUtime=3273.3 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 206831 0 0 0 325594 1736 0 0 20 0 1 0 200052522 1331904512 257085 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 325172 257085 4172 3002 0 308921 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 1300688 KiB
Current children cumulated memory: 1028340 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.22 3.54 4/239 1078802
/proc/meminfo: memFree=126596500/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1300688 memory=1028340 CPUtime=3333.15 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 207065 0 0 0 331552 1763 0 0 20 0 1 0 200052522 1331904512 257085 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 325172 257085 4172 3002 0 308921 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 1300688 KiB
Current children cumulated memory: 1028340 KiB
[startup+3402.3 s]
/proc/loadavg: 3.04 3.18 3.50 4/239 1078813
/proc/meminfo: memFree=126575148/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1300688 memory=1028340 CPUtime=3392.99 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 207289 0 0 0 337507 1792 0 0 20 0 1 0 200052522 1331904512 257085 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 325172 257085 4172 3002 0 308921 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 1300688 KiB
Current children cumulated memory: 1028340 KiB
[startup+3462.3 s]
/proc/loadavg: 3.17 3.19 3.48 4/239 1078823
/proc/meminfo: memFree=126574760/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1300688 memory=1028340 CPUtime=3452.84 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 207653 0 0 0 343462 1822 0 0 20 0 1 0 200052522 1331904512 257085 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 325172 257085 4172 3002 0 308921 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 1300688 KiB
Current children cumulated memory: 1028340 KiB
[startup+3522.3 s]
/proc/loadavg: 3.22 3.20 3.46 4/239 1078835
/proc/meminfo: memFree=126560764/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1300688 memory=1041712 CPUtime=3512.68 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 208035 0 0 0 349419 1849 0 0 20 0 1 0 200052522 1331904512 260428 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 325172 260428 4172 3002 0 308921 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 1300688 KiB
Current children cumulated memory: 1041712 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.19 3.44 4/234 1078846
/proc/meminfo: memFree=126523076/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1300688 memory=1077064 CPUtime=3572.53 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 208372 0 0 0 355377 1876 0 0 20 0 1 0 200052522 1331904512 269266 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 325172 269266 4172 3002 0 308921 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 1300688 KiB
Current children cumulated memory: 1077064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.10 3.17 3.43 4/234 1078849
/proc/meminfo: memFree=126523108/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1300688 memory=1077064 CPUtime=3600.08 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 208528 0 0 0 358118 1890 0 0 20 0 1 0 200052522 1331904512 269266 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 325172 269266 4172 3002 0 308921 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1300688 KiB
Current children cumulated memory: 1077064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 1076810 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.19 s, system=18.9068 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 3.10 3.17 3.43 4/234 1078849
/proc/meminfo: memFree=126523108/131655788 swapFree=131071996/131071996
[pid=1076810] ppid=1076807 vsize=1300688 memory=1077064 CPUtime=3600.08 cores=5,7
/proc/1076810/stat : 1076810 (mixed-bag) R 1076807 1076810 1072396 0 -1 4194304 208528 0 0 0 358118 1890 0 0 20 0 1 0 200052522 1331904512 269266 134679101440 4194304 16488053 140727100550592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 27521024 140727100552213 140727100552290 140727100552290 140727100559307 0
/proc/1076810/statm: 325172 269266 4172 3002 0 308921 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1300688 KiB
Current children cumulated memory: 1077064 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.09
CPU user time (s): 3581.19
CPU system time (s): 18.9068
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 1300688
Max. memory (cumulated for all children) (KiB): 1077064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.19
system time used= 18.9068
maximum resident set size= 1077064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208551
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= 216
involuntary context switches= 2367
# summary of solver processes directly reported to runsolver:
# pid: 1076810
# total CPU time (s): 3600.09
# total CPU user time (s): 3581.19
# total CPU system time (s): 18.9068
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4879 second user time and 38.6675 second system time
The end
Begin job on nodeC003 at 2024-07-20 14:36:16
IDJOB=4455015
IDBENCH=158621
IDSOLVER=3083
FILE ID=nodeC003/4455015-1721478964
RUNJOBID= nodeC003-1721472791-1072409
SLURM_JOB_ID= 7545744
Free space on /tmp= 723680 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4455015-1721478964/watcher-4455015-1721478964 -o /tmp/evaluation-result-4455015-1721478964/solver-4455015-1721478964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721472791-1072409 --watchdog 3760 mixed-bag HOME/instance-4455015-1721478964.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=64271840
nodeC003.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 : 3658.947
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.76
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 : 3667.808
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.30
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.396
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.76
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.255
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.30
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 : 3560.286
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.76
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.892
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.30
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.450
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.76
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.227
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 118942288 kB
MemAvailable: 120315384 kB
Buffers: 588484 kB
Cached: 1625832 kB
SwapCached: 0 kB
Active: 1162688 kB
Inactive: 10973304 kB
Active(anon): 1452 kB
Inactive(anon): 9966124 kB
Active(file): 1161236 kB
Inactive(file): 1007180 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16536 kB
Writeback: 0 kB
AnonPages: 9921108 kB
Mapped: 142580 kB
Shmem: 45896 kB
KReclaimable: 89424 kB
Slab: 192528 kB
SReclaimable: 89424 kB
SUnreclaim: 103104 kB
KernelStack: 3856 kB
PageTables: 29116 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 11069760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2560000 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: 275272 kB
DirectMap2M: 31086592 kB
DirectMap1G: 104857600 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC003 at 2024-07-20 15:36:26