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.03 c [STEP] preprocessing with Papilo
0.00/0.06 c Papilo could not simplify the problem
0.00/0.06 c [STEP] solving with SCIP
299.25/300.26 c [STEP] preprocessing done, loading into solver
299.25/300.27 c [STEP] solving
299.25/300.27 c #variables 1382 #constraints 2692
299.25/300.27 c SMALL=int, LARGE=long long
299.25/300.27 c bounds - >= -37584 @ 299.038
299.25/300.27 c stratification level: 276
390.15/391.36 c #Conflicts: 1000 | #Constraints: 3692
390.15/391.36 c #Conflicts: 2000 | #Constraints: 4692
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c bounds - >= -37308 @ 301.45
390.15/391.36 c #Conflicts: 3000 | #Constraints: 4695
390.15/391.36 c #Conflicts: 4000 | #Constraints: 5695
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 5000 | #Constraints: 5098
390.15/391.36 c #Conflicts: 6000 | #Constraints: 6098
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 7000 | #Constraints: 5100
390.15/391.36 c #Conflicts: 8000 | #Constraints: 6100
390.15/391.36 c #Conflicts: 9000 | #Constraints: 7100
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 10000 | #Constraints: 5800
390.15/391.36 c #Conflicts: 11000 | #Constraints: 6800
390.15/391.36 c #Conflicts: 12000 | #Constraints: 7800
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 13000 | #Constraints: 6250
390.15/391.36 c #Conflicts: 14000 | #Constraints: 7250
390.15/391.36 c #Conflicts: 15000 | #Constraints: 8250
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 16000 | #Constraints: 6476
390.15/391.36 c #Conflicts: 17000 | #Constraints: 7476
390.15/391.36 c #Conflicts: 18000 | #Constraints: 8476
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 19000 | #Constraints: 6490
390.15/391.36 c #Conflicts: 20000 | #Constraints: 7490
390.15/391.36 c #Conflicts: 21000 | #Constraints: 8490
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 22000 | #Constraints: 6295
390.15/391.36 c #Conflicts: 23000 | #Constraints: 7295
390.15/391.36 c #Conflicts: 24000 | #Constraints: 8295
390.15/391.36 c #Conflicts: 25000 | #Constraints: 9295
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 26000 | #Constraints: 6898
390.15/391.36 c #Conflicts: 27000 | #Constraints: 7898
390.15/391.36 c #Conflicts: 28000 | #Constraints: 8898
390.15/391.36 c #Conflicts: 29000 | #Constraints: 9898
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 30000 | #Constraints: 7299
390.15/391.36 c #Conflicts: 31000 | #Constraints: 8299
390.15/391.36 c #Conflicts: 32000 | #Constraints: 9299
390.15/391.36 c #Conflicts: 33000 | #Constraints: 10299
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 34000 | #Constraints: 7501
390.15/391.36 c #Conflicts: 35000 | #Constraints: 8501
390.15/391.36 c #Conflicts: 36000 | #Constraints: 9501
390.15/391.36 c #Conflicts: 37000 | #Constraints: 10501
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 38000 | #Constraints: 7500
390.15/391.36 c #Conflicts: 39000 | #Constraints: 8500
390.15/391.36 c #Conflicts: 40000 | #Constraints: 9500
390.15/391.36 c #Conflicts: 41000 | #Constraints: 10500
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 42000 | #Constraints: 7301
390.15/391.36 c #Conflicts: 43000 | #Constraints: 8301
390.15/391.36 c #Conflicts: 44000 | #Constraints: 9301
390.15/391.36 c #Conflicts: 45000 | #Constraints: 10301
390.15/391.36 c #Conflicts: 46000 | #Constraints: 11301
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 47000 | #Constraints: 7899
390.15/391.36 c #Conflicts: 48000 | #Constraints: 8899
390.15/391.36 c #Conflicts: 49000 | #Constraints: 9899
390.15/391.36 c #Conflicts: 50000 | #Constraints: 10899
390.15/391.36 c #Conflicts: 51000 | #Constraints: 11899
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 52000 | #Constraints: 8299
390.15/391.36 c #Conflicts: 53000 | #Constraints: 9299
390.15/391.36 c #Conflicts: 54000 | #Constraints: 10299
390.15/391.36 c #Conflicts: 55000 | #Constraints: 11299
390.15/391.36 c #Conflicts: 56000 | #Constraints: 12299
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 57000 | #Constraints: 8500
390.15/391.36 c #Conflicts: 58000 | #Constraints: 9500
390.15/391.36 c #Conflicts: 59000 | #Constraints: 10500
390.15/391.36 c #Conflicts: 60000 | #Constraints: 11500
390.15/391.36 c #Conflicts: 61000 | #Constraints: 12500
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 62000 | #Constraints: 8501
390.15/391.36 c #Conflicts: 63000 | #Constraints: 9501
390.15/391.36 c #Conflicts: 64000 | #Constraints: 10501
390.15/391.36 c #Conflicts: 65000 | #Constraints: 11501
390.15/391.36 c #Conflicts: 66000 | #Constraints: 12501
390.15/391.36 c INPROCESSING
390.15/391.36 c GARBAGE COLLECT
390.15/391.36 c #Conflicts: 67000 | #Constraints: 8301
498.51/499.92 c #Conflicts: 68000 | #Constraints: 9301
498.51/499.92 c #Conflicts: 69000 | #Constraints: 10301
498.51/499.92 c #Conflicts: 70000 | #Constraints: 11301
498.51/499.92 c #Conflicts: 71000 | #Constraints: 12301
498.51/499.92 c #Conflicts: 72000 | #Constraints: 13301
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 73000 | #Constraints: 8900
498.51/499.92 c #Conflicts: 74000 | #Constraints: 9900
498.51/499.92 c #Conflicts: 75000 | #Constraints: 10900
498.51/499.92 c #Conflicts: 76000 | #Constraints: 11900
498.51/499.92 c #Conflicts: 77000 | #Constraints: 12900
498.51/499.92 c #Conflicts: 78000 | #Constraints: 13900
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 79000 | #Constraints: 9302
498.51/499.92 c #Conflicts: 80000 | #Constraints: 10302
498.51/499.92 c #Conflicts: 81000 | #Constraints: 11302
498.51/499.92 c #Conflicts: 82000 | #Constraints: 12302
498.51/499.92 c #Conflicts: 83000 | #Constraints: 13302
498.51/499.92 c #Conflicts: 84000 | #Constraints: 14302
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 85000 | #Constraints: 9502
498.51/499.92 c #Conflicts: 86000 | #Constraints: 10502
498.51/499.92 c #Conflicts: 87000 | #Constraints: 11502
498.51/499.92 c #Conflicts: 88000 | #Constraints: 12502
498.51/499.92 c #Conflicts: 89000 | #Constraints: 13502
498.51/499.92 c #Conflicts: 90000 | #Constraints: 14502
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 91000 | #Constraints: 9502
498.51/499.92 c #Conflicts: 92000 | #Constraints: 10502
498.51/499.92 c #Conflicts: 93000 | #Constraints: 11502
498.51/499.92 c #Conflicts: 94000 | #Constraints: 12502
498.51/499.92 c #Conflicts: 95000 | #Constraints: 13502
498.51/499.92 c #Conflicts: 96000 | #Constraints: 14502
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 97000 | #Constraints: 9305
498.51/499.92 c #Conflicts: 98000 | #Constraints: 10305
498.51/499.92 c #Conflicts: 99000 | #Constraints: 11305
498.51/499.92 c #Conflicts: 100000 | #Constraints: 12305
498.51/499.92 c #Conflicts: 101000 | #Constraints: 13305
498.51/499.92 c #Conflicts: 102000 | #Constraints: 14305
498.51/499.92 c #Conflicts: 103000 | #Constraints: 15305
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 104000 | #Constraints: 9902
498.51/499.92 c #Conflicts: 105000 | #Constraints: 10902
498.51/499.92 c #Conflicts: 106000 | #Constraints: 11902
498.51/499.92 c #Conflicts: 107000 | #Constraints: 12902
498.51/499.92 c #Conflicts: 108000 | #Constraints: 13902
498.51/499.92 c #Conflicts: 109000 | #Constraints: 14902
498.51/499.92 c #Conflicts: 110000 | #Constraints: 15902
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 111000 | #Constraints: 10301
498.51/499.92 c #Conflicts: 112000 | #Constraints: 11301
498.51/499.92 c #Conflicts: 113000 | #Constraints: 12301
498.51/499.92 c #Conflicts: 114000 | #Constraints: 13301
498.51/499.92 c #Conflicts: 115000 | #Constraints: 14301
498.51/499.92 c #Conflicts: 116000 | #Constraints: 15301
498.51/499.92 c #Conflicts: 117000 | #Constraints: 16301
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 118000 | #Constraints: 10502
498.51/499.92 c #Conflicts: 119000 | #Constraints: 11502
498.51/499.92 c #Conflicts: 120000 | #Constraints: 12502
498.51/499.92 c #Conflicts: 121000 | #Constraints: 13502
498.51/499.92 c #Conflicts: 122000 | #Constraints: 14502
498.51/499.92 c #Conflicts: 123000 | #Constraints: 15502
498.51/499.92 c #Conflicts: 124000 | #Constraints: 16502
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 125000 | #Constraints: 10502
498.51/499.92 c #Conflicts: 126000 | #Constraints: 11502
498.51/499.92 c #Conflicts: 127000 | #Constraints: 12502
498.51/499.92 c #Conflicts: 128000 | #Constraints: 13502
498.51/499.92 c #Conflicts: 129000 | #Constraints: 14502
498.51/499.92 c #Conflicts: 130000 | #Constraints: 15502
498.51/499.92 c #Conflicts: 131000 | #Constraints: 16502
498.51/499.92 c INPROCESSING
498.51/499.92 c GARBAGE COLLECT
498.51/499.92 c #Conflicts: 132000 | #Constraints: 10302
498.51/499.92 c #Conflicts: 133000 | #Constraints: 11302
498.51/499.92 c #Conflicts: 134000 | #Constraints: 12302
498.51/499.92 c #Conflicts: 135000 | #Constraints: 13302
498.51/499.92 c #Conflicts: 136000 | #Constraints: 14302
498.51/499.92 c #Conflicts: 137000 | #Constraints: 15302
498.51/499.92 c #Conflicts: 138000 | #Constraints: 16302
498.51/499.92 c #Conflicts: 139000 | #Constraints: 17302
498.51/499.92 c INPROCESSING
616.84/618.52 c GARBAGE COLLECT
616.84/618.52 c #Conflicts: 140000 | #Constraints: 10903
616.84/618.52 c #Conflicts: 141000 | #Constraints: 11903
616.84/618.52 c #Conflicts: 142000 | #Constraints: 12903
616.84/618.52 c #Conflicts: 143000 | #Constraints: 13903
616.84/618.52 c #Conflicts: 144000 | #Constraints: 14903
616.84/618.52 c #Conflicts: 145000 | #Constraints: 15903
616.84/618.52 c #Conflicts: 146000 | #Constraints: 16903
616.84/618.52 c #Conflicts: 147000 | #Constraints: 17903
616.84/618.52 c INPROCESSING
616.84/618.52 c GARBAGE COLLECT
616.84/618.52 c #Conflicts: 148000 | #Constraints: 11303
616.84/618.52 c #Conflicts: 149000 | #Constraints: 12303
616.84/618.52 c #Conflicts: 150000 | #Constraints: 13303
616.84/618.52 c #Conflicts: 151000 | #Constraints: 14303
616.84/618.52 c #Conflicts: 152000 | #Constraints: 15303
616.84/618.52 c #Conflicts: 153000 | #Constraints: 16303
616.84/618.52 c #Conflicts: 154000 | #Constraints: 17303
616.84/618.52 c #Conflicts: 155000 | #Constraints: 18303
616.84/618.52 c INPROCESSING
616.84/618.52 c GARBAGE COLLECT
616.84/618.52 c #Conflicts: 156000 | #Constraints: 11502
616.84/618.52 c #Conflicts: 157000 | #Constraints: 12502
616.84/618.53 c #Conflicts: 158000 | #Constraints: 13502
616.84/618.53 c #Conflicts: 159000 | #Constraints: 14502
616.84/618.53 c #Conflicts: 160000 | #Constraints: 15502
616.84/618.53 c #Conflicts: 161000 | #Constraints: 16502
616.84/618.53 c #Conflicts: 162000 | #Constraints: 17502
616.84/618.53 c #Conflicts: 163000 | #Constraints: 18502
616.84/618.53 c INPROCESSING
616.84/618.53 c GARBAGE COLLECT
616.84/618.53 c #Conflicts: 164000 | #Constraints: 11504
616.84/618.53 c #Conflicts: 165000 | #Constraints: 12504
616.84/618.53 c #Conflicts: 166000 | #Constraints: 13504
616.84/618.53 c #Conflicts: 167000 | #Constraints: 14504
616.84/618.53 c #Conflicts: 168000 | #Constraints: 15504
616.84/618.53 c #Conflicts: 169000 | #Constraints: 16504
616.84/618.53 c #Conflicts: 170000 | #Constraints: 17504
616.84/618.53 c #Conflicts: 171000 | #Constraints: 18504
616.84/618.53 c INPROCESSING
616.84/618.53 c GARBAGE COLLECT
616.84/618.53 c #Conflicts: 172000 | #Constraints: 11302
616.84/618.53 c #Conflicts: 173000 | #Constraints: 12302
616.84/618.53 c #Conflicts: 174000 | #Constraints: 13302
616.84/618.53 c #Conflicts: 175000 | #Constraints: 14302
616.84/618.53 c #Conflicts: 176000 | #Constraints: 15302
616.84/618.53 c #Conflicts: 177000 | #Constraints: 16302
616.84/618.53 c #Conflicts: 178000 | #Constraints: 17302
616.84/618.53 c #Conflicts: 179000 | #Constraints: 18302
616.84/618.53 c #Conflicts: 180000 | #Constraints: 19302
616.84/618.53 c INPROCESSING
616.84/618.53 c GARBAGE COLLECT
616.84/618.53 c #Conflicts: 181000 | #Constraints: 11904
616.84/618.53 c #Conflicts: 182000 | #Constraints: 12904
616.84/618.53 c #Conflicts: 183000 | #Constraints: 13904
616.84/618.53 c #Conflicts: 184000 | #Constraints: 14904
616.84/618.53 c #Conflicts: 185000 | #Constraints: 15904
616.84/618.53 c #Conflicts: 186000 | #Constraints: 16904
616.84/618.53 c #Conflicts: 187000 | #Constraints: 17904
616.84/618.53 c #Conflicts: 188000 | #Constraints: 18904
616.84/618.53 c #Conflicts: 189000 | #Constraints: 19904
616.84/618.53 c INPROCESSING
616.84/618.53 c GARBAGE COLLECT
616.84/618.53 c #Conflicts: 190000 | #Constraints: 12303
616.84/618.53 c #Conflicts: 191000 | #Constraints: 13303
616.84/618.53 c #Conflicts: 192000 | #Constraints: 14303
616.84/618.53 c #Conflicts: 193000 | #Constraints: 15303
616.84/618.53 c #Conflicts: 194000 | #Constraints: 16303
616.84/618.53 c #Conflicts: 195000 | #Constraints: 17303
616.84/618.53 c #Conflicts: 196000 | #Constraints: 18303
616.84/618.53 c #Conflicts: 197000 | #Constraints: 19303
616.84/618.53 c #Conflicts: 198000 | #Constraints: 20303
616.84/618.53 c INPROCESSING
616.84/618.53 c GARBAGE COLLECT
616.84/618.53 c #Conflicts: 199000 | #Constraints: 12503
616.84/618.53 c #Conflicts: 200000 | #Constraints: 13503
616.84/618.53 c #Conflicts: 201000 | #Constraints: 14503
616.84/618.53 c #Conflicts: 202000 | #Constraints: 15503
616.84/618.53 c #Conflicts: 203000 | #Constraints: 16503
616.84/618.53 c #Conflicts: 204000 | #Constraints: 17503
616.84/618.53 c #Conflicts: 205000 | #Constraints: 18503
616.84/618.53 c #Conflicts: 206000 | #Constraints: 19503
616.84/618.53 c #Conflicts: 207000 | #Constraints: 20503
616.84/618.53 c INPROCESSING
616.84/618.53 c GARBAGE COLLECT
616.84/618.53 c #Conflicts: 208000 | #Constraints: 12505
616.84/618.53 c #Conflicts: 209000 | #Constraints: 13505
616.84/618.53 c #Conflicts: 210000 | #Constraints: 14505
616.84/618.53 c #Conflicts: 211000 | #Constraints: 15505
616.84/618.53 c #Conflicts: 212000 | #Constraints: 16505
616.84/618.53 c #Conflicts: 213000 | #Constraints: 17505
624.22/626.00 c #Conflicts: 214000 | #Constraints: 18505
624.22/626.00 c #Conflicts: 215000 | #Constraints: 19505
624.22/626.00 c #Conflicts: 216000 | #Constraints: 20505
624.22/626.00 c INPROCESSING
624.22/626.00 c GARBAGE COLLECT
624.22/626.00 c #Conflicts: 217000 | #Constraints: 12305
624.22/626.00 c finalizing WCE round: reformulating cores
626.62/628.33 c #Conflicts: 218000 | #Constraints: 13308
626.62/628.33 c bounds -1246 >= -37308 @ 624.178
626.62/628.33 c #Conflicts: 219000 | #Constraints: 14308
626.62/628.33 c bounds -1247 >= -37308 @ 625.515
626.62/628.33 c stratification level: 243
626.62/628.35 c bounds -1249 >= -37308 @ 625.531
626.62/628.35 c stratification level: 216
730.86/732.87 c #Conflicts: 220000 | #Constraints: 15310
730.86/732.87 c #Conflicts: 221000 | #Constraints: 16310
730.86/732.87 c #Conflicts: 222000 | #Constraints: 17310
730.86/732.87 c #Conflicts: 223000 | #Constraints: 18310
730.86/732.87 c #Conflicts: 224000 | #Constraints: 19310
730.86/732.87 c #Conflicts: 225000 | #Constraints: 20310
730.86/732.87 c #Conflicts: 226000 | #Constraints: 21310
730.86/732.87 c INPROCESSING
730.86/732.87 c GARBAGE COLLECT
730.86/732.87 c #Conflicts: 227000 | #Constraints: 12908
730.86/732.87 c #Conflicts: 228000 | #Constraints: 13908
730.86/732.87 c #Conflicts: 229000 | #Constraints: 14908
730.86/732.87 c #Conflicts: 230000 | #Constraints: 15908
730.86/732.87 c #Conflicts: 231000 | #Constraints: 16908
730.86/732.87 c #Conflicts: 232000 | #Constraints: 17908
730.86/732.87 c #Conflicts: 233000 | #Constraints: 18908
730.86/732.87 c #Conflicts: 234000 | #Constraints: 19908
730.86/732.87 c #Conflicts: 235000 | #Constraints: 20908
730.86/732.87 c #Conflicts: 236000 | #Constraints: 21908
730.86/732.87 c INPROCESSING
730.86/732.87 c GARBAGE COLLECT
730.86/732.87 c #Conflicts: 237000 | #Constraints: 13311
730.86/732.87 c #Conflicts: 238000 | #Constraints: 14311
730.86/732.87 c #Conflicts: 239000 | #Constraints: 15311
730.86/732.87 c #Conflicts: 240000 | #Constraints: 16311
730.86/732.87 c #Conflicts: 241000 | #Constraints: 17311
730.86/732.87 c #Conflicts: 242000 | #Constraints: 18311
730.86/732.87 c #Conflicts: 243000 | #Constraints: 19311
730.86/732.87 c #Conflicts: 244000 | #Constraints: 20311
730.86/732.87 c #Conflicts: 245000 | #Constraints: 21311
730.86/732.87 c #Conflicts: 246000 | #Constraints: 22311
730.86/732.87 c INPROCESSING
730.86/732.87 c GARBAGE COLLECT
730.86/732.87 c #Conflicts: 247000 | #Constraints: 13517
730.86/732.87 c #Conflicts: 248000 | #Constraints: 14517
730.86/732.87 c #Conflicts: 249000 | #Constraints: 15517
730.86/732.87 c #Conflicts: 250000 | #Constraints: 16517
730.86/732.87 c #Conflicts: 251000 | #Constraints: 17517
730.86/732.87 c #Conflicts: 252000 | #Constraints: 18517
730.86/732.87 c #Conflicts: 253000 | #Constraints: 19517
730.86/732.87 c #Conflicts: 254000 | #Constraints: 20517
730.86/732.87 c #Conflicts: 255000 | #Constraints: 21517
730.86/732.87 c #Conflicts: 256000 | #Constraints: 22517
730.86/732.87 c INPROCESSING
730.86/732.87 c GARBAGE COLLECT
730.86/732.87 c #Conflicts: 257000 | #Constraints: 13527
730.86/732.87 c #Conflicts: 258000 | #Constraints: 14527
730.86/732.87 c #Conflicts: 259000 | #Constraints: 15527
730.86/732.87 c #Conflicts: 260000 | #Constraints: 16527
730.86/732.87 c #Conflicts: 261000 | #Constraints: 17527
730.86/732.87 c #Conflicts: 262000 | #Constraints: 18527
730.86/732.87 c #Conflicts: 263000 | #Constraints: 19527
730.86/732.87 c #Conflicts: 264000 | #Constraints: 20527
730.86/732.87 c #Conflicts: 265000 | #Constraints: 21527
730.86/732.87 c #Conflicts: 266000 | #Constraints: 22527
730.86/732.87 c INPROCESSING
730.86/732.87 c GARBAGE COLLECT
730.86/732.87 c #Conflicts: 267000 | #Constraints: 13335
730.86/732.87 c #Conflicts: 268000 | #Constraints: 14335
730.86/732.87 c #Conflicts: 269000 | #Constraints: 15335
730.86/732.87 c #Conflicts: 270000 | #Constraints: 16335
730.86/732.87 c #Conflicts: 271000 | #Constraints: 17335
730.86/732.87 c #Conflicts: 272000 | #Constraints: 18335
730.86/732.87 c #Conflicts: 273000 | #Constraints: 19335
730.86/732.87 c #Conflicts: 274000 | #Constraints: 20335
730.86/732.87 c #Conflicts: 275000 | #Constraints: 21335
730.86/732.87 c #Conflicts: 276000 | #Constraints: 22335
730.86/732.87 c #Conflicts: 277000 | #Constraints: 23335
730.86/732.87 c INPROCESSING
730.86/732.87 c GARBAGE COLLECT
730.86/732.87 c #Conflicts: 278000 | #Constraints: 13944
730.86/732.87 c #Conflicts: 279000 | #Constraints: 14944
730.86/732.87 c #Conflicts: 280000 | #Constraints: 15944
730.86/732.87 c #Conflicts: 281000 | #Constraints: 16944
730.86/732.87 c #Conflicts: 282000 | #Constraints: 17944
730.86/732.87 c #Conflicts: 283000 | #Constraints: 18944
730.86/732.87 c #Conflicts: 284000 | #Constraints: 19944
730.86/732.87 c #Conflicts: 285000 | #Constraints: 20944
730.86/732.87 c #Conflicts: 286000 | #Constraints: 21944
730.86/732.87 c #Conflicts: 287000 | #Constraints: 22944
730.86/732.87 c #Conflicts: 288000 | #Constraints: 23944
730.86/732.87 c INPROCESSING
730.86/732.87 c GARBAGE COLLECT
730.86/732.87 c #Conflicts: 289000 | #Constraints: 14356
730.86/732.87 c #Conflicts: 290000 | #Constraints: 15356
730.86/732.87 c #Conflicts: 291000 | #Constraints: 16356
730.86/732.87 c #Conflicts: 292000 | #Constraints: 17356
730.86/732.87 c #Conflicts: 293000 | #Constraints: 18356
730.86/732.87 c #Conflicts: 294000 | #Constraints: 19356
855.56/857.88 c #Conflicts: 295000 | #Constraints: 20356
855.56/857.88 c #Conflicts: 296000 | #Constraints: 21356
855.56/857.88 c #Conflicts: 297000 | #Constraints: 22356
855.56/857.88 c #Conflicts: 298000 | #Constraints: 23356
855.56/857.88 c #Conflicts: 299000 | #Constraints: 24356
855.56/857.88 c INPROCESSING
855.56/857.88 c GARBAGE COLLECT
855.56/857.88 c #Conflicts: 300000 | #Constraints: 14564
855.56/857.88 c #Conflicts: 301000 | #Constraints: 15564
855.56/857.88 c #Conflicts: 302000 | #Constraints: 16564
855.56/857.88 c #Conflicts: 303000 | #Constraints: 17564
855.56/857.88 c #Conflicts: 304000 | #Constraints: 18564
855.56/857.88 c #Conflicts: 305000 | #Constraints: 19564
855.56/857.88 c #Conflicts: 306000 | #Constraints: 20564
855.56/857.88 c #Conflicts: 307000 | #Constraints: 21564
855.56/857.88 c #Conflicts: 308000 | #Constraints: 22564
855.56/857.88 c #Conflicts: 309000 | #Constraints: 23564
855.56/857.88 c #Conflicts: 310000 | #Constraints: 24564
855.56/857.88 c INPROCESSING
855.56/857.88 c GARBAGE COLLECT
855.56/857.88 c #Conflicts: 311000 | #Constraints: 14574
855.56/857.88 c #Conflicts: 312000 | #Constraints: 15574
855.56/857.88 c #Conflicts: 313000 | #Constraints: 16574
855.56/857.88 c #Conflicts: 314000 | #Constraints: 17574
855.56/857.88 c #Conflicts: 315000 | #Constraints: 18574
855.56/857.88 c #Conflicts: 316000 | #Constraints: 19574
855.56/857.88 c #Conflicts: 317000 | #Constraints: 20574
855.56/857.88 c #Conflicts: 318000 | #Constraints: 21574
855.56/857.88 c #Conflicts: 319000 | #Constraints: 22574
855.56/857.88 c #Conflicts: 320000 | #Constraints: 23574
855.56/857.88 c #Conflicts: 321000 | #Constraints: 24574
855.56/857.88 c INPROCESSING
855.56/857.88 c GARBAGE COLLECT
855.56/857.88 c #Conflicts: 322000 | #Constraints: 14382
855.56/857.88 c #Conflicts: 323000 | #Constraints: 15382
855.56/857.88 c #Conflicts: 324000 | #Constraints: 16382
855.56/857.88 c #Conflicts: 325000 | #Constraints: 17382
855.56/857.88 c #Conflicts: 326000 | #Constraints: 18382
855.56/857.88 c #Conflicts: 327000 | #Constraints: 19382
855.56/857.88 c #Conflicts: 328000 | #Constraints: 20382
855.56/857.88 c #Conflicts: 329000 | #Constraints: 21382
855.56/857.88 c #Conflicts: 330000 | #Constraints: 22382
855.56/857.88 c #Conflicts: 331000 | #Constraints: 23382
855.56/857.88 c #Conflicts: 332000 | #Constraints: 24382
855.56/857.88 c #Conflicts: 333000 | #Constraints: 25382
855.56/857.88 c INPROCESSING
855.56/857.88 c GARBAGE COLLECT
855.56/857.88 c #Conflicts: 334000 | #Constraints: 14988
855.56/857.88 c #Conflicts: 335000 | #Constraints: 15988
855.56/857.88 c #Conflicts: 336000 | #Constraints: 16988
855.56/857.88 c #Conflicts: 337000 | #Constraints: 17988
855.56/857.88 c #Conflicts: 338000 | #Constraints: 18988
855.56/857.88 c #Conflicts: 339000 | #Constraints: 19988
855.56/857.88 c #Conflicts: 340000 | #Constraints: 20988
855.56/857.88 c #Conflicts: 341000 | #Constraints: 21988
855.56/857.88 c #Conflicts: 342000 | #Constraints: 22988
855.56/857.88 c #Conflicts: 343000 | #Constraints: 23988
855.56/857.88 c #Conflicts: 344000 | #Constraints: 24988
855.56/857.88 c #Conflicts: 345000 | #Constraints: 25988
855.56/857.88 c INPROCESSING
855.56/857.88 c GARBAGE COLLECT
855.56/857.88 c #Conflicts: 346000 | #Constraints: 15395
855.56/857.88 c #Conflicts: 347000 | #Constraints: 16395
855.56/857.88 c #Conflicts: 348000 | #Constraints: 17395
855.56/857.88 c #Conflicts: 349000 | #Constraints: 18395
855.56/857.88 c #Conflicts: 350000 | #Constraints: 19395
855.56/857.88 c #Conflicts: 351000 | #Constraints: 20395
855.56/857.88 c #Conflicts: 352000 | #Constraints: 21395
855.56/857.88 c #Conflicts: 353000 | #Constraints: 22395
855.56/857.88 c #Conflicts: 354000 | #Constraints: 23395
855.56/857.88 c #Conflicts: 355000 | #Constraints: 24395
855.56/857.88 c #Conflicts: 356000 | #Constraints: 25395
855.56/857.88 c #Conflicts: 357000 | #Constraints: 26395
855.56/857.88 c INPROCESSING
855.56/857.88 c GARBAGE COLLECT
855.56/857.88 c #Conflicts: 358000 | #Constraints: 15609
855.56/857.88 c #Conflicts: 359000 | #Constraints: 16609
855.56/857.88 c #Conflicts: 360000 | #Constraints: 17609
855.56/857.88 c #Conflicts: 361000 | #Constraints: 18609
855.56/857.88 c #Conflicts: 362000 | #Constraints: 19609
855.56/857.88 c #Conflicts: 363000 | #Constraints: 20609
855.56/857.88 c #Conflicts: 364000 | #Constraints: 21609
855.56/857.88 c #Conflicts: 365000 | #Constraints: 22609
855.56/857.88 c #Conflicts: 366000 | #Constraints: 23609
855.56/857.88 c #Conflicts: 367000 | #Constraints: 24609
855.56/857.88 c #Conflicts: 368000 | #Constraints: 25609
855.56/857.88 c #Conflicts: 369000 | #Constraints: 26609
1004.11/1006.71 c INPROCESSING
1004.11/1006.71 c GARBAGE COLLECT
1004.11/1006.71 c #Conflicts: 370000 | #Constraints: 15624
1004.11/1006.71 c #Conflicts: 371000 | #Constraints: 16624
1004.11/1006.71 c #Conflicts: 372000 | #Constraints: 17624
1004.11/1006.71 c #Conflicts: 373000 | #Constraints: 18624
1004.11/1006.71 c #Conflicts: 374000 | #Constraints: 19624
1004.11/1006.71 c #Conflicts: 375000 | #Constraints: 20624
1004.11/1006.71 c #Conflicts: 376000 | #Constraints: 21624
1004.11/1006.71 c #Conflicts: 377000 | #Constraints: 22624
1004.11/1006.71 c #Conflicts: 378000 | #Constraints: 23624
1004.11/1006.71 c #Conflicts: 379000 | #Constraints: 24624
1004.11/1006.71 c #Conflicts: 380000 | #Constraints: 25624
1004.11/1006.71 c #Conflicts: 381000 | #Constraints: 26624
1004.11/1006.71 c INPROCESSING
1004.11/1006.71 c GARBAGE COLLECT
1004.11/1006.71 c #Conflicts: 382000 | #Constraints: 15438
1004.11/1006.71 c #Conflicts: 383000 | #Constraints: 16438
1004.11/1006.71 c #Conflicts: 384000 | #Constraints: 17438
1004.11/1006.71 c #Conflicts: 385000 | #Constraints: 18438
1004.11/1006.71 c #Conflicts: 386000 | #Constraints: 19438
1004.11/1006.71 c #Conflicts: 387000 | #Constraints: 20438
1004.11/1006.71 c #Conflicts: 388000 | #Constraints: 21438
1004.11/1006.71 c #Conflicts: 389000 | #Constraints: 22438
1004.11/1006.71 c #Conflicts: 390000 | #Constraints: 23438
1004.11/1006.71 c #Conflicts: 391000 | #Constraints: 24438
1004.11/1006.71 c #Conflicts: 392000 | #Constraints: 25438
1004.11/1006.71 c #Conflicts: 393000 | #Constraints: 26438
1004.11/1006.71 c #Conflicts: 394000 | #Constraints: 27438
1004.11/1006.71 c INPROCESSING
1004.11/1006.71 c GARBAGE COLLECT
1004.11/1006.71 c #Conflicts: 395000 | #Constraints: 16051
1004.11/1006.71 c #Conflicts: 396000 | #Constraints: 17051
1004.11/1006.71 c #Conflicts: 397000 | #Constraints: 18051
1004.11/1006.71 c #Conflicts: 398000 | #Constraints: 19051
1004.11/1006.71 c #Conflicts: 399000 | #Constraints: 20051
1004.11/1006.71 c #Conflicts: 400000 | #Constraints: 21051
1004.11/1006.71 c #Conflicts: 401000 | #Constraints: 22051
1004.11/1006.71 c #Conflicts: 402000 | #Constraints: 23051
1004.11/1006.71 c #Conflicts: 403000 | #Constraints: 24051
1004.11/1006.71 c #Conflicts: 404000 | #Constraints: 25051
1004.11/1006.71 c #Conflicts: 405000 | #Constraints: 26051
1004.11/1006.71 c #Conflicts: 406000 | #Constraints: 27051
1004.11/1006.71 c #Conflicts: 407000 | #Constraints: 28051
1004.11/1006.71 c INPROCESSING
1004.11/1006.71 c GARBAGE COLLECT
1004.11/1006.71 c #Conflicts: 408000 | #Constraints: 16464
1004.11/1006.71 c #Conflicts: 409000 | #Constraints: 17464
1004.11/1006.71 c #Conflicts: 410000 | #Constraints: 18464
1004.11/1006.71 c #Conflicts: 411000 | #Constraints: 19464
1004.11/1006.71 c #Conflicts: 412000 | #Constraints: 20464
1004.11/1006.71 c #Conflicts: 413000 | #Constraints: 21464
1004.11/1006.71 c #Conflicts: 414000 | #Constraints: 22464
1004.11/1006.71 c #Conflicts: 415000 | #Constraints: 23464
1004.11/1006.71 c #Conflicts: 416000 | #Constraints: 24464
1004.11/1006.71 c #Conflicts: 417000 | #Constraints: 25464
1004.11/1006.71 c #Conflicts: 418000 | #Constraints: 26464
1004.11/1006.71 c #Conflicts: 419000 | #Constraints: 27464
1004.11/1006.71 c #Conflicts: 420000 | #Constraints: 28464
1004.11/1006.71 c INPROCESSING
1004.11/1006.71 c GARBAGE COLLECT
1004.11/1006.71 c #Conflicts: 421000 | #Constraints: 16668
1004.11/1006.71 c #Conflicts: 422000 | #Constraints: 17668
1004.11/1006.71 c #Conflicts: 423000 | #Constraints: 18668
1004.11/1006.71 c #Conflicts: 424000 | #Constraints: 19668
1004.11/1006.71 c #Conflicts: 425000 | #Constraints: 20668
1004.11/1006.71 c #Conflicts: 426000 | #Constraints: 21668
1004.11/1006.71 c #Conflicts: 427000 | #Constraints: 22668
1004.11/1006.71 c #Conflicts: 428000 | #Constraints: 23668
1004.11/1006.71 c #Conflicts: 429000 | #Constraints: 24668
1004.11/1006.71 c #Conflicts: 430000 | #Constraints: 25668
1004.11/1006.71 c #Conflicts: 431000 | #Constraints: 26668
1004.11/1006.71 c #Conflicts: 432000 | #Constraints: 27668
1004.11/1006.71 c #Conflicts: 433000 | #Constraints: 28668
1004.11/1006.71 c INPROCESSING
1004.11/1006.71 c GARBAGE COLLECT
1004.11/1006.71 c #Conflicts: 434000 | #Constraints: 16669
1004.11/1006.71 c #Conflicts: 435000 | #Constraints: 17669
1004.11/1006.71 c #Conflicts: 436000 | #Constraints: 18669
1004.11/1006.71 c #Conflicts: 437000 | #Constraints: 19669
1004.11/1006.71 c #Conflicts: 438000 | #Constraints: 20669
1004.11/1006.71 c #Conflicts: 439000 | #Constraints: 21669
1004.11/1006.71 c #Conflicts: 440000 | #Constraints: 22669
1004.11/1006.71 c #Conflicts: 441000 | #Constraints: 23669
1004.11/1006.71 c #Conflicts: 442000 | #Constraints: 24669
1004.11/1006.71 c #Conflicts: 443000 | #Constraints: 25669
1004.11/1006.71 c #Conflicts: 444000 | #Constraints: 26669
1173.71/1176.73 c #Conflicts: 445000 | #Constraints: 27669
1173.71/1176.73 c #Conflicts: 446000 | #Constraints: 28669
1173.71/1176.73 c INPROCESSING
1173.71/1176.73 c GARBAGE COLLECT
1173.71/1176.73 c #Conflicts: 447000 | #Constraints: 16475
1173.71/1176.73 c #Conflicts: 448000 | #Constraints: 17475
1173.71/1176.73 c #Conflicts: 449000 | #Constraints: 18475
1173.71/1176.73 c #Conflicts: 450000 | #Constraints: 19475
1173.71/1176.73 c #Conflicts: 451000 | #Constraints: 20475
1173.71/1176.73 c #Conflicts: 452000 | #Constraints: 21475
1173.71/1176.73 c #Conflicts: 453000 | #Constraints: 22475
1173.71/1176.73 c #Conflicts: 454000 | #Constraints: 23475
1173.71/1176.73 c #Conflicts: 455000 | #Constraints: 24475
1173.71/1176.73 c #Conflicts: 456000 | #Constraints: 25475
1173.71/1176.73 c #Conflicts: 457000 | #Constraints: 26475
1173.71/1176.73 c #Conflicts: 458000 | #Constraints: 27475
1173.71/1176.73 c #Conflicts: 459000 | #Constraints: 28475
1173.71/1176.73 c #Conflicts: 460000 | #Constraints: 29475
1173.71/1176.73 c INPROCESSING
1173.71/1176.73 c GARBAGE COLLECT
1173.71/1176.73 c #Conflicts: 461000 | #Constraints: 17080
1173.71/1176.73 c #Conflicts: 462000 | #Constraints: 18080
1173.71/1176.73 c #Conflicts: 463000 | #Constraints: 19080
1173.71/1176.73 c #Conflicts: 464000 | #Constraints: 20080
1173.71/1176.73 c #Conflicts: 465000 | #Constraints: 21080
1173.71/1176.73 c #Conflicts: 466000 | #Constraints: 22080
1173.71/1176.73 c #Conflicts: 467000 | #Constraints: 23080
1173.71/1176.73 c #Conflicts: 468000 | #Constraints: 24080
1173.71/1176.73 c #Conflicts: 469000 | #Constraints: 25080
1173.71/1176.73 c #Conflicts: 470000 | #Constraints: 26080
1173.71/1176.73 c #Conflicts: 471000 | #Constraints: 27080
1173.71/1176.73 c #Conflicts: 472000 | #Constraints: 28080
1173.71/1176.73 c #Conflicts: 473000 | #Constraints: 29080
1173.71/1176.73 c #Conflicts: 474000 | #Constraints: 30080
1173.71/1176.73 c INPROCESSING
1173.71/1176.73 c GARBAGE COLLECT
1173.71/1176.73 c #Conflicts: 475000 | #Constraints: 17486
1173.71/1176.73 c #Conflicts: 476000 | #Constraints: 18486
1173.71/1176.73 c #Conflicts: 477000 | #Constraints: 19486
1173.71/1176.73 c #Conflicts: 478000 | #Constraints: 20486
1173.71/1176.73 c #Conflicts: 479000 | #Constraints: 21486
1173.71/1176.73 c #Conflicts: 480000 | #Constraints: 22486
1173.71/1176.73 c #Conflicts: 481000 | #Constraints: 23486
1173.71/1176.73 c #Conflicts: 482000 | #Constraints: 24486
1173.71/1176.73 c #Conflicts: 483000 | #Constraints: 25486
1173.71/1176.73 c #Conflicts: 484000 | #Constraints: 26486
1173.71/1176.73 c #Conflicts: 485000 | #Constraints: 27486
1173.71/1176.73 c #Conflicts: 486000 | #Constraints: 28486
1173.71/1176.73 c #Conflicts: 487000 | #Constraints: 29486
1173.71/1176.73 c #Conflicts: 488000 | #Constraints: 30486
1173.71/1176.73 c INPROCESSING
1173.71/1176.73 c GARBAGE COLLECT
1173.71/1176.73 c #Conflicts: 489000 | #Constraints: 17688
1173.71/1176.73 c #Conflicts: 490000 | #Constraints: 18688
1173.71/1176.73 c #Conflicts: 491000 | #Constraints: 19688
1173.71/1176.73 c #Conflicts: 492000 | #Constraints: 20688
1173.71/1176.73 c #Conflicts: 493000 | #Constraints: 21688
1173.71/1176.73 c #Conflicts: 494000 | #Constraints: 22688
1173.71/1176.73 c #Conflicts: 495000 | #Constraints: 23688
1173.71/1176.73 c #Conflicts: 496000 | #Constraints: 24688
1173.71/1176.73 c #Conflicts: 497000 | #Constraints: 25688
1173.71/1176.73 c #Conflicts: 498000 | #Constraints: 26688
1173.71/1176.73 c #Conflicts: 499000 | #Constraints: 27688
1173.71/1176.73 c #Conflicts: 500000 | #Constraints: 28688
1173.71/1176.73 c #Conflicts: 501000 | #Constraints: 29688
1173.71/1176.73 c #Conflicts: 502000 | #Constraints: 30688
1173.71/1176.73 c INPROCESSING
1173.71/1176.73 c GARBAGE COLLECT
1173.71/1176.73 c #Conflicts: 503000 | #Constraints: 17690
1173.71/1176.73 c #Conflicts: 504000 | #Constraints: 18690
1173.71/1176.73 c #Conflicts: 505000 | #Constraints: 19690
1173.71/1176.73 c #Conflicts: 506000 | #Constraints: 20690
1173.71/1176.73 c #Conflicts: 507000 | #Constraints: 21690
1173.71/1176.73 c #Conflicts: 508000 | #Constraints: 22690
1173.71/1176.73 c #Conflicts: 509000 | #Constraints: 23690
1173.71/1176.73 c #Conflicts: 510000 | #Constraints: 24690
1173.71/1176.73 c #Conflicts: 511000 | #Constraints: 25690
1173.71/1176.73 c #Conflicts: 512000 | #Constraints: 26690
1173.71/1176.73 c #Conflicts: 513000 | #Constraints: 27690
1173.71/1176.73 c #Conflicts: 514000 | #Constraints: 28690
1173.71/1176.73 c #Conflicts: 515000 | #Constraints: 29690
1173.71/1176.73 c #Conflicts: 516000 | #Constraints: 30690
1173.71/1176.73 c INPROCESSING
1173.71/1176.73 c GARBAGE COLLECT
1173.71/1176.73 c #Conflicts: 517000 | #Constraints: 17496
1173.71/1176.73 c #Conflicts: 518000 | #Constraints: 18496
1173.71/1176.73 c #Conflicts: 519000 | #Constraints: 19496
1362.98/1366.41 c #Conflicts: 520000 | #Constraints: 20496
1362.98/1366.41 c #Conflicts: 521000 | #Constraints: 21496
1362.98/1366.41 c #Conflicts: 522000 | #Constraints: 22496
1362.98/1366.41 c #Conflicts: 523000 | #Constraints: 23496
1362.98/1366.41 c #Conflicts: 524000 | #Constraints: 24496
1362.98/1366.41 c #Conflicts: 525000 | #Constraints: 25496
1362.98/1366.41 c #Conflicts: 526000 | #Constraints: 26496
1362.98/1366.41 c #Conflicts: 527000 | #Constraints: 27496
1362.98/1366.41 c #Conflicts: 528000 | #Constraints: 28496
1362.98/1366.41 c #Conflicts: 529000 | #Constraints: 29496
1362.98/1366.41 c #Conflicts: 530000 | #Constraints: 30496
1362.98/1366.41 c #Conflicts: 531000 | #Constraints: 31496
1362.98/1366.41 c INPROCESSING
1362.98/1366.41 c GARBAGE COLLECT
1362.98/1366.41 c #Conflicts: 532000 | #Constraints: 18101
1362.98/1366.41 c #Conflicts: 533000 | #Constraints: 19101
1362.98/1366.41 c #Conflicts: 534000 | #Constraints: 20101
1362.98/1366.41 c #Conflicts: 535000 | #Constraints: 21101
1362.98/1366.41 c #Conflicts: 536000 | #Constraints: 22101
1362.98/1366.41 c #Conflicts: 537000 | #Constraints: 23101
1362.98/1366.41 c #Conflicts: 538000 | #Constraints: 24101
1362.98/1366.41 c #Conflicts: 539000 | #Constraints: 25101
1362.98/1366.41 c #Conflicts: 540000 | #Constraints: 26101
1362.98/1366.41 c #Conflicts: 541000 | #Constraints: 27101
1362.98/1366.41 c #Conflicts: 542000 | #Constraints: 28101
1362.98/1366.41 c #Conflicts: 543000 | #Constraints: 29101
1362.98/1366.41 c #Conflicts: 544000 | #Constraints: 30101
1362.98/1366.41 c #Conflicts: 545000 | #Constraints: 31101
1362.98/1366.41 c #Conflicts: 546000 | #Constraints: 32101
1362.98/1366.41 c INPROCESSING
1362.98/1366.41 c GARBAGE COLLECT
1362.98/1366.41 c #Conflicts: 547000 | #Constraints: 18502
1362.98/1366.41 c #Conflicts: 548000 | #Constraints: 19502
1362.98/1366.41 c #Conflicts: 549000 | #Constraints: 20502
1362.98/1366.41 c #Conflicts: 550000 | #Constraints: 21502
1362.98/1366.41 c #Conflicts: 551000 | #Constraints: 22502
1362.98/1366.41 c #Conflicts: 552000 | #Constraints: 23502
1362.98/1366.41 c #Conflicts: 553000 | #Constraints: 24502
1362.98/1366.41 c #Conflicts: 554000 | #Constraints: 25502
1362.98/1366.41 c #Conflicts: 555000 | #Constraints: 26502
1362.98/1366.41 c #Conflicts: 556000 | #Constraints: 27502
1362.98/1366.41 c #Conflicts: 557000 | #Constraints: 28502
1362.98/1366.41 c #Conflicts: 558000 | #Constraints: 29502
1362.98/1366.41 c #Conflicts: 559000 | #Constraints: 30502
1362.98/1366.41 c #Conflicts: 560000 | #Constraints: 31502
1362.98/1366.41 c #Conflicts: 561000 | #Constraints: 32502
1362.98/1366.41 c INPROCESSING
1362.98/1366.41 c GARBAGE COLLECT
1362.98/1366.41 c #Conflicts: 562000 | #Constraints: 18708
1362.98/1366.41 c #Conflicts: 563000 | #Constraints: 19708
1362.98/1366.41 c #Conflicts: 564000 | #Constraints: 20708
1362.98/1366.41 c #Conflicts: 565000 | #Constraints: 21708
1362.98/1366.41 c #Conflicts: 566000 | #Constraints: 22708
1362.98/1366.41 c #Conflicts: 567000 | #Constraints: 23708
1362.98/1366.41 c #Conflicts: 568000 | #Constraints: 24708
1362.98/1366.41 c #Conflicts: 569000 | #Constraints: 25708
1362.98/1366.41 c #Conflicts: 570000 | #Constraints: 26708
1362.98/1366.41 c #Conflicts: 571000 | #Constraints: 27708
1362.98/1366.41 c #Conflicts: 572000 | #Constraints: 28708
1362.98/1366.41 c #Conflicts: 573000 | #Constraints: 29708
1362.98/1366.41 c #Conflicts: 574000 | #Constraints: 30708
1362.98/1366.41 c #Conflicts: 575000 | #Constraints: 31708
1362.98/1366.41 c #Conflicts: 576000 | #Constraints: 32708
1362.98/1366.41 c INPROCESSING
1362.98/1366.41 c GARBAGE COLLECT
1362.98/1366.41 c #Conflicts: 577000 | #Constraints: 18711
1362.98/1366.41 c #Conflicts: 578000 | #Constraints: 19711
1362.98/1366.41 c #Conflicts: 579000 | #Constraints: 20711
1362.98/1366.41 c #Conflicts: 580000 | #Constraints: 21711
1362.98/1366.41 c #Conflicts: 581000 | #Constraints: 22711
1362.98/1366.41 c #Conflicts: 582000 | #Constraints: 23711
1362.98/1366.41 c #Conflicts: 583000 | #Constraints: 24711
1362.98/1366.41 c #Conflicts: 584000 | #Constraints: 25711
1362.98/1366.41 c #Conflicts: 585000 | #Constraints: 26711
1362.98/1366.41 c #Conflicts: 586000 | #Constraints: 27711
1362.98/1366.41 c #Conflicts: 587000 | #Constraints: 28711
1362.98/1366.41 c #Conflicts: 588000 | #Constraints: 29711
1362.98/1366.41 c #Conflicts: 589000 | #Constraints: 30711
1362.98/1366.41 c #Conflicts: 590000 | #Constraints: 31711
1362.98/1366.41 c #Conflicts: 591000 | #Constraints: 32711
1362.98/1366.41 c INPROCESSING
1362.98/1366.41 c GARBAGE COLLECT
1362.98/1366.41 c #Conflicts: 592000 | #Constraints: 18516
1362.98/1366.41 c #Conflicts: 593000 | #Constraints: 19516
1362.98/1366.41 c #Conflicts: 594000 | #Constraints: 20516
1567.65/1571.79 c #Conflicts: 595000 | #Constraints: 21516
1567.65/1571.79 c #Conflicts: 596000 | #Constraints: 22516
1567.65/1571.79 c #Conflicts: 597000 | #Constraints: 23516
1567.65/1571.79 c #Conflicts: 598000 | #Constraints: 24516
1567.65/1571.79 c #Conflicts: 599000 | #Constraints: 25516
1567.65/1571.79 c #Conflicts: 600000 | #Constraints: 26516
1567.65/1571.79 c #Conflicts: 601000 | #Constraints: 27516
1567.65/1571.79 c #Conflicts: 602000 | #Constraints: 28516
1567.65/1571.79 c #Conflicts: 603000 | #Constraints: 29516
1567.65/1571.79 c #Conflicts: 604000 | #Constraints: 30516
1567.65/1571.79 c #Conflicts: 605000 | #Constraints: 31516
1567.65/1571.79 c #Conflicts: 606000 | #Constraints: 32516
1567.65/1571.79 c #Conflicts: 607000 | #Constraints: 33516
1567.65/1571.79 c INPROCESSING
1567.65/1571.79 c GARBAGE COLLECT
1567.65/1571.79 c #Conflicts: 608000 | #Constraints: 19118
1567.65/1571.79 c #Conflicts: 609000 | #Constraints: 20118
1567.65/1571.79 c #Conflicts: 610000 | #Constraints: 21118
1567.65/1571.79 c #Conflicts: 611000 | #Constraints: 22118
1567.65/1571.79 c #Conflicts: 612000 | #Constraints: 23118
1567.65/1571.79 c #Conflicts: 613000 | #Constraints: 24118
1567.65/1571.79 c #Conflicts: 614000 | #Constraints: 25118
1567.65/1571.79 c #Conflicts: 615000 | #Constraints: 26118
1567.65/1571.79 c #Conflicts: 616000 | #Constraints: 27118
1567.65/1571.79 c #Conflicts: 617000 | #Constraints: 28118
1567.65/1571.79 c #Conflicts: 618000 | #Constraints: 29118
1567.65/1571.79 c #Conflicts: 619000 | #Constraints: 30118
1567.65/1571.79 c #Conflicts: 620000 | #Constraints: 31118
1567.65/1571.79 c #Conflicts: 621000 | #Constraints: 32118
1567.65/1571.79 c #Conflicts: 622000 | #Constraints: 33118
1567.65/1571.79 c #Conflicts: 623000 | #Constraints: 34118
1567.65/1571.79 c INPROCESSING
1567.65/1571.79 c GARBAGE COLLECT
1567.65/1571.79 c #Conflicts: 624000 | #Constraints: 19520
1567.65/1571.79 c #Conflicts: 625000 | #Constraints: 20520
1567.65/1571.79 c #Conflicts: 626000 | #Constraints: 21520
1567.65/1571.79 c #Conflicts: 627000 | #Constraints: 22520
1567.65/1571.79 c #Conflicts: 628000 | #Constraints: 23520
1567.65/1571.79 c #Conflicts: 629000 | #Constraints: 24520
1567.65/1571.79 c #Conflicts: 630000 | #Constraints: 25520
1567.65/1571.79 c #Conflicts: 631000 | #Constraints: 26520
1567.65/1571.79 c #Conflicts: 632000 | #Constraints: 27520
1567.65/1571.79 c #Conflicts: 633000 | #Constraints: 28520
1567.65/1571.79 c #Conflicts: 634000 | #Constraints: 29520
1567.65/1571.79 c #Conflicts: 635000 | #Constraints: 30520
1567.65/1571.79 c #Conflicts: 636000 | #Constraints: 31520
1567.65/1571.79 c #Conflicts: 637000 | #Constraints: 32520
1567.65/1571.79 c #Conflicts: 638000 | #Constraints: 33520
1567.65/1571.79 c #Conflicts: 639000 | #Constraints: 34520
1567.65/1571.79 c INPROCESSING
1567.65/1571.79 c GARBAGE COLLECT
1567.65/1571.79 c #Conflicts: 640000 | #Constraints: 19723
1567.65/1571.79 c #Conflicts: 641000 | #Constraints: 20723
1567.65/1571.79 c #Conflicts: 642000 | #Constraints: 21723
1567.65/1571.79 c #Conflicts: 643000 | #Constraints: 22723
1567.65/1571.79 c #Conflicts: 644000 | #Constraints: 23723
1567.65/1571.79 c #Conflicts: 645000 | #Constraints: 24723
1567.65/1571.79 c #Conflicts: 646000 | #Constraints: 25723
1567.65/1571.79 c #Conflicts: 647000 | #Constraints: 26723
1567.65/1571.79 c #Conflicts: 648000 | #Constraints: 27723
1567.65/1571.79 c #Conflicts: 649000 | #Constraints: 28723
1567.65/1571.79 c #Conflicts: 650000 | #Constraints: 29723
1567.65/1571.79 c #Conflicts: 651000 | #Constraints: 30723
1567.65/1571.79 c #Conflicts: 652000 | #Constraints: 31723
1567.65/1571.79 c #Conflicts: 653000 | #Constraints: 32723
1567.65/1571.79 c #Conflicts: 654000 | #Constraints: 33723
1567.65/1571.79 c #Conflicts: 655000 | #Constraints: 34723
1567.65/1571.79 c INPROCESSING
1567.65/1571.79 c GARBAGE COLLECT
1567.65/1571.79 c #Conflicts: 656000 | #Constraints: 19724
1567.65/1571.79 c #Conflicts: 657000 | #Constraints: 20724
1567.65/1571.79 c #Conflicts: 658000 | #Constraints: 21724
1567.65/1571.79 c #Conflicts: 659000 | #Constraints: 22724
1567.65/1571.79 c #Conflicts: 660000 | #Constraints: 23724
1567.65/1571.79 c #Conflicts: 661000 | #Constraints: 24724
1567.65/1571.79 c #Conflicts: 662000 | #Constraints: 25724
1567.65/1571.79 c #Conflicts: 663000 | #Constraints: 26724
1567.65/1571.79 c #Conflicts: 664000 | #Constraints: 27724
1567.65/1571.79 c #Conflicts: 665000 | #Constraints: 28724
1567.65/1571.79 c #Conflicts: 666000 | #Constraints: 29724
1567.65/1571.79 c #Conflicts: 667000 | #Constraints: 30724
1567.65/1571.79 c #Conflicts: 668000 | #Constraints: 31724
1567.65/1571.79 c #Conflicts: 669000 | #Constraints: 32724
1567.65/1571.79 c #Conflicts: 670000 | #Constraints: 33724
1567.65/1571.79 c #Conflicts: 671000 | #Constraints: 34724
1774.55/1779.24 c INPROCESSING
1774.55/1779.24 c GARBAGE COLLECT
1774.55/1779.24 c #Conflicts: 672000 | #Constraints: 19522
1774.55/1779.24 c #Conflicts: 673000 | #Constraints: 20522
1774.55/1779.24 c #Conflicts: 674000 | #Constraints: 21522
1774.55/1779.24 c #Conflicts: 675000 | #Constraints: 22522
1774.55/1779.24 c #Conflicts: 676000 | #Constraints: 23522
1774.55/1779.24 c #Conflicts: 677000 | #Constraints: 24522
1774.55/1779.24 c #Conflicts: 678000 | #Constraints: 25522
1774.55/1779.24 c #Conflicts: 679000 | #Constraints: 26522
1774.55/1779.24 c #Conflicts: 680000 | #Constraints: 27522
1774.55/1779.24 c #Conflicts: 681000 | #Constraints: 28522
1774.55/1779.24 c #Conflicts: 682000 | #Constraints: 29522
1774.55/1779.24 c #Conflicts: 683000 | #Constraints: 30522
1774.55/1779.24 c #Conflicts: 684000 | #Constraints: 31522
1774.55/1779.24 c #Conflicts: 685000 | #Constraints: 32522
1774.55/1779.24 c #Conflicts: 686000 | #Constraints: 33522
1774.55/1779.24 c #Conflicts: 687000 | #Constraints: 34522
1774.55/1779.24 c #Conflicts: 688000 | #Constraints: 35522
1774.55/1779.24 c INPROCESSING
1774.55/1779.24 c GARBAGE COLLECT
1774.55/1779.24 c #Conflicts: 689000 | #Constraints: 20125
1774.55/1779.24 c #Conflicts: 690000 | #Constraints: 21125
1774.55/1779.24 c #Conflicts: 691000 | #Constraints: 22125
1774.55/1779.24 c #Conflicts: 692000 | #Constraints: 23125
1774.55/1779.24 c #Conflicts: 693000 | #Constraints: 24125
1774.55/1779.24 c #Conflicts: 694000 | #Constraints: 25125
1774.55/1779.24 c #Conflicts: 695000 | #Constraints: 26125
1774.55/1779.24 c #Conflicts: 696000 | #Constraints: 27125
1774.55/1779.24 c #Conflicts: 697000 | #Constraints: 28125
1774.55/1779.24 c #Conflicts: 698000 | #Constraints: 29125
1774.55/1779.24 c #Conflicts: 699000 | #Constraints: 30125
1774.55/1779.24 c #Conflicts: 700000 | #Constraints: 31125
1774.55/1779.24 c #Conflicts: 701000 | #Constraints: 32125
1774.55/1779.24 c #Conflicts: 702000 | #Constraints: 33125
1774.55/1779.24 c #Conflicts: 703000 | #Constraints: 34125
1774.55/1779.24 c #Conflicts: 704000 | #Constraints: 35125
1774.55/1779.24 c #Conflicts: 705000 | #Constraints: 36125
1774.55/1779.24 c INPROCESSING
1774.55/1779.24 c GARBAGE COLLECT
1774.55/1779.24 c #Conflicts: 706000 | #Constraints: 20527
1774.55/1779.24 c #Conflicts: 707000 | #Constraints: 21527
1774.55/1779.24 c #Conflicts: 708000 | #Constraints: 22527
1774.55/1779.24 c #Conflicts: 709000 | #Constraints: 23527
1774.55/1779.24 c #Conflicts: 710000 | #Constraints: 24527
1774.55/1779.24 c #Conflicts: 711000 | #Constraints: 25527
1774.55/1779.24 c #Conflicts: 712000 | #Constraints: 26527
1774.55/1779.24 c #Conflicts: 713000 | #Constraints: 27527
1774.55/1779.24 c #Conflicts: 714000 | #Constraints: 28527
1774.55/1779.24 c #Conflicts: 715000 | #Constraints: 29527
1774.55/1779.24 c #Conflicts: 716000 | #Constraints: 30527
1774.55/1779.24 c #Conflicts: 717000 | #Constraints: 31527
1774.55/1779.24 c #Conflicts: 718000 | #Constraints: 32527
1774.55/1779.24 c #Conflicts: 719000 | #Constraints: 33527
1774.55/1779.24 c #Conflicts: 720000 | #Constraints: 34527
1774.55/1779.24 c #Conflicts: 721000 | #Constraints: 35527
1774.55/1779.24 c #Conflicts: 722000 | #Constraints: 36527
1774.55/1779.24 c INPROCESSING
1774.55/1779.24 c GARBAGE COLLECT
1774.55/1779.24 c #Conflicts: 723000 | #Constraints: 20730
1774.55/1779.24 c #Conflicts: 724000 | #Constraints: 21730
1774.55/1779.24 c #Conflicts: 725000 | #Constraints: 22730
1774.55/1779.24 c #Conflicts: 726000 | #Constraints: 23730
1774.55/1779.24 c #Conflicts: 727000 | #Constraints: 24730
1774.55/1779.24 c #Conflicts: 728000 | #Constraints: 25730
1774.55/1779.24 c #Conflicts: 729000 | #Constraints: 26730
1774.55/1779.24 c #Conflicts: 730000 | #Constraints: 27730
1774.55/1779.24 c #Conflicts: 731000 | #Constraints: 28730
1774.55/1779.24 c #Conflicts: 732000 | #Constraints: 29730
1774.55/1779.24 c #Conflicts: 733000 | #Constraints: 30730
1774.55/1779.24 c #Conflicts: 734000 | #Constraints: 31730
1774.55/1779.24 c #Conflicts: 735000 | #Constraints: 32730
1774.55/1779.24 c #Conflicts: 736000 | #Constraints: 33730
1774.55/1779.24 c #Conflicts: 737000 | #Constraints: 34730
1774.55/1779.24 c #Conflicts: 738000 | #Constraints: 35730
1774.55/1779.24 c #Conflicts: 739000 | #Constraints: 36730
1774.55/1779.24 c INPROCESSING
1774.55/1779.24 c GARBAGE COLLECT
1774.55/1779.24 c #Conflicts: 740000 | #Constraints: 20731
1774.55/1779.24 c #Conflicts: 741000 | #Constraints: 21731
1774.55/1779.24 c #Conflicts: 742000 | #Constraints: 22731
1774.55/1779.24 c #Conflicts: 743000 | #Constraints: 23731
1774.55/1779.24 c #Conflicts: 744000 | #Constraints: 24731
1774.55/1779.24 c #Conflicts: 745000 | #Constraints: 25731
1774.55/1779.24 c #Conflicts: 746000 | #Constraints: 26731
2014.46/2019.87 c #Conflicts: 747000 | #Constraints: 27731
2014.46/2019.87 c #Conflicts: 748000 | #Constraints: 28731
2014.46/2019.87 c #Conflicts: 749000 | #Constraints: 29731
2014.46/2019.87 c #Conflicts: 750000 | #Constraints: 30731
2014.46/2019.87 c #Conflicts: 751000 | #Constraints: 31731
2014.46/2019.87 c #Conflicts: 752000 | #Constraints: 32731
2014.46/2019.87 c #Conflicts: 753000 | #Constraints: 33731
2014.46/2019.87 c #Conflicts: 754000 | #Constraints: 34731
2014.46/2019.87 c #Conflicts: 755000 | #Constraints: 35731
2014.46/2019.87 c #Conflicts: 756000 | #Constraints: 36731
2014.46/2019.87 c INPROCESSING
2014.46/2019.87 c GARBAGE COLLECT
2014.46/2019.87 c #Conflicts: 757000 | #Constraints: 20531
2014.46/2019.87 c #Conflicts: 758000 | #Constraints: 21531
2014.46/2019.87 c #Conflicts: 759000 | #Constraints: 22531
2014.46/2019.87 c #Conflicts: 760000 | #Constraints: 23531
2014.46/2019.87 c #Conflicts: 761000 | #Constraints: 24531
2014.46/2019.87 c #Conflicts: 762000 | #Constraints: 25531
2014.46/2019.87 c #Conflicts: 763000 | #Constraints: 26531
2014.46/2019.87 c #Conflicts: 764000 | #Constraints: 27531
2014.46/2019.87 c #Conflicts: 765000 | #Constraints: 28531
2014.46/2019.87 c #Conflicts: 766000 | #Constraints: 29531
2014.46/2019.87 c #Conflicts: 767000 | #Constraints: 30531
2014.46/2019.87 c #Conflicts: 768000 | #Constraints: 31531
2014.46/2019.87 c #Conflicts: 769000 | #Constraints: 32531
2014.46/2019.87 c #Conflicts: 770000 | #Constraints: 33531
2014.46/2019.87 c #Conflicts: 771000 | #Constraints: 34531
2014.46/2019.87 c #Conflicts: 772000 | #Constraints: 35531
2014.46/2019.87 c #Conflicts: 773000 | #Constraints: 36531
2014.46/2019.87 c #Conflicts: 774000 | #Constraints: 37531
2014.46/2019.87 c INPROCESSING
2014.46/2019.87 c GARBAGE COLLECT
2014.46/2019.87 c #Conflicts: 775000 | #Constraints: 21133
2014.46/2019.87 c #Conflicts: 776000 | #Constraints: 22133
2014.46/2019.87 c #Conflicts: 777000 | #Constraints: 23133
2014.46/2019.87 c #Conflicts: 778000 | #Constraints: 24133
2014.46/2019.87 c #Conflicts: 779000 | #Constraints: 25133
2014.46/2019.87 c #Conflicts: 780000 | #Constraints: 26133
2014.46/2019.87 c #Conflicts: 781000 | #Constraints: 27133
2014.46/2019.87 c #Conflicts: 782000 | #Constraints: 28133
2014.46/2019.87 c #Conflicts: 783000 | #Constraints: 29133
2014.46/2019.87 c #Conflicts: 784000 | #Constraints: 30133
2014.46/2019.87 c #Conflicts: 785000 | #Constraints: 31133
2014.46/2019.87 c #Conflicts: 786000 | #Constraints: 32133
2014.46/2019.87 c #Conflicts: 787000 | #Constraints: 33133
2014.46/2019.87 c #Conflicts: 788000 | #Constraints: 34133
2014.46/2019.87 c #Conflicts: 789000 | #Constraints: 35133
2014.46/2019.87 c #Conflicts: 790000 | #Constraints: 36133
2014.46/2019.87 c #Conflicts: 791000 | #Constraints: 37133
2014.46/2019.87 c #Conflicts: 792000 | #Constraints: 38133
2014.46/2019.87 c INPROCESSING
2014.46/2019.87 c GARBAGE COLLECT
2014.46/2019.87 c #Conflicts: 793000 | #Constraints: 21532
2014.46/2019.87 c #Conflicts: 794000 | #Constraints: 22532
2014.46/2019.87 c #Conflicts: 795000 | #Constraints: 23532
2014.46/2019.87 c #Conflicts: 796000 | #Constraints: 24532
2014.46/2019.87 c #Conflicts: 797000 | #Constraints: 25532
2014.46/2019.87 c #Conflicts: 798000 | #Constraints: 26532
2014.46/2019.87 c #Conflicts: 799000 | #Constraints: 27532
2014.46/2019.87 c #Conflicts: 800000 | #Constraints: 28532
2014.46/2019.87 c #Conflicts: 801000 | #Constraints: 29532
2014.46/2019.87 c #Conflicts: 802000 | #Constraints: 30532
2014.46/2019.87 c #Conflicts: 803000 | #Constraints: 31532
2014.46/2019.87 c #Conflicts: 804000 | #Constraints: 32532
2014.46/2019.87 c #Conflicts: 805000 | #Constraints: 33532
2014.46/2019.87 c #Conflicts: 806000 | #Constraints: 34532
2014.46/2019.87 c #Conflicts: 807000 | #Constraints: 35532
2014.46/2019.87 c #Conflicts: 808000 | #Constraints: 36532
2014.46/2019.87 c #Conflicts: 809000 | #Constraints: 37532
2014.46/2019.87 c #Conflicts: 810000 | #Constraints: 38532
2014.46/2019.87 c INPROCESSING
2014.46/2019.87 c GARBAGE COLLECT
2014.46/2019.87 c #Conflicts: 811000 | #Constraints: 21735
2014.46/2019.87 c #Conflicts: 812000 | #Constraints: 22735
2014.46/2019.87 c #Conflicts: 813000 | #Constraints: 23735
2014.46/2019.87 c #Conflicts: 814000 | #Constraints: 24735
2014.46/2019.87 c #Conflicts: 815000 | #Constraints: 25735
2014.46/2019.87 c #Conflicts: 816000 | #Constraints: 26735
2014.46/2019.87 c #Conflicts: 817000 | #Constraints: 27735
2014.46/2019.87 c #Conflicts: 818000 | #Constraints: 28735
2014.46/2019.87 c #Conflicts: 819000 | #Constraints: 29735
2014.46/2019.87 c #Conflicts: 820000 | #Constraints: 30735
2014.46/2019.87 c #Conflicts: 821000 | #Constraints: 31735
2014.46/2019.87 c #Conflicts: 822000 | #Constraints: 32735
2271.73/2277.81 c #Conflicts: 823000 | #Constraints: 33735
2271.73/2277.81 c #Conflicts: 824000 | #Constraints: 34735
2271.73/2277.81 c #Conflicts: 825000 | #Constraints: 35735
2271.73/2277.81 c #Conflicts: 826000 | #Constraints: 36735
2271.73/2277.81 c #Conflicts: 827000 | #Constraints: 37735
2271.73/2277.81 c #Conflicts: 828000 | #Constraints: 38735
2271.73/2277.81 c INPROCESSING
2271.73/2277.81 c GARBAGE COLLECT
2271.73/2277.81 c #Conflicts: 829000 | #Constraints: 21733
2271.73/2277.81 c #Conflicts: 830000 | #Constraints: 22733
2271.73/2277.81 c #Conflicts: 831000 | #Constraints: 23733
2271.73/2277.81 c #Conflicts: 832000 | #Constraints: 24733
2271.73/2277.81 c #Conflicts: 833000 | #Constraints: 25733
2271.73/2277.81 c #Conflicts: 834000 | #Constraints: 26733
2271.73/2277.81 c #Conflicts: 835000 | #Constraints: 27733
2271.73/2277.81 c #Conflicts: 836000 | #Constraints: 28733
2271.73/2277.81 c #Conflicts: 837000 | #Constraints: 29733
2271.73/2277.81 c #Conflicts: 838000 | #Constraints: 30733
2271.73/2277.81 c #Conflicts: 839000 | #Constraints: 31733
2271.73/2277.81 c #Conflicts: 840000 | #Constraints: 32733
2271.73/2277.81 c #Conflicts: 841000 | #Constraints: 33733
2271.73/2277.81 c #Conflicts: 842000 | #Constraints: 34733
2271.73/2277.81 c #Conflicts: 843000 | #Constraints: 35733
2271.73/2277.81 c #Conflicts: 844000 | #Constraints: 36733
2271.73/2277.81 c #Conflicts: 845000 | #Constraints: 37733
2271.73/2277.81 c #Conflicts: 846000 | #Constraints: 38733
2271.73/2277.81 c INPROCESSING
2271.73/2277.81 c GARBAGE COLLECT
2271.73/2277.81 c #Conflicts: 847000 | #Constraints: 21537
2271.73/2277.81 c #Conflicts: 848000 | #Constraints: 22537
2271.73/2277.81 c #Conflicts: 849000 | #Constraints: 23537
2271.73/2277.81 c #Conflicts: 850000 | #Constraints: 24537
2271.73/2277.81 c #Conflicts: 851000 | #Constraints: 25537
2271.73/2277.81 c #Conflicts: 852000 | #Constraints: 26537
2271.73/2277.81 c #Conflicts: 853000 | #Constraints: 27537
2271.73/2277.81 c #Conflicts: 854000 | #Constraints: 28537
2271.73/2277.81 c #Conflicts: 855000 | #Constraints: 29537
2271.73/2277.81 c #Conflicts: 856000 | #Constraints: 30537
2271.73/2277.81 c #Conflicts: 857000 | #Constraints: 31537
2271.73/2277.81 c #Conflicts: 858000 | #Constraints: 32537
2271.73/2277.81 c #Conflicts: 859000 | #Constraints: 33537
2271.73/2277.81 c #Conflicts: 860000 | #Constraints: 34537
2271.73/2277.81 c #Conflicts: 861000 | #Constraints: 35537
2271.73/2277.81 c #Conflicts: 862000 | #Constraints: 36537
2271.73/2277.81 c #Conflicts: 863000 | #Constraints: 37537
2271.73/2277.81 c #Conflicts: 864000 | #Constraints: 38537
2271.73/2277.81 c #Conflicts: 865000 | #Constraints: 39537
2271.73/2277.81 c INPROCESSING
2271.73/2277.81 c GARBAGE COLLECT
2271.73/2277.81 c #Conflicts: 866000 | #Constraints: 22136
2271.73/2277.81 c #Conflicts: 867000 | #Constraints: 23136
2271.73/2277.81 c #Conflicts: 868000 | #Constraints: 24136
2271.73/2277.81 c #Conflicts: 869000 | #Constraints: 25136
2271.73/2277.81 c #Conflicts: 870000 | #Constraints: 26136
2271.73/2277.81 c #Conflicts: 871000 | #Constraints: 27136
2271.73/2277.81 c #Conflicts: 872000 | #Constraints: 28136
2271.73/2277.81 c #Conflicts: 873000 | #Constraints: 29136
2271.73/2277.81 c #Conflicts: 874000 | #Constraints: 30136
2271.73/2277.81 c #Conflicts: 875000 | #Constraints: 31136
2271.73/2277.81 c #Conflicts: 876000 | #Constraints: 32136
2271.73/2277.81 c #Conflicts: 877000 | #Constraints: 33136
2271.73/2277.81 c #Conflicts: 878000 | #Constraints: 34136
2271.73/2277.81 c #Conflicts: 879000 | #Constraints: 35136
2271.73/2277.81 c #Conflicts: 880000 | #Constraints: 36136
2271.73/2277.81 c #Conflicts: 881000 | #Constraints: 37136
2271.73/2277.81 c #Conflicts: 882000 | #Constraints: 38136
2271.73/2277.81 c #Conflicts: 883000 | #Constraints: 39136
2271.73/2277.81 c #Conflicts: 884000 | #Constraints: 40136
2271.73/2277.81 c INPROCESSING
2271.73/2277.81 c GARBAGE COLLECT
2271.73/2277.81 c #Conflicts: 885000 | #Constraints: 22539
2271.73/2277.81 c #Conflicts: 886000 | #Constraints: 23539
2271.73/2277.81 c #Conflicts: 887000 | #Constraints: 24539
2271.73/2277.81 c #Conflicts: 888000 | #Constraints: 25539
2271.73/2277.81 c #Conflicts: 889000 | #Constraints: 26539
2271.73/2277.81 c #Conflicts: 890000 | #Constraints: 27539
2271.73/2277.81 c #Conflicts: 891000 | #Constraints: 28539
2271.73/2277.81 c #Conflicts: 892000 | #Constraints: 29539
2271.73/2277.81 c #Conflicts: 893000 | #Constraints: 30539
2271.73/2277.81 c #Conflicts: 894000 | #Constraints: 31539
2271.73/2277.81 c #Conflicts: 895000 | #Constraints: 32539
2271.73/2277.81 c #Conflicts: 896000 | #Constraints: 33539
2271.73/2277.81 c #Conflicts: 897000 | #Constraints: 34539
2271.73/2277.81 c #Conflicts: 898000 | #Constraints: 35539
2271.73/2277.81 c #Conflicts: 899000 | #Constraints: 36539
2543.96/2550.86 c #Conflicts: 900000 | #Constraints: 37539
2543.96/2550.86 c #Conflicts: 901000 | #Constraints: 38539
2543.96/2550.86 c #Conflicts: 902000 | #Constraints: 39539
2543.96/2550.86 c #Conflicts: 903000 | #Constraints: 40539
2543.96/2550.86 c INPROCESSING
2543.96/2550.86 c GARBAGE COLLECT
2543.96/2550.86 c #Conflicts: 904000 | #Constraints: 22740
2543.96/2550.86 c #Conflicts: 905000 | #Constraints: 23740
2543.96/2550.86 c #Conflicts: 906000 | #Constraints: 24740
2543.96/2550.86 c #Conflicts: 907000 | #Constraints: 25740
2543.96/2550.86 c #Conflicts: 908000 | #Constraints: 26740
2543.96/2550.86 c #Conflicts: 909000 | #Constraints: 27740
2543.96/2550.86 c #Conflicts: 910000 | #Constraints: 28740
2543.96/2550.86 c #Conflicts: 911000 | #Constraints: 29740
2543.96/2550.86 c #Conflicts: 912000 | #Constraints: 30740
2543.96/2550.86 c #Conflicts: 913000 | #Constraints: 31740
2543.96/2550.86 c #Conflicts: 914000 | #Constraints: 32740
2543.96/2550.86 c #Conflicts: 915000 | #Constraints: 33740
2543.96/2550.86 c #Conflicts: 916000 | #Constraints: 34740
2543.96/2550.86 c #Conflicts: 917000 | #Constraints: 35740
2543.96/2550.86 c #Conflicts: 918000 | #Constraints: 36740
2543.96/2550.86 c #Conflicts: 919000 | #Constraints: 37740
2543.96/2550.86 c #Conflicts: 920000 | #Constraints: 38740
2543.96/2550.86 c #Conflicts: 921000 | #Constraints: 39740
2543.96/2550.86 c #Conflicts: 922000 | #Constraints: 40740
2543.96/2550.86 c INPROCESSING
2543.96/2550.86 c GARBAGE COLLECT
2543.96/2550.86 c #Conflicts: 923000 | #Constraints: 22739
2543.96/2550.86 c #Conflicts: 924000 | #Constraints: 23739
2543.96/2550.86 c #Conflicts: 925000 | #Constraints: 24739
2543.96/2550.86 c #Conflicts: 926000 | #Constraints: 25739
2543.96/2550.86 c #Conflicts: 927000 | #Constraints: 26739
2543.96/2550.86 c #Conflicts: 928000 | #Constraints: 27739
2543.96/2550.86 c #Conflicts: 929000 | #Constraints: 28739
2543.96/2550.86 c #Conflicts: 930000 | #Constraints: 29739
2543.96/2550.86 c #Conflicts: 931000 | #Constraints: 30739
2543.96/2550.86 c #Conflicts: 932000 | #Constraints: 31739
2543.96/2550.86 c #Conflicts: 933000 | #Constraints: 32739
2543.96/2550.86 c #Conflicts: 934000 | #Constraints: 33739
2543.96/2550.86 c #Conflicts: 935000 | #Constraints: 34739
2543.96/2550.86 c #Conflicts: 936000 | #Constraints: 35739
2543.96/2550.86 c #Conflicts: 937000 | #Constraints: 36739
2543.96/2550.86 c #Conflicts: 938000 | #Constraints: 37739
2543.96/2550.86 c #Conflicts: 939000 | #Constraints: 38739
2543.96/2550.86 c #Conflicts: 940000 | #Constraints: 39739
2543.96/2550.86 c #Conflicts: 941000 | #Constraints: 40739
2543.96/2550.86 c INPROCESSING
2543.96/2550.86 c GARBAGE COLLECT
2543.96/2550.86 c #Conflicts: 942000 | #Constraints: 22541
2543.96/2550.86 c #Conflicts: 943000 | #Constraints: 23541
2543.96/2550.86 c #Conflicts: 944000 | #Constraints: 24541
2543.96/2550.86 c #Conflicts: 945000 | #Constraints: 25541
2543.96/2550.86 c #Conflicts: 946000 | #Constraints: 26541
2543.96/2550.86 c #Conflicts: 947000 | #Constraints: 27541
2543.96/2550.86 c #Conflicts: 948000 | #Constraints: 28541
2543.96/2550.86 c #Conflicts: 949000 | #Constraints: 29541
2543.96/2550.86 c #Conflicts: 950000 | #Constraints: 30541
2543.96/2550.86 c #Conflicts: 951000 | #Constraints: 31541
2543.96/2550.86 c #Conflicts: 952000 | #Constraints: 32541
2543.96/2550.86 c #Conflicts: 953000 | #Constraints: 33541
2543.96/2550.86 c #Conflicts: 954000 | #Constraints: 34541
2543.96/2550.86 c #Conflicts: 955000 | #Constraints: 35541
2543.96/2550.86 c #Conflicts: 956000 | #Constraints: 36541
2543.96/2550.86 c #Conflicts: 957000 | #Constraints: 37541
2543.96/2550.86 c #Conflicts: 958000 | #Constraints: 38541
2543.96/2550.86 c #Conflicts: 959000 | #Constraints: 39541
2543.96/2550.86 c #Conflicts: 960000 | #Constraints: 40541
2543.96/2550.86 c #Conflicts: 961000 | #Constraints: 41541
2543.96/2550.86 c INPROCESSING
2543.96/2550.86 c GARBAGE COLLECT
2543.96/2550.86 c #Conflicts: 962000 | #Constraints: 23143
2543.96/2550.86 c #Conflicts: 963000 | #Constraints: 24143
2543.96/2550.86 c #Conflicts: 964000 | #Constraints: 25143
2543.96/2550.86 c #Conflicts: 965000 | #Constraints: 26143
2543.96/2550.86 c #Conflicts: 966000 | #Constraints: 27143
2543.96/2550.86 c #Conflicts: 967000 | #Constraints: 28143
2543.96/2550.86 c #Conflicts: 968000 | #Constraints: 29143
2543.96/2550.86 c #Conflicts: 969000 | #Constraints: 30143
2543.96/2550.86 c #Conflicts: 970000 | #Constraints: 31143
2543.96/2550.86 c #Conflicts: 971000 | #Constraints: 32143
2543.96/2550.86 c #Conflicts: 972000 | #Constraints: 33143
2543.96/2550.86 c #Conflicts: 973000 | #Constraints: 34143
2543.96/2550.86 c #Conflicts: 974000 | #Constraints: 35143
2543.96/2550.86 c #Conflicts: 975000 | #Constraints: 36143
2819.17/2826.85 c #Conflicts: 976000 | #Constraints: 37143
2819.17/2826.85 c #Conflicts: 977000 | #Constraints: 38143
2819.17/2826.85 c #Conflicts: 978000 | #Constraints: 39143
2819.17/2826.85 c #Conflicts: 979000 | #Constraints: 40143
2819.17/2826.85 c #Conflicts: 980000 | #Constraints: 41143
2819.17/2826.85 c #Conflicts: 981000 | #Constraints: 42143
2819.17/2826.85 c INPROCESSING
2819.17/2826.85 c GARBAGE COLLECT
2819.17/2826.85 c #Conflicts: 982000 | #Constraints: 23543
2819.17/2826.85 c #Conflicts: 983000 | #Constraints: 24543
2819.17/2826.85 c #Conflicts: 984000 | #Constraints: 25543
2819.17/2826.85 c #Conflicts: 985000 | #Constraints: 26543
2819.17/2826.85 c #Conflicts: 986000 | #Constraints: 27543
2819.17/2826.85 c #Conflicts: 987000 | #Constraints: 28543
2819.17/2826.85 c #Conflicts: 988000 | #Constraints: 29543
2819.17/2826.85 c #Conflicts: 989000 | #Constraints: 30543
2819.17/2826.85 c #Conflicts: 990000 | #Constraints: 31543
2819.17/2826.85 c #Conflicts: 991000 | #Constraints: 32543
2819.17/2826.85 c #Conflicts: 992000 | #Constraints: 33543
2819.17/2826.85 c #Conflicts: 993000 | #Constraints: 34543
2819.17/2826.85 c #Conflicts: 994000 | #Constraints: 35543
2819.17/2826.85 c #Conflicts: 995000 | #Constraints: 36543
2819.17/2826.85 c #Conflicts: 996000 | #Constraints: 37543
2819.17/2826.85 c #Conflicts: 997000 | #Constraints: 38543
2819.17/2826.85 c #Conflicts: 998000 | #Constraints: 39543
2819.17/2826.85 c #Conflicts: 999000 | #Constraints: 40543
2819.17/2826.85 c #Conflicts: 1000000 | #Constraints: 41543
2819.17/2826.85 c #Conflicts: 1001000 | #Constraints: 42543
2819.17/2826.85 c INPROCESSING
2819.17/2826.85 c GARBAGE COLLECT
2819.17/2826.85 c #Conflicts: 1002000 | #Constraints: 23741
2819.17/2826.85 c #Conflicts: 1003000 | #Constraints: 24741
2819.17/2826.85 c #Conflicts: 1004000 | #Constraints: 25741
2819.17/2826.85 c #Conflicts: 1005000 | #Constraints: 26741
2819.17/2826.85 c #Conflicts: 1006000 | #Constraints: 27741
2819.17/2826.85 c #Conflicts: 1007000 | #Constraints: 28741
2819.17/2826.85 c #Conflicts: 1008000 | #Constraints: 29741
2819.17/2826.85 c #Conflicts: 1009000 | #Constraints: 30741
2819.17/2826.85 c #Conflicts: 1010000 | #Constraints: 31741
2819.17/2826.85 c #Conflicts: 1011000 | #Constraints: 32741
2819.17/2826.85 c #Conflicts: 1012000 | #Constraints: 33741
2819.17/2826.85 c #Conflicts: 1013000 | #Constraints: 34741
2819.17/2826.85 c #Conflicts: 1014000 | #Constraints: 35741
2819.17/2826.85 c #Conflicts: 1015000 | #Constraints: 36741
2819.17/2826.85 c #Conflicts: 1016000 | #Constraints: 37741
2819.17/2826.85 c #Conflicts: 1017000 | #Constraints: 38741
2819.17/2826.85 c #Conflicts: 1018000 | #Constraints: 39741
2819.17/2826.85 c #Conflicts: 1019000 | #Constraints: 40741
2819.17/2826.85 c #Conflicts: 1020000 | #Constraints: 41741
2819.17/2826.85 c #Conflicts: 1021000 | #Constraints: 42741
2819.17/2826.85 c INPROCESSING
2819.17/2826.85 c GARBAGE COLLECT
2819.17/2826.85 c #Conflicts: 1022000 | #Constraints: 23743
2819.17/2826.85 c #Conflicts: 1023000 | #Constraints: 24743
2819.17/2826.85 c #Conflicts: 1024000 | #Constraints: 25743
2819.17/2826.85 c #Conflicts: 1025000 | #Constraints: 26743
2819.17/2826.85 c #Conflicts: 1026000 | #Constraints: 27743
2819.17/2826.85 c #Conflicts: 1027000 | #Constraints: 28743
2819.17/2826.85 c #Conflicts: 1028000 | #Constraints: 29743
2819.17/2826.85 c #Conflicts: 1029000 | #Constraints: 30743
2819.17/2826.85 c #Conflicts: 1030000 | #Constraints: 31743
2819.17/2826.85 c #Conflicts: 1031000 | #Constraints: 32743
2819.17/2826.85 c #Conflicts: 1032000 | #Constraints: 33743
2819.17/2826.85 c #Conflicts: 1033000 | #Constraints: 34743
2819.17/2826.85 c #Conflicts: 1034000 | #Constraints: 35743
2819.17/2826.85 c #Conflicts: 1035000 | #Constraints: 36743
2819.17/2826.85 c #Conflicts: 1036000 | #Constraints: 37743
2819.17/2826.85 c #Conflicts: 1037000 | #Constraints: 38743
2819.17/2826.85 c #Conflicts: 1038000 | #Constraints: 39743
2819.17/2826.85 c #Conflicts: 1039000 | #Constraints: 40743
2819.17/2826.85 c #Conflicts: 1040000 | #Constraints: 41743
2819.17/2826.85 c #Conflicts: 1041000 | #Constraints: 42743
2819.17/2826.85 c INPROCESSING
2819.17/2826.85 c GARBAGE COLLECT
2819.17/2826.85 c #Conflicts: 1042000 | #Constraints: 23546
2819.17/2826.85 c #Conflicts: 1043000 | #Constraints: 24546
2819.17/2826.85 c #Conflicts: 1044000 | #Constraints: 25546
2819.17/2826.85 c #Conflicts: 1045000 | #Constraints: 26546
2819.17/2826.85 c #Conflicts: 1046000 | #Constraints: 27546
2819.17/2826.85 c #Conflicts: 1047000 | #Constraints: 28546
2819.17/2826.85 c #Conflicts: 1048000 | #Constraints: 29546
2819.17/2826.85 c #Conflicts: 1049000 | #Constraints: 30546
2819.17/2826.85 c #Conflicts: 1050000 | #Constraints: 31546
2819.17/2826.85 c #Conflicts: 1051000 | #Constraints: 32546
3119.42/3127.94 c #Conflicts: 1052000 | #Constraints: 33546
3119.42/3127.94 c #Conflicts: 1053000 | #Constraints: 34546
3119.42/3127.94 c #Conflicts: 1054000 | #Constraints: 35546
3119.42/3127.94 c #Conflicts: 1055000 | #Constraints: 36546
3119.42/3127.94 c #Conflicts: 1056000 | #Constraints: 37546
3119.42/3127.94 c #Conflicts: 1057000 | #Constraints: 38546
3119.42/3127.94 c #Conflicts: 1058000 | #Constraints: 39546
3119.42/3127.94 c #Conflicts: 1059000 | #Constraints: 40546
3119.42/3127.94 c #Conflicts: 1060000 | #Constraints: 41546
3119.42/3127.94 c #Conflicts: 1061000 | #Constraints: 42546
3119.42/3127.94 c #Conflicts: 1062000 | #Constraints: 43546
3119.42/3127.94 c INPROCESSING
3119.42/3127.94 c GARBAGE COLLECT
3119.42/3127.94 c #Conflicts: 1063000 | #Constraints: 24150
3119.42/3127.94 c #Conflicts: 1064000 | #Constraints: 25150
3119.42/3127.94 c #Conflicts: 1065000 | #Constraints: 26150
3119.42/3127.94 c #Conflicts: 1066000 | #Constraints: 27150
3119.42/3127.94 c #Conflicts: 1067000 | #Constraints: 28150
3119.42/3127.94 c #Conflicts: 1068000 | #Constraints: 29150
3119.42/3127.94 c #Conflicts: 1069000 | #Constraints: 30150
3119.42/3127.94 c #Conflicts: 1070000 | #Constraints: 31150
3119.42/3127.94 c #Conflicts: 1071000 | #Constraints: 32150
3119.42/3127.94 c #Conflicts: 1072000 | #Constraints: 33150
3119.42/3127.94 c #Conflicts: 1073000 | #Constraints: 34150
3119.42/3127.94 c #Conflicts: 1074000 | #Constraints: 35150
3119.42/3127.94 c #Conflicts: 1075000 | #Constraints: 36150
3119.42/3127.94 c #Conflicts: 1076000 | #Constraints: 37150
3119.42/3127.94 c #Conflicts: 1077000 | #Constraints: 38150
3119.42/3127.94 c #Conflicts: 1078000 | #Constraints: 39150
3119.42/3127.94 c #Conflicts: 1079000 | #Constraints: 40150
3119.42/3127.94 c #Conflicts: 1080000 | #Constraints: 41150
3119.42/3127.94 c #Conflicts: 1081000 | #Constraints: 42150
3119.42/3127.94 c #Conflicts: 1082000 | #Constraints: 43150
3119.42/3127.94 c #Conflicts: 1083000 | #Constraints: 44150
3119.42/3127.94 c INPROCESSING
3119.42/3127.94 c GARBAGE COLLECT
3119.42/3127.94 c #Conflicts: 1084000 | #Constraints: 24551
3119.42/3127.94 c #Conflicts: 1085000 | #Constraints: 25551
3119.42/3127.94 c #Conflicts: 1086000 | #Constraints: 26551
3119.42/3127.94 c #Conflicts: 1087000 | #Constraints: 27551
3119.42/3127.94 c #Conflicts: 1088000 | #Constraints: 28551
3119.42/3127.94 c #Conflicts: 1089000 | #Constraints: 29551
3119.42/3127.94 c #Conflicts: 1090000 | #Constraints: 30551
3119.42/3127.94 c #Conflicts: 1091000 | #Constraints: 31551
3119.42/3127.94 c #Conflicts: 1092000 | #Constraints: 32551
3119.42/3127.94 c #Conflicts: 1093000 | #Constraints: 33551
3119.42/3127.94 c #Conflicts: 1094000 | #Constraints: 34551
3119.42/3127.94 c #Conflicts: 1095000 | #Constraints: 35551
3119.42/3127.94 c #Conflicts: 1096000 | #Constraints: 36551
3119.42/3127.94 c #Conflicts: 1097000 | #Constraints: 37551
3119.42/3127.94 c #Conflicts: 1098000 | #Constraints: 38551
3119.42/3127.94 c #Conflicts: 1099000 | #Constraints: 39551
3119.42/3127.94 c #Conflicts: 1100000 | #Constraints: 40551
3119.42/3127.94 c #Conflicts: 1101000 | #Constraints: 41551
3119.42/3127.94 c #Conflicts: 1102000 | #Constraints: 42551
3119.42/3127.94 c #Conflicts: 1103000 | #Constraints: 43551
3119.42/3127.94 c #Conflicts: 1104000 | #Constraints: 44551
3119.42/3127.94 c INPROCESSING
3119.42/3127.94 c GARBAGE COLLECT
3119.42/3127.94 c #Conflicts: 1105000 | #Constraints: 24750
3119.42/3127.94 c #Conflicts: 1106000 | #Constraints: 25750
3119.42/3127.94 c #Conflicts: 1107000 | #Constraints: 26750
3119.42/3127.94 c #Conflicts: 1108000 | #Constraints: 27750
3119.42/3127.94 c #Conflicts: 1109000 | #Constraints: 28750
3119.42/3127.94 c #Conflicts: 1110000 | #Constraints: 29750
3119.42/3127.94 c #Conflicts: 1111000 | #Constraints: 30750
3119.42/3127.94 c #Conflicts: 1112000 | #Constraints: 31750
3119.42/3127.94 c #Conflicts: 1113000 | #Constraints: 32750
3119.42/3127.94 c #Conflicts: 1114000 | #Constraints: 33750
3119.42/3127.94 c #Conflicts: 1115000 | #Constraints: 34750
3119.42/3127.94 c #Conflicts: 1116000 | #Constraints: 35750
3119.42/3127.94 c #Conflicts: 1117000 | #Constraints: 36750
3119.42/3127.94 c #Conflicts: 1118000 | #Constraints: 37750
3119.42/3127.94 c #Conflicts: 1119000 | #Constraints: 38750
3119.42/3127.94 c #Conflicts: 1120000 | #Constraints: 39750
3119.42/3127.94 c #Conflicts: 1121000 | #Constraints: 40750
3119.42/3127.94 c #Conflicts: 1122000 | #Constraints: 41750
3119.42/3127.94 c #Conflicts: 1123000 | #Constraints: 42750
3119.42/3127.94 c #Conflicts: 1124000 | #Constraints: 43750
3119.42/3127.94 c #Conflicts: 1125000 | #Constraints: 44750
3119.42/3127.94 c INPROCESSING
3119.42/3127.94 c GARBAGE COLLECT
3119.42/3127.94 c #Conflicts: 1126000 | #Constraints: 24746
3119.42/3127.94 c #Conflicts: 1127000 | #Constraints: 25746
3416.27/3425.61 c #Conflicts: 1128000 | #Constraints: 26746
3416.27/3425.61 c #Conflicts: 1129000 | #Constraints: 27746
3416.27/3425.61 c #Conflicts: 1130000 | #Constraints: 28746
3416.27/3425.61 c #Conflicts: 1131000 | #Constraints: 29746
3416.27/3425.61 c #Conflicts: 1132000 | #Constraints: 30746
3416.27/3425.61 c #Conflicts: 1133000 | #Constraints: 31746
3416.27/3425.61 c #Conflicts: 1134000 | #Constraints: 32746
3416.27/3425.61 c #Conflicts: 1135000 | #Constraints: 33746
3416.27/3425.61 c #Conflicts: 1136000 | #Constraints: 34746
3416.27/3425.61 c #Conflicts: 1137000 | #Constraints: 35746
3416.27/3425.61 c #Conflicts: 1138000 | #Constraints: 36746
3416.27/3425.61 c #Conflicts: 1139000 | #Constraints: 37746
3416.27/3425.61 c #Conflicts: 1140000 | #Constraints: 38746
3416.27/3425.61 c #Conflicts: 1141000 | #Constraints: 39746
3416.27/3425.61 c #Conflicts: 1142000 | #Constraints: 40746
3416.27/3425.61 c #Conflicts: 1143000 | #Constraints: 41746
3416.27/3425.61 c #Conflicts: 1144000 | #Constraints: 42746
3416.27/3425.61 c #Conflicts: 1145000 | #Constraints: 43746
3416.27/3425.61 c #Conflicts: 1146000 | #Constraints: 44746
3416.27/3425.61 c INPROCESSING
3416.27/3425.61 c GARBAGE COLLECT
3416.27/3425.61 c #Conflicts: 1147000 | #Constraints: 24546
3416.27/3425.61 c #Conflicts: 1148000 | #Constraints: 25546
3416.27/3425.61 c #Conflicts: 1149000 | #Constraints: 26546
3416.27/3425.61 c #Conflicts: 1150000 | #Constraints: 27546
3416.27/3425.61 c #Conflicts: 1151000 | #Constraints: 28546
3416.27/3425.61 c #Conflicts: 1152000 | #Constraints: 29546
3416.27/3425.61 c #Conflicts: 1153000 | #Constraints: 30546
3416.27/3425.61 c #Conflicts: 1154000 | #Constraints: 31546
3416.27/3425.61 c #Conflicts: 1155000 | #Constraints: 32546
3416.27/3425.61 c #Conflicts: 1156000 | #Constraints: 33546
3416.27/3425.61 c #Conflicts: 1157000 | #Constraints: 34546
3416.27/3425.61 c #Conflicts: 1158000 | #Constraints: 35546
3416.27/3425.61 c #Conflicts: 1159000 | #Constraints: 36546
3416.27/3425.61 c #Conflicts: 1160000 | #Constraints: 37546
3416.27/3425.61 c #Conflicts: 1161000 | #Constraints: 38546
3416.27/3425.61 c #Conflicts: 1162000 | #Constraints: 39546
3416.27/3425.61 c #Conflicts: 1163000 | #Constraints: 40546
3416.27/3425.61 c #Conflicts: 1164000 | #Constraints: 41546
3416.27/3425.61 c #Conflicts: 1165000 | #Constraints: 42546
3416.27/3425.61 c #Conflicts: 1166000 | #Constraints: 43546
3416.27/3425.61 c #Conflicts: 1167000 | #Constraints: 44546
3416.27/3425.61 c #Conflicts: 1168000 | #Constraints: 45546
3416.27/3425.61 c INPROCESSING
3416.27/3425.61 c GARBAGE COLLECT
3416.27/3425.61 c #Conflicts: 1169000 | #Constraints: 25146
3416.27/3425.61 c #Conflicts: 1170000 | #Constraints: 26146
3416.27/3425.61 c #Conflicts: 1171000 | #Constraints: 27146
3416.27/3425.61 c #Conflicts: 1172000 | #Constraints: 28146
3416.27/3425.61 c #Conflicts: 1173000 | #Constraints: 29146
3416.27/3425.61 c #Conflicts: 1174000 | #Constraints: 30146
3416.27/3425.61 c #Conflicts: 1175000 | #Constraints: 31146
3416.27/3425.61 c #Conflicts: 1176000 | #Constraints: 32146
3416.27/3425.61 c #Conflicts: 1177000 | #Constraints: 33146
3416.27/3425.61 c #Conflicts: 1178000 | #Constraints: 34146
3416.27/3425.61 c #Conflicts: 1179000 | #Constraints: 35146
3416.27/3425.61 c #Conflicts: 1180000 | #Constraints: 36146
3416.27/3425.61 c #Conflicts: 1181000 | #Constraints: 37146
3416.27/3425.61 c #Conflicts: 1182000 | #Constraints: 38146
3416.27/3425.61 c #Conflicts: 1183000 | #Constraints: 39146
3416.27/3425.61 c #Conflicts: 1184000 | #Constraints: 40146
3416.27/3425.61 c #Conflicts: 1185000 | #Constraints: 41146
3416.27/3425.61 c #Conflicts: 1186000 | #Constraints: 42146
3416.27/3425.61 c #Conflicts: 1187000 | #Constraints: 43146
3416.27/3425.61 c #Conflicts: 1188000 | #Constraints: 44146
3416.27/3425.61 c #Conflicts: 1189000 | #Constraints: 45146
3416.27/3425.61 c #Conflicts: 1190000 | #Constraints: 46146
3416.27/3425.61 c INPROCESSING
3416.27/3425.61 c GARBAGE COLLECT
3416.27/3425.61 c #Conflicts: 1191000 | #Constraints: 25545
3416.27/3425.61 c #Conflicts: 1192000 | #Constraints: 26545
3416.27/3425.61 c #Conflicts: 1193000 | #Constraints: 27545
3416.27/3425.61 c #Conflicts: 1194000 | #Constraints: 28545
3416.27/3425.61 c #Conflicts: 1195000 | #Constraints: 29545
3416.27/3425.61 c #Conflicts: 1196000 | #Constraints: 30545
3416.27/3425.61 c #Conflicts: 1197000 | #Constraints: 31545
3416.27/3425.61 c #Conflicts: 1198000 | #Constraints: 32545
3416.27/3425.61 c #Conflicts: 1199000 | #Constraints: 33545
3416.27/3425.61 c #Conflicts: 1200000 | #Constraints: 34545
3416.27/3425.61 c #Conflicts: 1201000 | #Constraints: 35545
3416.27/3425.61 c #Conflicts: 1202000 | #Constraints: 36545
3416.27/3425.61 c #Conflicts: 1203000 | #Constraints: 37545
3416.27/3425.61 c #Conflicts: 1204000 | #Constraints: 38545
3600.05/3609.90 c #Conflicts: 1205000 | #Constraints: 39545
3600.05/3609.90 c #Conflicts: 1206000 | #Constraints: 40545
3600.05/3609.90 c #Conflicts: 1207000 | #Constraints: 41545
3600.05/3609.90 c #Conflicts: 1208000 | #Constraints: 42545
3600.05/3609.90 c #Conflicts: 1209000 | #Constraints: 43545
3600.05/3609.90 c #Conflicts: 1210000 | #Constraints: 44545
3600.05/3609.90 c #Conflicts: 1211000 | #Constraints: 45545
3600.05/3609.90 c #Conflicts: 1212000 | #Constraints: 46545
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 1213000 | #Constraints: 25746
3600.05/3609.90 c #Conflicts: 1214000 | #Constraints: 26746
3600.05/3609.90 c #Conflicts: 1215000 | #Constraints: 27746
3600.05/3609.90 c #Conflicts: 1216000 | #Constraints: 28746
3600.05/3609.90 c #Conflicts: 1217000 | #Constraints: 29746
3600.05/3609.90 c #Conflicts: 1218000 | #Constraints: 30746
3600.05/3609.90 c #Conflicts: 1219000 | #Constraints: 31746
3600.05/3609.90 c #Conflicts: 1220000 | #Constraints: 32746
3600.05/3609.90 c #Conflicts: 1221000 | #Constraints: 33746
3600.05/3609.90 c #Conflicts: 1222000 | #Constraints: 34746
3600.05/3609.90 c #Conflicts: 1223000 | #Constraints: 35746
3600.05/3609.90 c #Conflicts: 1224000 | #Constraints: 36746
3600.05/3609.90 c #Conflicts: 1225000 | #Constraints: 37746
3600.05/3609.90 c #Conflicts: 1226000 | #Constraints: 38746
3600.05/3609.90 c #Conflicts: 1227000 | #Constraints: 39746
3600.05/3609.90 c #Conflicts: 1228000 | #Constraints: 40746
3600.05/3609.90 c #Conflicts: 1229000 | #Constraints: 41746
3600.05/3609.90 c #Conflicts: 1230000 | #Constraints: 42746
3600.05/3609.90 c #Conflicts: 1231000 | #Constraints: 43746
3600.05/3609.90 c #Conflicts: 1232000 | #Constraints: 44746
3600.05/3609.90 c #Conflicts: 1233000 | #Constraints: 45746
3600.05/3609.90 c #Conflicts: 1234000 | #Constraints: 46746
3600.05/3609.90 c INPROCESSING
3600.05/3609.90 c GARBAGE COLLECT
3600.05/3609.90 c #Conflicts: 1235000 | #Constraints: 25747
3600.05/3609.90 c #Conflicts: 1236000 | #Constraints: 26747
3600.05/3609.90 c #Conflicts: 1237000 | #Constraints: 27747
3600.05/3609.90 c #Conflicts: 1238000 | #Constraints: 28747
3600.05/3609.90 c #Conflicts: 1239000 | #Constraints: 29747
3600.05/3609.90 c #Conflicts: 1240000 | #Constraints: 30747
3600.05/3609.90 c #Conflicts: 1241000 | #Constraints: 31747
3600.05/3609.90 c #Conflicts: 1242000 | #Constraints: 32747
3600.05/3609.90 c #Conflicts: 1243000 | #Constraints: 33747
3600.05/3609.90 c #Conflicts: 1244000 | #Constraints: 34747
3600.05/3609.90 c #Conflicts: 1245000 | #Constraints: 35747
3600.05/3609.90 c #Conflicts: 1246000 | #Constraints: 36747
3600.05/3609.90 c #Conflicts: 1247000 | #Constraints: 37747
3600.05/3609.90 c #Conflicts: 1248000 | #Constraints: 38747
3600.05/3609.90 c #Conflicts: 1249000 | #Constraints: 39747
3600.05/3609.90 c #Conflicts: 1250000 | #Constraints: 40747
3600.05/3609.90 c #Conflicts: 1251000 | #Constraints: 41747
3600.05/3609.90 c Program interrupted by user.
3600.05/3609.90 c cpu time 3593.84 s
3600.05/3609.90 c deterministic time 720799978416 7.21e+11
3600.05/3609.90 c optimization time 71.466 s
3600.05/3609.90 c total solve time 3223.34 s
3600.05/3609.90 c core-guided solve time 3223.34 s
3600.05/3609.90 c propagation time 2561.5 s
3600.05/3609.90 c conflict analysis time 696.905 s
3600.05/3609.90 c propagations 98821025
3600.05/3609.90 c resolve steps 41628560
3600.05/3609.90 c decisions 1357533
3600.05/3609.90 c conflicts 1251348
3600.05/3609.90 c restarts 2378
3600.05/3609.90 c inprocessing phases 102
3600.05/3609.90 c input clauses 1346
3600.05/3609.90 c input cardinalities 0
3600.05/3609.90 c input general constraints 1353
3600.05/3609.90 c input average constraint length 6.64
3600.05/3609.90 c input average constraint degree 60.27
3600.05/3609.90 c learned clauses 1181145
3600.05/3609.90 c learned cardinalities 0
3600.05/3609.90 c learned general constraints 70202
3600.05/3609.90 c learned average constraint length 717.46
3600.05/3609.90 c learned average constraint degree 442.31
3600.05/3609.90 c watched constraints 70208
3600.05/3609.90 c counting constraints 1347
3600.05/3609.90 c gcd simplifications 1014311
3600.05/3609.90 c detected cardinalities 0
3600.05/3609.90 c weakened non-implied lits 724608856
3600.05/3609.90 c weakened non-implying lits 3370449
3600.05/3609.90 c original variables 1381
3600.05/3609.90 c clausal propagations 39372217
3600.05/3609.90 c cardinality propagations 0
3600.05/3609.90 c watched propagations 6368032
3600.05/3609.90 c counting propagations 51829116
3600.05/3609.90 c watch lookups 9720052367
3600.05/3609.90 c watch backjump lookups 1662779208
3600.05/3609.90 c watch checks 655222259408
3600.05/3609.90 c propagation checks 50652067181
3600.05/3609.90 c constraint additions 3341213131
3600.05/3609.90 c trail pops 101428562
3600.05/3609.90 c formula constraints 2692
3600.05/3609.90 c learned constraints 1251347
3600.05/3609.90 c bound constraints 5
3600.05/3609.90 c core-guided constraints 2
3600.05/3609.90 c encountered formula constraints 39915112
3600.05/3609.90 c encountered learned constraints 2950097
3600.05/3609.90 c encountered bound constraints 14698
3600.05/3609.90 c encountered core-guided constraints 1
3600.05/3609.90 c LP total time 0 s
3600.05/3609.90 c LP solve time 0 s
3600.05/3609.90 c LP constraints added 0
3600.05/3609.90 c LP constraints removed 0
3600.05/3609.90 c LP pivots internal 0
3600.05/3609.90 c LP pivots root 0
3600.05/3609.90 c LP calls 0
3600.05/3609.90 c LP optimalities 0
3600.05/3609.90 c LP no pivot count 0
3600.05/3609.90 c LP infeasibilities 0
3600.05/3609.90 c LP valid Farkas constraints 0
3600.05/3609.90 c LP learned Farkas constraints 0
3600.05/3609.90 c LP basis resets 0
3600.05/3609.90 c LP cycling count 0
3600.05/3609.90 c LP singular count 0
3600.05/3609.90 c LP no primal count 0
3600.05/3609.90 c LP no farkas count 0
3600.05/3609.90 c LP other issue count 0
3600.05/3609.90 c LP Gomory cuts 0
3600.05/3609.90 c LP learned cuts 0
3600.05/3609.90 c LP deleted cuts 0
3600.05/3609.90 c LP encountered Gomory constraints 0
3600.05/3609.90 c LP encountered Farkas constraints 0
3600.05/3609.90 c LP encountered learned Farkas constraints 0
3600.05/3609.90 c CG auxiliary variables introduced 1
3600.05/3609.90 c CG solutions found 3
3600.05/3609.90 c CG cores constructed 1
3600.05/3609.90 c CG core cardinality constraints returned 0
3600.05/3609.90 c CG unit cores 0
3600.05/3609.90 c CG single cores 1
3600.05/3609.90 c CG blocks removed during cardinality reduction 0
3600.05/3609.90 c CG first core best 0
3600.05/3609.90 c CG decision core best 0
3600.05/3609.90 c CG core reduction tie 0
3600.05/3609.90 c CG core degree average 1.00
3600.05/3609.90 c CG core slack average 20.00
3600.05/3609.90 c CG exhausted 0
3600.05/3609.90 c CG exhaust time 0.982929 s
3600.05/3609.90 c CG trimmed 0
3600.05/3609.90 c CG trim time 0.000404 s
3600.05/3609.90 c CG minimized 0
3600.05/3609.90 c CG minimize time 0 s
3600.05/3609.90 c CG am1 prop time 0.000118 s
3600.05/3609.90 c CG # am1s reformulated 0
3600.05/3609.90 c CG lower bound derived from am1s 0
3600.05/3609.90 c CG # clausal cores 1
3600.05/3609.90 c CG # cardinality cores 0
3600.05/3609.90 c CG # pb cores 0
3600.05/3609.90 c CG # pb reforms 1
3600.05/3609.90 c CG # cores discarded because of pb reform 0
3600.05/3609.90 d LOWERBOUND -37308
3600.05/3609.90 d NCORES 1
3600.05/3609.90 d NPBCORES 0
3600.05/3609.90 d NPBREFORM 1
3600.05/3609.90 d NTRIMMED 0
3600.05/3609.90 d NEXHAUSTED 0
3600.05/3609.90 d NAM1S 0
3600.05/3609.90 d AM1LB 0
3600.05/3609.90 c [STEP] postprocessing with Papilo
3600.05/3609.90 o -1249
3600.05/3609.90 s SATISFIABLE
3600.05/3609.90 v -x1 -x2 x3 x4 x5 -x6 x7 x8 -x9 x10 x11 x12 x13 x14 -x15 -x16 x17 -x18 x19 x20 x21 -x22 x23 x24 -x25 x26 x27 x28 x29 x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 x76 x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 x268 x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 x284 x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 x303 x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 x436 x437 -x438 x439 x440 -x441 x442 x443 -x444 x445 x446 -x447 -x448 -x449 -x450 x451 -x452 x453 -x454 x455 x456 -x457 -x458 x459 -x460 x461 x462 -x463 x464 x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 x475 x476 -x477 x478 x479 -x480 -x481 -x482 x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 x495 x496 x497 x498 -x499 x500 x501 x502 -x503 -x504 -x505 x506 x507 x508 x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 x552 x553 -x554 x555 x556 x557 x558 x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 x574 -x575 -x576 x577 x578 -x579 -x580 x581 x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 x617 x618 -x619 -x620 x621 -x622 x623 x624 -x625 -x626 x627 -x628 x629 -x630 x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 x668 -x669 -x670 x671 -x672 x673 x674 -x675 -x676 x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 x690 -x691 -x692 x693 -x694 -x695 x696 -x697 x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 x713 -x714 -x715 -x716 x717 x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 x735 -x736 -x737 -x738 -x739 x740 x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 x808 x809 -x810 x811 -x812 x813 -x814 -x815 x816 x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 x852 x853 -x854 x855 x856 -x857 x858 x859 -x860 x861 x862 -x863 -x864 -x865 -x866 x867 -x868 x869 -x870 x871 x872 -x873 -x874 x875 -x876 x877 x878 -x879 x880 x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 x891 x892 -x893 x894 x895 -x896 -x897 -x898 x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 x911 x912 x913 x914 -x915 x916 x917 x918 -x919 -x920 -x921 x922 x923 x924 x925 x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 x956 x957 x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 x968 x969 -x970 x971 x972 x973 x974 x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 x988 x989 x990 -x991 -x992 x993 x994 -x995 -x996 x997 x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 x1033 x1034 -x1035 -x1036 x1037 -x1038 x1039 x1040 -x1041 -x1042 x1043 -x1044 x1045 -x1046 x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 x1059 -x1060 -x1061 x1062 -x1063 x1064 x1065 -x1066 -x1067 x1068 -x1069 x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 x1084 -x1085 -x1086 x1087 -x1088 x1089 -x1090 -x1091 x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 x1157 x1158 -x1159 x1160 x1161 x1162 -x1163 x1164 x1165 -x1166 x1167 x1168 x1169 -x1170 x1171 x1172 -x1173 x1174 x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 x1188 x1189 x1190 x1191 x1192 -x1193 -x1194 x1195 x1196 x1197 x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 x1211 x1212 x1213 -x1214 -x1215 x1216 -x1217 x1218 x1219 x1220 -x1221 -x1222 x1223 -x1224 x1225 x1226 x1227 -x1228 -x1229 x1230 -x1231 x1232 x1233 x1234 -x1235 -x1236 x1237 -x1238 x1239 x1240 x1241 -x1242 -x1243 x1244 -x1245 x1246 x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 x1268 x1269 -x1270 x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 x1283 -x1284 x1285 x1286 -x1287 x1288 x1289 x1290 -x1291 x1292 x1293 -x1294 x1295 x1296 x1297 -x1298 x1299 x1300 -x1301 x1302 x1303 x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 x1316 x1317 x1318 x1319 x1320 -x1321 -x1322 x1323 x1324 x1325 x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 x1339 x1340 x1341 -x1342 -x1343 x1344 -x1345 x1346 x1347 x1348 -x1349 -x1350 x1351 -x1352 x1353 x1354 x1355 -x1356 -x1357 x1358 -x1359 x1360 x1361 -x1362 -x1363 x1364 -x1365 x1366 -x1367 -x1368 x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381
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 (62214 MiB free)
memory of node 1: 64510 MiB (63460 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435744-1721161886/watcher-4435744-1721161886 -o /tmp/evaluation-result-4435744-1721161886/solver-4435744-1721161886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721154660-858768 --watchdog 3760 mixed-bag HOME/instance-4435744-1721161886.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=863343, runsolver pid=863340
[startup+0.100611 s]*
/proc/loadavg: 4.26 4.14 4.14 5/245 863350
/proc/meminfo: memFree=128670960/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=95992 memory=28820 CPUtime=0.09 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 3895 0 0 0 8 1 0 0 20 0 1 0 168345068 98295808 7205 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 23998 7205 3772 3002 0 7749 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 95992 KiB
Current children cumulated memory: 28820 KiB
[startup+0.21369 s]*
/proc/loadavg: 4.26 4.14 4.14 5/245 863350
/proc/meminfo: memFree=128663428/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=103292 memory=35764 CPUtime=0.21 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 5863 0 0 0 19 2 0 0 20 0 1 0 168345068 105771008 8941 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 25823 8941 3788 3002 0 9574 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 103292 KiB
Current children cumulated memory: 35764 KiB
[startup+0.313715 s]*
/proc/loadavg: 4.26 4.14 4.14 4/243 863350
/proc/meminfo: memFree=128669032/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=103916 memory=36616 CPUtime=0.3 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 6025 0 0 0 28 2 0 0 20 0 1 0 168345068 106409984 9154 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 25979 9154 3804 3002 0 9730 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103916 KiB
Current children cumulated memory: 36616 KiB
[startup+0.700277 s]
/proc/loadavg: 4.26 4.14 4.14 4/242 863364
/proc/meminfo: memFree=128668704/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=108632 memory=39052 CPUtime=0.67 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 6624 0 0 0 65 2 0 0 20 0 1 0 168345068 111239168 9763 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 27158 9763 3820 3002 0 10909 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 108632 KiB
Current children cumulated memory: 39052 KiB
[startup+1.50033 s]
/proc/loadavg: 4.24 4.14 4.14 5/239 863386
/proc/meminfo: memFree=128644032/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=138152 memory=64784 CPUtime=1.47 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 14332 0 0 0 142 5 0 0 20 0 1 0 168345068 141467648 16196 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 34538 16196 4011 3002 0 18289 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 138152 KiB
Current children cumulated memory: 64784 KiB
[startup+3.1129 s]
/proc/loadavg: 4.24 4.14 4.14 5/245 863396
/proc/meminfo: memFree=128399220/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=154968 memory=76644 CPUtime=3.08 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 17289 0 0 0 303 5 0 0 20 0 1 0 168345068 158687232 19161 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 38742 19161 4011 3002 0 22493 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 154968 KiB
Current children cumulated memory: 76644 KiB
[startup+6.30032 s]
/proc/loadavg: 4.22 4.14 4.14 5/245 863398
/proc/meminfo: memFree=127809264/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=163424 memory=84036 CPUtime=6.26 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 19110 0 0 0 620 6 0 0 20 0 1 0 168345068 167346176 21009 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 40856 21009 4011 3002 0 24607 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 163424 KiB
Current children cumulated memory: 84036 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.13 4.14 5/245 863398
/proc/meminfo: memFree=127781776/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=163424 memory=84036 CPUtime=12.64 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 19138 0 0 0 1258 6 0 0 20 0 1 0 168345068 167346176 21009 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 40856 21009 4011 3002 0 24607 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 163424 KiB
Current children cumulated memory: 84036 KiB
[startup+25.5004 s]
/proc/loadavg: 4.25 4.15 4.14 5/245 863399
/proc/meminfo: memFree=127769080/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=176096 memory=94428 CPUtime=25.39 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 21956 0 0 0 2533 6 0 0 20 0 1 0 168345068 180322304 23607 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 44024 23607 4021 3002 0 27775 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 176096 KiB
Current children cumulated memory: 94428 KiB
[startup+51.1127 s]
/proc/loadavg: 4.15 4.13 4.14 5/245 863405
/proc/meminfo: memFree=127289320/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=244060 memory=143992 CPUtime=50.93 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 34432 0 0 0 5085 8 0 0 20 0 1 0 168345068 249917440 35998 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 61015 35998 4021 3002 0 44766 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 244060 KiB
Current children cumulated memory: 143992 KiB
[startup+102.301 s]
/proc/loadavg: 4.14 4.12 4.13 5/245 863413
/proc/meminfo: memFree=127210628/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=302744 memory=180544 CPUtime=101.96 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 44438 0 0 0 10186 10 0 0 20 0 1 0 168345068 310009856 45136 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 75686 45136 4021 3002 0 59437 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 302744 KiB
Current children cumulated memory: 180544 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/244 863423
/proc/meminfo: memFree=127165716/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=362104 memory=219704 CPUtime=161.77 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 56945 0 0 0 16162 15 0 0 20 0 1 0 168345068 370794496 54926 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 90526 54926 4021 3002 0 74277 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 362104 KiB
Current children cumulated memory: 219704 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/244 863434
/proc/meminfo: memFree=127119320/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=419616 memory=248944 CPUtime=221.59 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 70773 0 0 0 22137 22 0 0 20 0 1 0 168345068 429686784 62236 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 104904 62236 4021 3002 0 88655 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 419616 KiB
Current children cumulated memory: 248944 KiB
[startup+282.3 s]
/proc/loadavg: 4.58 4.23 4.16 5/241 863445
/proc/meminfo: memFree=127075456/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=476808 memory=278552 CPUtime=281.41 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 78176 0 0 0 28114 27 0 0 20 0 1 0 168345068 488251392 69638 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 119202 69638 4021 3002 0 102953 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 476808 KiB
Current children cumulated memory: 278552 KiB
[startup+342.3 s]
/proc/loadavg: 4.78 4.36 4.21 5/241 863455
/proc/meminfo: memFree=126850684/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=440544 memory=247552 CPUtime=341.26 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 83522 0 0 0 34082 44 0 0 20 0 1 0 168345068 451117056 61888 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 110136 61888 4164 3002 0 93887 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 440544 KiB
Current children cumulated memory: 247552 KiB
[startup+402.3 s]
/proc/loadavg: 4.75 4.44 4.25 5/241 863465
/proc/meminfo: memFree=126737668/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=452220 memory=257056 CPUtime=401.13 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 83826 0 0 0 40053 60 0 0 20 0 1 0 168345068 463073280 64264 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 113055 64264 4164 3002 0 96806 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 452220 KiB
Current children cumulated memory: 257056 KiB
[startup+462.3 s]
/proc/loadavg: 4.34 4.37 4.24 5/241 863476
/proc/meminfo: memFree=126672600/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=471188 memory=263332 CPUtime=461 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 84392 0 0 0 46025 75 0 0 20 0 1 0 168345068 482496512 65833 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 117797 65833 4164 3002 0 101548 0
################
# More data... #
################
Current children cumulated memory: 496592 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/241 864665
/proc/meminfo: memFree=124261952/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=498908 CPUtime=2914.4 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89010 0 0 0 290918 522 0 0 20 0 1 0 168345068 648687616 124727 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 124727 4180 3002 0 142122 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 498908 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.17 4.18 5/243 864679
/proc/meminfo: memFree=124250720/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=498908 CPUtime=2974.23 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89051 0 0 0 296891 532 0 0 20 0 1 0 168345068 648687616 124727 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 124727 4180 3002 0 142122 0
Current children cumulated CPU time: 2974.23 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 498908 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.17 4.18 5/243 864689
/proc/meminfo: memFree=124242324/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=503004 CPUtime=3034.06 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89137 0 0 0 302864 542 0 0 20 0 1 0 168345068 648687616 125751 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 125751 4180 3002 0 142122 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 503004 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/243 864700
/proc/meminfo: memFree=124003716/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=503004 CPUtime=3093.89 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89181 0 0 0 308838 551 0 0 20 0 1 0 168345068 648687616 125751 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 125751 4180 3002 0 142122 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 503004 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/243 864710
/proc/meminfo: memFree=123938664/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=503004 CPUtime=3153.72 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89223 0 0 0 314814 558 0 0 20 0 1 0 168345068 648687616 125751 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 125751 4180 3002 0 142122 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 503004 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/243 864721
/proc/meminfo: memFree=123906120/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=503004 CPUtime=3213.55 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89342 0 0 0 320789 566 0 0 20 0 1 0 168345068 648687616 125751 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 125751 4180 3002 0 142122 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 503004 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/243 865116
/proc/meminfo: memFree=123856588/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=503004 CPUtime=3273.38 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89385 0 0 0 326763 575 0 0 20 0 1 0 168345068 648687616 125751 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 125751 4180 3002 0 142122 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 503004 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.15 5/243 865126
/proc/meminfo: memFree=123848776/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=505052 CPUtime=3333.21 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89445 0 0 0 332735 586 0 0 20 0 1 0 168345068 648687616 126263 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 126263 4180 3002 0 142122 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 505052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/243 865136
/proc/meminfo: memFree=123803600/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=507100 CPUtime=3393.04 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89525 0 0 0 338712 592 0 0 20 0 1 0 168345068 648687616 126775 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 126775 4180 3002 0 142122 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 507100 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/244 865317
/proc/meminfo: memFree=123803216/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=507100 CPUtime=3452.87 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89593 0 0 0 344686 601 0 0 20 0 1 0 168345068 648687616 126775 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 126775 4180 3002 0 142122 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 507100 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/244 865327
/proc/meminfo: memFree=123755688/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=507100 CPUtime=3512.7 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89628 0 0 0 350659 611 0 0 20 0 1 0 168345068 648687616 126775 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 126775 4180 3002 0 142122 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 507100 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/244 865395
/proc/meminfo: memFree=123730404/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=509148 CPUtime=3572.54 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89735 0 0 0 356636 618 0 0 20 0 1 0 168345068 648687616 127287 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 127287 4180 3002 0 142122 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 509148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.08 4.10 4.13 5/244 865401
/proc/meminfo: memFree=123730316/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=509148 CPUtime=3600.05 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89745 0 0 0 359384 621 0 0 20 0 1 0 168345068 648687616 127287 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 127287 4180 3002 0 142122 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 509148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 863343 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.85 s, system=6.22167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.08 4.10 4.13 5/244 865401
/proc/meminfo: memFree=123730316/131655788 swapFree=131071996/131071996
[pid=863343] ppid=863340 vsize=633484 memory=509148 CPUtime=3600.05 cores=5,7
/proc/863343/stat : 863343 (mixed-bag) R 863340 863343 858755 0 -1 4194304 89745 0 0 0 359384 621 0 0 20 0 1 0 168345068 648687616 127287 134679101440 4194304 16487941 140733247783648 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 52293632 140733247792151 140733247792228 140733247792228 140733247799243 0
/proc/863343/statm: 158371 127287 4180 3002 0 142122 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 633484 KiB
Current children cumulated memory: 509148 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.07
CPU user time (s): 3593.85
CPU system time (s): 6.22167
CPU usage (%): 99.7275
Max. virtual memory (cumulated for all children) (KiB): 633484
Max. memory (cumulated for all children) (KiB): 509148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.85
system time used= 6.22167
maximum resident set size= 509148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89797
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= 61
involuntary context switches= 1409
# summary of solver processes directly reported to runsolver:
# pid: 863343
# total CPU time (s): 3600.07
# total CPU user time (s): 3593.85
# total CPU system time (s): 6.22167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.139 second user time and 35.1358 second system time
The end
Begin job on nodeC008 at 2024-07-16 22:31:39
IDJOB=4435744
IDBENCH=158466
IDSOLVER=3066
FILE ID=nodeC008/4435744-1721161886
RUNJOBID= nodeC008-1721154660-858768
SLURM_JOB_ID= 7505762
Free space on /tmp= 723728 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.lin.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435744-1721161886/watcher-4435744-1721161886 -o /tmp/evaluation-result-4435744-1721161886/solver-4435744-1721161886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721154660-858768 --watchdog 3760 mixed-bag HOME/instance-4435744-1721161886.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 88e07485ddda73ef9c5cf0cbed9ceb05
RANDOM SEED=1493796557
nodeC008.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 : 3585.323
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.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
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.31
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.444
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.91
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.249
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.31
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 : 3620.222
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.91
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 : 1197.252
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.31
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.458
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.91
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.244
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128692560 kB
MemAvailable: 129122124 kB
Buffers: 453520 kB
Cached: 817812 kB
SwapCached: 0 kB
Active: 742604 kB
Inactive: 1692932 kB
Active(anon): 1460 kB
Inactive(anon): 1200120 kB
Active(file): 741144 kB
Inactive(file): 492812 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 33000 kB
Writeback: 8 kB
AnonPages: 1162148 kB
Mapped: 127512 kB
Shmem: 37704 kB
KReclaimable: 71276 kB
Slab: 166536 kB
SReclaimable: 71276 kB
SUnreclaim: 95260 kB
KernelStack: 3936 kB
PageTables: 11664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1395792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 987136 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC008 at 2024-07-16 23:31:49