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.08 c [STEP] preprocessing with Papilo
0.09/0.16 c Papilo could not simplify the problem
0.09/0.16 c [STEP] solving with SCIP
299.10/300.27 c [STEP] preprocessing done, loading into solver
299.19/300.33 c [STEP] solving
299.19/300.33 c #variables 761 #constraints 41314
299.19/300.33 c SMALL=int, LARGE=long long
299.19/300.33 d SCIPUB -36
299.19/300.33 c bounds - >= -760 @ 298.917
299.19/300.33 c stratification level: 0
322.12/323.39 c bounds - >= -143 @ 298.939
322.12/323.39 c bounds - >= -142 @ 298.939
322.12/323.39 c bounds - >= -141 @ 298.939
322.12/323.39 c bounds - >= -140 @ 298.939
322.12/323.39 c bounds - >= -139 @ 298.939
322.12/323.39 c bounds - >= -138 @ 298.94
322.12/323.39 c bounds - >= -137 @ 298.94
322.12/323.39 c bounds - >= -136 @ 298.94
322.12/323.39 c bounds - >= -135 @ 298.94
322.12/323.39 c bounds - >= -134 @ 298.941
322.12/323.39 c bounds - >= -133 @ 298.941
322.12/323.39 c bounds - >= -132 @ 298.942
322.12/323.39 c bounds - >= -131 @ 298.942
322.12/323.39 c bounds - >= -130 @ 298.943
322.12/323.39 c bounds - >= -129 @ 298.944
322.12/323.39 c bounds - >= -128 @ 298.945
322.12/323.39 c bounds - >= -127 @ 298.945
322.12/323.39 c #Conflicts: 1000 | #Constraints: 42475
322.12/323.39 c #Conflicts: 2000 | #Constraints: 43475
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 3000 | #Constraints: 43477
322.12/323.39 c #Conflicts: 4000 | #Constraints: 44477
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 5000 | #Constraints: 43896
322.12/323.39 c #Conflicts: 6000 | #Constraints: 44896
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 7000 | #Constraints: 43903
322.12/323.39 c #Conflicts: 8000 | #Constraints: 44903
322.12/323.39 c #Conflicts: 9000 | #Constraints: 45903
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 10000 | #Constraints: 44605
322.12/323.39 c #Conflicts: 11000 | #Constraints: 45605
322.12/323.39 c #Conflicts: 12000 | #Constraints: 46605
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 13000 | #Constraints: 45053
322.12/323.39 c #Conflicts: 14000 | #Constraints: 46053
322.12/323.39 c #Conflicts: 15000 | #Constraints: 47053
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 16000 | #Constraints: 45283
322.12/323.39 c #Conflicts: 17000 | #Constraints: 46283
322.12/323.39 c #Conflicts: 18000 | #Constraints: 47283
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 19000 | #Constraints: 45306
322.12/323.39 c #Conflicts: 20000 | #Constraints: 46306
322.12/323.39 c #Conflicts: 21000 | #Constraints: 47306
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 22000 | #Constraints: 45128
322.12/323.39 c #Conflicts: 23000 | #Constraints: 46128
322.12/323.39 c #Conflicts: 24000 | #Constraints: 47128
322.12/323.39 c #Conflicts: 25000 | #Constraints: 48128
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 26000 | #Constraints: 45732
322.12/323.39 c #Conflicts: 27000 | #Constraints: 46732
322.12/323.39 c #Conflicts: 28000 | #Constraints: 47732
322.12/323.39 c #Conflicts: 29000 | #Constraints: 48732
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 30000 | #Constraints: 46135
322.12/323.39 c #Conflicts: 31000 | #Constraints: 47135
322.12/323.39 c #Conflicts: 32000 | #Constraints: 48135
322.12/323.39 c #Conflicts: 33000 | #Constraints: 49135
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 34000 | #Constraints: 46340
322.12/323.39 c #Conflicts: 35000 | #Constraints: 47340
322.12/323.39 c #Conflicts: 36000 | #Constraints: 48340
322.12/323.39 c #Conflicts: 37000 | #Constraints: 49340
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 38000 | #Constraints: 46343
322.12/323.39 c #Conflicts: 39000 | #Constraints: 47343
322.12/323.39 c #Conflicts: 40000 | #Constraints: 48343
322.12/323.39 c #Conflicts: 41000 | #Constraints: 49343
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 42000 | #Constraints: 46146
322.12/323.39 c #Conflicts: 43000 | #Constraints: 47146
322.12/323.39 c #Conflicts: 44000 | #Constraints: 48146
322.12/323.39 c #Conflicts: 45000 | #Constraints: 49146
322.12/323.39 c #Conflicts: 46000 | #Constraints: 50146
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 47000 | #Constraints: 46750
322.12/323.39 c #Conflicts: 48000 | #Constraints: 47750
322.12/323.39 c #Conflicts: 49000 | #Constraints: 48750
322.12/323.39 c #Conflicts: 50000 | #Constraints: 49750
322.12/323.39 c #Conflicts: 51000 | #Constraints: 50750
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 52000 | #Constraints: 47151
322.12/323.39 c #Conflicts: 53000 | #Constraints: 48151
322.12/323.39 c #Conflicts: 54000 | #Constraints: 49151
322.12/323.39 c #Conflicts: 55000 | #Constraints: 50151
322.12/323.39 c #Conflicts: 56000 | #Constraints: 51151
322.12/323.39 c INPROCESSING
322.12/323.39 c GARBAGE COLLECT
322.12/323.39 c #Conflicts: 57000 | #Constraints: 47357
322.12/323.39 c #Conflicts: 58000 | #Constraints: 48357
322.12/323.39 c #Conflicts: 59000 | #Constraints: 49357
322.12/323.39 c #Conflicts: 60000 | #Constraints: 50357
365.17/366.55 c #Conflicts: 61000 | #Constraints: 51357
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 62000 | #Constraints: 47353
365.17/366.55 c #Conflicts: 63000 | #Constraints: 48353
365.17/366.55 c #Conflicts: 64000 | #Constraints: 49353
365.17/366.55 c #Conflicts: 65000 | #Constraints: 50353
365.17/366.55 c #Conflicts: 66000 | #Constraints: 51353
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 67000 | #Constraints: 47141
365.17/366.55 c #Conflicts: 68000 | #Constraints: 48141
365.17/366.55 c #Conflicts: 69000 | #Constraints: 49141
365.17/366.55 c #Conflicts: 70000 | #Constraints: 50141
365.17/366.55 c #Conflicts: 71000 | #Constraints: 51141
365.17/366.55 c #Conflicts: 72000 | #Constraints: 52141
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 73000 | #Constraints: 47741
365.17/366.55 c #Conflicts: 74000 | #Constraints: 48741
365.17/366.55 c #Conflicts: 75000 | #Constraints: 49741
365.17/366.55 c #Conflicts: 76000 | #Constraints: 50741
365.17/366.55 c #Conflicts: 77000 | #Constraints: 51741
365.17/366.55 c #Conflicts: 78000 | #Constraints: 52741
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 79000 | #Constraints: 48165
365.17/366.55 c #Conflicts: 80000 | #Constraints: 49165
365.17/366.55 c #Conflicts: 81000 | #Constraints: 50165
365.17/366.55 c #Conflicts: 82000 | #Constraints: 51165
365.17/366.55 c #Conflicts: 83000 | #Constraints: 52165
365.17/366.55 c #Conflicts: 84000 | #Constraints: 53165
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 85000 | #Constraints: 48370
365.17/366.55 c #Conflicts: 86000 | #Constraints: 49370
365.17/366.55 c #Conflicts: 87000 | #Constraints: 50370
365.17/366.55 c #Conflicts: 88000 | #Constraints: 51370
365.17/366.55 c #Conflicts: 89000 | #Constraints: 52370
365.17/366.55 c #Conflicts: 90000 | #Constraints: 53370
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 91000 | #Constraints: 48365
365.17/366.55 c #Conflicts: 92000 | #Constraints: 49365
365.17/366.55 c #Conflicts: 93000 | #Constraints: 50365
365.17/366.55 c #Conflicts: 94000 | #Constraints: 51365
365.17/366.55 c #Conflicts: 95000 | #Constraints: 52365
365.17/366.55 c #Conflicts: 96000 | #Constraints: 53365
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 97000 | #Constraints: 48162
365.17/366.55 c #Conflicts: 98000 | #Constraints: 49162
365.17/366.55 c #Conflicts: 99000 | #Constraints: 50162
365.17/366.55 c #Conflicts: 100000 | #Constraints: 51162
365.17/366.55 c #Conflicts: 101000 | #Constraints: 52162
365.17/366.55 c #Conflicts: 102000 | #Constraints: 53162
365.17/366.55 c #Conflicts: 103000 | #Constraints: 54162
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 104000 | #Constraints: 48758
365.17/366.55 c #Conflicts: 105000 | #Constraints: 49758
365.17/366.55 c #Conflicts: 106000 | #Constraints: 50758
365.17/366.55 c #Conflicts: 107000 | #Constraints: 51758
365.17/366.55 c #Conflicts: 108000 | #Constraints: 52758
365.17/366.55 c #Conflicts: 109000 | #Constraints: 53758
365.17/366.55 c #Conflicts: 110000 | #Constraints: 54758
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 111000 | #Constraints: 49157
365.17/366.55 c #Conflicts: 112000 | #Constraints: 50157
365.17/366.55 c #Conflicts: 113000 | #Constraints: 51157
365.17/366.55 c #Conflicts: 114000 | #Constraints: 52157
365.17/366.55 c #Conflicts: 115000 | #Constraints: 53157
365.17/366.55 c #Conflicts: 116000 | #Constraints: 54157
365.17/366.55 c #Conflicts: 117000 | #Constraints: 55157
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 118000 | #Constraints: 49359
365.17/366.55 c #Conflicts: 119000 | #Constraints: 50359
365.17/366.55 c #Conflicts: 120000 | #Constraints: 51359
365.17/366.55 c #Conflicts: 121000 | #Constraints: 52359
365.17/366.55 c #Conflicts: 122000 | #Constraints: 53359
365.17/366.55 c #Conflicts: 123000 | #Constraints: 54359
365.17/366.55 c #Conflicts: 124000 | #Constraints: 55359
365.17/366.55 c INPROCESSING
365.17/366.55 c GARBAGE COLLECT
365.17/366.55 c #Conflicts: 125000 | #Constraints: 49372
365.17/366.55 c #Conflicts: 126000 | #Constraints: 50372
365.17/366.55 c #Conflicts: 127000 | #Constraints: 51372
365.17/366.55 c #Conflicts: 128000 | #Constraints: 52372
365.17/366.55 c #Conflicts: 129000 | #Constraints: 53372
365.17/366.55 c #Conflicts: 130000 | #Constraints: 54372
365.17/366.55 c #Conflicts: 131000 | #Constraints: 55372
423.08/424.68 c INPROCESSING
423.08/424.68 c GARBAGE COLLECT
423.08/424.68 c #Conflicts: 132000 | #Constraints: 49174
423.08/424.68 c #Conflicts: 133000 | #Constraints: 50174
423.08/424.68 c #Conflicts: 134000 | #Constraints: 51174
423.08/424.68 c #Conflicts: 135000 | #Constraints: 52174
423.08/424.68 c #Conflicts: 136000 | #Constraints: 53174
423.08/424.68 c #Conflicts: 137000 | #Constraints: 54174
423.08/424.68 c #Conflicts: 138000 | #Constraints: 55174
423.08/424.68 c #Conflicts: 139000 | #Constraints: 56174
423.08/424.68 c INPROCESSING
423.08/424.68 c GARBAGE COLLECT
423.08/424.68 c #Conflicts: 140000 | #Constraints: 49773
423.08/424.68 c #Conflicts: 141000 | #Constraints: 50773
423.08/424.68 c #Conflicts: 142000 | #Constraints: 51773
423.08/424.68 c #Conflicts: 143000 | #Constraints: 52773
423.08/424.68 c #Conflicts: 144000 | #Constraints: 53773
423.08/424.68 c #Conflicts: 145000 | #Constraints: 54773
423.08/424.68 c #Conflicts: 146000 | #Constraints: 55773
423.08/424.68 c #Conflicts: 147000 | #Constraints: 56773
423.08/424.68 c INPROCESSING
423.08/424.68 c GARBAGE COLLECT
423.08/424.68 c #Conflicts: 148000 | #Constraints: 50158
423.08/424.68 c #Conflicts: 149000 | #Constraints: 51158
423.08/424.68 c #Conflicts: 150000 | #Constraints: 52158
423.08/424.68 c #Conflicts: 151000 | #Constraints: 53158
423.08/424.68 c #Conflicts: 152000 | #Constraints: 54158
423.08/424.68 c #Conflicts: 153000 | #Constraints: 55158
423.08/424.68 c #Conflicts: 154000 | #Constraints: 56158
423.08/424.68 c #Conflicts: 155000 | #Constraints: 57158
423.08/424.68 c INPROCESSING
423.08/424.68 c GARBAGE COLLECT
423.08/424.68 c #Conflicts: 156000 | #Constraints: 50370
423.08/424.68 c #Conflicts: 157000 | #Constraints: 51370
423.08/424.68 c #Conflicts: 158000 | #Constraints: 52370
423.08/424.68 c #Conflicts: 159000 | #Constraints: 53370
423.08/424.68 c #Conflicts: 160000 | #Constraints: 54370
423.08/424.68 c #Conflicts: 161000 | #Constraints: 55370
423.08/424.68 c #Conflicts: 162000 | #Constraints: 56370
423.08/424.68 c #Conflicts: 163000 | #Constraints: 57370
423.08/424.68 c INPROCESSING
423.08/424.68 c GARBAGE COLLECT
423.08/424.68 c #Conflicts: 164000 | #Constraints: 50375
423.08/424.68 c #Conflicts: 165000 | #Constraints: 51375
423.08/424.68 c #Conflicts: 166000 | #Constraints: 52375
423.08/424.68 c #Conflicts: 167000 | #Constraints: 53375
423.08/424.68 c #Conflicts: 168000 | #Constraints: 54375
423.08/424.68 c #Conflicts: 169000 | #Constraints: 55375
423.08/424.68 c #Conflicts: 170000 | #Constraints: 56375
423.08/424.68 c #Conflicts: 171000 | #Constraints: 57375
423.08/424.68 c INPROCESSING
423.08/424.68 c GARBAGE COLLECT
423.08/424.68 c #Conflicts: 172000 | #Constraints: 50177
423.08/424.68 c #Conflicts: 173000 | #Constraints: 51177
423.08/424.68 c #Conflicts: 174000 | #Constraints: 52177
423.08/424.68 c #Conflicts: 175000 | #Constraints: 53177
423.08/424.68 c #Conflicts: 176000 | #Constraints: 54177
423.08/424.68 c #Conflicts: 177000 | #Constraints: 55177
423.08/424.68 c #Conflicts: 178000 | #Constraints: 56177
423.08/424.68 c #Conflicts: 179000 | #Constraints: 57177
423.08/424.68 c #Conflicts: 180000 | #Constraints: 58177
423.08/424.68 c INPROCESSING
423.08/424.68 c GARBAGE COLLECT
423.08/424.68 c #Conflicts: 181000 | #Constraints: 50779
423.08/424.68 c #Conflicts: 182000 | #Constraints: 51779
423.08/424.68 c #Conflicts: 183000 | #Constraints: 52779
423.08/424.68 c #Conflicts: 184000 | #Constraints: 53779
423.08/424.68 c #Conflicts: 185000 | #Constraints: 54779
423.08/424.68 c #Conflicts: 186000 | #Constraints: 55779
423.08/424.68 c #Conflicts: 187000 | #Constraints: 56779
423.08/424.68 c #Conflicts: 188000 | #Constraints: 57779
423.08/424.68 c #Conflicts: 189000 | #Constraints: 58779
423.08/424.68 c INPROCESSING
423.08/424.68 c GARBAGE COLLECT
423.08/424.68 c #Conflicts: 190000 | #Constraints: 51193
423.08/424.68 c #Conflicts: 191000 | #Constraints: 52193
423.08/424.68 c #Conflicts: 192000 | #Constraints: 53193
423.08/424.68 c #Conflicts: 193000 | #Constraints: 54193
423.08/424.68 c #Conflicts: 194000 | #Constraints: 55193
423.08/424.68 c #Conflicts: 195000 | #Constraints: 56193
423.08/424.68 c #Conflicts: 196000 | #Constraints: 57193
423.08/424.68 c #Conflicts: 197000 | #Constraints: 58193
423.08/424.68 c #Conflicts: 198000 | #Constraints: 59193
423.08/424.68 c INPROCESSING
423.08/424.68 c GARBAGE COLLECT
423.08/424.68 c #Conflicts: 199000 | #Constraints: 51394
423.08/424.68 c #Conflicts: 200000 | #Constraints: 52394
423.08/424.68 c #Conflicts: 201000 | #Constraints: 53394
423.08/424.68 c #Conflicts: 202000 | #Constraints: 54394
423.08/424.68 c #Conflicts: 203000 | #Constraints: 55394
423.08/424.68 c #Conflicts: 204000 | #Constraints: 56394
423.08/424.68 c #Conflicts: 205000 | #Constraints: 57394
495.44/497.20 c #Conflicts: 206000 | #Constraints: 58394
495.44/497.20 c #Conflicts: 207000 | #Constraints: 59394
495.44/497.20 c INPROCESSING
495.44/497.20 c GARBAGE COLLECT
495.44/497.20 c #Conflicts: 208000 | #Constraints: 51402
495.44/497.20 c #Conflicts: 209000 | #Constraints: 52402
495.44/497.20 c #Conflicts: 210000 | #Constraints: 53402
495.44/497.20 c #Conflicts: 211000 | #Constraints: 54402
495.44/497.20 c #Conflicts: 212000 | #Constraints: 55402
495.44/497.20 c #Conflicts: 213000 | #Constraints: 56402
495.44/497.20 c #Conflicts: 214000 | #Constraints: 57402
495.44/497.20 c #Conflicts: 215000 | #Constraints: 58402
495.44/497.20 c #Conflicts: 216000 | #Constraints: 59402
495.44/497.20 c INPROCESSING
495.44/497.20 c GARBAGE COLLECT
495.44/497.20 c #Conflicts: 217000 | #Constraints: 51191
495.44/497.20 c #Conflicts: 218000 | #Constraints: 52191
495.44/497.20 c #Conflicts: 219000 | #Constraints: 53191
495.44/497.20 c #Conflicts: 220000 | #Constraints: 54191
495.44/497.20 c #Conflicts: 221000 | #Constraints: 55191
495.44/497.20 c #Conflicts: 222000 | #Constraints: 56191
495.44/497.20 c #Conflicts: 223000 | #Constraints: 57191
495.44/497.20 c #Conflicts: 224000 | #Constraints: 58191
495.44/497.20 c #Conflicts: 225000 | #Constraints: 59191
495.44/497.20 c #Conflicts: 226000 | #Constraints: 60191
495.44/497.20 c INPROCESSING
495.44/497.20 c GARBAGE COLLECT
495.44/497.20 c #Conflicts: 227000 | #Constraints: 51779
495.44/497.20 c #Conflicts: 228000 | #Constraints: 52779
495.44/497.20 c #Conflicts: 229000 | #Constraints: 53779
495.44/497.20 c #Conflicts: 230000 | #Constraints: 54779
495.44/497.20 c #Conflicts: 231000 | #Constraints: 55779
495.44/497.20 c #Conflicts: 232000 | #Constraints: 56779
495.44/497.20 c #Conflicts: 233000 | #Constraints: 57779
495.44/497.20 c #Conflicts: 234000 | #Constraints: 58779
495.44/497.20 c #Conflicts: 235000 | #Constraints: 59779
495.44/497.20 c #Conflicts: 236000 | #Constraints: 60779
495.44/497.20 c INPROCESSING
495.44/497.20 c GARBAGE COLLECT
495.44/497.20 c #Conflicts: 237000 | #Constraints: 52181
495.44/497.20 c #Conflicts: 238000 | #Constraints: 53181
495.44/497.20 c #Conflicts: 239000 | #Constraints: 54181
495.44/497.20 c #Conflicts: 240000 | #Constraints: 55181
495.44/497.20 c #Conflicts: 241000 | #Constraints: 56181
495.44/497.20 c #Conflicts: 242000 | #Constraints: 57181
495.44/497.20 c #Conflicts: 243000 | #Constraints: 58181
495.44/497.20 c #Conflicts: 244000 | #Constraints: 59181
495.44/497.20 c #Conflicts: 245000 | #Constraints: 60181
495.44/497.20 c #Conflicts: 246000 | #Constraints: 61181
495.44/497.20 c INPROCESSING
495.44/497.20 c GARBAGE COLLECT
495.44/497.20 c #Conflicts: 247000 | #Constraints: 52397
495.44/497.20 c #Conflicts: 248000 | #Constraints: 53397
495.44/497.20 c #Conflicts: 249000 | #Constraints: 54397
495.44/497.20 c #Conflicts: 250000 | #Constraints: 55397
495.44/497.20 c #Conflicts: 251000 | #Constraints: 56397
495.44/497.20 c #Conflicts: 252000 | #Constraints: 57397
495.44/497.20 c #Conflicts: 253000 | #Constraints: 58397
495.44/497.20 c #Conflicts: 254000 | #Constraints: 59397
495.44/497.20 c #Conflicts: 255000 | #Constraints: 60397
495.44/497.20 c #Conflicts: 256000 | #Constraints: 61397
495.44/497.20 c INPROCESSING
495.44/497.20 c GARBAGE COLLECT
495.44/497.20 c #Conflicts: 257000 | #Constraints: 52390
495.44/497.20 c #Conflicts: 258000 | #Constraints: 53390
495.44/497.20 c #Conflicts: 259000 | #Constraints: 54390
495.44/497.20 c #Conflicts: 260000 | #Constraints: 55390
495.44/497.20 c #Conflicts: 261000 | #Constraints: 56390
495.44/497.20 c #Conflicts: 262000 | #Constraints: 57390
495.44/497.20 c #Conflicts: 263000 | #Constraints: 58390
495.44/497.20 c #Conflicts: 264000 | #Constraints: 59390
495.44/497.20 c #Conflicts: 265000 | #Constraints: 60390
495.44/497.20 c #Conflicts: 266000 | #Constraints: 61390
495.44/497.20 c INPROCESSING
495.44/497.20 c GARBAGE COLLECT
495.44/497.20 c #Conflicts: 267000 | #Constraints: 52190
495.44/497.20 c #Conflicts: 268000 | #Constraints: 53190
495.44/497.20 c #Conflicts: 269000 | #Constraints: 54190
495.44/497.20 c #Conflicts: 270000 | #Constraints: 55190
495.44/497.20 c #Conflicts: 271000 | #Constraints: 56190
495.44/497.20 c #Conflicts: 272000 | #Constraints: 57190
495.44/497.20 c #Conflicts: 273000 | #Constraints: 58190
495.44/497.20 c #Conflicts: 274000 | #Constraints: 59190
495.44/497.20 c #Conflicts: 275000 | #Constraints: 60190
495.44/497.20 c #Conflicts: 276000 | #Constraints: 61190
495.44/497.20 c #Conflicts: 277000 | #Constraints: 62190
495.44/497.20 c INPROCESSING
495.44/497.20 c GARBAGE COLLECT
495.44/497.20 c #Conflicts: 278000 | #Constraints: 52784
578.07/580.11 c #Conflicts: 279000 | #Constraints: 53784
578.07/580.11 c #Conflicts: 280000 | #Constraints: 54784
578.07/580.11 c #Conflicts: 281000 | #Constraints: 55784
578.07/580.11 c #Conflicts: 282000 | #Constraints: 56784
578.07/580.11 c #Conflicts: 283000 | #Constraints: 57784
578.07/580.11 c #Conflicts: 284000 | #Constraints: 58784
578.07/580.11 c #Conflicts: 285000 | #Constraints: 59784
578.07/580.11 c #Conflicts: 286000 | #Constraints: 60784
578.07/580.11 c #Conflicts: 287000 | #Constraints: 61784
578.07/580.11 c #Conflicts: 288000 | #Constraints: 62784
578.07/580.11 c INPROCESSING
578.07/580.11 c GARBAGE COLLECT
578.07/580.11 c #Conflicts: 289000 | #Constraints: 53185
578.07/580.11 c #Conflicts: 290000 | #Constraints: 54185
578.07/580.11 c #Conflicts: 291000 | #Constraints: 55185
578.07/580.11 c #Conflicts: 292000 | #Constraints: 56185
578.07/580.11 c #Conflicts: 293000 | #Constraints: 57185
578.07/580.11 c #Conflicts: 294000 | #Constraints: 58185
578.07/580.11 c #Conflicts: 295000 | #Constraints: 59185
578.07/580.11 c #Conflicts: 296000 | #Constraints: 60185
578.07/580.11 c #Conflicts: 297000 | #Constraints: 61185
578.07/580.11 c #Conflicts: 298000 | #Constraints: 62185
578.07/580.11 c #Conflicts: 299000 | #Constraints: 63185
578.07/580.11 c INPROCESSING
578.07/580.11 c GARBAGE COLLECT
578.07/580.11 c #Conflicts: 300000 | #Constraints: 53386
578.07/580.11 c #Conflicts: 301000 | #Constraints: 54386
578.07/580.11 c #Conflicts: 302000 | #Constraints: 55386
578.07/580.11 c #Conflicts: 303000 | #Constraints: 56386
578.07/580.11 c #Conflicts: 304000 | #Constraints: 57386
578.07/580.11 c #Conflicts: 305000 | #Constraints: 58386
578.07/580.11 c #Conflicts: 306000 | #Constraints: 59386
578.07/580.11 c #Conflicts: 307000 | #Constraints: 60386
578.07/580.11 c #Conflicts: 308000 | #Constraints: 61386
578.07/580.11 c #Conflicts: 309000 | #Constraints: 62386
578.07/580.11 c #Conflicts: 310000 | #Constraints: 63386
578.07/580.11 c INPROCESSING
578.07/580.11 c GARBAGE COLLECT
578.07/580.11 c #Conflicts: 311000 | #Constraints: 53385
578.07/580.11 c #Conflicts: 312000 | #Constraints: 54385
578.07/580.11 c #Conflicts: 313000 | #Constraints: 55385
578.07/580.11 c #Conflicts: 314000 | #Constraints: 56385
578.07/580.11 c #Conflicts: 315000 | #Constraints: 57385
578.07/580.11 c #Conflicts: 316000 | #Constraints: 58385
578.07/580.11 c #Conflicts: 317000 | #Constraints: 59385
578.07/580.11 c #Conflicts: 318000 | #Constraints: 60385
578.07/580.11 c #Conflicts: 319000 | #Constraints: 61385
578.07/580.11 c #Conflicts: 320000 | #Constraints: 62385
578.07/580.11 c #Conflicts: 321000 | #Constraints: 63385
578.07/580.11 c INPROCESSING
578.07/580.11 c GARBAGE COLLECT
578.07/580.11 c #Conflicts: 322000 | #Constraints: 53196
578.07/580.11 c #Conflicts: 323000 | #Constraints: 54196
578.07/580.11 c #Conflicts: 324000 | #Constraints: 55196
578.07/580.11 c #Conflicts: 325000 | #Constraints: 56196
578.07/580.11 c #Conflicts: 326000 | #Constraints: 57196
578.07/580.11 c #Conflicts: 327000 | #Constraints: 58196
578.07/580.11 c #Conflicts: 328000 | #Constraints: 59196
578.07/580.11 c #Conflicts: 329000 | #Constraints: 60196
578.07/580.11 c #Conflicts: 330000 | #Constraints: 61196
578.07/580.11 c #Conflicts: 331000 | #Constraints: 62196
578.07/580.11 c #Conflicts: 332000 | #Constraints: 63196
578.07/580.11 c #Conflicts: 333000 | #Constraints: 64196
578.07/580.11 c INPROCESSING
578.07/580.11 c GARBAGE COLLECT
578.07/580.11 c #Conflicts: 334000 | #Constraints: 53821
578.07/580.11 c #Conflicts: 335000 | #Constraints: 54821
578.07/580.11 c #Conflicts: 336000 | #Constraints: 55821
578.07/580.11 c #Conflicts: 337000 | #Constraints: 56821
578.07/580.11 c #Conflicts: 338000 | #Constraints: 57821
578.07/580.11 c #Conflicts: 339000 | #Constraints: 58821
578.07/580.11 c #Conflicts: 340000 | #Constraints: 59821
578.07/580.11 c #Conflicts: 341000 | #Constraints: 60821
578.07/580.11 c #Conflicts: 342000 | #Constraints: 61821
578.07/580.11 c #Conflicts: 343000 | #Constraints: 62821
578.07/580.11 c #Conflicts: 344000 | #Constraints: 63821
578.07/580.11 c #Conflicts: 345000 | #Constraints: 64821
578.07/580.11 c INPROCESSING
578.07/580.11 c GARBAGE COLLECT
578.07/580.11 c #Conflicts: 346000 | #Constraints: 54208
578.07/580.11 c #Conflicts: 347000 | #Constraints: 55208
578.07/580.11 c #Conflicts: 348000 | #Constraints: 56208
578.07/580.11 c #Conflicts: 349000 | #Constraints: 57208
578.07/580.11 c #Conflicts: 350000 | #Constraints: 58208
578.07/580.11 c #Conflicts: 351000 | #Constraints: 59208
578.07/580.11 c #Conflicts: 352000 | #Constraints: 60208
578.07/580.11 c #Conflicts: 353000 | #Constraints: 61208
672.36/674.74 c #Conflicts: 354000 | #Constraints: 62208
672.36/674.74 c #Conflicts: 355000 | #Constraints: 63208
672.36/674.74 c #Conflicts: 356000 | #Constraints: 64208
672.36/674.74 c #Conflicts: 357000 | #Constraints: 65208
672.36/674.74 c INPROCESSING
672.36/674.74 c GARBAGE COLLECT
672.36/674.74 c #Conflicts: 358000 | #Constraints: 54409
672.36/674.74 c #Conflicts: 359000 | #Constraints: 55409
672.36/674.74 c #Conflicts: 360000 | #Constraints: 56409
672.36/674.74 c #Conflicts: 361000 | #Constraints: 57409
672.36/674.74 c #Conflicts: 362000 | #Constraints: 58409
672.36/674.74 c #Conflicts: 363000 | #Constraints: 59409
672.36/674.74 c #Conflicts: 364000 | #Constraints: 60409
672.36/674.74 c #Conflicts: 365000 | #Constraints: 61409
672.36/674.74 c #Conflicts: 366000 | #Constraints: 62409
672.36/674.74 c #Conflicts: 367000 | #Constraints: 63409
672.36/674.74 c #Conflicts: 368000 | #Constraints: 64409
672.36/674.74 c #Conflicts: 369000 | #Constraints: 65409
672.36/674.74 c INPROCESSING
672.36/674.74 c GARBAGE COLLECT
672.36/674.74 c #Conflicts: 370000 | #Constraints: 54409
672.36/674.74 c #Conflicts: 371000 | #Constraints: 55409
672.36/674.74 c #Conflicts: 372000 | #Constraints: 56409
672.36/674.74 c #Conflicts: 373000 | #Constraints: 57409
672.36/674.74 c #Conflicts: 374000 | #Constraints: 58409
672.36/674.74 c #Conflicts: 375000 | #Constraints: 59409
672.36/674.74 c #Conflicts: 376000 | #Constraints: 60409
672.36/674.74 c #Conflicts: 377000 | #Constraints: 61409
672.36/674.74 c #Conflicts: 378000 | #Constraints: 62409
672.36/674.74 c #Conflicts: 379000 | #Constraints: 63409
672.36/674.74 c #Conflicts: 380000 | #Constraints: 64409
672.36/674.74 c #Conflicts: 381000 | #Constraints: 65409
672.36/674.74 c INPROCESSING
672.36/674.74 c GARBAGE COLLECT
672.36/674.74 c #Conflicts: 382000 | #Constraints: 54214
672.36/674.74 c #Conflicts: 383000 | #Constraints: 55214
672.36/674.74 c #Conflicts: 384000 | #Constraints: 56214
672.36/674.74 c #Conflicts: 385000 | #Constraints: 57214
672.36/674.74 c #Conflicts: 386000 | #Constraints: 58214
672.36/674.74 c #Conflicts: 387000 | #Constraints: 59214
672.36/674.74 c #Conflicts: 388000 | #Constraints: 60214
672.36/674.74 c #Conflicts: 389000 | #Constraints: 61214
672.36/674.74 c #Conflicts: 390000 | #Constraints: 62214
672.36/674.74 c #Conflicts: 391000 | #Constraints: 63214
672.36/674.74 c #Conflicts: 392000 | #Constraints: 64214
672.36/674.74 c #Conflicts: 393000 | #Constraints: 65214
672.36/674.74 c #Conflicts: 394000 | #Constraints: 66214
672.36/674.74 c INPROCESSING
672.36/674.74 c GARBAGE COLLECT
672.36/674.74 c #Conflicts: 395000 | #Constraints: 54812
672.36/674.74 c #Conflicts: 396000 | #Constraints: 55812
672.36/674.74 c #Conflicts: 397000 | #Constraints: 56812
672.36/674.74 c #Conflicts: 398000 | #Constraints: 57812
672.36/674.74 c #Conflicts: 399000 | #Constraints: 58812
672.36/674.74 c #Conflicts: 400000 | #Constraints: 59812
672.36/674.74 c #Conflicts: 401000 | #Constraints: 60812
672.36/674.74 c #Conflicts: 402000 | #Constraints: 61812
672.36/674.74 c #Conflicts: 403000 | #Constraints: 62812
672.36/674.74 c #Conflicts: 404000 | #Constraints: 63812
672.36/674.74 c #Conflicts: 405000 | #Constraints: 64812
672.36/674.74 c #Conflicts: 406000 | #Constraints: 65812
672.36/674.74 c #Conflicts: 407000 | #Constraints: 66812
672.36/674.74 c INPROCESSING
672.36/674.74 c GARBAGE COLLECT
672.36/674.74 c #Conflicts: 408000 | #Constraints: 55202
672.36/674.74 c #Conflicts: 409000 | #Constraints: 56202
672.36/674.74 c #Conflicts: 410000 | #Constraints: 57202
672.36/674.74 c #Conflicts: 411000 | #Constraints: 58202
672.36/674.74 c #Conflicts: 412000 | #Constraints: 59202
672.36/674.74 c #Conflicts: 413000 | #Constraints: 60202
672.36/674.74 c #Conflicts: 414000 | #Constraints: 61202
672.36/674.74 c #Conflicts: 415000 | #Constraints: 62202
672.36/674.74 c #Conflicts: 416000 | #Constraints: 63202
672.36/674.74 c #Conflicts: 417000 | #Constraints: 64202
672.36/674.74 c #Conflicts: 418000 | #Constraints: 65202
672.36/674.74 c #Conflicts: 419000 | #Constraints: 66202
672.36/674.74 c #Conflicts: 420000 | #Constraints: 67202
672.36/674.74 c INPROCESSING
672.36/674.74 c GARBAGE COLLECT
672.36/674.74 c #Conflicts: 421000 | #Constraints: 55406
672.36/674.74 c #Conflicts: 422000 | #Constraints: 56406
672.36/674.74 c #Conflicts: 423000 | #Constraints: 57406
672.36/674.74 c #Conflicts: 424000 | #Constraints: 58406
672.36/674.74 c #Conflicts: 425000 | #Constraints: 59406
672.36/674.74 c #Conflicts: 426000 | #Constraints: 60406
672.36/674.74 c #Conflicts: 427000 | #Constraints: 61406
672.36/674.74 c #Conflicts: 428000 | #Constraints: 62406
771.12/773.81 c #Conflicts: 429000 | #Constraints: 63406
771.12/773.81 c #Conflicts: 430000 | #Constraints: 64406
771.12/773.81 c #Conflicts: 431000 | #Constraints: 65406
771.12/773.81 c #Conflicts: 432000 | #Constraints: 66406
771.12/773.81 c #Conflicts: 433000 | #Constraints: 67406
771.12/773.81 c INPROCESSING
771.12/773.81 c GARBAGE COLLECT
771.12/773.81 c #Conflicts: 434000 | #Constraints: 55425
771.12/773.81 c #Conflicts: 435000 | #Constraints: 56425
771.12/773.81 c #Conflicts: 436000 | #Constraints: 57425
771.12/773.81 c #Conflicts: 437000 | #Constraints: 58425
771.12/773.81 c #Conflicts: 438000 | #Constraints: 59425
771.12/773.81 c #Conflicts: 439000 | #Constraints: 60425
771.12/773.81 c #Conflicts: 440000 | #Constraints: 61425
771.12/773.81 c #Conflicts: 441000 | #Constraints: 62425
771.12/773.81 c #Conflicts: 442000 | #Constraints: 63425
771.12/773.81 c #Conflicts: 443000 | #Constraints: 64425
771.12/773.81 c #Conflicts: 444000 | #Constraints: 65425
771.12/773.81 c #Conflicts: 445000 | #Constraints: 66425
771.12/773.81 c #Conflicts: 446000 | #Constraints: 67425
771.12/773.81 c INPROCESSING
771.12/773.81 c GARBAGE COLLECT
771.12/773.81 c #Conflicts: 447000 | #Constraints: 55222
771.12/773.81 c #Conflicts: 448000 | #Constraints: 56222
771.12/773.81 c #Conflicts: 449000 | #Constraints: 57222
771.12/773.81 c #Conflicts: 450000 | #Constraints: 58222
771.12/773.81 c #Conflicts: 451000 | #Constraints: 59222
771.12/773.81 c #Conflicts: 452000 | #Constraints: 60222
771.12/773.81 c #Conflicts: 453000 | #Constraints: 61222
771.12/773.81 c #Conflicts: 454000 | #Constraints: 62222
771.12/773.81 c #Conflicts: 455000 | #Constraints: 63222
771.12/773.81 c #Conflicts: 456000 | #Constraints: 64222
771.12/773.81 c #Conflicts: 457000 | #Constraints: 65222
771.12/773.81 c #Conflicts: 458000 | #Constraints: 66222
771.12/773.81 c #Conflicts: 459000 | #Constraints: 67222
771.12/773.81 c #Conflicts: 460000 | #Constraints: 68222
771.12/773.81 c INPROCESSING
771.12/773.81 c GARBAGE COLLECT
771.12/773.81 c #Conflicts: 461000 | #Constraints: 55824
771.12/773.81 c #Conflicts: 462000 | #Constraints: 56824
771.12/773.81 c #Conflicts: 463000 | #Constraints: 57824
771.12/773.81 c #Conflicts: 464000 | #Constraints: 58824
771.12/773.81 c #Conflicts: 465000 | #Constraints: 59824
771.12/773.81 c #Conflicts: 466000 | #Constraints: 60824
771.12/773.81 c #Conflicts: 467000 | #Constraints: 61824
771.12/773.81 c #Conflicts: 468000 | #Constraints: 62824
771.12/773.81 c #Conflicts: 469000 | #Constraints: 63824
771.12/773.81 c #Conflicts: 470000 | #Constraints: 64824
771.12/773.81 c #Conflicts: 471000 | #Constraints: 65824
771.12/773.81 c #Conflicts: 472000 | #Constraints: 66824
771.12/773.81 c #Conflicts: 473000 | #Constraints: 67824
771.12/773.81 c #Conflicts: 474000 | #Constraints: 68824
771.12/773.81 c INPROCESSING
771.12/773.81 c GARBAGE COLLECT
771.12/773.81 c #Conflicts: 475000 | #Constraints: 56237
771.12/773.81 c #Conflicts: 476000 | #Constraints: 57237
771.12/773.81 c #Conflicts: 477000 | #Constraints: 58237
771.12/773.81 c #Conflicts: 478000 | #Constraints: 59237
771.12/773.81 c #Conflicts: 479000 | #Constraints: 60237
771.12/773.81 c #Conflicts: 480000 | #Constraints: 61237
771.12/773.81 c #Conflicts: 481000 | #Constraints: 62237
771.12/773.81 c #Conflicts: 482000 | #Constraints: 63237
771.12/773.81 c #Conflicts: 483000 | #Constraints: 64237
771.12/773.81 c #Conflicts: 484000 | #Constraints: 65237
771.12/773.81 c #Conflicts: 485000 | #Constraints: 66237
771.12/773.81 c #Conflicts: 486000 | #Constraints: 67237
771.12/773.81 c #Conflicts: 487000 | #Constraints: 68237
771.12/773.81 c #Conflicts: 488000 | #Constraints: 69237
771.12/773.81 c INPROCESSING
771.12/773.81 c GARBAGE COLLECT
771.12/773.81 c #Conflicts: 489000 | #Constraints: 56449
771.12/773.81 c #Conflicts: 490000 | #Constraints: 57449
771.12/773.81 c #Conflicts: 491000 | #Constraints: 58449
771.12/773.81 c #Conflicts: 492000 | #Constraints: 59449
771.12/773.81 c #Conflicts: 493000 | #Constraints: 60449
771.12/773.81 c #Conflicts: 494000 | #Constraints: 61449
771.12/773.81 c #Conflicts: 495000 | #Constraints: 62449
771.12/773.81 c #Conflicts: 496000 | #Constraints: 63449
771.12/773.81 c #Conflicts: 497000 | #Constraints: 64449
771.12/773.81 c #Conflicts: 498000 | #Constraints: 65449
771.12/773.81 c #Conflicts: 499000 | #Constraints: 66449
771.12/773.81 c #Conflicts: 500000 | #Constraints: 67449
771.12/773.81 c #Conflicts: 501000 | #Constraints: 68449
771.12/773.81 c #Conflicts: 502000 | #Constraints: 69449
771.12/773.81 c INPROCESSING
771.12/773.81 c GARBAGE COLLECT
771.12/773.81 c #Conflicts: 503000 | #Constraints: 56457
892.03/895.17 c #Conflicts: 504000 | #Constraints: 57457
892.03/895.17 c #Conflicts: 505000 | #Constraints: 58457
892.03/895.17 c #Conflicts: 506000 | #Constraints: 59457
892.03/895.17 c #Conflicts: 507000 | #Constraints: 60457
892.03/895.17 c #Conflicts: 508000 | #Constraints: 61457
892.03/895.17 c #Conflicts: 509000 | #Constraints: 62457
892.03/895.17 c #Conflicts: 510000 | #Constraints: 63457
892.03/895.17 c #Conflicts: 511000 | #Constraints: 64457
892.03/895.17 c #Conflicts: 512000 | #Constraints: 65457
892.03/895.17 c #Conflicts: 513000 | #Constraints: 66457
892.03/895.17 c #Conflicts: 514000 | #Constraints: 67457
892.03/895.17 c #Conflicts: 515000 | #Constraints: 68457
892.03/895.17 c #Conflicts: 516000 | #Constraints: 69457
892.03/895.17 c INPROCESSING
892.03/895.17 c GARBAGE COLLECT
892.03/895.17 c #Conflicts: 517000 | #Constraints: 56238
892.03/895.17 c #Conflicts: 518000 | #Constraints: 57238
892.03/895.17 c #Conflicts: 519000 | #Constraints: 58238
892.03/895.17 c #Conflicts: 520000 | #Constraints: 59238
892.03/895.17 c #Conflicts: 521000 | #Constraints: 60238
892.03/895.17 c #Conflicts: 522000 | #Constraints: 61238
892.03/895.17 c #Conflicts: 523000 | #Constraints: 62238
892.03/895.17 c #Conflicts: 524000 | #Constraints: 63238
892.03/895.17 c #Conflicts: 525000 | #Constraints: 64238
892.03/895.17 c #Conflicts: 526000 | #Constraints: 65238
892.03/895.17 c #Conflicts: 527000 | #Constraints: 66238
892.03/895.17 c #Conflicts: 528000 | #Constraints: 67238
892.03/895.17 c #Conflicts: 529000 | #Constraints: 68238
892.03/895.17 c #Conflicts: 530000 | #Constraints: 69238
892.03/895.17 c #Conflicts: 531000 | #Constraints: 70238
892.03/895.17 c INPROCESSING
892.03/895.17 c GARBAGE COLLECT
892.03/895.17 c #Conflicts: 532000 | #Constraints: 56824
892.03/895.17 c #Conflicts: 533000 | #Constraints: 57824
892.03/895.17 c #Conflicts: 534000 | #Constraints: 58824
892.03/895.17 c #Conflicts: 535000 | #Constraints: 59824
892.03/895.17 c #Conflicts: 536000 | #Constraints: 60824
892.03/895.17 c #Conflicts: 537000 | #Constraints: 61824
892.03/895.17 c #Conflicts: 538000 | #Constraints: 62824
892.03/895.17 c #Conflicts: 539000 | #Constraints: 63824
892.03/895.17 c #Conflicts: 540000 | #Constraints: 64824
892.03/895.17 c #Conflicts: 541000 | #Constraints: 65824
892.03/895.17 c #Conflicts: 542000 | #Constraints: 66824
892.03/895.17 c #Conflicts: 543000 | #Constraints: 67824
892.03/895.17 c #Conflicts: 544000 | #Constraints: 68824
892.03/895.17 c #Conflicts: 545000 | #Constraints: 69824
892.03/895.17 c #Conflicts: 546000 | #Constraints: 70824
892.03/895.17 c INPROCESSING
892.03/895.17 c GARBAGE COLLECT
892.03/895.17 c #Conflicts: 547000 | #Constraints: 57231
892.03/895.17 c #Conflicts: 548000 | #Constraints: 58231
892.03/895.17 c #Conflicts: 549000 | #Constraints: 59231
892.03/895.17 c #Conflicts: 550000 | #Constraints: 60231
892.03/895.17 c #Conflicts: 551000 | #Constraints: 61231
892.03/895.17 c #Conflicts: 552000 | #Constraints: 62231
892.03/895.17 c #Conflicts: 553000 | #Constraints: 63231
892.03/895.17 c #Conflicts: 554000 | #Constraints: 64231
892.03/895.17 c #Conflicts: 555000 | #Constraints: 65231
892.03/895.17 c #Conflicts: 556000 | #Constraints: 66231
892.03/895.17 c #Conflicts: 557000 | #Constraints: 67231
892.03/895.17 c #Conflicts: 558000 | #Constraints: 68231
892.03/895.17 c #Conflicts: 559000 | #Constraints: 69231
892.03/895.17 c #Conflicts: 560000 | #Constraints: 70231
892.03/895.17 c #Conflicts: 561000 | #Constraints: 71231
892.03/895.17 c INPROCESSING
892.03/895.17 c GARBAGE COLLECT
892.03/895.17 c #Conflicts: 562000 | #Constraints: 57437
892.03/895.17 c #Conflicts: 563000 | #Constraints: 58437
892.03/895.17 c #Conflicts: 564000 | #Constraints: 59437
892.03/895.17 c #Conflicts: 565000 | #Constraints: 60437
892.03/895.17 c #Conflicts: 566000 | #Constraints: 61437
892.03/895.17 c #Conflicts: 567000 | #Constraints: 62437
892.03/895.17 c #Conflicts: 568000 | #Constraints: 63437
892.03/895.17 c #Conflicts: 569000 | #Constraints: 64437
892.03/895.17 c #Conflicts: 570000 | #Constraints: 65437
892.03/895.17 c #Conflicts: 571000 | #Constraints: 66437
892.03/895.17 c #Conflicts: 572000 | #Constraints: 67437
892.03/895.17 c #Conflicts: 573000 | #Constraints: 68437
892.03/895.17 c #Conflicts: 574000 | #Constraints: 69437
892.03/895.17 c #Conflicts: 575000 | #Constraints: 70437
892.03/895.17 c #Conflicts: 576000 | #Constraints: 71437
892.03/895.17 c INPROCESSING
892.03/895.17 c GARBAGE COLLECT
892.03/895.17 c #Conflicts: 577000 | #Constraints: 57421
892.03/895.17 c #Conflicts: 578000 | #Constraints: 58421
892.03/895.17 c #Conflicts: 579000 | #Constraints: 59421
1022.68/1026.21 c #Conflicts: 580000 | #Constraints: 60421
1022.68/1026.21 c #Conflicts: 581000 | #Constraints: 61421
1022.68/1026.21 c #Conflicts: 582000 | #Constraints: 62421
1022.68/1026.21 c #Conflicts: 583000 | #Constraints: 63421
1022.68/1026.21 c #Conflicts: 584000 | #Constraints: 64421
1022.68/1026.21 c #Conflicts: 585000 | #Constraints: 65421
1022.68/1026.21 c #Conflicts: 586000 | #Constraints: 66421
1022.68/1026.21 c #Conflicts: 587000 | #Constraints: 67421
1022.68/1026.21 c #Conflicts: 588000 | #Constraints: 68421
1022.68/1026.21 c #Conflicts: 589000 | #Constraints: 69421
1022.68/1026.21 c #Conflicts: 590000 | #Constraints: 70421
1022.68/1026.21 c #Conflicts: 591000 | #Constraints: 71421
1022.68/1026.21 c INPROCESSING
1022.68/1026.21 c GARBAGE COLLECT
1022.68/1026.21 c #Conflicts: 592000 | #Constraints: 57217
1022.68/1026.21 c #Conflicts: 593000 | #Constraints: 58217
1022.68/1026.21 c #Conflicts: 594000 | #Constraints: 59217
1022.68/1026.21 c #Conflicts: 595000 | #Constraints: 60217
1022.68/1026.21 c #Conflicts: 596000 | #Constraints: 61217
1022.68/1026.21 c #Conflicts: 597000 | #Constraints: 62217
1022.68/1026.21 c #Conflicts: 598000 | #Constraints: 63217
1022.68/1026.21 c #Conflicts: 599000 | #Constraints: 64217
1022.68/1026.21 c #Conflicts: 600000 | #Constraints: 65217
1022.68/1026.21 c #Conflicts: 601000 | #Constraints: 66217
1022.68/1026.21 c #Conflicts: 602000 | #Constraints: 67217
1022.68/1026.21 c #Conflicts: 603000 | #Constraints: 68217
1022.68/1026.21 c #Conflicts: 604000 | #Constraints: 69217
1022.68/1026.21 c #Conflicts: 605000 | #Constraints: 70217
1022.68/1026.21 c #Conflicts: 606000 | #Constraints: 71217
1022.68/1026.21 c #Conflicts: 607000 | #Constraints: 72217
1022.68/1026.21 c INPROCESSING
1022.68/1026.21 c GARBAGE COLLECT
1022.68/1026.21 c #Conflicts: 608000 | #Constraints: 57841
1022.68/1026.21 c #Conflicts: 609000 | #Constraints: 58841
1022.68/1026.21 c #Conflicts: 610000 | #Constraints: 59841
1022.68/1026.21 c #Conflicts: 611000 | #Constraints: 60841
1022.68/1026.21 c #Conflicts: 612000 | #Constraints: 61841
1022.68/1026.21 c #Conflicts: 613000 | #Constraints: 62841
1022.68/1026.21 c #Conflicts: 614000 | #Constraints: 63841
1022.68/1026.21 c #Conflicts: 615000 | #Constraints: 64841
1022.68/1026.21 c #Conflicts: 616000 | #Constraints: 65841
1022.68/1026.21 c #Conflicts: 617000 | #Constraints: 66841
1022.68/1026.21 c #Conflicts: 618000 | #Constraints: 67841
1022.68/1026.21 c #Conflicts: 619000 | #Constraints: 68841
1022.68/1026.21 c #Conflicts: 620000 | #Constraints: 69841
1022.68/1026.21 c #Conflicts: 621000 | #Constraints: 70841
1022.68/1026.21 c #Conflicts: 622000 | #Constraints: 71841
1022.68/1026.21 c #Conflicts: 623000 | #Constraints: 72841
1022.68/1026.21 c INPROCESSING
1022.68/1026.21 c GARBAGE COLLECT
1022.68/1026.21 c #Conflicts: 624000 | #Constraints: 58228
1022.68/1026.21 c #Conflicts: 625000 | #Constraints: 59228
1022.68/1026.21 c #Conflicts: 626000 | #Constraints: 60228
1022.68/1026.21 c #Conflicts: 627000 | #Constraints: 61228
1022.68/1026.21 c #Conflicts: 628000 | #Constraints: 62228
1022.68/1026.21 c #Conflicts: 629000 | #Constraints: 63228
1022.68/1026.21 c #Conflicts: 630000 | #Constraints: 64228
1022.68/1026.21 c #Conflicts: 631000 | #Constraints: 65228
1022.68/1026.21 c #Conflicts: 632000 | #Constraints: 66228
1022.68/1026.21 c #Conflicts: 633000 | #Constraints: 67228
1022.68/1026.21 c #Conflicts: 634000 | #Constraints: 68228
1022.68/1026.21 c #Conflicts: 635000 | #Constraints: 69228
1022.68/1026.21 c #Conflicts: 636000 | #Constraints: 70228
1022.68/1026.21 c #Conflicts: 637000 | #Constraints: 71228
1022.68/1026.21 c #Conflicts: 638000 | #Constraints: 72228
1022.68/1026.21 c #Conflicts: 639000 | #Constraints: 73228
1022.68/1026.21 c INPROCESSING
1022.68/1026.21 c GARBAGE COLLECT
1022.68/1026.21 c #Conflicts: 640000 | #Constraints: 58414
1022.68/1026.21 c #Conflicts: 641000 | #Constraints: 59414
1022.68/1026.21 c #Conflicts: 642000 | #Constraints: 60414
1022.68/1026.21 c #Conflicts: 643000 | #Constraints: 61414
1022.68/1026.21 c #Conflicts: 644000 | #Constraints: 62414
1022.68/1026.21 c #Conflicts: 645000 | #Constraints: 63414
1022.68/1026.21 c #Conflicts: 646000 | #Constraints: 64414
1022.68/1026.21 c #Conflicts: 647000 | #Constraints: 65414
1022.68/1026.21 c #Conflicts: 648000 | #Constraints: 66414
1022.68/1026.21 c #Conflicts: 649000 | #Constraints: 67414
1022.68/1026.21 c #Conflicts: 650000 | #Constraints: 68414
1022.68/1026.21 c #Conflicts: 651000 | #Constraints: 69414
1022.68/1026.21 c #Conflicts: 652000 | #Constraints: 70414
1022.68/1026.21 c #Conflicts: 653000 | #Constraints: 71414
1022.68/1026.21 c #Conflicts: 654000 | #Constraints: 72414
1022.68/1026.21 c #Conflicts: 655000 | #Constraints: 73414
1153.15/1157.17 c INPROCESSING
1153.15/1157.17 c GARBAGE COLLECT
1153.15/1157.17 c #Conflicts: 656000 | #Constraints: 58398
1153.15/1157.17 c #Conflicts: 657000 | #Constraints: 59398
1153.15/1157.17 c #Conflicts: 658000 | #Constraints: 60398
1153.15/1157.17 c #Conflicts: 659000 | #Constraints: 61398
1153.15/1157.17 c #Conflicts: 660000 | #Constraints: 62398
1153.15/1157.17 c #Conflicts: 661000 | #Constraints: 63398
1153.15/1157.17 c #Conflicts: 662000 | #Constraints: 64398
1153.15/1157.17 c #Conflicts: 663000 | #Constraints: 65398
1153.15/1157.17 c #Conflicts: 664000 | #Constraints: 66398
1153.15/1157.17 c #Conflicts: 665000 | #Constraints: 67398
1153.15/1157.17 c #Conflicts: 666000 | #Constraints: 68398
1153.15/1157.17 c #Conflicts: 667000 | #Constraints: 69398
1153.15/1157.17 c #Conflicts: 668000 | #Constraints: 70398
1153.15/1157.17 c #Conflicts: 669000 | #Constraints: 71398
1153.15/1157.17 c #Conflicts: 670000 | #Constraints: 72398
1153.15/1157.17 c #Conflicts: 671000 | #Constraints: 73398
1153.15/1157.17 c INPROCESSING
1153.15/1157.17 c GARBAGE COLLECT
1153.15/1157.17 c #Conflicts: 672000 | #Constraints: 58211
1153.15/1157.17 c #Conflicts: 673000 | #Constraints: 59211
1153.15/1157.17 c #Conflicts: 674000 | #Constraints: 60211
1153.15/1157.17 c #Conflicts: 675000 | #Constraints: 61211
1153.15/1157.17 c #Conflicts: 676000 | #Constraints: 62211
1153.15/1157.17 c #Conflicts: 677000 | #Constraints: 63211
1153.15/1157.17 c #Conflicts: 678000 | #Constraints: 64211
1153.15/1157.17 c #Conflicts: 679000 | #Constraints: 65211
1153.15/1157.17 c #Conflicts: 680000 | #Constraints: 66211
1153.15/1157.17 c #Conflicts: 681000 | #Constraints: 67211
1153.15/1157.17 c #Conflicts: 682000 | #Constraints: 68211
1153.15/1157.17 c #Conflicts: 683000 | #Constraints: 69211
1153.15/1157.17 c #Conflicts: 684000 | #Constraints: 70211
1153.15/1157.17 c #Conflicts: 685000 | #Constraints: 71211
1153.15/1157.17 c #Conflicts: 686000 | #Constraints: 72211
1153.15/1157.17 c #Conflicts: 687000 | #Constraints: 73211
1153.15/1157.17 c #Conflicts: 688000 | #Constraints: 74211
1153.15/1157.17 c INPROCESSING
1153.15/1157.17 c GARBAGE COLLECT
1153.15/1157.17 c #Conflicts: 689000 | #Constraints: 58827
1153.15/1157.17 c #Conflicts: 690000 | #Constraints: 59827
1153.15/1157.17 c #Conflicts: 691000 | #Constraints: 60827
1153.15/1157.17 c #Conflicts: 692000 | #Constraints: 61827
1153.15/1157.17 c #Conflicts: 693000 | #Constraints: 62827
1153.15/1157.17 c #Conflicts: 694000 | #Constraints: 63827
1153.15/1157.17 c #Conflicts: 695000 | #Constraints: 64827
1153.15/1157.17 c #Conflicts: 696000 | #Constraints: 65827
1153.15/1157.17 c #Conflicts: 697000 | #Constraints: 66827
1153.15/1157.17 c #Conflicts: 698000 | #Constraints: 67827
1153.15/1157.17 c #Conflicts: 699000 | #Constraints: 68827
1153.15/1157.17 c #Conflicts: 700000 | #Constraints: 69827
1153.15/1157.17 c #Conflicts: 701000 | #Constraints: 70827
1153.15/1157.17 c #Conflicts: 702000 | #Constraints: 71827
1153.15/1157.17 c #Conflicts: 703000 | #Constraints: 72827
1153.15/1157.17 c #Conflicts: 704000 | #Constraints: 73827
1153.15/1157.17 c #Conflicts: 705000 | #Constraints: 74827
1153.15/1157.17 c INPROCESSING
1153.15/1157.17 c GARBAGE COLLECT
1153.15/1157.17 c #Conflicts: 706000 | #Constraints: 59224
1153.15/1157.17 c #Conflicts: 707000 | #Constraints: 60224
1153.15/1157.17 c #Conflicts: 708000 | #Constraints: 61224
1153.15/1157.17 c #Conflicts: 709000 | #Constraints: 62224
1153.15/1157.17 c #Conflicts: 710000 | #Constraints: 63224
1153.15/1157.17 c #Conflicts: 711000 | #Constraints: 64224
1153.15/1157.17 c #Conflicts: 712000 | #Constraints: 65224
1153.15/1157.17 c #Conflicts: 713000 | #Constraints: 66224
1153.15/1157.17 c #Conflicts: 714000 | #Constraints: 67224
1153.15/1157.17 c #Conflicts: 715000 | #Constraints: 68224
1153.15/1157.17 c #Conflicts: 716000 | #Constraints: 69224
1153.15/1157.17 c #Conflicts: 717000 | #Constraints: 70224
1153.15/1157.17 c #Conflicts: 718000 | #Constraints: 71224
1153.15/1157.17 c #Conflicts: 719000 | #Constraints: 72224
1153.15/1157.17 c #Conflicts: 720000 | #Constraints: 73224
1153.15/1157.17 c #Conflicts: 721000 | #Constraints: 74224
1153.15/1157.17 c #Conflicts: 722000 | #Constraints: 75224
1153.15/1157.17 c INPROCESSING
1153.15/1157.17 c GARBAGE COLLECT
1153.15/1157.17 c #Conflicts: 723000 | #Constraints: 59423
1153.15/1157.17 c #Conflicts: 724000 | #Constraints: 60423
1153.15/1157.17 c #Conflicts: 725000 | #Constraints: 61423
1153.15/1157.17 c #Conflicts: 726000 | #Constraints: 62423
1153.15/1157.17 c #Conflicts: 727000 | #Constraints: 63423
1153.15/1157.17 c #Conflicts: 728000 | #Constraints: 64423
1153.15/1157.17 c #Conflicts: 729000 | #Constraints: 65423
1153.15/1157.17 c #Conflicts: 730000 | #Constraints: 66423
1153.15/1157.17 c #Conflicts: 731000 | #Constraints: 67423
1263.17/1267.55 c #Conflicts: 732000 | #Constraints: 68423
1263.17/1267.55 c #Conflicts: 733000 | #Constraints: 69423
1263.17/1267.55 c #Conflicts: 734000 | #Constraints: 70423
1263.17/1267.55 c #Conflicts: 735000 | #Constraints: 71423
1263.17/1267.55 c #Conflicts: 736000 | #Constraints: 72423
1263.17/1267.55 c #Conflicts: 737000 | #Constraints: 73423
1263.17/1267.55 c #Conflicts: 738000 | #Constraints: 74423
1263.17/1267.55 c #Conflicts: 739000 | #Constraints: 75423
1263.17/1267.55 c INPROCESSING
1263.17/1267.55 c GARBAGE COLLECT
1263.17/1267.55 c #Conflicts: 740000 | #Constraints: 59449
1263.17/1267.55 c #Conflicts: 741000 | #Constraints: 60449
1263.17/1267.55 c #Conflicts: 742000 | #Constraints: 61449
1263.17/1267.55 c #Conflicts: 743000 | #Constraints: 62449
1263.17/1267.55 c #Conflicts: 744000 | #Constraints: 63449
1263.17/1267.55 c #Conflicts: 745000 | #Constraints: 64449
1263.17/1267.55 c #Conflicts: 746000 | #Constraints: 65449
1263.17/1267.55 c #Conflicts: 747000 | #Constraints: 66449
1263.17/1267.55 c #Conflicts: 748000 | #Constraints: 67449
1263.17/1267.55 c #Conflicts: 749000 | #Constraints: 68449
1263.17/1267.55 c #Conflicts: 750000 | #Constraints: 69449
1263.17/1267.55 c #Conflicts: 751000 | #Constraints: 70449
1263.17/1267.55 c #Conflicts: 752000 | #Constraints: 71449
1263.17/1267.55 c #Conflicts: 753000 | #Constraints: 72449
1263.17/1267.55 c #Conflicts: 754000 | #Constraints: 73449
1263.17/1267.55 c #Conflicts: 755000 | #Constraints: 74449
1263.17/1267.55 c #Conflicts: 756000 | #Constraints: 75449
1263.17/1267.55 c INPROCESSING
1263.17/1267.55 c GARBAGE COLLECT
1263.17/1267.55 c #Conflicts: 757000 | #Constraints: 59238
1263.17/1267.55 c #Conflicts: 758000 | #Constraints: 60238
1263.17/1267.55 c #Conflicts: 759000 | #Constraints: 61238
1263.17/1267.55 c #Conflicts: 760000 | #Constraints: 62238
1263.17/1267.55 c #Conflicts: 761000 | #Constraints: 63238
1263.17/1267.55 c #Conflicts: 762000 | #Constraints: 64238
1263.17/1267.55 c #Conflicts: 763000 | #Constraints: 65238
1263.17/1267.55 c #Conflicts: 764000 | #Constraints: 66238
1263.17/1267.55 c #Conflicts: 765000 | #Constraints: 67238
1263.17/1267.55 c #Conflicts: 766000 | #Constraints: 68238
1263.17/1267.55 c #Conflicts: 767000 | #Constraints: 69238
1263.17/1267.55 c #Conflicts: 768000 | #Constraints: 70238
1263.17/1267.55 c #Conflicts: 769000 | #Constraints: 71238
1263.17/1267.55 c #Conflicts: 770000 | #Constraints: 72238
1263.17/1267.55 c #Conflicts: 771000 | #Constraints: 73238
1263.17/1267.55 c #Conflicts: 772000 | #Constraints: 74238
1263.17/1267.55 c #Conflicts: 773000 | #Constraints: 75238
1263.17/1267.55 c #Conflicts: 774000 | #Constraints: 76238
1263.17/1267.55 c INPROCESSING
1263.17/1267.55 c GARBAGE COLLECT
1263.17/1267.55 c #Conflicts: 775000 | #Constraints: 59826
1263.17/1267.55 c #Conflicts: 776000 | #Constraints: 60826
1263.17/1267.55 c #Conflicts: 777000 | #Constraints: 61826
1263.17/1267.55 c #Conflicts: 778000 | #Constraints: 62826
1263.17/1267.55 c #Conflicts: 779000 | #Constraints: 63826
1263.17/1267.55 c #Conflicts: 780000 | #Constraints: 64826
1263.17/1267.55 c #Conflicts: 781000 | #Constraints: 65826
1263.17/1267.55 c #Conflicts: 782000 | #Constraints: 66826
1263.17/1267.55 c #Conflicts: 783000 | #Constraints: 67826
1263.17/1267.55 c #Conflicts: 784000 | #Constraints: 68826
1263.17/1267.55 c #Conflicts: 785000 | #Constraints: 69826
1263.17/1267.55 c #Conflicts: 786000 | #Constraints: 70826
1263.17/1267.55 c #Conflicts: 787000 | #Constraints: 71826
1263.17/1267.55 c #Conflicts: 788000 | #Constraints: 72826
1263.17/1267.55 c #Conflicts: 789000 | #Constraints: 73826
1263.17/1267.55 c #Conflicts: 790000 | #Constraints: 74826
1263.17/1267.55 c #Conflicts: 791000 | #Constraints: 75826
1263.17/1267.55 c #Conflicts: 792000 | #Constraints: 76826
1263.17/1267.55 c INPROCESSING
1263.17/1267.55 c GARBAGE COLLECT
1263.17/1267.55 c #Conflicts: 793000 | #Constraints: 60234
1263.17/1267.55 c #Conflicts: 794000 | #Constraints: 61234
1263.17/1267.55 c #Conflicts: 795000 | #Constraints: 62234
1263.17/1267.55 c #Conflicts: 796000 | #Constraints: 63234
1263.17/1267.55 c #Conflicts: 797000 | #Constraints: 64234
1263.17/1267.55 c #Conflicts: 798000 | #Constraints: 65234
1263.17/1267.55 c #Conflicts: 799000 | #Constraints: 66234
1263.17/1267.55 c #Conflicts: 800000 | #Constraints: 67234
1263.17/1267.55 c #Conflicts: 801000 | #Constraints: 68234
1263.17/1267.55 c #Conflicts: 802000 | #Constraints: 69234
1263.17/1267.55 c #Conflicts: 803000 | #Constraints: 70234
1263.17/1267.55 c #Conflicts: 804000 | #Constraints: 71234
1263.17/1267.55 c #Conflicts: 805000 | #Constraints: 72234
1263.17/1267.55 c #Conflicts: 806000 | #Constraints: 73234
1263.17/1267.55 c #Conflicts: 807000 | #Constraints: 74234
1378.01/1382.70 c #Conflicts: 808000 | #Constraints: 75234
1378.01/1382.70 c #Conflicts: 809000 | #Constraints: 76234
1378.01/1382.70 c #Conflicts: 810000 | #Constraints: 77234
1378.01/1382.70 c INPROCESSING
1378.01/1382.70 c GARBAGE COLLECT
1378.01/1382.70 c #Conflicts: 811000 | #Constraints: 60422
1378.01/1382.70 c #Conflicts: 812000 | #Constraints: 61422
1378.01/1382.70 c #Conflicts: 813000 | #Constraints: 62422
1378.01/1382.70 c #Conflicts: 814000 | #Constraints: 63422
1378.01/1382.70 c #Conflicts: 815000 | #Constraints: 64422
1378.01/1382.70 c #Conflicts: 816000 | #Constraints: 65422
1378.01/1382.70 c #Conflicts: 817000 | #Constraints: 66422
1378.01/1382.70 c #Conflicts: 818000 | #Constraints: 67422
1378.01/1382.70 c #Conflicts: 819000 | #Constraints: 68422
1378.01/1382.70 c #Conflicts: 820000 | #Constraints: 69422
1378.01/1382.70 c #Conflicts: 821000 | #Constraints: 70422
1378.01/1382.70 c #Conflicts: 822000 | #Constraints: 71422
1378.01/1382.70 c #Conflicts: 823000 | #Constraints: 72422
1378.01/1382.70 c #Conflicts: 824000 | #Constraints: 73422
1378.01/1382.70 c #Conflicts: 825000 | #Constraints: 74422
1378.01/1382.70 c #Conflicts: 826000 | #Constraints: 75422
1378.01/1382.70 c #Conflicts: 827000 | #Constraints: 76422
1378.01/1382.70 c #Conflicts: 828000 | #Constraints: 77422
1378.01/1382.70 c INPROCESSING
1378.01/1382.70 c GARBAGE COLLECT
1378.01/1382.70 c #Conflicts: 829000 | #Constraints: 60447
1378.01/1382.70 c #Conflicts: 830000 | #Constraints: 61447
1378.01/1382.70 c #Conflicts: 831000 | #Constraints: 62447
1378.01/1382.70 c #Conflicts: 832000 | #Constraints: 63447
1378.01/1382.70 c #Conflicts: 833000 | #Constraints: 64447
1378.01/1382.70 c #Conflicts: 834000 | #Constraints: 65447
1378.01/1382.70 c #Conflicts: 835000 | #Constraints: 66447
1378.01/1382.70 c #Conflicts: 836000 | #Constraints: 67447
1378.01/1382.70 c #Conflicts: 837000 | #Constraints: 68447
1378.01/1382.70 c #Conflicts: 838000 | #Constraints: 69447
1378.01/1382.70 c #Conflicts: 839000 | #Constraints: 70447
1378.01/1382.70 c #Conflicts: 840000 | #Constraints: 71447
1378.01/1382.70 c #Conflicts: 841000 | #Constraints: 72447
1378.01/1382.70 c #Conflicts: 842000 | #Constraints: 73447
1378.01/1382.70 c #Conflicts: 843000 | #Constraints: 74447
1378.01/1382.70 c #Conflicts: 844000 | #Constraints: 75447
1378.01/1382.70 c #Conflicts: 845000 | #Constraints: 76447
1378.01/1382.70 c #Conflicts: 846000 | #Constraints: 77447
1378.01/1382.70 c INPROCESSING
1378.01/1382.70 c GARBAGE COLLECT
1378.01/1382.70 c #Conflicts: 847000 | #Constraints: 60254
1378.01/1382.70 c #Conflicts: 848000 | #Constraints: 61254
1378.01/1382.70 c #Conflicts: 849000 | #Constraints: 62254
1378.01/1382.70 c #Conflicts: 850000 | #Constraints: 63254
1378.01/1382.70 c #Conflicts: 851000 | #Constraints: 64254
1378.01/1382.70 c #Conflicts: 852000 | #Constraints: 65254
1378.01/1382.70 c #Conflicts: 853000 | #Constraints: 66254
1378.01/1382.70 c #Conflicts: 854000 | #Constraints: 67254
1378.01/1382.70 c #Conflicts: 855000 | #Constraints: 68254
1378.01/1382.70 c #Conflicts: 856000 | #Constraints: 69254
1378.01/1382.70 c #Conflicts: 857000 | #Constraints: 70254
1378.01/1382.70 c #Conflicts: 858000 | #Constraints: 71254
1378.01/1382.70 c #Conflicts: 859000 | #Constraints: 72254
1378.01/1382.70 c #Conflicts: 860000 | #Constraints: 73254
1378.01/1382.70 c #Conflicts: 861000 | #Constraints: 74254
1378.01/1382.70 c #Conflicts: 862000 | #Constraints: 75254
1378.01/1382.70 c #Conflicts: 863000 | #Constraints: 76254
1378.01/1382.70 c #Conflicts: 864000 | #Constraints: 77254
1378.01/1382.70 c #Conflicts: 865000 | #Constraints: 78254
1378.01/1382.70 c INPROCESSING
1378.01/1382.70 c GARBAGE COLLECT
1378.01/1382.70 c #Conflicts: 866000 | #Constraints: 60849
1378.01/1382.70 c #Conflicts: 867000 | #Constraints: 61849
1378.01/1382.70 c #Conflicts: 868000 | #Constraints: 62849
1378.01/1382.70 c #Conflicts: 869000 | #Constraints: 63849
1378.01/1382.70 c #Conflicts: 870000 | #Constraints: 64849
1378.01/1382.70 c #Conflicts: 871000 | #Constraints: 65849
1378.01/1382.70 c #Conflicts: 872000 | #Constraints: 66849
1378.01/1382.70 c #Conflicts: 873000 | #Constraints: 67849
1378.01/1382.70 c #Conflicts: 874000 | #Constraints: 68849
1378.01/1382.70 c #Conflicts: 875000 | #Constraints: 69849
1378.01/1382.70 c #Conflicts: 876000 | #Constraints: 70849
1378.01/1382.70 c #Conflicts: 877000 | #Constraints: 71849
1378.01/1382.70 c #Conflicts: 878000 | #Constraints: 72849
1378.01/1382.70 c #Conflicts: 879000 | #Constraints: 73849
1378.01/1382.70 c #Conflicts: 880000 | #Constraints: 74849
1378.01/1382.70 c #Conflicts: 881000 | #Constraints: 75849
1378.01/1382.70 c #Conflicts: 882000 | #Constraints: 76849
1378.01/1382.70 c #Conflicts: 883000 | #Constraints: 77849
1496.83/1501.96 c #Conflicts: 884000 | #Constraints: 78849
1496.83/1501.96 c INPROCESSING
1496.83/1501.96 c GARBAGE COLLECT
1496.83/1501.96 c #Conflicts: 885000 | #Constraints: 61256
1496.83/1501.96 c #Conflicts: 886000 | #Constraints: 62256
1496.83/1501.96 c #Conflicts: 887000 | #Constraints: 63256
1496.83/1501.96 c #Conflicts: 888000 | #Constraints: 64256
1496.83/1501.96 c #Conflicts: 889000 | #Constraints: 65256
1496.83/1501.96 c #Conflicts: 890000 | #Constraints: 66256
1496.83/1501.96 c #Conflicts: 891000 | #Constraints: 67256
1496.83/1501.96 c #Conflicts: 892000 | #Constraints: 68256
1496.83/1501.96 c #Conflicts: 893000 | #Constraints: 69256
1496.83/1501.96 c #Conflicts: 894000 | #Constraints: 70256
1496.83/1501.96 c #Conflicts: 895000 | #Constraints: 71256
1496.83/1501.96 c #Conflicts: 896000 | #Constraints: 72256
1496.83/1501.96 c #Conflicts: 897000 | #Constraints: 73256
1496.83/1501.96 c #Conflicts: 898000 | #Constraints: 74256
1496.83/1501.96 c #Conflicts: 899000 | #Constraints: 75256
1496.83/1501.96 c #Conflicts: 900000 | #Constraints: 76256
1496.83/1501.96 c #Conflicts: 901000 | #Constraints: 77256
1496.83/1501.96 c #Conflicts: 902000 | #Constraints: 78256
1496.83/1501.96 c #Conflicts: 903000 | #Constraints: 79256
1496.83/1501.96 c INPROCESSING
1496.83/1501.96 c GARBAGE COLLECT
1496.83/1501.96 c #Conflicts: 904000 | #Constraints: 61437
1496.83/1501.96 c #Conflicts: 905000 | #Constraints: 62437
1496.83/1501.96 c #Conflicts: 906000 | #Constraints: 63437
1496.83/1501.96 c #Conflicts: 907000 | #Constraints: 64437
1496.83/1501.96 c #Conflicts: 908000 | #Constraints: 65437
1496.83/1501.96 c #Conflicts: 909000 | #Constraints: 66437
1496.83/1501.96 c #Conflicts: 910000 | #Constraints: 67437
1496.83/1501.96 c #Conflicts: 911000 | #Constraints: 68437
1496.83/1501.96 c #Conflicts: 912000 | #Constraints: 69437
1496.83/1501.96 c #Conflicts: 913000 | #Constraints: 70437
1496.83/1501.96 c #Conflicts: 914000 | #Constraints: 71437
1496.83/1501.96 c #Conflicts: 915000 | #Constraints: 72437
1496.83/1501.96 c #Conflicts: 916000 | #Constraints: 73437
1496.83/1501.96 c #Conflicts: 917000 | #Constraints: 74437
1496.83/1501.96 c #Conflicts: 918000 | #Constraints: 75437
1496.83/1501.96 c #Conflicts: 919000 | #Constraints: 76437
1496.83/1501.96 c #Conflicts: 920000 | #Constraints: 77437
1496.83/1501.96 c #Conflicts: 921000 | #Constraints: 78437
1496.83/1501.96 c #Conflicts: 922000 | #Constraints: 79437
1496.83/1501.96 c INPROCESSING
1496.83/1501.96 c GARBAGE COLLECT
1496.83/1501.96 c #Conflicts: 923000 | #Constraints: 61423
1496.83/1501.96 c #Conflicts: 924000 | #Constraints: 62423
1496.83/1501.96 c #Conflicts: 925000 | #Constraints: 63423
1496.83/1501.96 c #Conflicts: 926000 | #Constraints: 64423
1496.83/1501.96 c #Conflicts: 927000 | #Constraints: 65423
1496.83/1501.96 c #Conflicts: 928000 | #Constraints: 66423
1496.83/1501.96 c #Conflicts: 929000 | #Constraints: 67423
1496.83/1501.96 c #Conflicts: 930000 | #Constraints: 68423
1496.83/1501.96 c #Conflicts: 931000 | #Constraints: 69423
1496.83/1501.96 c #Conflicts: 932000 | #Constraints: 70423
1496.83/1501.96 c #Conflicts: 933000 | #Constraints: 71423
1496.83/1501.96 c #Conflicts: 934000 | #Constraints: 72423
1496.83/1501.96 c #Conflicts: 935000 | #Constraints: 73423
1496.83/1501.96 c #Conflicts: 936000 | #Constraints: 74423
1496.83/1501.96 c #Conflicts: 937000 | #Constraints: 75423
1496.83/1501.96 c #Conflicts: 938000 | #Constraints: 76423
1496.83/1501.96 c #Conflicts: 939000 | #Constraints: 77423
1496.83/1501.96 c #Conflicts: 940000 | #Constraints: 78423
1496.83/1501.96 c #Conflicts: 941000 | #Constraints: 79423
1496.83/1501.96 c INPROCESSING
1496.83/1501.96 c GARBAGE COLLECT
1496.83/1501.96 c #Conflicts: 942000 | #Constraints: 61240
1496.83/1501.96 c #Conflicts: 943000 | #Constraints: 62240
1496.83/1501.96 c #Conflicts: 944000 | #Constraints: 63240
1496.83/1501.96 c #Conflicts: 945000 | #Constraints: 64240
1496.83/1501.96 c #Conflicts: 946000 | #Constraints: 65240
1496.83/1501.96 c #Conflicts: 947000 | #Constraints: 66240
1496.83/1501.96 c #Conflicts: 948000 | #Constraints: 67240
1496.83/1501.96 c #Conflicts: 949000 | #Constraints: 68240
1496.83/1501.96 c #Conflicts: 950000 | #Constraints: 69240
1496.83/1501.96 c #Conflicts: 951000 | #Constraints: 70240
1496.83/1501.96 c #Conflicts: 952000 | #Constraints: 71240
1496.83/1501.96 c #Conflicts: 953000 | #Constraints: 72240
1496.83/1501.96 c #Conflicts: 954000 | #Constraints: 73240
1496.83/1501.96 c #Conflicts: 955000 | #Constraints: 74240
1496.83/1501.96 c #Conflicts: 956000 | #Constraints: 75240
1496.83/1501.96 c #Conflicts: 957000 | #Constraints: 76240
1496.83/1501.96 c #Conflicts: 958000 | #Constraints: 77240
1496.83/1501.96 c #Conflicts: 959000 | #Constraints: 78240
1613.79/1619.29 c #Conflicts: 960000 | #Constraints: 79240
1613.79/1619.29 c #Conflicts: 961000 | #Constraints: 80240
1613.79/1619.29 c INPROCESSING
1613.79/1619.29 c GARBAGE COLLECT
1613.79/1619.29 c #Conflicts: 962000 | #Constraints: 61830
1613.79/1619.29 c #Conflicts: 963000 | #Constraints: 62830
1613.79/1619.29 c #Conflicts: 964000 | #Constraints: 63830
1613.79/1619.29 c #Conflicts: 965000 | #Constraints: 64830
1613.79/1619.29 c #Conflicts: 966000 | #Constraints: 65830
1613.79/1619.29 c #Conflicts: 967000 | #Constraints: 66830
1613.79/1619.29 c #Conflicts: 968000 | #Constraints: 67830
1613.79/1619.29 c #Conflicts: 969000 | #Constraints: 68830
1613.79/1619.29 c #Conflicts: 970000 | #Constraints: 69830
1613.79/1619.29 c #Conflicts: 971000 | #Constraints: 70830
1613.79/1619.29 c #Conflicts: 972000 | #Constraints: 71830
1613.79/1619.29 c #Conflicts: 973000 | #Constraints: 72830
1613.79/1619.29 c #Conflicts: 974000 | #Constraints: 73830
1613.79/1619.29 c #Conflicts: 975000 | #Constraints: 74830
1613.79/1619.29 c #Conflicts: 976000 | #Constraints: 75830
1613.79/1619.29 c #Conflicts: 977000 | #Constraints: 76830
1613.79/1619.29 c #Conflicts: 978000 | #Constraints: 77830
1613.79/1619.29 c #Conflicts: 979000 | #Constraints: 78830
1613.79/1619.29 c #Conflicts: 980000 | #Constraints: 79830
1613.79/1619.29 c #Conflicts: 981000 | #Constraints: 80830
1613.79/1619.29 c INPROCESSING
1613.79/1619.29 c GARBAGE COLLECT
1613.79/1619.29 c #Conflicts: 982000 | #Constraints: 62247
1613.79/1619.29 c #Conflicts: 983000 | #Constraints: 63247
1613.79/1619.29 c #Conflicts: 984000 | #Constraints: 64247
1613.79/1619.29 c #Conflicts: 985000 | #Constraints: 65247
1613.79/1619.29 c #Conflicts: 986000 | #Constraints: 66247
1613.79/1619.29 c #Conflicts: 987000 | #Constraints: 67247
1613.79/1619.29 c #Conflicts: 988000 | #Constraints: 68247
1613.79/1619.29 c #Conflicts: 989000 | #Constraints: 69247
1613.79/1619.29 c #Conflicts: 990000 | #Constraints: 70247
1613.79/1619.29 c #Conflicts: 991000 | #Constraints: 71247
1613.79/1619.29 c #Conflicts: 992000 | #Constraints: 72247
1613.79/1619.29 c #Conflicts: 993000 | #Constraints: 73247
1613.79/1619.29 c #Conflicts: 994000 | #Constraints: 74247
1613.79/1619.29 c #Conflicts: 995000 | #Constraints: 75247
1613.79/1619.29 c #Conflicts: 996000 | #Constraints: 76247
1613.79/1619.29 c #Conflicts: 997000 | #Constraints: 77247
1613.79/1619.29 c #Conflicts: 998000 | #Constraints: 78247
1613.79/1619.29 c #Conflicts: 999000 | #Constraints: 79247
1613.79/1619.29 c #Conflicts: 1000000 | #Constraints: 80247
1613.79/1619.29 c #Conflicts: 1001000 | #Constraints: 81247
1613.79/1619.29 c INPROCESSING
1613.79/1619.29 c GARBAGE COLLECT
1613.79/1619.29 c #Conflicts: 1002000 | #Constraints: 62454
1613.79/1619.29 c #Conflicts: 1003000 | #Constraints: 63454
1613.79/1619.29 c #Conflicts: 1004000 | #Constraints: 64454
1613.79/1619.29 c #Conflicts: 1005000 | #Constraints: 65454
1613.79/1619.29 c #Conflicts: 1006000 | #Constraints: 66454
1613.79/1619.29 c #Conflicts: 1007000 | #Constraints: 67454
1613.79/1619.29 c #Conflicts: 1008000 | #Constraints: 68454
1613.79/1619.29 c #Conflicts: 1009000 | #Constraints: 69454
1613.79/1619.29 c #Conflicts: 1010000 | #Constraints: 70454
1613.79/1619.29 c #Conflicts: 1011000 | #Constraints: 71454
1613.79/1619.29 c #Conflicts: 1012000 | #Constraints: 72454
1613.79/1619.29 c #Conflicts: 1013000 | #Constraints: 73454
1613.79/1619.29 c #Conflicts: 1014000 | #Constraints: 74454
1613.79/1619.29 c #Conflicts: 1015000 | #Constraints: 75454
1613.79/1619.29 c #Conflicts: 1016000 | #Constraints: 76454
1613.79/1619.29 c #Conflicts: 1017000 | #Constraints: 77454
1613.79/1619.29 c #Conflicts: 1018000 | #Constraints: 78454
1613.79/1619.29 c #Conflicts: 1019000 | #Constraints: 79454
1613.79/1619.29 c #Conflicts: 1020000 | #Constraints: 80454
1613.79/1619.29 c #Conflicts: 1021000 | #Constraints: 81454
1613.79/1619.29 c INPROCESSING
1613.79/1619.29 c GARBAGE COLLECT
1613.79/1619.29 c #Conflicts: 1022000 | #Constraints: 62462
1613.79/1619.29 c #Conflicts: 1023000 | #Constraints: 63462
1613.79/1619.29 c #Conflicts: 1024000 | #Constraints: 64462
1613.79/1619.29 c #Conflicts: 1025000 | #Constraints: 65462
1613.79/1619.29 c #Conflicts: 1026000 | #Constraints: 66462
1613.79/1619.29 c #Conflicts: 1027000 | #Constraints: 67462
1613.79/1619.29 c #Conflicts: 1028000 | #Constraints: 68462
1613.79/1619.29 c #Conflicts: 1029000 | #Constraints: 69462
1613.79/1619.29 c #Conflicts: 1030000 | #Constraints: 70462
1613.79/1619.29 c #Conflicts: 1031000 | #Constraints: 71462
1613.79/1619.29 c #Conflicts: 1032000 | #Constraints: 72462
1613.79/1619.29 c #Conflicts: 1033000 | #Constraints: 73462
1613.79/1619.29 c #Conflicts: 1034000 | #Constraints: 74462
1613.79/1619.29 c #Conflicts: 1035000 | #Constraints: 75462
1733.66/1739.47 c #Conflicts: 1036000 | #Constraints: 76462
1733.66/1739.47 c #Conflicts: 1037000 | #Constraints: 77462
1733.66/1739.47 c #Conflicts: 1038000 | #Constraints: 78462
1733.66/1739.47 c #Conflicts: 1039000 | #Constraints: 79462
1733.66/1739.47 c #Conflicts: 1040000 | #Constraints: 80462
1733.66/1739.47 c #Conflicts: 1041000 | #Constraints: 81462
1733.66/1739.47 c INPROCESSING
1733.66/1739.47 c GARBAGE COLLECT
1733.66/1739.47 c #Conflicts: 1042000 | #Constraints: 62246
1733.66/1739.47 c #Conflicts: 1043000 | #Constraints: 63246
1733.66/1739.47 c #Conflicts: 1044000 | #Constraints: 64246
1733.66/1739.47 c #Conflicts: 1045000 | #Constraints: 65246
1733.66/1739.47 c #Conflicts: 1046000 | #Constraints: 66246
1733.66/1739.47 c #Conflicts: 1047000 | #Constraints: 67246
1733.66/1739.47 c #Conflicts: 1048000 | #Constraints: 68246
1733.66/1739.47 c #Conflicts: 1049000 | #Constraints: 69246
1733.66/1739.47 c #Conflicts: 1050000 | #Constraints: 70246
1733.66/1739.47 c #Conflicts: 1051000 | #Constraints: 71246
1733.66/1739.47 c #Conflicts: 1052000 | #Constraints: 72246
1733.66/1739.47 c #Conflicts: 1053000 | #Constraints: 73246
1733.66/1739.47 c #Conflicts: 1054000 | #Constraints: 74246
1733.66/1739.47 c #Conflicts: 1055000 | #Constraints: 75246
1733.66/1739.47 c #Conflicts: 1056000 | #Constraints: 76246
1733.66/1739.47 c #Conflicts: 1057000 | #Constraints: 77246
1733.66/1739.47 c #Conflicts: 1058000 | #Constraints: 78246
1733.66/1739.47 c #Conflicts: 1059000 | #Constraints: 79246
1733.66/1739.47 c #Conflicts: 1060000 | #Constraints: 80246
1733.66/1739.47 c #Conflicts: 1061000 | #Constraints: 81246
1733.66/1739.47 c #Conflicts: 1062000 | #Constraints: 82246
1733.66/1739.47 c INPROCESSING
1733.66/1739.47 c GARBAGE COLLECT
1733.66/1739.47 c #Conflicts: 1063000 | #Constraints: 62841
1733.66/1739.47 c #Conflicts: 1064000 | #Constraints: 63841
1733.66/1739.47 c #Conflicts: 1065000 | #Constraints: 64841
1733.66/1739.47 c #Conflicts: 1066000 | #Constraints: 65841
1733.66/1739.47 c #Conflicts: 1067000 | #Constraints: 66841
1733.66/1739.47 c #Conflicts: 1068000 | #Constraints: 67841
1733.66/1739.47 c #Conflicts: 1069000 | #Constraints: 68841
1733.66/1739.47 c #Conflicts: 1070000 | #Constraints: 69841
1733.66/1739.47 c #Conflicts: 1071000 | #Constraints: 70841
1733.66/1739.47 c #Conflicts: 1072000 | #Constraints: 71841
1733.66/1739.47 c #Conflicts: 1073000 | #Constraints: 72841
1733.66/1739.47 c #Conflicts: 1074000 | #Constraints: 73841
1733.66/1739.47 c #Conflicts: 1075000 | #Constraints: 74841
1733.66/1739.47 c #Conflicts: 1076000 | #Constraints: 75841
1733.66/1739.47 c #Conflicts: 1077000 | #Constraints: 76841
1733.66/1739.47 c #Conflicts: 1078000 | #Constraints: 77841
1733.66/1739.47 c #Conflicts: 1079000 | #Constraints: 78841
1733.66/1739.47 c #Conflicts: 1080000 | #Constraints: 79841
1733.66/1739.47 c #Conflicts: 1081000 | #Constraints: 80841
1733.66/1739.47 c #Conflicts: 1082000 | #Constraints: 81841
1733.66/1739.47 c #Conflicts: 1083000 | #Constraints: 82841
1733.66/1739.47 c INPROCESSING
1733.66/1739.47 c GARBAGE COLLECT
1733.66/1739.47 c #Conflicts: 1084000 | #Constraints: 63248
1733.66/1739.47 c #Conflicts: 1085000 | #Constraints: 64248
1733.66/1739.47 c #Conflicts: 1086000 | #Constraints: 65248
1733.66/1739.47 c #Conflicts: 1087000 | #Constraints: 66248
1733.66/1739.47 c #Conflicts: 1088000 | #Constraints: 67248
1733.66/1739.47 c #Conflicts: 1089000 | #Constraints: 68248
1733.66/1739.47 c #Conflicts: 1090000 | #Constraints: 69248
1733.66/1739.47 c #Conflicts: 1091000 | #Constraints: 70248
1733.66/1739.47 c #Conflicts: 1092000 | #Constraints: 71248
1733.66/1739.47 c #Conflicts: 1093000 | #Constraints: 72248
1733.66/1739.47 c #Conflicts: 1094000 | #Constraints: 73248
1733.66/1739.47 c #Conflicts: 1095000 | #Constraints: 74248
1733.66/1739.47 c #Conflicts: 1096000 | #Constraints: 75248
1733.66/1739.47 c #Conflicts: 1097000 | #Constraints: 76248
1733.66/1739.47 c #Conflicts: 1098000 | #Constraints: 77248
1733.66/1739.47 c #Conflicts: 1099000 | #Constraints: 78248
1733.66/1739.47 c #Conflicts: 1100000 | #Constraints: 79248
1733.66/1739.47 c #Conflicts: 1101000 | #Constraints: 80248
1733.66/1739.47 c #Conflicts: 1102000 | #Constraints: 81248
1733.66/1739.47 c #Conflicts: 1103000 | #Constraints: 82248
1733.66/1739.47 c #Conflicts: 1104000 | #Constraints: 83248
1733.66/1739.47 c INPROCESSING
1733.66/1739.47 c GARBAGE COLLECT
1733.66/1739.47 c #Conflicts: 1105000 | #Constraints: 63459
1733.66/1739.47 c #Conflicts: 1106000 | #Constraints: 64459
1733.66/1739.47 c #Conflicts: 1107000 | #Constraints: 65459
1733.66/1739.47 c #Conflicts: 1108000 | #Constraints: 66459
1733.66/1739.47 c #Conflicts: 1109000 | #Constraints: 67459
1733.66/1739.47 c #Conflicts: 1110000 | #Constraints: 68459
1733.66/1739.47 c #Conflicts: 1111000 | #Constraints: 69459
1733.66/1739.47 c #Conflicts: 1112000 | #Constraints: 70459
1859.33/1865.49 c #Conflicts: 1113000 | #Constraints: 71459
1859.33/1865.49 c #Conflicts: 1114000 | #Constraints: 72459
1859.33/1865.49 c #Conflicts: 1115000 | #Constraints: 73459
1859.33/1865.49 c #Conflicts: 1116000 | #Constraints: 74459
1859.33/1865.49 c #Conflicts: 1117000 | #Constraints: 75459
1859.33/1865.49 c #Conflicts: 1118000 | #Constraints: 76459
1859.33/1865.49 c #Conflicts: 1119000 | #Constraints: 77459
1859.33/1865.49 c #Conflicts: 1120000 | #Constraints: 78459
1859.33/1865.49 c #Conflicts: 1121000 | #Constraints: 79459
1859.33/1865.49 c #Conflicts: 1122000 | #Constraints: 80459
1859.33/1865.49 c #Conflicts: 1123000 | #Constraints: 81459
1859.33/1865.49 c #Conflicts: 1124000 | #Constraints: 82459
1859.33/1865.49 c #Conflicts: 1125000 | #Constraints: 83459
1859.33/1865.49 c INPROCESSING
1859.33/1865.49 c GARBAGE COLLECT
1859.33/1865.49 c #Conflicts: 1126000 | #Constraints: 63440
1859.33/1865.49 c #Conflicts: 1127000 | #Constraints: 64440
1859.33/1865.49 c #Conflicts: 1128000 | #Constraints: 65440
1859.33/1865.49 c #Conflicts: 1129000 | #Constraints: 66440
1859.33/1865.49 c #Conflicts: 1130000 | #Constraints: 67440
1859.33/1865.49 c #Conflicts: 1131000 | #Constraints: 68440
1859.33/1865.49 c #Conflicts: 1132000 | #Constraints: 69440
1859.33/1865.49 c #Conflicts: 1133000 | #Constraints: 70440
1859.33/1865.49 c #Conflicts: 1134000 | #Constraints: 71440
1859.33/1865.49 c #Conflicts: 1135000 | #Constraints: 72440
1859.33/1865.49 c #Conflicts: 1136000 | #Constraints: 73440
1859.33/1865.49 c #Conflicts: 1137000 | #Constraints: 74440
1859.33/1865.49 c #Conflicts: 1138000 | #Constraints: 75440
1859.33/1865.49 c #Conflicts: 1139000 | #Constraints: 76440
1859.33/1865.49 c #Conflicts: 1140000 | #Constraints: 77440
1859.33/1865.49 c #Conflicts: 1141000 | #Constraints: 78440
1859.33/1865.49 c #Conflicts: 1142000 | #Constraints: 79440
1859.33/1865.49 c #Conflicts: 1143000 | #Constraints: 80440
1859.33/1865.49 c #Conflicts: 1144000 | #Constraints: 81440
1859.33/1865.49 c #Conflicts: 1145000 | #Constraints: 82440
1859.33/1865.49 c #Conflicts: 1146000 | #Constraints: 83440
1859.33/1865.49 c INPROCESSING
1859.33/1865.49 c GARBAGE COLLECT
1859.33/1865.49 c #Conflicts: 1147000 | #Constraints: 63257
1859.33/1865.49 c #Conflicts: 1148000 | #Constraints: 64257
1859.33/1865.49 c #Conflicts: 1149000 | #Constraints: 65257
1859.33/1865.49 c #Conflicts: 1150000 | #Constraints: 66257
1859.33/1865.49 c #Conflicts: 1151000 | #Constraints: 67257
1859.33/1865.49 c #Conflicts: 1152000 | #Constraints: 68257
1859.33/1865.49 c #Conflicts: 1153000 | #Constraints: 69257
1859.33/1865.49 c #Conflicts: 1154000 | #Constraints: 70257
1859.33/1865.49 c #Conflicts: 1155000 | #Constraints: 71257
1859.33/1865.49 c #Conflicts: 1156000 | #Constraints: 72257
1859.33/1865.49 c #Conflicts: 1157000 | #Constraints: 73257
1859.33/1865.49 c #Conflicts: 1158000 | #Constraints: 74257
1859.33/1865.49 c #Conflicts: 1159000 | #Constraints: 75257
1859.33/1865.49 c #Conflicts: 1160000 | #Constraints: 76257
1859.33/1865.49 c #Conflicts: 1161000 | #Constraints: 77257
1859.33/1865.49 c #Conflicts: 1162000 | #Constraints: 78257
1859.33/1865.49 c #Conflicts: 1163000 | #Constraints: 79257
1859.33/1865.49 c #Conflicts: 1164000 | #Constraints: 80257
1859.33/1865.49 c #Conflicts: 1165000 | #Constraints: 81257
1859.33/1865.49 c #Conflicts: 1166000 | #Constraints: 82257
1859.33/1865.49 c #Conflicts: 1167000 | #Constraints: 83257
1859.33/1865.49 c #Conflicts: 1168000 | #Constraints: 84257
1859.33/1865.49 c INPROCESSING
1859.33/1865.49 c GARBAGE COLLECT
1859.33/1865.49 c #Conflicts: 1169000 | #Constraints: 63857
1859.33/1865.49 c #Conflicts: 1170000 | #Constraints: 64857
1859.33/1865.49 c #Conflicts: 1171000 | #Constraints: 65857
1859.33/1865.49 c #Conflicts: 1172000 | #Constraints: 66857
1859.33/1865.49 c #Conflicts: 1173000 | #Constraints: 67857
1859.33/1865.49 c #Conflicts: 1174000 | #Constraints: 68857
1859.33/1865.49 c #Conflicts: 1175000 | #Constraints: 69857
1859.33/1865.49 c #Conflicts: 1176000 | #Constraints: 70857
1859.33/1865.49 c #Conflicts: 1177000 | #Constraints: 71857
1859.33/1865.49 c #Conflicts: 1178000 | #Constraints: 72857
1859.33/1865.49 c #Conflicts: 1179000 | #Constraints: 73857
1859.33/1865.49 c #Conflicts: 1180000 | #Constraints: 74857
1859.33/1865.49 c #Conflicts: 1181000 | #Constraints: 75857
1859.33/1865.49 c #Conflicts: 1182000 | #Constraints: 76857
1859.33/1865.49 c #Conflicts: 1183000 | #Constraints: 77857
1859.33/1865.49 c #Conflicts: 1184000 | #Constraints: 78857
1859.33/1865.49 c #Conflicts: 1185000 | #Constraints: 79857
1859.33/1865.49 c #Conflicts: 1186000 | #Constraints: 80857
1859.33/1865.49 c #Conflicts: 1187000 | #Constraints: 81857
1859.33/1865.49 c #Conflicts: 1188000 | #Constraints: 82857
1859.33/1865.49 c #Conflicts: 1189000 | #Constraints: 83857
2012.17/2018.73 c #Conflicts: 1190000 | #Constraints: 84857
2012.17/2018.73 c INPROCESSING
2012.17/2018.73 c GARBAGE COLLECT
2012.17/2018.73 c #Conflicts: 1191000 | #Constraints: 64251
2012.17/2018.73 c #Conflicts: 1192000 | #Constraints: 65251
2012.17/2018.73 c #Conflicts: 1193000 | #Constraints: 66251
2012.17/2018.73 c #Conflicts: 1194000 | #Constraints: 67251
2012.17/2018.73 c #Conflicts: 1195000 | #Constraints: 68251
2012.17/2018.73 c #Conflicts: 1196000 | #Constraints: 69251
2012.17/2018.73 c #Conflicts: 1197000 | #Constraints: 70251
2012.17/2018.73 c #Conflicts: 1198000 | #Constraints: 71251
2012.17/2018.73 c #Conflicts: 1199000 | #Constraints: 72251
2012.17/2018.73 c #Conflicts: 1200000 | #Constraints: 73251
2012.17/2018.73 c #Conflicts: 1201000 | #Constraints: 74251
2012.17/2018.73 c #Conflicts: 1202000 | #Constraints: 75251
2012.17/2018.73 c #Conflicts: 1203000 | #Constraints: 76251
2012.17/2018.73 c #Conflicts: 1204000 | #Constraints: 77251
2012.17/2018.73 c #Conflicts: 1205000 | #Constraints: 78251
2012.17/2018.73 c #Conflicts: 1206000 | #Constraints: 79251
2012.17/2018.73 c #Conflicts: 1207000 | #Constraints: 80251
2012.17/2018.73 c #Conflicts: 1208000 | #Constraints: 81251
2012.17/2018.73 c #Conflicts: 1209000 | #Constraints: 82251
2012.17/2018.73 c #Conflicts: 1210000 | #Constraints: 83251
2012.17/2018.73 c #Conflicts: 1211000 | #Constraints: 84251
2012.17/2018.73 c #Conflicts: 1212000 | #Constraints: 85251
2012.17/2018.73 c INPROCESSING
2012.17/2018.73 c GARBAGE COLLECT
2012.17/2018.73 c #Conflicts: 1213000 | #Constraints: 64449
2012.17/2018.73 c #Conflicts: 1214000 | #Constraints: 65449
2012.17/2018.73 c #Conflicts: 1215000 | #Constraints: 66449
2012.17/2018.73 c #Conflicts: 1216000 | #Constraints: 67449
2012.17/2018.73 c #Conflicts: 1217000 | #Constraints: 68449
2012.17/2018.73 c #Conflicts: 1218000 | #Constraints: 69449
2012.17/2018.73 c #Conflicts: 1219000 | #Constraints: 70449
2012.17/2018.73 c #Conflicts: 1220000 | #Constraints: 71449
2012.17/2018.73 c #Conflicts: 1221000 | #Constraints: 72449
2012.17/2018.73 c #Conflicts: 1222000 | #Constraints: 73449
2012.17/2018.73 c #Conflicts: 1223000 | #Constraints: 74449
2012.17/2018.73 c #Conflicts: 1224000 | #Constraints: 75449
2012.17/2018.73 c #Conflicts: 1225000 | #Constraints: 76449
2012.17/2018.73 c #Conflicts: 1226000 | #Constraints: 77449
2012.17/2018.73 c #Conflicts: 1227000 | #Constraints: 78449
2012.17/2018.73 c #Conflicts: 1228000 | #Constraints: 79449
2012.17/2018.73 c #Conflicts: 1229000 | #Constraints: 80449
2012.17/2018.73 c #Conflicts: 1230000 | #Constraints: 81449
2012.17/2018.73 c #Conflicts: 1231000 | #Constraints: 82449
2012.17/2018.73 c #Conflicts: 1232000 | #Constraints: 83449
2012.17/2018.73 c #Conflicts: 1233000 | #Constraints: 84449
2012.17/2018.73 c #Conflicts: 1234000 | #Constraints: 85449
2012.17/2018.73 c INPROCESSING
2012.17/2018.73 c GARBAGE COLLECT
2012.17/2018.73 c #Conflicts: 1235000 | #Constraints: 64441
2012.17/2018.73 c #Conflicts: 1236000 | #Constraints: 65441
2012.17/2018.73 c #Conflicts: 1237000 | #Constraints: 66441
2012.17/2018.73 c #Conflicts: 1238000 | #Constraints: 67441
2012.17/2018.73 c #Conflicts: 1239000 | #Constraints: 68441
2012.17/2018.73 c #Conflicts: 1240000 | #Constraints: 69441
2012.17/2018.73 c #Conflicts: 1241000 | #Constraints: 70441
2012.17/2018.73 c #Conflicts: 1242000 | #Constraints: 71441
2012.17/2018.73 c #Conflicts: 1243000 | #Constraints: 72441
2012.17/2018.73 c #Conflicts: 1244000 | #Constraints: 73441
2012.17/2018.73 c #Conflicts: 1245000 | #Constraints: 74441
2012.17/2018.73 c #Conflicts: 1246000 | #Constraints: 75441
2012.17/2018.73 c #Conflicts: 1247000 | #Constraints: 76441
2012.17/2018.73 c #Conflicts: 1248000 | #Constraints: 77441
2012.17/2018.73 c #Conflicts: 1249000 | #Constraints: 78441
2012.17/2018.73 c #Conflicts: 1250000 | #Constraints: 79441
2012.17/2018.73 c #Conflicts: 1251000 | #Constraints: 80441
2012.17/2018.73 c #Conflicts: 1252000 | #Constraints: 81441
2012.17/2018.73 c #Conflicts: 1253000 | #Constraints: 82441
2012.17/2018.73 c #Conflicts: 1254000 | #Constraints: 83441
2012.17/2018.73 c #Conflicts: 1255000 | #Constraints: 84441
2012.17/2018.73 c #Conflicts: 1256000 | #Constraints: 85441
2012.17/2018.73 c INPROCESSING
2012.17/2018.73 c GARBAGE COLLECT
2012.17/2018.73 c #Conflicts: 1257000 | #Constraints: 64259
2012.17/2018.73 c #Conflicts: 1258000 | #Constraints: 65259
2012.17/2018.73 c #Conflicts: 1259000 | #Constraints: 66259
2012.17/2018.73 c #Conflicts: 1260000 | #Constraints: 67259
2012.17/2018.73 c #Conflicts: 1261000 | #Constraints: 68259
2012.17/2018.73 c #Conflicts: 1262000 | #Constraints: 69259
2012.17/2018.73 c #Conflicts: 1263000 | #Constraints: 70259
2012.17/2018.73 c #Conflicts: 1264000 | #Constraints: 71259
2012.17/2018.73 c #Conflicts: 1265000 | #Constraints: 72259
2179.06/2186.14 c #Conflicts: 1266000 | #Constraints: 73259
2179.06/2186.14 c #Conflicts: 1267000 | #Constraints: 74259
2179.06/2186.14 c #Conflicts: 1268000 | #Constraints: 75259
2179.06/2186.14 c #Conflicts: 1269000 | #Constraints: 76259
2179.06/2186.14 c #Conflicts: 1270000 | #Constraints: 77259
2179.06/2186.14 c #Conflicts: 1271000 | #Constraints: 78259
2179.06/2186.14 c #Conflicts: 1272000 | #Constraints: 79259
2179.06/2186.14 c #Conflicts: 1273000 | #Constraints: 80259
2179.06/2186.14 c #Conflicts: 1274000 | #Constraints: 81259
2179.06/2186.14 c #Conflicts: 1275000 | #Constraints: 82259
2179.06/2186.14 c #Conflicts: 1276000 | #Constraints: 83259
2179.06/2186.14 c #Conflicts: 1277000 | #Constraints: 84259
2179.06/2186.14 c #Conflicts: 1278000 | #Constraints: 85259
2179.06/2186.14 c #Conflicts: 1279000 | #Constraints: 86259
2179.06/2186.14 c INPROCESSING
2179.06/2186.14 c GARBAGE COLLECT
2179.06/2186.14 c #Conflicts: 1280000 | #Constraints: 64868
2179.06/2186.14 c #Conflicts: 1281000 | #Constraints: 65868
2179.06/2186.14 c #Conflicts: 1282000 | #Constraints: 66868
2179.06/2186.14 c #Conflicts: 1283000 | #Constraints: 67868
2179.06/2186.14 c #Conflicts: 1284000 | #Constraints: 68868
2179.06/2186.14 c #Conflicts: 1285000 | #Constraints: 69868
2179.06/2186.14 c #Conflicts: 1286000 | #Constraints: 70868
2179.06/2186.14 c #Conflicts: 1287000 | #Constraints: 71868
2179.06/2186.14 c #Conflicts: 1288000 | #Constraints: 72868
2179.06/2186.14 c #Conflicts: 1289000 | #Constraints: 73868
2179.06/2186.14 c #Conflicts: 1290000 | #Constraints: 74868
2179.06/2186.14 c #Conflicts: 1291000 | #Constraints: 75868
2179.06/2186.14 c #Conflicts: 1292000 | #Constraints: 76868
2179.06/2186.14 c #Conflicts: 1293000 | #Constraints: 77868
2179.06/2186.14 c #Conflicts: 1294000 | #Constraints: 78868
2179.06/2186.14 c #Conflicts: 1295000 | #Constraints: 79868
2179.06/2186.14 c #Conflicts: 1296000 | #Constraints: 80868
2179.06/2186.14 c #Conflicts: 1297000 | #Constraints: 81868
2179.06/2186.14 c #Conflicts: 1298000 | #Constraints: 82868
2179.06/2186.14 c #Conflicts: 1299000 | #Constraints: 83868
2179.06/2186.14 c #Conflicts: 1300000 | #Constraints: 84868
2179.06/2186.14 c #Conflicts: 1301000 | #Constraints: 85868
2179.06/2186.14 c #Conflicts: 1302000 | #Constraints: 86868
2179.06/2186.14 c INPROCESSING
2179.06/2186.14 c GARBAGE COLLECT
2179.06/2186.14 c #Conflicts: 1303000 | #Constraints: 65296
2179.06/2186.14 c #Conflicts: 1304000 | #Constraints: 66296
2179.06/2186.14 c #Conflicts: 1305000 | #Constraints: 67296
2179.06/2186.14 c #Conflicts: 1306000 | #Constraints: 68296
2179.06/2186.14 c #Conflicts: 1307000 | #Constraints: 69296
2179.06/2186.14 c #Conflicts: 1308000 | #Constraints: 70296
2179.06/2186.14 c #Conflicts: 1309000 | #Constraints: 71296
2179.06/2186.14 c #Conflicts: 1310000 | #Constraints: 72296
2179.06/2186.14 c #Conflicts: 1311000 | #Constraints: 73296
2179.06/2186.14 c #Conflicts: 1312000 | #Constraints: 74296
2179.06/2186.14 c #Conflicts: 1313000 | #Constraints: 75296
2179.06/2186.14 c #Conflicts: 1314000 | #Constraints: 76296
2179.06/2186.14 c #Conflicts: 1315000 | #Constraints: 77296
2179.06/2186.14 c #Conflicts: 1316000 | #Constraints: 78296
2179.06/2186.14 c #Conflicts: 1317000 | #Constraints: 79296
2179.06/2186.14 c #Conflicts: 1318000 | #Constraints: 80296
2179.06/2186.14 c #Conflicts: 1319000 | #Constraints: 81296
2179.06/2186.14 c #Conflicts: 1320000 | #Constraints: 82296
2179.06/2186.14 c #Conflicts: 1321000 | #Constraints: 83296
2179.06/2186.14 c #Conflicts: 1322000 | #Constraints: 84296
2179.06/2186.14 c #Conflicts: 1323000 | #Constraints: 85296
2179.06/2186.14 c #Conflicts: 1324000 | #Constraints: 86296
2179.06/2186.14 c #Conflicts: 1325000 | #Constraints: 87296
2179.06/2186.14 c INPROCESSING
2179.06/2186.14 c GARBAGE COLLECT
2179.06/2186.14 c #Conflicts: 1326000 | #Constraints: 65482
2179.06/2186.14 c #Conflicts: 1327000 | #Constraints: 66482
2179.06/2186.14 c #Conflicts: 1328000 | #Constraints: 67482
2179.06/2186.14 c #Conflicts: 1329000 | #Constraints: 68482
2179.06/2186.14 c #Conflicts: 1330000 | #Constraints: 69482
2179.06/2186.14 c #Conflicts: 1331000 | #Constraints: 70482
2179.06/2186.14 c #Conflicts: 1332000 | #Constraints: 71482
2179.06/2186.14 c #Conflicts: 1333000 | #Constraints: 72482
2179.06/2186.14 c #Conflicts: 1334000 | #Constraints: 73482
2179.06/2186.14 c #Conflicts: 1335000 | #Constraints: 74482
2179.06/2186.14 c #Conflicts: 1336000 | #Constraints: 75482
2179.06/2186.14 c #Conflicts: 1337000 | #Constraints: 76482
2179.06/2186.14 c #Conflicts: 1338000 | #Constraints: 77482
2179.06/2186.14 c #Conflicts: 1339000 | #Constraints: 78482
2179.06/2186.14 c #Conflicts: 1340000 | #Constraints: 79482
2179.06/2186.14 c #Conflicts: 1341000 | #Constraints: 80482
2179.06/2186.14 c #Conflicts: 1342000 | #Constraints: 81482
2345.23/2352.83 c #Conflicts: 1343000 | #Constraints: 82482
2345.23/2352.83 c #Conflicts: 1344000 | #Constraints: 83482
2345.23/2352.83 c #Conflicts: 1345000 | #Constraints: 84482
2345.23/2352.83 c #Conflicts: 1346000 | #Constraints: 85482
2345.23/2352.83 c #Conflicts: 1347000 | #Constraints: 86482
2345.23/2352.83 c #Conflicts: 1348000 | #Constraints: 87482
2345.23/2352.83 c INPROCESSING
2345.23/2352.83 c GARBAGE COLLECT
2345.23/2352.83 c #Conflicts: 1349000 | #Constraints: 65462
2345.23/2352.83 c #Conflicts: 1350000 | #Constraints: 66462
2345.23/2352.83 c #Conflicts: 1351000 | #Constraints: 67462
2345.23/2352.83 c #Conflicts: 1352000 | #Constraints: 68462
2345.23/2352.83 c #Conflicts: 1353000 | #Constraints: 69462
2345.23/2352.83 c #Conflicts: 1354000 | #Constraints: 70462
2345.23/2352.83 c #Conflicts: 1355000 | #Constraints: 71462
2345.23/2352.83 c #Conflicts: 1356000 | #Constraints: 72462
2345.23/2352.83 c #Conflicts: 1357000 | #Constraints: 73462
2345.23/2352.83 c #Conflicts: 1358000 | #Constraints: 74462
2345.23/2352.83 c #Conflicts: 1359000 | #Constraints: 75462
2345.23/2352.83 c #Conflicts: 1360000 | #Constraints: 76462
2345.23/2352.83 c #Conflicts: 1361000 | #Constraints: 77462
2345.23/2352.83 c #Conflicts: 1362000 | #Constraints: 78462
2345.23/2352.83 c #Conflicts: 1363000 | #Constraints: 79462
2345.23/2352.83 c #Conflicts: 1364000 | #Constraints: 80462
2345.23/2352.83 c #Conflicts: 1365000 | #Constraints: 81462
2345.23/2352.83 c #Conflicts: 1366000 | #Constraints: 82462
2345.23/2352.83 c #Conflicts: 1367000 | #Constraints: 83462
2345.23/2352.83 c #Conflicts: 1368000 | #Constraints: 84462
2345.23/2352.83 c #Conflicts: 1369000 | #Constraints: 85462
2345.23/2352.83 c #Conflicts: 1370000 | #Constraints: 86462
2345.23/2352.83 c #Conflicts: 1371000 | #Constraints: 87462
2345.23/2352.83 c INPROCESSING
2345.23/2352.83 c GARBAGE COLLECT
2345.23/2352.83 c #Conflicts: 1372000 | #Constraints: 65261
2345.23/2352.83 c #Conflicts: 1373000 | #Constraints: 66261
2345.23/2352.83 c #Conflicts: 1374000 | #Constraints: 67261
2345.23/2352.83 c #Conflicts: 1375000 | #Constraints: 68261
2345.23/2352.83 c #Conflicts: 1376000 | #Constraints: 69261
2345.23/2352.83 c #Conflicts: 1377000 | #Constraints: 70261
2345.23/2352.83 c #Conflicts: 1378000 | #Constraints: 71261
2345.23/2352.83 c #Conflicts: 1379000 | #Constraints: 72261
2345.23/2352.83 c #Conflicts: 1380000 | #Constraints: 73261
2345.23/2352.83 c #Conflicts: 1381000 | #Constraints: 74261
2345.23/2352.83 c #Conflicts: 1382000 | #Constraints: 75261
2345.23/2352.83 c #Conflicts: 1383000 | #Constraints: 76261
2345.23/2352.83 c #Conflicts: 1384000 | #Constraints: 77261
2345.23/2352.83 c #Conflicts: 1385000 | #Constraints: 78261
2345.23/2352.83 c #Conflicts: 1386000 | #Constraints: 79261
2345.23/2352.83 c #Conflicts: 1387000 | #Constraints: 80261
2345.23/2352.83 c #Conflicts: 1388000 | #Constraints: 81261
2345.23/2352.83 c #Conflicts: 1389000 | #Constraints: 82261
2345.23/2352.83 c #Conflicts: 1390000 | #Constraints: 83261
2345.23/2352.83 c #Conflicts: 1391000 | #Constraints: 84261
2345.23/2352.83 c #Conflicts: 1392000 | #Constraints: 85261
2345.23/2352.83 c #Conflicts: 1393000 | #Constraints: 86261
2345.23/2352.83 c #Conflicts: 1394000 | #Constraints: 87261
2345.23/2352.83 c #Conflicts: 1395000 | #Constraints: 88261
2345.23/2352.83 c INPROCESSING
2345.23/2352.83 c GARBAGE COLLECT
2345.23/2352.83 c #Conflicts: 1396000 | #Constraints: 65880
2345.23/2352.83 c #Conflicts: 1397000 | #Constraints: 66880
2345.23/2352.83 c #Conflicts: 1398000 | #Constraints: 67880
2345.23/2352.83 c #Conflicts: 1399000 | #Constraints: 68880
2345.23/2352.83 c #Conflicts: 1400000 | #Constraints: 69880
2345.23/2352.83 c #Conflicts: 1401000 | #Constraints: 70880
2345.23/2352.83 c #Conflicts: 1402000 | #Constraints: 71880
2345.23/2352.83 c #Conflicts: 1403000 | #Constraints: 72880
2345.23/2352.83 c #Conflicts: 1404000 | #Constraints: 73880
2345.23/2352.83 c #Conflicts: 1405000 | #Constraints: 74880
2345.23/2352.83 c #Conflicts: 1406000 | #Constraints: 75880
2345.23/2352.83 c #Conflicts: 1407000 | #Constraints: 76880
2345.23/2352.83 c #Conflicts: 1408000 | #Constraints: 77880
2345.23/2352.83 c #Conflicts: 1409000 | #Constraints: 78880
2345.23/2352.83 c #Conflicts: 1410000 | #Constraints: 79880
2345.23/2352.83 c #Conflicts: 1411000 | #Constraints: 80880
2345.23/2352.83 c #Conflicts: 1412000 | #Constraints: 81880
2345.23/2352.83 c #Conflicts: 1413000 | #Constraints: 82880
2345.23/2352.83 c #Conflicts: 1414000 | #Constraints: 83880
2345.23/2352.83 c #Conflicts: 1415000 | #Constraints: 84880
2345.23/2352.83 c #Conflicts: 1416000 | #Constraints: 85880
2345.23/2352.83 c #Conflicts: 1417000 | #Constraints: 86880
2345.23/2352.83 c #Conflicts: 1418000 | #Constraints: 87880
2345.23/2352.83 c #Conflicts: 1419000 | #Constraints: 88880
2492.53/2500.50 c INPROCESSING
2492.53/2500.50 c GARBAGE COLLECT
2492.53/2500.50 c #Conflicts: 1420000 | #Constraints: 66273
2492.53/2500.50 c #Conflicts: 1421000 | #Constraints: 67273
2492.53/2500.50 c #Conflicts: 1422000 | #Constraints: 68273
2492.53/2500.50 c #Conflicts: 1423000 | #Constraints: 69273
2492.53/2500.50 c #Conflicts: 1424000 | #Constraints: 70273
2492.53/2500.50 c #Conflicts: 1425000 | #Constraints: 71273
2492.53/2500.50 c #Conflicts: 1426000 | #Constraints: 72273
2492.53/2500.50 c #Conflicts: 1427000 | #Constraints: 73273
2492.53/2500.50 c #Conflicts: 1428000 | #Constraints: 74273
2492.53/2500.50 c #Conflicts: 1429000 | #Constraints: 75273
2492.53/2500.50 c #Conflicts: 1430000 | #Constraints: 76273
2492.53/2500.50 c #Conflicts: 1431000 | #Constraints: 77273
2492.53/2500.50 c #Conflicts: 1432000 | #Constraints: 78273
2492.53/2500.50 c #Conflicts: 1433000 | #Constraints: 79273
2492.53/2500.50 c #Conflicts: 1434000 | #Constraints: 80273
2492.53/2500.50 c #Conflicts: 1435000 | #Constraints: 81273
2492.53/2500.50 c #Conflicts: 1436000 | #Constraints: 82273
2492.53/2500.50 c #Conflicts: 1437000 | #Constraints: 83273
2492.53/2500.50 c #Conflicts: 1438000 | #Constraints: 84273
2492.53/2500.50 c #Conflicts: 1439000 | #Constraints: 85273
2492.53/2500.50 c #Conflicts: 1440000 | #Constraints: 86273
2492.53/2500.50 c #Conflicts: 1441000 | #Constraints: 87273
2492.53/2500.50 c #Conflicts: 1442000 | #Constraints: 88273
2492.53/2500.50 c #Conflicts: 1443000 | #Constraints: 89273
2492.53/2500.50 c INPROCESSING
2492.53/2500.50 c GARBAGE COLLECT
2492.53/2500.50 c #Conflicts: 1444000 | #Constraints: 66465
2492.53/2500.50 c #Conflicts: 1445000 | #Constraints: 67465
2492.53/2500.50 c #Conflicts: 1446000 | #Constraints: 68465
2492.53/2500.50 c #Conflicts: 1447000 | #Constraints: 69465
2492.53/2500.50 c #Conflicts: 1448000 | #Constraints: 70465
2492.53/2500.50 c #Conflicts: 1449000 | #Constraints: 71465
2492.53/2500.50 c #Conflicts: 1450000 | #Constraints: 72465
2492.53/2500.50 c #Conflicts: 1451000 | #Constraints: 73465
2492.53/2500.50 c #Conflicts: 1452000 | #Constraints: 74465
2492.53/2500.50 c #Conflicts: 1453000 | #Constraints: 75465
2492.53/2500.50 c #Conflicts: 1454000 | #Constraints: 76465
2492.53/2500.50 c #Conflicts: 1455000 | #Constraints: 77465
2492.53/2500.50 c #Conflicts: 1456000 | #Constraints: 78465
2492.53/2500.50 c #Conflicts: 1457000 | #Constraints: 79465
2492.53/2500.50 c #Conflicts: 1458000 | #Constraints: 80465
2492.53/2500.50 c #Conflicts: 1459000 | #Constraints: 81465
2492.53/2500.50 c #Conflicts: 1460000 | #Constraints: 82465
2492.53/2500.50 c #Conflicts: 1461000 | #Constraints: 83465
2492.53/2500.50 c #Conflicts: 1462000 | #Constraints: 84465
2492.53/2500.50 c #Conflicts: 1463000 | #Constraints: 85465
2492.53/2500.50 c #Conflicts: 1464000 | #Constraints: 86465
2492.53/2500.50 c #Conflicts: 1465000 | #Constraints: 87465
2492.53/2500.50 c #Conflicts: 1466000 | #Constraints: 88465
2492.53/2500.50 c #Conflicts: 1467000 | #Constraints: 89465
2492.53/2500.50 c INPROCESSING
2492.53/2500.50 c GARBAGE COLLECT
2492.53/2500.50 c #Conflicts: 1468000 | #Constraints: 66452
2492.53/2500.50 c #Conflicts: 1469000 | #Constraints: 67452
2492.53/2500.50 c #Conflicts: 1470000 | #Constraints: 68452
2492.53/2500.50 c #Conflicts: 1471000 | #Constraints: 69452
2492.53/2500.50 c #Conflicts: 1472000 | #Constraints: 70452
2492.53/2500.50 c #Conflicts: 1473000 | #Constraints: 71452
2492.53/2500.50 c #Conflicts: 1474000 | #Constraints: 72452
2492.53/2500.50 c #Conflicts: 1475000 | #Constraints: 73452
2492.53/2500.50 c #Conflicts: 1476000 | #Constraints: 74452
2492.53/2500.50 c #Conflicts: 1477000 | #Constraints: 75452
2492.53/2500.50 c #Conflicts: 1478000 | #Constraints: 76452
2492.53/2500.50 c #Conflicts: 1479000 | #Constraints: 77452
2492.53/2500.50 c #Conflicts: 1480000 | #Constraints: 78452
2492.53/2500.50 c #Conflicts: 1481000 | #Constraints: 79452
2492.53/2500.50 c #Conflicts: 1482000 | #Constraints: 80452
2492.53/2500.50 c #Conflicts: 1483000 | #Constraints: 81452
2492.53/2500.50 c #Conflicts: 1484000 | #Constraints: 82452
2492.53/2500.50 c #Conflicts: 1485000 | #Constraints: 83452
2492.53/2500.50 c #Conflicts: 1486000 | #Constraints: 84452
2492.53/2500.50 c #Conflicts: 1487000 | #Constraints: 85452
2492.53/2500.50 c #Conflicts: 1488000 | #Constraints: 86452
2492.53/2500.50 c #Conflicts: 1489000 | #Constraints: 87452
2492.53/2500.50 c #Conflicts: 1490000 | #Constraints: 88452
2492.53/2500.50 c #Conflicts: 1491000 | #Constraints: 89452
2492.53/2500.50 c INPROCESSING
2492.53/2500.50 c GARBAGE COLLECT
2492.53/2500.50 c #Conflicts: 1492000 | #Constraints: 66254
2492.53/2500.50 c #Conflicts: 1493000 | #Constraints: 67254
2492.53/2500.50 c #Conflicts: 1494000 | #Constraints: 68254
2492.53/2500.50 c #Conflicts: 1495000 | #Constraints: 69254
2642.51/2650.99 c #Conflicts: 1496000 | #Constraints: 70254
2642.51/2650.99 c #Conflicts: 1497000 | #Constraints: 71254
2642.51/2650.99 c #Conflicts: 1498000 | #Constraints: 72254
2642.51/2650.99 c #Conflicts: 1499000 | #Constraints: 73254
2642.51/2650.99 c #Conflicts: 1500000 | #Constraints: 74254
2642.51/2650.99 c #Conflicts: 1501000 | #Constraints: 75254
2642.51/2650.99 c #Conflicts: 1502000 | #Constraints: 76254
2642.51/2650.99 c #Conflicts: 1503000 | #Constraints: 77254
2642.51/2650.99 c #Conflicts: 1504000 | #Constraints: 78254
2642.51/2650.99 c #Conflicts: 1505000 | #Constraints: 79254
2642.51/2650.99 c #Conflicts: 1506000 | #Constraints: 80254
2642.51/2650.99 c #Conflicts: 1507000 | #Constraints: 81254
2642.51/2650.99 c #Conflicts: 1508000 | #Constraints: 82254
2642.51/2650.99 c #Conflicts: 1509000 | #Constraints: 83254
2642.51/2650.99 c #Conflicts: 1510000 | #Constraints: 84254
2642.51/2650.99 c #Conflicts: 1511000 | #Constraints: 85254
2642.51/2650.99 c #Conflicts: 1512000 | #Constraints: 86254
2642.51/2650.99 c #Conflicts: 1513000 | #Constraints: 87254
2642.51/2650.99 c #Conflicts: 1514000 | #Constraints: 88254
2642.51/2650.99 c #Conflicts: 1515000 | #Constraints: 89254
2642.51/2650.99 c #Conflicts: 1516000 | #Constraints: 90254
2642.51/2650.99 c INPROCESSING
2642.51/2650.99 c GARBAGE COLLECT
2642.51/2650.99 c #Conflicts: 1517000 | #Constraints: 66851
2642.51/2650.99 c #Conflicts: 1518000 | #Constraints: 67851
2642.51/2650.99 c #Conflicts: 1519000 | #Constraints: 68851
2642.51/2650.99 c #Conflicts: 1520000 | #Constraints: 69851
2642.51/2650.99 c #Conflicts: 1521000 | #Constraints: 70851
2642.51/2650.99 c #Conflicts: 1522000 | #Constraints: 71851
2642.51/2650.99 c #Conflicts: 1523000 | #Constraints: 72851
2642.51/2650.99 c #Conflicts: 1524000 | #Constraints: 73851
2642.51/2650.99 c #Conflicts: 1525000 | #Constraints: 74851
2642.51/2650.99 c #Conflicts: 1526000 | #Constraints: 75851
2642.51/2650.99 c #Conflicts: 1527000 | #Constraints: 76851
2642.51/2650.99 c #Conflicts: 1528000 | #Constraints: 77851
2642.51/2650.99 c #Conflicts: 1529000 | #Constraints: 78851
2642.51/2650.99 c #Conflicts: 1530000 | #Constraints: 79851
2642.51/2650.99 c #Conflicts: 1531000 | #Constraints: 80851
2642.51/2650.99 c #Conflicts: 1532000 | #Constraints: 81851
2642.51/2650.99 c #Conflicts: 1533000 | #Constraints: 82851
2642.51/2650.99 c #Conflicts: 1534000 | #Constraints: 83851
2642.51/2650.99 c #Conflicts: 1535000 | #Constraints: 84851
2642.51/2650.99 c #Conflicts: 1536000 | #Constraints: 85851
2642.51/2650.99 c #Conflicts: 1537000 | #Constraints: 86851
2642.51/2650.99 c #Conflicts: 1538000 | #Constraints: 87851
2642.51/2650.99 c #Conflicts: 1539000 | #Constraints: 88851
2642.51/2650.99 c #Conflicts: 1540000 | #Constraints: 89851
2642.51/2650.99 c #Conflicts: 1541000 | #Constraints: 90851
2642.51/2650.99 c INPROCESSING
2642.51/2650.99 c GARBAGE COLLECT
2642.51/2650.99 c #Conflicts: 1542000 | #Constraints: 67266
2642.51/2650.99 c #Conflicts: 1543000 | #Constraints: 68266
2642.51/2650.99 c #Conflicts: 1544000 | #Constraints: 69266
2642.51/2650.99 c #Conflicts: 1545000 | #Constraints: 70266
2642.51/2650.99 c #Conflicts: 1546000 | #Constraints: 71266
2642.51/2650.99 c #Conflicts: 1547000 | #Constraints: 72266
2642.51/2650.99 c #Conflicts: 1548000 | #Constraints: 73266
2642.51/2650.99 c #Conflicts: 1549000 | #Constraints: 74266
2642.51/2650.99 c #Conflicts: 1550000 | #Constraints: 75266
2642.51/2650.99 c #Conflicts: 1551000 | #Constraints: 76266
2642.51/2650.99 c #Conflicts: 1552000 | #Constraints: 77266
2642.51/2650.99 c #Conflicts: 1553000 | #Constraints: 78266
2642.51/2650.99 c #Conflicts: 1554000 | #Constraints: 79266
2642.51/2650.99 c #Conflicts: 1555000 | #Constraints: 80266
2642.51/2650.99 c #Conflicts: 1556000 | #Constraints: 81266
2642.51/2650.99 c #Conflicts: 1557000 | #Constraints: 82266
2642.51/2650.99 c #Conflicts: 1558000 | #Constraints: 83266
2642.51/2650.99 c #Conflicts: 1559000 | #Constraints: 84266
2642.51/2650.99 c #Conflicts: 1560000 | #Constraints: 85266
2642.51/2650.99 c #Conflicts: 1561000 | #Constraints: 86266
2642.51/2650.99 c #Conflicts: 1562000 | #Constraints: 87266
2642.51/2650.99 c #Conflicts: 1563000 | #Constraints: 88266
2642.51/2650.99 c #Conflicts: 1564000 | #Constraints: 89266
2642.51/2650.99 c #Conflicts: 1565000 | #Constraints: 90266
2642.51/2650.99 c #Conflicts: 1566000 | #Constraints: 91266
2642.51/2650.99 c INPROCESSING
2642.51/2650.99 c GARBAGE COLLECT
2642.51/2650.99 c #Conflicts: 1567000 | #Constraints: 67462
2642.51/2650.99 c #Conflicts: 1568000 | #Constraints: 68462
2642.51/2650.99 c #Conflicts: 1569000 | #Constraints: 69462
2642.51/2650.99 c #Conflicts: 1570000 | #Constraints: 70462
2642.51/2650.99 c #Conflicts: 1571000 | #Constraints: 71462
2642.51/2650.99 c #Conflicts: 1572000 | #Constraints: 72462
2786.62/2795.48 c #Conflicts: 1573000 | #Constraints: 73462
2786.62/2795.48 c #Conflicts: 1574000 | #Constraints: 74462
2786.62/2795.48 c #Conflicts: 1575000 | #Constraints: 75462
2786.62/2795.48 c #Conflicts: 1576000 | #Constraints: 76462
2786.62/2795.48 c #Conflicts: 1577000 | #Constraints: 77462
2786.62/2795.48 c #Conflicts: 1578000 | #Constraints: 78462
2786.62/2795.48 c #Conflicts: 1579000 | #Constraints: 79462
2786.62/2795.48 c #Conflicts: 1580000 | #Constraints: 80462
2786.62/2795.48 c #Conflicts: 1581000 | #Constraints: 81462
2786.62/2795.48 c #Conflicts: 1582000 | #Constraints: 82462
2786.62/2795.48 c #Conflicts: 1583000 | #Constraints: 83462
2786.62/2795.48 c #Conflicts: 1584000 | #Constraints: 84462
2786.62/2795.48 c #Conflicts: 1585000 | #Constraints: 85462
2786.62/2795.48 c #Conflicts: 1586000 | #Constraints: 86462
2786.62/2795.48 c #Conflicts: 1587000 | #Constraints: 87462
2786.62/2795.48 c #Conflicts: 1588000 | #Constraints: 88462
2786.62/2795.48 c #Conflicts: 1589000 | #Constraints: 89462
2786.62/2795.48 c #Conflicts: 1590000 | #Constraints: 90462
2786.62/2795.48 c #Conflicts: 1591000 | #Constraints: 91462
2786.62/2795.48 c INPROCESSING
2786.62/2795.48 c GARBAGE COLLECT
2786.62/2795.48 c #Conflicts: 1592000 | #Constraints: 67464
2786.62/2795.48 c #Conflicts: 1593000 | #Constraints: 68464
2786.62/2795.48 c #Conflicts: 1594000 | #Constraints: 69464
2786.62/2795.48 c #Conflicts: 1595000 | #Constraints: 70464
2786.62/2795.48 c #Conflicts: 1596000 | #Constraints: 71464
2786.62/2795.48 c #Conflicts: 1597000 | #Constraints: 72464
2786.62/2795.48 c #Conflicts: 1598000 | #Constraints: 73464
2786.62/2795.48 c #Conflicts: 1599000 | #Constraints: 74464
2786.62/2795.48 c #Conflicts: 1600000 | #Constraints: 75464
2786.62/2795.48 c #Conflicts: 1601000 | #Constraints: 76464
2786.62/2795.48 c #Conflicts: 1602000 | #Constraints: 77464
2786.62/2795.48 c #Conflicts: 1603000 | #Constraints: 78464
2786.62/2795.48 c #Conflicts: 1604000 | #Constraints: 79464
2786.62/2795.48 c #Conflicts: 1605000 | #Constraints: 80464
2786.62/2795.48 c #Conflicts: 1606000 | #Constraints: 81464
2786.62/2795.48 c #Conflicts: 1607000 | #Constraints: 82464
2786.62/2795.48 c #Conflicts: 1608000 | #Constraints: 83464
2786.62/2795.48 c #Conflicts: 1609000 | #Constraints: 84464
2786.62/2795.48 c #Conflicts: 1610000 | #Constraints: 85464
2786.62/2795.48 c #Conflicts: 1611000 | #Constraints: 86464
2786.62/2795.48 c #Conflicts: 1612000 | #Constraints: 87464
2786.62/2795.48 c #Conflicts: 1613000 | #Constraints: 88464
2786.62/2795.48 c #Conflicts: 1614000 | #Constraints: 89464
2786.62/2795.48 c #Conflicts: 1615000 | #Constraints: 90464
2786.62/2795.48 c #Conflicts: 1616000 | #Constraints: 91464
2786.62/2795.48 c INPROCESSING
2786.62/2795.48 c GARBAGE COLLECT
2786.62/2795.48 c #Conflicts: 1617000 | #Constraints: 67270
2786.62/2795.48 c #Conflicts: 1618000 | #Constraints: 68270
2786.62/2795.48 c #Conflicts: 1619000 | #Constraints: 69270
2786.62/2795.48 c #Conflicts: 1620000 | #Constraints: 70270
2786.62/2795.48 c #Conflicts: 1621000 | #Constraints: 71270
2786.62/2795.48 c #Conflicts: 1622000 | #Constraints: 72270
2786.62/2795.48 c #Conflicts: 1623000 | #Constraints: 73270
2786.62/2795.48 c #Conflicts: 1624000 | #Constraints: 74270
2786.62/2795.48 c #Conflicts: 1625000 | #Constraints: 75270
2786.62/2795.48 c #Conflicts: 1626000 | #Constraints: 76270
2786.62/2795.48 c #Conflicts: 1627000 | #Constraints: 77270
2786.62/2795.48 c #Conflicts: 1628000 | #Constraints: 78270
2786.62/2795.48 c #Conflicts: 1629000 | #Constraints: 79270
2786.62/2795.48 c #Conflicts: 1630000 | #Constraints: 80270
2786.62/2795.48 c #Conflicts: 1631000 | #Constraints: 81270
2786.62/2795.48 c #Conflicts: 1632000 | #Constraints: 82270
2786.62/2795.48 c #Conflicts: 1633000 | #Constraints: 83270
2786.62/2795.48 c #Conflicts: 1634000 | #Constraints: 84270
2786.62/2795.48 c #Conflicts: 1635000 | #Constraints: 85270
2786.62/2795.48 c #Conflicts: 1636000 | #Constraints: 86270
2786.62/2795.48 c #Conflicts: 1637000 | #Constraints: 87270
2786.62/2795.48 c #Conflicts: 1638000 | #Constraints: 88270
2786.62/2795.48 c #Conflicts: 1639000 | #Constraints: 89270
2786.62/2795.48 c #Conflicts: 1640000 | #Constraints: 90270
2786.62/2795.48 c #Conflicts: 1641000 | #Constraints: 91270
2786.62/2795.48 c #Conflicts: 1642000 | #Constraints: 92270
2786.62/2795.48 c INPROCESSING
2786.62/2795.48 c GARBAGE COLLECT
2786.62/2795.48 c #Conflicts: 1643000 | #Constraints: 67875
2786.62/2795.48 c #Conflicts: 1644000 | #Constraints: 68875
2786.62/2795.48 c #Conflicts: 1645000 | #Constraints: 69875
2786.62/2795.48 c #Conflicts: 1646000 | #Constraints: 70875
2786.62/2795.48 c #Conflicts: 1647000 | #Constraints: 71875
2786.62/2795.48 c #Conflicts: 1648000 | #Constraints: 72875
2947.47/2956.79 c #Conflicts: 1649000 | #Constraints: 73875
2947.47/2956.79 c #Conflicts: 1650000 | #Constraints: 74875
2947.47/2956.79 c #Conflicts: 1651000 | #Constraints: 75875
2947.47/2956.79 c #Conflicts: 1652000 | #Constraints: 76875
2947.47/2956.79 c #Conflicts: 1653000 | #Constraints: 77875
2947.47/2956.79 c #Conflicts: 1654000 | #Constraints: 78875
2947.47/2956.79 c #Conflicts: 1655000 | #Constraints: 79875
2947.47/2956.79 c #Conflicts: 1656000 | #Constraints: 80875
2947.47/2956.79 c #Conflicts: 1657000 | #Constraints: 81875
2947.47/2956.79 c #Conflicts: 1658000 | #Constraints: 82875
2947.47/2956.79 c #Conflicts: 1659000 | #Constraints: 83875
2947.47/2956.79 c #Conflicts: 1660000 | #Constraints: 84875
2947.47/2956.79 c #Conflicts: 1661000 | #Constraints: 85875
2947.47/2956.79 c #Conflicts: 1662000 | #Constraints: 86875
2947.47/2956.79 c #Conflicts: 1663000 | #Constraints: 87875
2947.47/2956.79 c #Conflicts: 1664000 | #Constraints: 88875
2947.47/2956.79 c #Conflicts: 1665000 | #Constraints: 89875
2947.47/2956.79 c #Conflicts: 1666000 | #Constraints: 90875
2947.47/2956.79 c #Conflicts: 1667000 | #Constraints: 91875
2947.47/2956.79 c #Conflicts: 1668000 | #Constraints: 92875
2947.47/2956.79 c INPROCESSING
2947.47/2956.79 c GARBAGE COLLECT
2947.47/2956.79 c #Conflicts: 1669000 | #Constraints: 68283
2947.47/2956.79 c #Conflicts: 1670000 | #Constraints: 69283
2947.47/2956.79 c #Conflicts: 1671000 | #Constraints: 70283
2947.47/2956.79 c #Conflicts: 1672000 | #Constraints: 71283
2947.47/2956.79 c #Conflicts: 1673000 | #Constraints: 72283
2947.47/2956.79 c #Conflicts: 1674000 | #Constraints: 73283
2947.47/2956.79 c #Conflicts: 1675000 | #Constraints: 74283
2947.47/2956.79 c #Conflicts: 1676000 | #Constraints: 75283
2947.47/2956.79 c #Conflicts: 1677000 | #Constraints: 76283
2947.47/2956.79 c #Conflicts: 1678000 | #Constraints: 77283
2947.47/2956.79 c #Conflicts: 1679000 | #Constraints: 78283
2947.47/2956.79 c #Conflicts: 1680000 | #Constraints: 79283
2947.47/2956.79 c #Conflicts: 1681000 | #Constraints: 80283
2947.47/2956.79 c #Conflicts: 1682000 | #Constraints: 81283
2947.47/2956.79 c #Conflicts: 1683000 | #Constraints: 82283
2947.47/2956.79 c #Conflicts: 1684000 | #Constraints: 83283
2947.47/2956.79 c #Conflicts: 1685000 | #Constraints: 84283
2947.47/2956.79 c #Conflicts: 1686000 | #Constraints: 85283
2947.47/2956.79 c #Conflicts: 1687000 | #Constraints: 86283
2947.47/2956.79 c #Conflicts: 1688000 | #Constraints: 87283
2947.47/2956.79 c #Conflicts: 1689000 | #Constraints: 88283
2947.47/2956.79 c #Conflicts: 1690000 | #Constraints: 89283
2947.47/2956.79 c #Conflicts: 1691000 | #Constraints: 90283
2947.47/2956.79 c #Conflicts: 1692000 | #Constraints: 91283
2947.47/2956.79 c #Conflicts: 1693000 | #Constraints: 92283
2947.47/2956.79 c #Conflicts: 1694000 | #Constraints: 93283
2947.47/2956.79 c INPROCESSING
2947.47/2956.79 c GARBAGE COLLECT
2947.47/2956.79 c #Conflicts: 1695000 | #Constraints: 68458
2947.47/2956.79 c #Conflicts: 1696000 | #Constraints: 69458
2947.47/2956.79 c #Conflicts: 1697000 | #Constraints: 70458
2947.47/2956.79 c #Conflicts: 1698000 | #Constraints: 71458
2947.47/2956.79 c #Conflicts: 1699000 | #Constraints: 72458
2947.47/2956.79 c #Conflicts: 1700000 | #Constraints: 73458
2947.47/2956.79 c #Conflicts: 1701000 | #Constraints: 74458
2947.47/2956.79 c #Conflicts: 1702000 | #Constraints: 75458
2947.47/2956.79 c #Conflicts: 1703000 | #Constraints: 76458
2947.47/2956.79 c #Conflicts: 1704000 | #Constraints: 77458
2947.47/2956.79 c #Conflicts: 1705000 | #Constraints: 78458
2947.47/2956.79 c #Conflicts: 1706000 | #Constraints: 79458
2947.47/2956.79 c #Conflicts: 1707000 | #Constraints: 80458
2947.47/2956.79 c #Conflicts: 1708000 | #Constraints: 81458
2947.47/2956.79 c #Conflicts: 1709000 | #Constraints: 82458
2947.47/2956.79 c #Conflicts: 1710000 | #Constraints: 83458
2947.47/2956.79 c #Conflicts: 1711000 | #Constraints: 84458
2947.47/2956.79 c #Conflicts: 1712000 | #Constraints: 85458
2947.47/2956.79 c #Conflicts: 1713000 | #Constraints: 86458
2947.47/2956.79 c #Conflicts: 1714000 | #Constraints: 87458
2947.47/2956.79 c #Conflicts: 1715000 | #Constraints: 88458
2947.47/2956.79 c #Conflicts: 1716000 | #Constraints: 89458
2947.47/2956.79 c #Conflicts: 1717000 | #Constraints: 90458
2947.47/2956.79 c #Conflicts: 1718000 | #Constraints: 91458
2947.47/2956.79 c #Conflicts: 1719000 | #Constraints: 92458
2947.47/2956.79 c #Conflicts: 1720000 | #Constraints: 93458
2947.47/2956.79 c INPROCESSING
2947.47/2956.79 c GARBAGE COLLECT
2947.47/2956.79 c #Conflicts: 1721000 | #Constraints: 68474
2947.47/2956.79 c #Conflicts: 1722000 | #Constraints: 69474
2947.47/2956.79 c #Conflicts: 1723000 | #Constraints: 70474
2947.47/2956.79 c #Conflicts: 1724000 | #Constraints: 71474
2947.47/2956.79 c #Conflicts: 1725000 | #Constraints: 72474
3110.92/3120.68 c #Conflicts: 1726000 | #Constraints: 73474
3110.92/3120.68 c #Conflicts: 1727000 | #Constraints: 74474
3110.92/3120.68 c #Conflicts: 1728000 | #Constraints: 75474
3110.92/3120.68 c #Conflicts: 1729000 | #Constraints: 76474
3110.92/3120.68 c #Conflicts: 1730000 | #Constraints: 77474
3110.92/3120.68 c #Conflicts: 1731000 | #Constraints: 78474
3110.92/3120.68 c #Conflicts: 1732000 | #Constraints: 79474
3110.92/3120.68 c #Conflicts: 1733000 | #Constraints: 80474
3110.92/3120.68 c #Conflicts: 1734000 | #Constraints: 81474
3110.92/3120.68 c #Conflicts: 1735000 | #Constraints: 82474
3110.92/3120.68 c #Conflicts: 1736000 | #Constraints: 83474
3110.92/3120.68 c #Conflicts: 1737000 | #Constraints: 84474
3110.92/3120.68 c #Conflicts: 1738000 | #Constraints: 85474
3110.92/3120.68 c #Conflicts: 1739000 | #Constraints: 86474
3110.92/3120.68 c #Conflicts: 1740000 | #Constraints: 87474
3110.92/3120.68 c #Conflicts: 1741000 | #Constraints: 88474
3110.92/3120.68 c #Conflicts: 1742000 | #Constraints: 89474
3110.92/3120.68 c #Conflicts: 1743000 | #Constraints: 90474
3110.92/3120.68 c #Conflicts: 1744000 | #Constraints: 91474
3110.92/3120.68 c #Conflicts: 1745000 | #Constraints: 92474
3110.92/3120.68 c #Conflicts: 1746000 | #Constraints: 93474
3110.92/3120.68 c INPROCESSING
3110.92/3120.68 c GARBAGE COLLECT
3110.92/3120.68 c #Conflicts: 1747000 | #Constraints: 68269
3110.92/3120.68 c #Conflicts: 1748000 | #Constraints: 69269
3110.92/3120.68 c #Conflicts: 1749000 | #Constraints: 70269
3110.92/3120.68 c #Conflicts: 1750000 | #Constraints: 71269
3110.92/3120.68 c #Conflicts: 1751000 | #Constraints: 72269
3110.92/3120.68 c #Conflicts: 1752000 | #Constraints: 73269
3110.92/3120.68 c #Conflicts: 1753000 | #Constraints: 74269
3110.92/3120.68 c #Conflicts: 1754000 | #Constraints: 75269
3110.92/3120.68 c #Conflicts: 1755000 | #Constraints: 76269
3110.92/3120.68 c #Conflicts: 1756000 | #Constraints: 77269
3110.92/3120.68 c #Conflicts: 1757000 | #Constraints: 78269
3110.92/3120.68 c #Conflicts: 1758000 | #Constraints: 79269
3110.92/3120.68 c #Conflicts: 1759000 | #Constraints: 80269
3110.92/3120.68 c #Conflicts: 1760000 | #Constraints: 81269
3110.92/3120.68 c #Conflicts: 1761000 | #Constraints: 82269
3110.92/3120.68 c #Conflicts: 1762000 | #Constraints: 83269
3110.92/3120.68 c #Conflicts: 1763000 | #Constraints: 84269
3110.92/3120.68 c #Conflicts: 1764000 | #Constraints: 85269
3110.92/3120.68 c #Conflicts: 1765000 | #Constraints: 86269
3110.92/3120.68 c #Conflicts: 1766000 | #Constraints: 87269
3110.92/3120.68 c #Conflicts: 1767000 | #Constraints: 88269
3110.92/3120.68 c #Conflicts: 1768000 | #Constraints: 89269
3110.92/3120.68 c #Conflicts: 1769000 | #Constraints: 90269
3110.92/3120.68 c #Conflicts: 1770000 | #Constraints: 91269
3110.92/3120.68 c #Conflicts: 1771000 | #Constraints: 92269
3110.92/3120.68 c #Conflicts: 1772000 | #Constraints: 93269
3110.92/3120.68 c #Conflicts: 1773000 | #Constraints: 94269
3110.92/3120.68 c INPROCESSING
3110.92/3120.68 c GARBAGE COLLECT
3110.92/3120.68 c #Conflicts: 1774000 | #Constraints: 68872
3110.92/3120.68 c #Conflicts: 1775000 | #Constraints: 69872
3110.92/3120.68 c #Conflicts: 1776000 | #Constraints: 70872
3110.92/3120.68 c #Conflicts: 1777000 | #Constraints: 71872
3110.92/3120.68 c #Conflicts: 1778000 | #Constraints: 72872
3110.92/3120.68 c #Conflicts: 1779000 | #Constraints: 73872
3110.92/3120.68 c #Conflicts: 1780000 | #Constraints: 74872
3110.92/3120.68 c #Conflicts: 1781000 | #Constraints: 75872
3110.92/3120.68 c #Conflicts: 1782000 | #Constraints: 76872
3110.92/3120.68 c #Conflicts: 1783000 | #Constraints: 77872
3110.92/3120.68 c #Conflicts: 1784000 | #Constraints: 78872
3110.92/3120.68 c #Conflicts: 1785000 | #Constraints: 79872
3110.92/3120.68 c #Conflicts: 1786000 | #Constraints: 80872
3110.92/3120.68 c #Conflicts: 1787000 | #Constraints: 81872
3110.92/3120.68 c #Conflicts: 1788000 | #Constraints: 82872
3110.92/3120.68 c #Conflicts: 1789000 | #Constraints: 83872
3110.92/3120.68 c #Conflicts: 1790000 | #Constraints: 84872
3110.92/3120.68 c #Conflicts: 1791000 | #Constraints: 85872
3110.92/3120.68 c #Conflicts: 1792000 | #Constraints: 86872
3110.92/3120.68 c #Conflicts: 1793000 | #Constraints: 87872
3110.92/3120.68 c #Conflicts: 1794000 | #Constraints: 88872
3110.92/3120.68 c #Conflicts: 1795000 | #Constraints: 89872
3110.92/3120.68 c #Conflicts: 1796000 | #Constraints: 90872
3110.92/3120.68 c #Conflicts: 1797000 | #Constraints: 91872
3110.92/3120.68 c #Conflicts: 1798000 | #Constraints: 92872
3110.92/3120.68 c #Conflicts: 1799000 | #Constraints: 93872
3110.92/3120.68 c #Conflicts: 1800000 | #Constraints: 94872
3110.92/3120.68 c INPROCESSING
3110.92/3120.68 c GARBAGE COLLECT
3110.92/3120.68 c #Conflicts: 1801000 | #Constraints: 69266
3110.92/3120.68 c #Conflicts: 1802000 | #Constraints: 70266
3284.04/3294.26 c #Conflicts: 1803000 | #Constraints: 71266
3284.04/3294.26 c #Conflicts: 1804000 | #Constraints: 72266
3284.04/3294.26 c #Conflicts: 1805000 | #Constraints: 73266
3284.04/3294.26 c #Conflicts: 1806000 | #Constraints: 74266
3284.04/3294.26 c #Conflicts: 1807000 | #Constraints: 75266
3284.04/3294.26 c #Conflicts: 1808000 | #Constraints: 76266
3284.04/3294.26 c #Conflicts: 1809000 | #Constraints: 77266
3284.04/3294.26 c #Conflicts: 1810000 | #Constraints: 78266
3284.04/3294.26 c #Conflicts: 1811000 | #Constraints: 79266
3284.04/3294.26 c #Conflicts: 1812000 | #Constraints: 80266
3284.04/3294.26 c #Conflicts: 1813000 | #Constraints: 81266
3284.04/3294.26 c #Conflicts: 1814000 | #Constraints: 82266
3284.04/3294.26 c #Conflicts: 1815000 | #Constraints: 83266
3284.04/3294.26 c #Conflicts: 1816000 | #Constraints: 84266
3284.04/3294.26 c #Conflicts: 1817000 | #Constraints: 85266
3284.04/3294.26 c #Conflicts: 1818000 | #Constraints: 86266
3284.04/3294.26 c #Conflicts: 1819000 | #Constraints: 87266
3284.04/3294.26 c #Conflicts: 1820000 | #Constraints: 88266
3284.04/3294.26 c #Conflicts: 1821000 | #Constraints: 89266
3284.04/3294.26 c #Conflicts: 1822000 | #Constraints: 90266
3284.04/3294.26 c #Conflicts: 1823000 | #Constraints: 91266
3284.04/3294.26 c #Conflicts: 1824000 | #Constraints: 92266
3284.04/3294.26 c #Conflicts: 1825000 | #Constraints: 93266
3284.04/3294.26 c #Conflicts: 1826000 | #Constraints: 94266
3284.04/3294.26 c #Conflicts: 1827000 | #Constraints: 95266
3284.04/3294.26 c INPROCESSING
3284.04/3294.26 c GARBAGE COLLECT
3284.04/3294.26 c #Conflicts: 1828000 | #Constraints: 69454
3284.04/3294.26 c #Conflicts: 1829000 | #Constraints: 70454
3284.04/3294.26 c #Conflicts: 1830000 | #Constraints: 71454
3284.04/3294.26 c #Conflicts: 1831000 | #Constraints: 72454
3284.04/3294.26 c #Conflicts: 1832000 | #Constraints: 73454
3284.04/3294.26 c #Conflicts: 1833000 | #Constraints: 74454
3284.04/3294.26 c #Conflicts: 1834000 | #Constraints: 75454
3284.04/3294.26 c #Conflicts: 1835000 | #Constraints: 76454
3284.04/3294.26 c #Conflicts: 1836000 | #Constraints: 77454
3284.04/3294.26 c #Conflicts: 1837000 | #Constraints: 78454
3284.04/3294.26 c #Conflicts: 1838000 | #Constraints: 79454
3284.04/3294.26 c #Conflicts: 1839000 | #Constraints: 80454
3284.04/3294.26 c #Conflicts: 1840000 | #Constraints: 81454
3284.04/3294.26 c #Conflicts: 1841000 | #Constraints: 82454
3284.04/3294.26 c #Conflicts: 1842000 | #Constraints: 83454
3284.04/3294.26 c #Conflicts: 1843000 | #Constraints: 84454
3284.04/3294.26 c #Conflicts: 1844000 | #Constraints: 85454
3284.04/3294.26 c #Conflicts: 1845000 | #Constraints: 86454
3284.04/3294.26 c #Conflicts: 1846000 | #Constraints: 87454
3284.04/3294.26 c #Conflicts: 1847000 | #Constraints: 88454
3284.04/3294.26 c #Conflicts: 1848000 | #Constraints: 89454
3284.04/3294.26 c #Conflicts: 1849000 | #Constraints: 90454
3284.04/3294.26 c #Conflicts: 1850000 | #Constraints: 91454
3284.04/3294.26 c #Conflicts: 1851000 | #Constraints: 92454
3284.04/3294.26 c #Conflicts: 1852000 | #Constraints: 93454
3284.04/3294.26 c #Conflicts: 1853000 | #Constraints: 94454
3284.04/3294.26 c #Conflicts: 1854000 | #Constraints: 95454
3284.04/3294.26 c INPROCESSING
3284.04/3294.26 c GARBAGE COLLECT
3284.04/3294.26 c #Conflicts: 1855000 | #Constraints: 69469
3284.04/3294.26 c #Conflicts: 1856000 | #Constraints: 70469
3284.04/3294.26 c #Conflicts: 1857000 | #Constraints: 71469
3284.04/3294.26 c #Conflicts: 1858000 | #Constraints: 72469
3284.04/3294.26 c #Conflicts: 1859000 | #Constraints: 73469
3284.04/3294.26 c #Conflicts: 1860000 | #Constraints: 74469
3284.04/3294.26 c #Conflicts: 1861000 | #Constraints: 75469
3284.04/3294.26 c #Conflicts: 1862000 | #Constraints: 76469
3284.04/3294.26 c #Conflicts: 1863000 | #Constraints: 77469
3284.04/3294.26 c #Conflicts: 1864000 | #Constraints: 78469
3284.04/3294.26 c #Conflicts: 1865000 | #Constraints: 79469
3284.04/3294.26 c #Conflicts: 1866000 | #Constraints: 80469
3284.04/3294.26 c #Conflicts: 1867000 | #Constraints: 81469
3284.04/3294.26 c #Conflicts: 1868000 | #Constraints: 82469
3284.04/3294.26 c #Conflicts: 1869000 | #Constraints: 83469
3284.04/3294.26 c #Conflicts: 1870000 | #Constraints: 84469
3284.04/3294.26 c #Conflicts: 1871000 | #Constraints: 85469
3284.04/3294.26 c #Conflicts: 1872000 | #Constraints: 86469
3284.04/3294.26 c #Conflicts: 1873000 | #Constraints: 87469
3284.04/3294.26 c #Conflicts: 1874000 | #Constraints: 88469
3284.04/3294.26 c #Conflicts: 1875000 | #Constraints: 89469
3284.04/3294.26 c #Conflicts: 1876000 | #Constraints: 90469
3284.04/3294.26 c #Conflicts: 1877000 | #Constraints: 91469
3284.04/3294.26 c #Conflicts: 1878000 | #Constraints: 92469
3284.04/3294.26 c #Conflicts: 1879000 | #Constraints: 93469
3284.04/3294.26 c #Conflicts: 1880000 | #Constraints: 94469
3456.87/3467.55 c #Conflicts: 1881000 | #Constraints: 95469
3456.87/3467.55 c INPROCESSING
3456.87/3467.55 c GARBAGE COLLECT
3456.87/3467.55 c #Conflicts: 1882000 | #Constraints: 69281
3456.87/3467.55 c #Conflicts: 1883000 | #Constraints: 70281
3456.87/3467.55 c #Conflicts: 1884000 | #Constraints: 71281
3456.87/3467.55 c #Conflicts: 1885000 | #Constraints: 72281
3456.87/3467.55 c #Conflicts: 1886000 | #Constraints: 73281
3456.87/3467.55 c #Conflicts: 1887000 | #Constraints: 74281
3456.87/3467.55 c #Conflicts: 1888000 | #Constraints: 75281
3456.87/3467.55 c #Conflicts: 1889000 | #Constraints: 76281
3456.87/3467.55 c #Conflicts: 1890000 | #Constraints: 77281
3456.87/3467.55 c #Conflicts: 1891000 | #Constraints: 78281
3456.87/3467.55 c #Conflicts: 1892000 | #Constraints: 79281
3456.87/3467.55 c #Conflicts: 1893000 | #Constraints: 80281
3456.87/3467.55 c #Conflicts: 1894000 | #Constraints: 81281
3456.87/3467.55 c #Conflicts: 1895000 | #Constraints: 82281
3456.87/3467.55 c #Conflicts: 1896000 | #Constraints: 83281
3456.87/3467.55 c #Conflicts: 1897000 | #Constraints: 84281
3456.87/3467.55 c #Conflicts: 1898000 | #Constraints: 85281
3456.87/3467.55 c #Conflicts: 1899000 | #Constraints: 86281
3456.87/3467.56 c #Conflicts: 1900000 | #Constraints: 87281
3456.87/3467.56 c #Conflicts: 1901000 | #Constraints: 88281
3456.87/3467.56 c #Conflicts: 1902000 | #Constraints: 89281
3456.87/3467.56 c #Conflicts: 1903000 | #Constraints: 90281
3456.87/3467.56 c #Conflicts: 1904000 | #Constraints: 91281
3456.87/3467.56 c #Conflicts: 1905000 | #Constraints: 92281
3456.87/3467.56 c #Conflicts: 1906000 | #Constraints: 93281
3456.87/3467.56 c #Conflicts: 1907000 | #Constraints: 94281
3456.87/3467.56 c #Conflicts: 1908000 | #Constraints: 95281
3456.87/3467.56 c #Conflicts: 1909000 | #Constraints: 96281
3456.87/3467.56 c INPROCESSING
3456.87/3467.56 c GARBAGE COLLECT
3456.87/3467.56 c #Conflicts: 1910000 | #Constraints: 69893
3456.87/3467.56 c #Conflicts: 1911000 | #Constraints: 70893
3456.87/3467.56 c #Conflicts: 1912000 | #Constraints: 71893
3456.87/3467.56 c #Conflicts: 1913000 | #Constraints: 72893
3456.87/3467.56 c #Conflicts: 1914000 | #Constraints: 73893
3456.87/3467.56 c #Conflicts: 1915000 | #Constraints: 74893
3456.87/3467.56 c #Conflicts: 1916000 | #Constraints: 75893
3456.87/3467.56 c #Conflicts: 1917000 | #Constraints: 76893
3456.87/3467.56 c #Conflicts: 1918000 | #Constraints: 77893
3456.87/3467.56 c #Conflicts: 1919000 | #Constraints: 78893
3456.87/3467.56 c #Conflicts: 1920000 | #Constraints: 79893
3456.87/3467.56 c #Conflicts: 1921000 | #Constraints: 80893
3456.87/3467.56 c #Conflicts: 1922000 | #Constraints: 81893
3456.87/3467.56 c #Conflicts: 1923000 | #Constraints: 82893
3456.87/3467.56 c #Conflicts: 1924000 | #Constraints: 83893
3456.87/3467.56 c #Conflicts: 1925000 | #Constraints: 84893
3456.87/3467.56 c #Conflicts: 1926000 | #Constraints: 85893
3456.87/3467.56 c #Conflicts: 1927000 | #Constraints: 86893
3456.87/3467.56 c #Conflicts: 1928000 | #Constraints: 87893
3456.87/3467.56 c #Conflicts: 1929000 | #Constraints: 88893
3456.87/3467.56 c #Conflicts: 1930000 | #Constraints: 89893
3456.87/3467.56 c #Conflicts: 1931000 | #Constraints: 90893
3456.87/3467.56 c #Conflicts: 1932000 | #Constraints: 91893
3456.87/3467.56 c #Conflicts: 1933000 | #Constraints: 92893
3456.87/3467.56 c #Conflicts: 1934000 | #Constraints: 93893
3456.87/3467.56 c #Conflicts: 1935000 | #Constraints: 94893
3456.87/3467.56 c #Conflicts: 1936000 | #Constraints: 95893
3456.87/3467.56 c #Conflicts: 1937000 | #Constraints: 96893
3456.87/3467.56 c INPROCESSING
3456.87/3467.56 c GARBAGE COLLECT
3456.87/3467.56 c #Conflicts: 1938000 | #Constraints: 70298
3456.87/3467.56 c #Conflicts: 1939000 | #Constraints: 71298
3456.87/3467.56 c #Conflicts: 1940000 | #Constraints: 72298
3456.87/3467.56 c #Conflicts: 1941000 | #Constraints: 73298
3456.87/3467.56 c #Conflicts: 1942000 | #Constraints: 74298
3456.87/3467.56 c #Conflicts: 1943000 | #Constraints: 75298
3456.87/3467.56 c #Conflicts: 1944000 | #Constraints: 76298
3456.87/3467.56 c #Conflicts: 1945000 | #Constraints: 77298
3456.87/3467.56 c #Conflicts: 1946000 | #Constraints: 78298
3456.87/3467.56 c #Conflicts: 1947000 | #Constraints: 79298
3456.87/3467.56 c #Conflicts: 1948000 | #Constraints: 80298
3456.87/3467.56 c #Conflicts: 1949000 | #Constraints: 81298
3456.87/3467.56 c #Conflicts: 1950000 | #Constraints: 82298
3456.87/3467.56 c #Conflicts: 1951000 | #Constraints: 83298
3456.87/3467.56 c #Conflicts: 1952000 | #Constraints: 84298
3456.87/3467.56 c #Conflicts: 1953000 | #Constraints: 85298
3456.87/3467.56 c #Conflicts: 1954000 | #Constraints: 86298
3456.87/3467.56 c #Conflicts: 1955000 | #Constraints: 87298
3456.87/3467.56 c #Conflicts: 1956000 | #Constraints: 88298
3456.87/3467.56 c #Conflicts: 1957000 | #Constraints: 89298
3600.07/3611.11 c #Conflicts: 1958000 | #Constraints: 90298
3600.07/3611.11 c #Conflicts: 1959000 | #Constraints: 91298
3600.07/3611.11 c #Conflicts: 1960000 | #Constraints: 92298
3600.07/3611.11 c #Conflicts: 1961000 | #Constraints: 93298
3600.07/3611.11 c #Conflicts: 1962000 | #Constraints: 94298
3600.07/3611.11 c #Conflicts: 1963000 | #Constraints: 95298
3600.07/3611.11 c #Conflicts: 1964000 | #Constraints: 96298
3600.07/3611.11 c #Conflicts: 1965000 | #Constraints: 97298
3600.07/3611.11 c INPROCESSING
3600.07/3611.11 c GARBAGE COLLECT
3600.07/3611.11 c #Conflicts: 1966000 | #Constraints: 70469
3600.07/3611.11 c #Conflicts: 1967000 | #Constraints: 71469
3600.07/3611.11 c #Conflicts: 1968000 | #Constraints: 72469
3600.07/3611.11 c #Conflicts: 1969000 | #Constraints: 73469
3600.07/3611.11 c #Conflicts: 1970000 | #Constraints: 74469
3600.07/3611.11 c #Conflicts: 1971000 | #Constraints: 75469
3600.07/3611.11 c #Conflicts: 1972000 | #Constraints: 76469
3600.07/3611.11 c #Conflicts: 1973000 | #Constraints: 77469
3600.07/3611.11 c #Conflicts: 1974000 | #Constraints: 78469
3600.07/3611.11 c #Conflicts: 1975000 | #Constraints: 79469
3600.07/3611.11 c #Conflicts: 1976000 | #Constraints: 80469
3600.07/3611.11 c #Conflicts: 1977000 | #Constraints: 81469
3600.07/3611.11 c #Conflicts: 1978000 | #Constraints: 82469
3600.07/3611.11 c #Conflicts: 1979000 | #Constraints: 83469
3600.07/3611.11 c #Conflicts: 1980000 | #Constraints: 84469
3600.07/3611.11 c #Conflicts: 1981000 | #Constraints: 85469
3600.07/3611.11 c #Conflicts: 1982000 | #Constraints: 86469
3600.07/3611.11 c #Conflicts: 1983000 | #Constraints: 87469
3600.07/3611.11 c #Conflicts: 1984000 | #Constraints: 88469
3600.07/3611.11 c #Conflicts: 1985000 | #Constraints: 89469
3600.07/3611.11 c #Conflicts: 1986000 | #Constraints: 90469
3600.07/3611.11 c #Conflicts: 1987000 | #Constraints: 91469
3600.07/3611.11 c #Conflicts: 1988000 | #Constraints: 92469
3600.07/3611.11 c #Conflicts: 1989000 | #Constraints: 93469
3600.07/3611.11 c #Conflicts: 1990000 | #Constraints: 94469
3600.07/3611.11 c #Conflicts: 1991000 | #Constraints: 95469
3600.07/3611.11 c #Conflicts: 1992000 | #Constraints: 96469
3600.07/3611.11 c #Conflicts: 1993000 | #Constraints: 97469
3600.07/3611.11 c INPROCESSING
3600.07/3611.11 c GARBAGE COLLECT
3600.07/3611.11 c #Conflicts: 1994000 | #Constraints: 70468
3600.07/3611.11 c #Conflicts: 1995000 | #Constraints: 71468
3600.07/3611.11 c #Conflicts: 1996000 | #Constraints: 72468
3600.07/3611.11 c #Conflicts: 1997000 | #Constraints: 73468
3600.07/3611.11 c #Conflicts: 1998000 | #Constraints: 74468
3600.07/3611.11 c #Conflicts: 1999000 | #Constraints: 75468
3600.07/3611.11 c #Conflicts: 2000000 | #Constraints: 76468
3600.07/3611.11 c #Conflicts: 2001000 | #Constraints: 77468
3600.07/3611.11 c #Conflicts: 2002000 | #Constraints: 78468
3600.07/3611.11 c #Conflicts: 2003000 | #Constraints: 79468
3600.07/3611.11 c #Conflicts: 2004000 | #Constraints: 80468
3600.07/3611.11 c #Conflicts: 2005000 | #Constraints: 81468
3600.07/3611.11 c #Conflicts: 2006000 | #Constraints: 82468
3600.07/3611.11 c #Conflicts: 2007000 | #Constraints: 83468
3600.07/3611.11 c #Conflicts: 2008000 | #Constraints: 84468
3600.07/3611.11 c #Conflicts: 2009000 | #Constraints: 85468
3600.07/3611.11 c #Conflicts: 2010000 | #Constraints: 86468
3600.07/3611.11 c #Conflicts: 2011000 | #Constraints: 87468
3600.07/3611.11 c #Conflicts: 2012000 | #Constraints: 88468
3600.07/3611.11 c #Conflicts: 2013000 | #Constraints: 89468
3600.07/3611.11 c #Conflicts: 2014000 | #Constraints: 90468
3600.07/3611.11 c #Conflicts: 2015000 | #Constraints: 91468
3600.07/3611.11 c #Conflicts: 2016000 | #Constraints: 92468
3600.07/3611.11 c Program interrupted by user.
3600.07/3611.11 c cpu time 3591.71 s
3600.07/3611.11 c deterministic time 823621101971 8.24e+11
3600.07/3611.11 c optimization time 51.1825 s
3600.07/3611.11 c total solve time 3241.61 s
3600.07/3611.11 c core-guided solve time 3241.61 s
3600.07/3611.11 c propagation time 3128.56 s
3600.07/3611.11 c conflict analysis time 124.836 s
3600.07/3611.11 c propagations 44369569
3600.07/3611.11 c resolve steps 16059482
3600.07/3611.11 c decisions 2311053
3600.07/3611.11 c conflicts 2016130
3600.07/3611.11 c restarts 3962
3600.07/3611.11 c inprocessing phases 132
3600.07/3611.11 c input clauses 41458
3600.07/3611.11 c input cardinalities 18
3600.07/3611.11 c input general constraints 0
3600.07/3611.11 c input average constraint length 2.34
3600.07/3611.11 c input average constraint degree 1.26
3600.07/3611.11 c learned clauses 1243415
3600.07/3611.11 c learned cardinalities 559956
3600.07/3611.11 c learned general constraints 212758
3600.07/3611.11 c learned average constraint length 715.19
3600.07/3611.11 c learned average constraint degree 13.37
3600.07/3611.11 c watched constraints 212758
3600.07/3611.11 c counting constraints 0
3600.07/3611.11 c gcd simplifications 94744
3600.07/3611.11 c detected cardinalities 15813
3600.07/3611.11 c weakened non-implied lits 27273880
3600.07/3611.11 c weakened non-implying lits 64989
3600.07/3611.11 c original variables 760
3600.07/3611.11 c clausal propagations 31567716
3600.07/3611.11 c cardinality propagations 7292337
3600.07/3611.11 c watched propagations 758288
3600.07/3611.11 c counting propagations 0
3600.07/3611.11 c watch lookups 31006426706
3600.07/3611.11 c watch backjump lookups 18104755
3600.07/3611.11 c watch checks 788840002634
3600.07/3611.11 c propagation checks 796213872
3600.07/3611.11 c constraint additions 2864977497
3600.07/3611.11 c trail pops 48695884
3600.07/3611.11 c formula constraints 41314
3600.07/3611.11 c learned constraints 2016129
3600.07/3611.11 c bound constraints 18
3600.07/3611.11 c core-guided constraints 144
3600.07/3611.11 c encountered formula constraints 12677808
3600.07/3611.11 c encountered learned constraints 5335578
3600.07/3611.11 c encountered bound constraints 999
3600.07/3611.11 c encountered core-guided constraints 61227
3600.07/3611.11 c LP total time 0 s
3600.07/3611.11 c LP solve time 0 s
3600.07/3611.11 c LP constraints added 0
3600.07/3611.11 c LP constraints removed 0
3600.07/3611.11 c LP pivots internal 0
3600.07/3611.11 c LP pivots root 0
3600.07/3611.11 c LP calls 0
3600.07/3611.11 c LP optimalities 0
3600.07/3611.11 c LP no pivot count 0
3600.07/3611.11 c LP infeasibilities 0
3600.07/3611.11 c LP valid Farkas constraints 0
3600.07/3611.11 c LP learned Farkas constraints 0
3600.07/3611.11 c LP basis resets 0
3600.07/3611.11 c LP cycling count 0
3600.07/3611.11 c LP singular count 0
3600.07/3611.11 c LP no primal count 0
3600.07/3611.11 c LP no farkas count 0
3600.07/3611.11 c LP other issue count 0
3600.07/3611.11 c LP Gomory cuts 0
3600.07/3611.11 c LP learned cuts 0
3600.07/3611.11 c LP deleted cuts 0
3600.07/3611.11 c LP encountered Gomory constraints 0
3600.07/3611.11 c LP encountered Farkas constraints 0
3600.07/3611.11 c LP encountered learned Farkas constraints 0
3600.07/3611.11 c CG auxiliary variables introduced 144
3600.07/3611.11 c CG solutions found 0
3600.07/3611.11 c CG cores constructed 17
3600.07/3611.11 c CG core cardinality constraints returned 0
3600.07/3611.11 c CG unit cores 0
3600.07/3611.11 c CG single cores 17
3600.07/3611.11 c CG blocks removed during cardinality reduction 0
3600.07/3611.11 c CG first core best 0
3600.07/3611.11 c CG decision core best 0
3600.07/3611.11 c CG core reduction tie 0
3600.07/3611.11 c CG core degree average 1.00
3600.07/3611.11 c CG core slack average 6.53
3600.07/3611.11 c CG exhausted 0
3600.07/3611.11 c CG exhaust time 0 s
3600.07/3611.11 c CG trimmed 0
3600.07/3611.11 c CG trim time 0.000125 s
3600.07/3611.11 c CG minimized 0
3600.07/3611.11 c CG minimize time 0 s
3600.07/3611.11 c CG am1 prop time 0.003136 s
3600.07/3611.11 c CG # am1s reformulated 144
3600.07/3611.11 c CG lower bound derived from am1s 616
3600.07/3611.11 c CG # clausal cores 17
3600.07/3611.11 c CG # cardinality cores 0
3600.07/3611.11 c CG # pb cores 0
3600.07/3611.11 c CG # pb reforms 0
3600.07/3611.11 c CG # cores discarded because of pb reform 0
3600.07/3611.11 d LOWERBOUND -127
3600.07/3611.11 d NCORES 17
3600.07/3611.11 d NPBCORES 0
3600.07/3611.11 d NPBREFORM 0
3600.07/3611.11 d NTRIMMED 0
3600.07/3611.11 d NEXHAUSTED 0
3600.07/3611.11 d NAM1S 144
3600.07/3611.11 d AM1LB 616
3600.07/3611.11 c [Papilo Statistics]
3600.07/3611.11 c prepro time 0.0782826s
3600.07/3611.11 c # tsx applied 0
3600.07/3611.11 c # tsx conflicts 0
3600.07/3611.11 c # bound changes 0
3600.07/3611.11 c # side changes 0
3600.07/3611.11 c # coef changes 0
3600.07/3611.11 c # rounds 1
3600.07/3611.11 c # deted vars 0
3600.07/3611.11 c # deted constrs 0
3600.07/3611.11 c # consecutive rounds of only bound changes 0
3600.07/3611.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60854 MiB free)
memory of node 1: 64473 MiB (61684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454777-1721435249/watcher-4454777-1721435249 -o /tmp/evaluation-result-4454777-1721435249/solver-4454777-1721435249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034140 --watchdog 3760 mixed-bag HOME/instance-4454777-1721435249.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1040993, runsolver pid=1040990
[startup+0.100441 s]*
/proc/loadavg: 4.05 4.08 4.09 5/256 1040994
/proc/meminfo: memFree=125457660/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=103916 memory=29072 CPUtime=0.09 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 7098 0 0 0 9 0 0 0 20 0 1 0 195693847 106409984 7268 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 25979 7268 1723 3002 0 9728 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103916 KiB
Current children cumulated memory: 29072 KiB
[startup+0.2058 s]*
/proc/loadavg: 4.05 4.08 4.09 6/256 1040994
/proc/meminfo: memFree=125421276/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=140540 memory=73636 CPUtime=0.2 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 17036 0 0 0 18 2 0 0 20 0 1 0 195693847 143912960 18409 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 35135 18409 3666 3002 0 18884 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 140540 KiB
Current children cumulated memory: 73636 KiB
[startup+0.304824 s]*
/proc/loadavg: 4.05 4.08 4.09 5/256 1040994
/proc/meminfo: memFree=125386692/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=176200 memory=107656 CPUtime=0.3 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 24989 0 0 0 27 3 0 0 20 0 1 0 195693847 180428800 26914 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 44050 26914 3746 3002 0 27799 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 176200 KiB
Current children cumulated memory: 107656 KiB
[startup+0.700196 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1040994
/proc/meminfo: memFree=125384820/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=231196 memory=154452 CPUtime=0.68 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 33629 0 0 0 64 4 0 0 20 0 1 0 195693847 236744704 38613 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 57799 38613 3778 3002 0 41548 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 231196 KiB
Current children cumulated memory: 154452 KiB
[startup+1.50023 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1040994
/proc/meminfo: memFree=125259980/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=325700 memory=244152 CPUtime=1.48 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 49947 0 0 0 141 7 0 0 20 0 1 0 195693847 333516800 61038 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 81425 61038 4000 3002 0 65174 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 325700 KiB
Current children cumulated memory: 244152 KiB
[startup+3.10563 s]
/proc/loadavg: 4.04 4.08 4.08 5/256 1040994
/proc/meminfo: memFree=125238660/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=342748 memory=256228 CPUtime=3.08 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 52474 0 0 0 301 7 0 0 20 0 1 0 195693847 350973952 64057 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 85687 64057 4000 3002 0 69436 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 342748 KiB
Current children cumulated memory: 256228 KiB
[startup+6.30022 s]
/proc/loadavg: 4.04 4.08 4.08 5/256 1040994
/proc/meminfo: memFree=125238668/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=358916 memory=256228 CPUtime=6.26 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 52486 0 0 0 619 7 0 0 20 0 1 0 195693847 367529984 64057 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 89729 64057 4000 3002 0 73478 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 358916 KiB
Current children cumulated memory: 256228 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.08 5/256 1040996
/proc/meminfo: memFree=125180828/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=470636 memory=315380 CPUtime=12.64 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 67233 0 0 0 1254 10 0 0 20 0 1 0 195693847 481931264 78845 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 117659 78845 4011 3002 0 101408 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 470636 KiB
Current children cumulated memory: 315380 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 1040997
/proc/meminfo: memFree=125178960/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=470636 memory=315380 CPUtime=25.4 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 67279 0 0 0 2529 11 0 0 20 0 1 0 195693847 481931264 78845 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 117659 78845 4011 3002 0 101408 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 470636 KiB
Current children cumulated memory: 315380 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 1041002
/proc/meminfo: memFree=125176548/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=478112 memory=315620 CPUtime=50.9 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 67281 0 0 0 5079 11 0 0 20 0 1 0 195693847 489586688 78905 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 119528 78905 4011 3002 0 103277 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 478112 KiB
Current children cumulated memory: 315620 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 1041181
/proc/meminfo: memFree=125073500/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=590108 memory=415140 CPUtime=101.92 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 97032 0 0 0 10173 19 0 0 20 0 1 0 195693847 604270592 103785 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 147527 103785 4011 3002 0 131276 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 590108 KiB
Current children cumulated memory: 415140 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 1041192
/proc/meminfo: memFree=125010860/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=722944 memory=477628 CPUtime=161.71 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 110866 0 0 0 16148 23 0 0 20 0 1 0 195693847 740294656 119407 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 180736 119407 4136 3002 0 164485 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 722944 KiB
Current children cumulated memory: 477628 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/257 1041260
/proc/meminfo: memFree=124952744/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=856472 memory=531508 CPUtime=221.49 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 122868 0 0 0 22123 26 0 0 20 0 1 0 195693847 877027328 132877 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 214118 132877 4136 3002 0 197867 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 856472 KiB
Current children cumulated memory: 531508 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1041270
/proc/meminfo: memFree=124900644/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=910876 memory=576904 CPUtime=281.27 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 133398 0 0 0 28099 28 0 0 20 0 1 0 195693847 932737024 144226 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 227719 144226 4136 3002 0 211468 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 910876 KiB
Current children cumulated memory: 576904 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1041281
/proc/meminfo: memFree=124978968/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=827796 memory=496304 CPUtime=341.05 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 144851 0 0 0 34038 67 0 0 20 0 1 0 195693847 847663104 124076 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 206949 124076 4295 3002 0 190698 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 827796 KiB
Current children cumulated memory: 496304 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 1041293
/proc/meminfo: memFree=124963624/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=827796 memory=508828 CPUtime=400.85 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 144876 0 0 0 39982 103 0 0 20 0 1 0 195693847 847663104 127207 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 206949 127207 4295 3002 0 190698 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 827796 KiB
Current children cumulated memory: 508828 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/257 1041304
/proc/meminfo: memFree=124950500/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=858616 memory=519172 CPUtime=460.66 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 144964 0 0 0 45935 131 0 0 20 0 1 0 195693847 879222784 129793 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 214654 129793 4295 3002 0 198403 0
################
# More data... #
################
Current children cumulated memory: 760932 KiB
[startup+2922.3 s]
/proc/loadavg: 1.10 1.13 1.64 2/233 1042436
/proc/meminfo: memFree=126373648/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=762980 CPUtime=2913.17 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 149633 0 0 0 290592 725 0 0 20 0 1 0 195693847 1013854208 190745 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 190745 4295 3002 0 231272 0
Current children cumulated CPU time: 2913.17 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 762980 KiB
[startup+2982.3 s]
/proc/loadavg: 1.08 1.12 1.60 2/233 1042447
/proc/meminfo: memFree=126372772/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=762980 CPUtime=2973 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 149749 0 0 0 296564 736 0 0 20 0 1 0 195693847 1013854208 190745 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 190745 4295 3002 0 231272 0
Current children cumulated CPU time: 2973 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 762980 KiB
[startup+3042.3 s]
/proc/loadavg: 1.06 1.11 1.57 2/233 1042458
/proc/meminfo: memFree=126370340/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=765028 CPUtime=3032.84 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 149882 0 0 0 302537 747 0 0 20 0 1 0 195693847 1013854208 191257 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 191257 4295 3002 0 231272 0
Current children cumulated CPU time: 3032.84 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 765028 KiB
[startup+3102.3 s]
/proc/loadavg: 1.07 1.10 1.54 2/233 1042468
/proc/meminfo: memFree=126369428/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=765028 CPUtime=3092.67 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 150014 0 0 0 308512 755 0 0 20 0 1 0 195693847 1013854208 191257 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 191257 4295 3002 0 231272 0
Current children cumulated CPU time: 3092.67 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 765028 KiB
[startup+3162.3 s]
/proc/loadavg: 1.14 1.11 1.51 2/233 1042478
/proc/meminfo: memFree=126366740/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=767076 CPUtime=3152.51 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 150111 0 0 0 314486 765 0 0 20 0 1 0 195693847 1013854208 191769 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 191769 4295 3002 0 231272 0
Current children cumulated CPU time: 3152.51 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 767076 KiB
[startup+3222.3 s]
/proc/loadavg: 1.18 1.12 1.49 2/234 1042492
/proc/meminfo: memFree=126364000/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=769124 CPUtime=3212.34 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 150249 0 0 0 320457 777 0 0 20 0 1 0 195693847 1013854208 192281 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 192281 4295 3002 0 231272 0
Current children cumulated CPU time: 3212.34 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 769124 KiB
[startup+3282.3 s]
/proc/loadavg: 1.06 1.10 1.45 2/234 1042502
/proc/meminfo: memFree=126363488/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=769124 CPUtime=3272.17 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 150380 0 0 0 326430 787 0 0 20 0 1 0 195693847 1013854208 192281 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 192281 4295 3002 0 231272 0
Current children cumulated CPU time: 3272.17 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 769124 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.11 1.43 2/234 1042513
/proc/meminfo: memFree=126360552/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=771172 CPUtime=3332.01 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 150459 0 0 0 332405 796 0 0 20 0 1 0 195693847 1013854208 192793 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 192793 4295 3002 0 231272 0
Current children cumulated CPU time: 3332.01 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 771172 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.10 1.41 2/234 1042524
/proc/meminfo: memFree=126359824/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=771172 CPUtime=3391.84 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 150594 0 0 0 338379 805 0 0 20 0 1 0 195693847 1013854208 192793 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 192793 4295 3002 0 231272 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 771172 KiB
[startup+3462.3 s]
/proc/loadavg: 1.07 1.10 1.39 2/234 1042534
/proc/meminfo: memFree=126357148/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=773220 CPUtime=3451.68 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 150711 0 0 0 344353 815 0 0 20 0 1 0 195693847 1013854208 193305 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 193305 4295 3002 0 231272 0
Current children cumulated CPU time: 3451.68 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 773220 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.09 1.36 2/236 1042929
/proc/meminfo: memFree=126353884/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=775268 CPUtime=3511.51 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 150854 0 0 0 350328 823 0 0 20 0 1 0 195693847 1013854208 193817 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 193817 4295 3002 0 231272 0
Current children cumulated CPU time: 3511.51 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 775268 KiB
[startup+3582.3 s]
/proc/loadavg: 1.07 1.09 1.35 2/236 1042940
/proc/meminfo: memFree=126353352/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=775268 CPUtime=3571.35 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 150967 0 0 0 356302 833 0 0 20 0 1 0 195693847 1013854208 193817 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 193817 4295 3002 0 231272 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 775268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 1.16 1.11 1.35 2/236 1042946
/proc/meminfo: memFree=126352948/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=775268 CPUtime=3600.07 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 151052 0 0 0 359170 837 0 0 20 0 1 0 195693847 1013854208 193817 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 193817 4295 3002 0 231272 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 775268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 1040993 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.71 s, system=8.37797 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 1.16 1.11 1.35 2/236 1042946
/proc/meminfo: memFree=126352948/131524600 swapFree=131071996/131071996
[pid=1040993] ppid=1040990 vsize=990092 memory=775268 CPUtime=3600.07 cores=0,2
/proc/1040993/stat : 1040993 (mixed-bag) R 1040990 1040993 1034130 0 -1 4194304 151052 0 0 0 359170 837 0 0 20 0 1 0 195693847 1013854208 193817 134679101440 4194304 16488053 140725216760672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31039488 140725216769045 140725216769122 140725216769122 140725216776139 0
/proc/1040993/statm: 247523 193817 4295 3002 0 231272 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 990092 KiB
Current children cumulated memory: 775268 KiB
Child status: 0
Real time (s): 3611.11
CPU time (s): 3600.09
CPU user time (s): 3591.71
CPU system time (s): 8.37797
CPU usage (%): 99.6947
Max. virtual memory (cumulated for all children) (KiB): 990092
Max. memory (cumulated for all children) (KiB): 775268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.71
system time used= 8.37797
maximum resident set size= 775864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151079
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= 116
involuntary context switches= 25200
# summary of solver processes directly reported to runsolver:
# pid: 1040993
# total CPU time (s): 3600.09
# total CPU user time (s): 3591.71
# total CPU system time (s): 8.37797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74221 second user time and 17.2293 second system time
The end
Begin job on nodeC032 at 2024-07-20 02:27:41
IDJOB=4454777
IDBENCH=146698
IDSOLVER=3083
FILE ID=nodeC032/4454777-1721435249
RUNJOBID= nodeC032-1721425494-1034140
SLURM_JOB_ID= 7545615
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454777-1721435249/watcher-4454777-1721435249 -o /tmp/evaluation-result-4454777-1721435249/solver-4454777-1721435249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034140 --watchdog 3760 mixed-bag HOME/instance-4454777-1721435249.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914
RANDOM SEED=1978902126
nodeC032.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 : 0xb00002a
cpu MHz : 3665.725
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.920
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3633.798
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.003
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.328
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.011
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.839
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.964
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125480752 kB
MemAvailable: 128151692 kB
Buffers: 551244 kB
Cached: 2941980 kB
SwapCached: 0 kB
Active: 1037060 kB
Inactive: 4338684 kB
Active(anon): 1580 kB
Inactive(anon): 1927204 kB
Active(file): 1035480 kB
Inactive(file): 2411480 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17292 kB
Writeback: 0 kB
AnonPages: 1881744 kB
Mapped: 142860 kB
Shmem: 45912 kB
KReclaimable: 127604 kB
Slab: 244500 kB
SReclaimable: 127604 kB
SUnreclaim: 116896 kB
KernelStack: 4208 kB
PageTables: 13556 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2606524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1538048 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC032 at 2024-07-20 03:27:53