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.30/300.26 c [STEP] preprocessing done, loading into solver
299.40/300.32 c [STEP] solving
299.40/300.32 c #variables 761 #constraints 41314
299.40/300.32 c SMALL=int, LARGE=long long
299.40/300.32 c bounds - >= -760 @ 299.116
299.40/300.32 c stratification level: 0
322.06/323.00 c bounds - >= -143 @ 299.136
322.06/323.00 c bounds - >= -142 @ 299.136
322.06/323.00 c bounds - >= -141 @ 299.136
322.06/323.00 c bounds - >= -140 @ 299.136
322.06/323.00 c bounds - >= -139 @ 299.136
322.06/323.00 c bounds - >= -138 @ 299.136
322.06/323.00 c bounds - >= -137 @ 299.137
322.06/323.00 c bounds - >= -136 @ 299.137
322.06/323.00 c bounds - >= -135 @ 299.137
322.06/323.00 c bounds - >= -134 @ 299.138
322.06/323.00 c bounds - >= -133 @ 299.138
322.06/323.00 c bounds - >= -132 @ 299.139
322.06/323.00 c bounds - >= -131 @ 299.139
322.06/323.00 c bounds - >= -130 @ 299.139
322.06/323.00 c bounds - >= -129 @ 299.14
322.06/323.00 c bounds - >= -128 @ 299.141
322.06/323.00 c bounds - >= -127 @ 299.141
322.06/323.00 c #Conflicts: 1000 | #Constraints: 42475
322.06/323.00 c #Conflicts: 2000 | #Constraints: 43475
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 3000 | #Constraints: 43477
322.06/323.00 c #Conflicts: 4000 | #Constraints: 44477
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 5000 | #Constraints: 43896
322.06/323.00 c #Conflicts: 6000 | #Constraints: 44896
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 7000 | #Constraints: 43903
322.06/323.00 c #Conflicts: 8000 | #Constraints: 44903
322.06/323.00 c #Conflicts: 9000 | #Constraints: 45903
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 10000 | #Constraints: 44605
322.06/323.00 c #Conflicts: 11000 | #Constraints: 45605
322.06/323.00 c #Conflicts: 12000 | #Constraints: 46605
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 13000 | #Constraints: 45053
322.06/323.00 c #Conflicts: 14000 | #Constraints: 46053
322.06/323.00 c #Conflicts: 15000 | #Constraints: 47053
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 16000 | #Constraints: 45283
322.06/323.00 c #Conflicts: 17000 | #Constraints: 46283
322.06/323.00 c #Conflicts: 18000 | #Constraints: 47283
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 19000 | #Constraints: 45306
322.06/323.00 c #Conflicts: 20000 | #Constraints: 46306
322.06/323.00 c #Conflicts: 21000 | #Constraints: 47306
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 22000 | #Constraints: 45128
322.06/323.00 c #Conflicts: 23000 | #Constraints: 46128
322.06/323.00 c #Conflicts: 24000 | #Constraints: 47128
322.06/323.00 c #Conflicts: 25000 | #Constraints: 48128
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 26000 | #Constraints: 45732
322.06/323.00 c #Conflicts: 27000 | #Constraints: 46732
322.06/323.00 c #Conflicts: 28000 | #Constraints: 47732
322.06/323.00 c #Conflicts: 29000 | #Constraints: 48732
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 30000 | #Constraints: 46135
322.06/323.00 c #Conflicts: 31000 | #Constraints: 47135
322.06/323.00 c #Conflicts: 32000 | #Constraints: 48135
322.06/323.00 c #Conflicts: 33000 | #Constraints: 49135
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 34000 | #Constraints: 46340
322.06/323.00 c #Conflicts: 35000 | #Constraints: 47340
322.06/323.00 c #Conflicts: 36000 | #Constraints: 48340
322.06/323.00 c #Conflicts: 37000 | #Constraints: 49340
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 38000 | #Constraints: 46343
322.06/323.00 c #Conflicts: 39000 | #Constraints: 47343
322.06/323.00 c #Conflicts: 40000 | #Constraints: 48343
322.06/323.00 c #Conflicts: 41000 | #Constraints: 49343
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 42000 | #Constraints: 46146
322.06/323.00 c #Conflicts: 43000 | #Constraints: 47146
322.06/323.00 c #Conflicts: 44000 | #Constraints: 48146
322.06/323.00 c #Conflicts: 45000 | #Constraints: 49146
322.06/323.00 c #Conflicts: 46000 | #Constraints: 50146
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 47000 | #Constraints: 46750
322.06/323.00 c #Conflicts: 48000 | #Constraints: 47750
322.06/323.00 c #Conflicts: 49000 | #Constraints: 48750
322.06/323.00 c #Conflicts: 50000 | #Constraints: 49750
322.06/323.00 c #Conflicts: 51000 | #Constraints: 50750
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 52000 | #Constraints: 47151
322.06/323.00 c #Conflicts: 53000 | #Constraints: 48151
322.06/323.00 c #Conflicts: 54000 | #Constraints: 49151
322.06/323.00 c #Conflicts: 55000 | #Constraints: 50151
322.06/323.00 c #Conflicts: 56000 | #Constraints: 51151
322.06/323.00 c INPROCESSING
322.06/323.00 c GARBAGE COLLECT
322.06/323.00 c #Conflicts: 57000 | #Constraints: 47357
322.06/323.00 c #Conflicts: 58000 | #Constraints: 48357
322.06/323.00 c #Conflicts: 59000 | #Constraints: 49357
322.06/323.00 c #Conflicts: 60000 | #Constraints: 50357
363.05/364.11 c #Conflicts: 61000 | #Constraints: 51357
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 62000 | #Constraints: 47353
363.05/364.11 c #Conflicts: 63000 | #Constraints: 48353
363.05/364.11 c #Conflicts: 64000 | #Constraints: 49353
363.05/364.11 c #Conflicts: 65000 | #Constraints: 50353
363.05/364.11 c #Conflicts: 66000 | #Constraints: 51353
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 67000 | #Constraints: 47141
363.05/364.11 c #Conflicts: 68000 | #Constraints: 48141
363.05/364.11 c #Conflicts: 69000 | #Constraints: 49141
363.05/364.11 c #Conflicts: 70000 | #Constraints: 50141
363.05/364.11 c #Conflicts: 71000 | #Constraints: 51141
363.05/364.11 c #Conflicts: 72000 | #Constraints: 52141
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 73000 | #Constraints: 47741
363.05/364.11 c #Conflicts: 74000 | #Constraints: 48741
363.05/364.11 c #Conflicts: 75000 | #Constraints: 49741
363.05/364.11 c #Conflicts: 76000 | #Constraints: 50741
363.05/364.11 c #Conflicts: 77000 | #Constraints: 51741
363.05/364.11 c #Conflicts: 78000 | #Constraints: 52741
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 79000 | #Constraints: 48165
363.05/364.11 c #Conflicts: 80000 | #Constraints: 49165
363.05/364.11 c #Conflicts: 81000 | #Constraints: 50165
363.05/364.11 c #Conflicts: 82000 | #Constraints: 51165
363.05/364.11 c #Conflicts: 83000 | #Constraints: 52165
363.05/364.11 c #Conflicts: 84000 | #Constraints: 53165
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 85000 | #Constraints: 48370
363.05/364.11 c #Conflicts: 86000 | #Constraints: 49370
363.05/364.11 c #Conflicts: 87000 | #Constraints: 50370
363.05/364.11 c #Conflicts: 88000 | #Constraints: 51370
363.05/364.11 c #Conflicts: 89000 | #Constraints: 52370
363.05/364.11 c #Conflicts: 90000 | #Constraints: 53370
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 91000 | #Constraints: 48365
363.05/364.11 c #Conflicts: 92000 | #Constraints: 49365
363.05/364.11 c #Conflicts: 93000 | #Constraints: 50365
363.05/364.11 c #Conflicts: 94000 | #Constraints: 51365
363.05/364.11 c #Conflicts: 95000 | #Constraints: 52365
363.05/364.11 c #Conflicts: 96000 | #Constraints: 53365
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 97000 | #Constraints: 48162
363.05/364.11 c #Conflicts: 98000 | #Constraints: 49162
363.05/364.11 c #Conflicts: 99000 | #Constraints: 50162
363.05/364.11 c #Conflicts: 100000 | #Constraints: 51162
363.05/364.11 c #Conflicts: 101000 | #Constraints: 52162
363.05/364.11 c #Conflicts: 102000 | #Constraints: 53162
363.05/364.11 c #Conflicts: 103000 | #Constraints: 54162
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 104000 | #Constraints: 48758
363.05/364.11 c #Conflicts: 105000 | #Constraints: 49758
363.05/364.11 c #Conflicts: 106000 | #Constraints: 50758
363.05/364.11 c #Conflicts: 107000 | #Constraints: 51758
363.05/364.11 c #Conflicts: 108000 | #Constraints: 52758
363.05/364.11 c #Conflicts: 109000 | #Constraints: 53758
363.05/364.11 c #Conflicts: 110000 | #Constraints: 54758
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 111000 | #Constraints: 49157
363.05/364.11 c #Conflicts: 112000 | #Constraints: 50157
363.05/364.11 c #Conflicts: 113000 | #Constraints: 51157
363.05/364.11 c #Conflicts: 114000 | #Constraints: 52157
363.05/364.11 c #Conflicts: 115000 | #Constraints: 53157
363.05/364.11 c #Conflicts: 116000 | #Constraints: 54157
363.05/364.11 c #Conflicts: 117000 | #Constraints: 55157
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 118000 | #Constraints: 49359
363.05/364.11 c #Conflicts: 119000 | #Constraints: 50359
363.05/364.11 c #Conflicts: 120000 | #Constraints: 51359
363.05/364.11 c #Conflicts: 121000 | #Constraints: 52359
363.05/364.11 c #Conflicts: 122000 | #Constraints: 53359
363.05/364.11 c #Conflicts: 123000 | #Constraints: 54359
363.05/364.11 c #Conflicts: 124000 | #Constraints: 55359
363.05/364.11 c INPROCESSING
363.05/364.11 c GARBAGE COLLECT
363.05/364.11 c #Conflicts: 125000 | #Constraints: 49372
363.05/364.11 c #Conflicts: 126000 | #Constraints: 50372
363.05/364.11 c #Conflicts: 127000 | #Constraints: 51372
363.05/364.11 c #Conflicts: 128000 | #Constraints: 52372
363.05/364.11 c #Conflicts: 129000 | #Constraints: 53372
363.05/364.11 c #Conflicts: 130000 | #Constraints: 54372
363.05/364.11 c #Conflicts: 131000 | #Constraints: 55372
419.20/420.44 c INPROCESSING
419.20/420.44 c GARBAGE COLLECT
419.20/420.44 c #Conflicts: 132000 | #Constraints: 49174
419.20/420.44 c #Conflicts: 133000 | #Constraints: 50174
419.20/420.44 c #Conflicts: 134000 | #Constraints: 51174
419.20/420.44 c #Conflicts: 135000 | #Constraints: 52174
419.20/420.44 c #Conflicts: 136000 | #Constraints: 53174
419.20/420.44 c #Conflicts: 137000 | #Constraints: 54174
419.20/420.44 c #Conflicts: 138000 | #Constraints: 55174
419.20/420.44 c #Conflicts: 139000 | #Constraints: 56174
419.20/420.44 c INPROCESSING
419.20/420.44 c GARBAGE COLLECT
419.20/420.44 c #Conflicts: 140000 | #Constraints: 49773
419.20/420.44 c #Conflicts: 141000 | #Constraints: 50773
419.20/420.44 c #Conflicts: 142000 | #Constraints: 51773
419.20/420.44 c #Conflicts: 143000 | #Constraints: 52773
419.20/420.44 c #Conflicts: 144000 | #Constraints: 53773
419.20/420.44 c #Conflicts: 145000 | #Constraints: 54773
419.20/420.44 c #Conflicts: 146000 | #Constraints: 55773
419.20/420.44 c #Conflicts: 147000 | #Constraints: 56773
419.20/420.44 c INPROCESSING
419.20/420.44 c GARBAGE COLLECT
419.20/420.44 c #Conflicts: 148000 | #Constraints: 50158
419.20/420.44 c #Conflicts: 149000 | #Constraints: 51158
419.20/420.44 c #Conflicts: 150000 | #Constraints: 52158
419.20/420.44 c #Conflicts: 151000 | #Constraints: 53158
419.20/420.44 c #Conflicts: 152000 | #Constraints: 54158
419.20/420.44 c #Conflicts: 153000 | #Constraints: 55158
419.20/420.44 c #Conflicts: 154000 | #Constraints: 56158
419.20/420.44 c #Conflicts: 155000 | #Constraints: 57158
419.20/420.44 c INPROCESSING
419.20/420.44 c GARBAGE COLLECT
419.20/420.44 c #Conflicts: 156000 | #Constraints: 50370
419.20/420.44 c #Conflicts: 157000 | #Constraints: 51370
419.20/420.44 c #Conflicts: 158000 | #Constraints: 52370
419.20/420.44 c #Conflicts: 159000 | #Constraints: 53370
419.20/420.44 c #Conflicts: 160000 | #Constraints: 54370
419.20/420.44 c #Conflicts: 161000 | #Constraints: 55370
419.20/420.44 c #Conflicts: 162000 | #Constraints: 56370
419.20/420.44 c #Conflicts: 163000 | #Constraints: 57370
419.20/420.44 c INPROCESSING
419.20/420.44 c GARBAGE COLLECT
419.20/420.44 c #Conflicts: 164000 | #Constraints: 50375
419.20/420.44 c #Conflicts: 165000 | #Constraints: 51375
419.20/420.44 c #Conflicts: 166000 | #Constraints: 52375
419.20/420.44 c #Conflicts: 167000 | #Constraints: 53375
419.20/420.44 c #Conflicts: 168000 | #Constraints: 54375
419.20/420.44 c #Conflicts: 169000 | #Constraints: 55375
419.20/420.44 c #Conflicts: 170000 | #Constraints: 56375
419.20/420.44 c #Conflicts: 171000 | #Constraints: 57375
419.20/420.44 c INPROCESSING
419.20/420.44 c GARBAGE COLLECT
419.20/420.44 c #Conflicts: 172000 | #Constraints: 50177
419.20/420.44 c #Conflicts: 173000 | #Constraints: 51177
419.20/420.44 c #Conflicts: 174000 | #Constraints: 52177
419.20/420.44 c #Conflicts: 175000 | #Constraints: 53177
419.20/420.44 c #Conflicts: 176000 | #Constraints: 54177
419.20/420.44 c #Conflicts: 177000 | #Constraints: 55177
419.20/420.44 c #Conflicts: 178000 | #Constraints: 56177
419.20/420.44 c #Conflicts: 179000 | #Constraints: 57177
419.20/420.44 c #Conflicts: 180000 | #Constraints: 58177
419.20/420.44 c INPROCESSING
419.20/420.44 c GARBAGE COLLECT
419.20/420.44 c #Conflicts: 181000 | #Constraints: 50779
419.20/420.44 c #Conflicts: 182000 | #Constraints: 51779
419.20/420.44 c #Conflicts: 183000 | #Constraints: 52779
419.20/420.44 c #Conflicts: 184000 | #Constraints: 53779
419.20/420.44 c #Conflicts: 185000 | #Constraints: 54779
419.20/420.44 c #Conflicts: 186000 | #Constraints: 55779
419.20/420.44 c #Conflicts: 187000 | #Constraints: 56779
419.20/420.44 c #Conflicts: 188000 | #Constraints: 57779
419.20/420.44 c #Conflicts: 189000 | #Constraints: 58779
419.20/420.44 c INPROCESSING
419.20/420.44 c GARBAGE COLLECT
419.20/420.44 c #Conflicts: 190000 | #Constraints: 51193
419.20/420.44 c #Conflicts: 191000 | #Constraints: 52193
419.20/420.44 c #Conflicts: 192000 | #Constraints: 53193
419.20/420.44 c #Conflicts: 193000 | #Constraints: 54193
419.20/420.44 c #Conflicts: 194000 | #Constraints: 55193
419.20/420.44 c #Conflicts: 195000 | #Constraints: 56193
419.20/420.44 c #Conflicts: 196000 | #Constraints: 57193
419.20/420.44 c #Conflicts: 197000 | #Constraints: 58193
419.20/420.44 c #Conflicts: 198000 | #Constraints: 59193
419.20/420.44 c INPROCESSING
419.20/420.44 c GARBAGE COLLECT
419.20/420.44 c #Conflicts: 199000 | #Constraints: 51394
419.20/420.44 c #Conflicts: 200000 | #Constraints: 52394
419.20/420.44 c #Conflicts: 201000 | #Constraints: 53394
419.20/420.44 c #Conflicts: 202000 | #Constraints: 54394
419.20/420.44 c #Conflicts: 203000 | #Constraints: 55394
419.20/420.44 c #Conflicts: 204000 | #Constraints: 56394
487.92/489.36 c #Conflicts: 205000 | #Constraints: 57394
487.92/489.36 c #Conflicts: 206000 | #Constraints: 58394
487.92/489.36 c #Conflicts: 207000 | #Constraints: 59394
487.92/489.36 c INPROCESSING
487.92/489.36 c GARBAGE COLLECT
487.92/489.36 c #Conflicts: 208000 | #Constraints: 51402
487.92/489.36 c #Conflicts: 209000 | #Constraints: 52402
487.92/489.36 c #Conflicts: 210000 | #Constraints: 53402
487.92/489.36 c #Conflicts: 211000 | #Constraints: 54402
487.92/489.36 c #Conflicts: 212000 | #Constraints: 55402
487.92/489.36 c #Conflicts: 213000 | #Constraints: 56402
487.92/489.36 c #Conflicts: 214000 | #Constraints: 57402
487.92/489.36 c #Conflicts: 215000 | #Constraints: 58402
487.92/489.36 c #Conflicts: 216000 | #Constraints: 59402
487.92/489.36 c INPROCESSING
487.92/489.36 c GARBAGE COLLECT
487.92/489.36 c #Conflicts: 217000 | #Constraints: 51191
487.92/489.36 c #Conflicts: 218000 | #Constraints: 52191
487.92/489.36 c #Conflicts: 219000 | #Constraints: 53191
487.92/489.36 c #Conflicts: 220000 | #Constraints: 54191
487.92/489.36 c #Conflicts: 221000 | #Constraints: 55191
487.92/489.36 c #Conflicts: 222000 | #Constraints: 56191
487.92/489.36 c #Conflicts: 223000 | #Constraints: 57191
487.92/489.36 c #Conflicts: 224000 | #Constraints: 58191
487.92/489.36 c #Conflicts: 225000 | #Constraints: 59191
487.92/489.36 c #Conflicts: 226000 | #Constraints: 60191
487.92/489.36 c INPROCESSING
487.92/489.36 c GARBAGE COLLECT
487.92/489.36 c #Conflicts: 227000 | #Constraints: 51779
487.92/489.36 c #Conflicts: 228000 | #Constraints: 52779
487.92/489.36 c #Conflicts: 229000 | #Constraints: 53779
487.92/489.36 c #Conflicts: 230000 | #Constraints: 54779
487.92/489.36 c #Conflicts: 231000 | #Constraints: 55779
487.92/489.36 c #Conflicts: 232000 | #Constraints: 56779
487.92/489.36 c #Conflicts: 233000 | #Constraints: 57779
487.92/489.36 c #Conflicts: 234000 | #Constraints: 58779
487.92/489.36 c #Conflicts: 235000 | #Constraints: 59779
487.92/489.36 c #Conflicts: 236000 | #Constraints: 60779
487.92/489.36 c INPROCESSING
487.92/489.36 c GARBAGE COLLECT
487.92/489.36 c #Conflicts: 237000 | #Constraints: 52181
487.92/489.36 c #Conflicts: 238000 | #Constraints: 53181
487.92/489.36 c #Conflicts: 239000 | #Constraints: 54181
487.92/489.36 c #Conflicts: 240000 | #Constraints: 55181
487.92/489.36 c #Conflicts: 241000 | #Constraints: 56181
487.92/489.36 c #Conflicts: 242000 | #Constraints: 57181
487.92/489.36 c #Conflicts: 243000 | #Constraints: 58181
487.92/489.36 c #Conflicts: 244000 | #Constraints: 59181
487.92/489.36 c #Conflicts: 245000 | #Constraints: 60181
487.92/489.36 c #Conflicts: 246000 | #Constraints: 61181
487.92/489.36 c INPROCESSING
487.92/489.36 c GARBAGE COLLECT
487.92/489.36 c #Conflicts: 247000 | #Constraints: 52397
487.92/489.36 c #Conflicts: 248000 | #Constraints: 53397
487.92/489.36 c #Conflicts: 249000 | #Constraints: 54397
487.92/489.36 c #Conflicts: 250000 | #Constraints: 55397
487.92/489.36 c #Conflicts: 251000 | #Constraints: 56397
487.92/489.36 c #Conflicts: 252000 | #Constraints: 57397
487.92/489.36 c #Conflicts: 253000 | #Constraints: 58397
487.92/489.36 c #Conflicts: 254000 | #Constraints: 59397
487.92/489.36 c #Conflicts: 255000 | #Constraints: 60397
487.92/489.36 c #Conflicts: 256000 | #Constraints: 61397
487.92/489.36 c INPROCESSING
487.92/489.36 c GARBAGE COLLECT
487.92/489.36 c #Conflicts: 257000 | #Constraints: 52390
487.92/489.36 c #Conflicts: 258000 | #Constraints: 53390
487.92/489.36 c #Conflicts: 259000 | #Constraints: 54390
487.92/489.36 c #Conflicts: 260000 | #Constraints: 55390
487.92/489.36 c #Conflicts: 261000 | #Constraints: 56390
487.92/489.36 c #Conflicts: 262000 | #Constraints: 57390
487.92/489.36 c #Conflicts: 263000 | #Constraints: 58390
487.92/489.36 c #Conflicts: 264000 | #Constraints: 59390
487.92/489.36 c #Conflicts: 265000 | #Constraints: 60390
487.92/489.36 c #Conflicts: 266000 | #Constraints: 61390
487.92/489.36 c INPROCESSING
487.92/489.36 c GARBAGE COLLECT
487.92/489.36 c #Conflicts: 267000 | #Constraints: 52190
487.92/489.36 c #Conflicts: 268000 | #Constraints: 53190
487.92/489.36 c #Conflicts: 269000 | #Constraints: 54190
487.92/489.36 c #Conflicts: 270000 | #Constraints: 55190
487.92/489.36 c #Conflicts: 271000 | #Constraints: 56190
487.92/489.36 c #Conflicts: 272000 | #Constraints: 57190
487.92/489.36 c #Conflicts: 273000 | #Constraints: 58190
487.92/489.36 c #Conflicts: 274000 | #Constraints: 59190
487.92/489.36 c #Conflicts: 275000 | #Constraints: 60190
487.92/489.36 c #Conflicts: 276000 | #Constraints: 61190
487.92/489.36 c #Conflicts: 277000 | #Constraints: 62190
487.92/489.36 c INPROCESSING
487.92/489.36 c GARBAGE COLLECT
487.92/489.36 c #Conflicts: 278000 | #Constraints: 52784
567.52/569.15 c #Conflicts: 279000 | #Constraints: 53784
567.52/569.15 c #Conflicts: 280000 | #Constraints: 54784
567.52/569.15 c #Conflicts: 281000 | #Constraints: 55784
567.52/569.15 c #Conflicts: 282000 | #Constraints: 56784
567.52/569.15 c #Conflicts: 283000 | #Constraints: 57784
567.52/569.15 c #Conflicts: 284000 | #Constraints: 58784
567.52/569.15 c #Conflicts: 285000 | #Constraints: 59784
567.52/569.15 c #Conflicts: 286000 | #Constraints: 60784
567.52/569.15 c #Conflicts: 287000 | #Constraints: 61784
567.52/569.15 c #Conflicts: 288000 | #Constraints: 62784
567.52/569.15 c INPROCESSING
567.52/569.15 c GARBAGE COLLECT
567.52/569.15 c #Conflicts: 289000 | #Constraints: 53185
567.52/569.15 c #Conflicts: 290000 | #Constraints: 54185
567.52/569.15 c #Conflicts: 291000 | #Constraints: 55185
567.52/569.15 c #Conflicts: 292000 | #Constraints: 56185
567.52/569.15 c #Conflicts: 293000 | #Constraints: 57185
567.52/569.15 c #Conflicts: 294000 | #Constraints: 58185
567.52/569.15 c #Conflicts: 295000 | #Constraints: 59185
567.52/569.15 c #Conflicts: 296000 | #Constraints: 60185
567.52/569.15 c #Conflicts: 297000 | #Constraints: 61185
567.52/569.15 c #Conflicts: 298000 | #Constraints: 62185
567.52/569.15 c #Conflicts: 299000 | #Constraints: 63185
567.52/569.15 c INPROCESSING
567.52/569.15 c GARBAGE COLLECT
567.52/569.15 c #Conflicts: 300000 | #Constraints: 53386
567.52/569.15 c #Conflicts: 301000 | #Constraints: 54386
567.52/569.15 c #Conflicts: 302000 | #Constraints: 55386
567.52/569.15 c #Conflicts: 303000 | #Constraints: 56386
567.52/569.15 c #Conflicts: 304000 | #Constraints: 57386
567.52/569.15 c #Conflicts: 305000 | #Constraints: 58386
567.52/569.15 c #Conflicts: 306000 | #Constraints: 59386
567.52/569.15 c #Conflicts: 307000 | #Constraints: 60386
567.52/569.15 c #Conflicts: 308000 | #Constraints: 61386
567.52/569.15 c #Conflicts: 309000 | #Constraints: 62386
567.52/569.15 c #Conflicts: 310000 | #Constraints: 63386
567.52/569.15 c INPROCESSING
567.52/569.15 c GARBAGE COLLECT
567.52/569.15 c #Conflicts: 311000 | #Constraints: 53385
567.52/569.15 c #Conflicts: 312000 | #Constraints: 54385
567.52/569.15 c #Conflicts: 313000 | #Constraints: 55385
567.52/569.15 c #Conflicts: 314000 | #Constraints: 56385
567.52/569.15 c #Conflicts: 315000 | #Constraints: 57385
567.52/569.15 c #Conflicts: 316000 | #Constraints: 58385
567.52/569.15 c #Conflicts: 317000 | #Constraints: 59385
567.52/569.15 c #Conflicts: 318000 | #Constraints: 60385
567.52/569.15 c #Conflicts: 319000 | #Constraints: 61385
567.52/569.15 c #Conflicts: 320000 | #Constraints: 62385
567.52/569.15 c #Conflicts: 321000 | #Constraints: 63385
567.52/569.15 c INPROCESSING
567.52/569.15 c GARBAGE COLLECT
567.52/569.15 c #Conflicts: 322000 | #Constraints: 53196
567.52/569.15 c #Conflicts: 323000 | #Constraints: 54196
567.52/569.15 c #Conflicts: 324000 | #Constraints: 55196
567.52/569.15 c #Conflicts: 325000 | #Constraints: 56196
567.52/569.15 c #Conflicts: 326000 | #Constraints: 57196
567.52/569.15 c #Conflicts: 327000 | #Constraints: 58196
567.52/569.15 c #Conflicts: 328000 | #Constraints: 59196
567.52/569.15 c #Conflicts: 329000 | #Constraints: 60196
567.52/569.15 c #Conflicts: 330000 | #Constraints: 61196
567.52/569.15 c #Conflicts: 331000 | #Constraints: 62196
567.52/569.15 c #Conflicts: 332000 | #Constraints: 63196
567.52/569.15 c #Conflicts: 333000 | #Constraints: 64196
567.52/569.15 c INPROCESSING
567.52/569.15 c GARBAGE COLLECT
567.52/569.15 c #Conflicts: 334000 | #Constraints: 53821
567.52/569.15 c #Conflicts: 335000 | #Constraints: 54821
567.52/569.15 c #Conflicts: 336000 | #Constraints: 55821
567.52/569.15 c #Conflicts: 337000 | #Constraints: 56821
567.52/569.15 c #Conflicts: 338000 | #Constraints: 57821
567.52/569.15 c #Conflicts: 339000 | #Constraints: 58821
567.52/569.15 c #Conflicts: 340000 | #Constraints: 59821
567.52/569.15 c #Conflicts: 341000 | #Constraints: 60821
567.52/569.15 c #Conflicts: 342000 | #Constraints: 61821
567.52/569.15 c #Conflicts: 343000 | #Constraints: 62821
567.52/569.15 c #Conflicts: 344000 | #Constraints: 63821
567.52/569.15 c #Conflicts: 345000 | #Constraints: 64821
567.52/569.15 c INPROCESSING
567.52/569.15 c GARBAGE COLLECT
567.52/569.15 c #Conflicts: 346000 | #Constraints: 54208
567.52/569.15 c #Conflicts: 347000 | #Constraints: 55208
567.52/569.15 c #Conflicts: 348000 | #Constraints: 56208
567.52/569.15 c #Conflicts: 349000 | #Constraints: 57208
567.52/569.15 c #Conflicts: 350000 | #Constraints: 58208
567.52/569.15 c #Conflicts: 351000 | #Constraints: 59208
567.52/569.15 c #Conflicts: 352000 | #Constraints: 60208
567.52/569.15 c #Conflicts: 353000 | #Constraints: 61208
658.29/660.16 c #Conflicts: 354000 | #Constraints: 62208
658.29/660.16 c #Conflicts: 355000 | #Constraints: 63208
658.29/660.16 c #Conflicts: 356000 | #Constraints: 64208
658.29/660.16 c #Conflicts: 357000 | #Constraints: 65208
658.29/660.16 c INPROCESSING
658.29/660.16 c GARBAGE COLLECT
658.29/660.16 c #Conflicts: 358000 | #Constraints: 54409
658.29/660.16 c #Conflicts: 359000 | #Constraints: 55409
658.29/660.16 c #Conflicts: 360000 | #Constraints: 56409
658.29/660.16 c #Conflicts: 361000 | #Constraints: 57409
658.29/660.16 c #Conflicts: 362000 | #Constraints: 58409
658.29/660.16 c #Conflicts: 363000 | #Constraints: 59409
658.29/660.16 c #Conflicts: 364000 | #Constraints: 60409
658.29/660.16 c #Conflicts: 365000 | #Constraints: 61409
658.29/660.16 c #Conflicts: 366000 | #Constraints: 62409
658.29/660.16 c #Conflicts: 367000 | #Constraints: 63409
658.29/660.16 c #Conflicts: 368000 | #Constraints: 64409
658.29/660.16 c #Conflicts: 369000 | #Constraints: 65409
658.29/660.16 c INPROCESSING
658.29/660.16 c GARBAGE COLLECT
658.29/660.16 c #Conflicts: 370000 | #Constraints: 54409
658.29/660.16 c #Conflicts: 371000 | #Constraints: 55409
658.29/660.16 c #Conflicts: 372000 | #Constraints: 56409
658.29/660.16 c #Conflicts: 373000 | #Constraints: 57409
658.29/660.16 c #Conflicts: 374000 | #Constraints: 58409
658.29/660.16 c #Conflicts: 375000 | #Constraints: 59409
658.29/660.16 c #Conflicts: 376000 | #Constraints: 60409
658.29/660.16 c #Conflicts: 377000 | #Constraints: 61409
658.29/660.16 c #Conflicts: 378000 | #Constraints: 62409
658.29/660.16 c #Conflicts: 379000 | #Constraints: 63409
658.29/660.16 c #Conflicts: 380000 | #Constraints: 64409
658.29/660.16 c #Conflicts: 381000 | #Constraints: 65409
658.29/660.16 c INPROCESSING
658.29/660.16 c GARBAGE COLLECT
658.29/660.16 c #Conflicts: 382000 | #Constraints: 54214
658.29/660.16 c #Conflicts: 383000 | #Constraints: 55214
658.29/660.16 c #Conflicts: 384000 | #Constraints: 56214
658.29/660.16 c #Conflicts: 385000 | #Constraints: 57214
658.29/660.16 c #Conflicts: 386000 | #Constraints: 58214
658.29/660.16 c #Conflicts: 387000 | #Constraints: 59214
658.29/660.16 c #Conflicts: 388000 | #Constraints: 60214
658.29/660.16 c #Conflicts: 389000 | #Constraints: 61214
658.29/660.16 c #Conflicts: 390000 | #Constraints: 62214
658.29/660.16 c #Conflicts: 391000 | #Constraints: 63214
658.29/660.16 c #Conflicts: 392000 | #Constraints: 64214
658.29/660.16 c #Conflicts: 393000 | #Constraints: 65214
658.29/660.16 c #Conflicts: 394000 | #Constraints: 66214
658.29/660.16 c INPROCESSING
658.29/660.16 c GARBAGE COLLECT
658.29/660.16 c #Conflicts: 395000 | #Constraints: 54812
658.29/660.16 c #Conflicts: 396000 | #Constraints: 55812
658.29/660.16 c #Conflicts: 397000 | #Constraints: 56812
658.29/660.16 c #Conflicts: 398000 | #Constraints: 57812
658.29/660.16 c #Conflicts: 399000 | #Constraints: 58812
658.29/660.16 c #Conflicts: 400000 | #Constraints: 59812
658.29/660.16 c #Conflicts: 401000 | #Constraints: 60812
658.29/660.16 c #Conflicts: 402000 | #Constraints: 61812
658.29/660.16 c #Conflicts: 403000 | #Constraints: 62812
658.29/660.16 c #Conflicts: 404000 | #Constraints: 63812
658.29/660.16 c #Conflicts: 405000 | #Constraints: 64812
658.29/660.16 c #Conflicts: 406000 | #Constraints: 65812
658.29/660.16 c #Conflicts: 407000 | #Constraints: 66812
658.29/660.16 c INPROCESSING
658.29/660.16 c GARBAGE COLLECT
658.29/660.16 c #Conflicts: 408000 | #Constraints: 55202
658.29/660.16 c #Conflicts: 409000 | #Constraints: 56202
658.29/660.16 c #Conflicts: 410000 | #Constraints: 57202
658.29/660.16 c #Conflicts: 411000 | #Constraints: 58202
658.29/660.16 c #Conflicts: 412000 | #Constraints: 59202
658.29/660.16 c #Conflicts: 413000 | #Constraints: 60202
658.29/660.16 c #Conflicts: 414000 | #Constraints: 61202
658.29/660.16 c #Conflicts: 415000 | #Constraints: 62202
658.29/660.16 c #Conflicts: 416000 | #Constraints: 63202
658.29/660.16 c #Conflicts: 417000 | #Constraints: 64202
658.29/660.16 c #Conflicts: 418000 | #Constraints: 65202
658.29/660.16 c #Conflicts: 419000 | #Constraints: 66202
658.29/660.16 c #Conflicts: 420000 | #Constraints: 67202
658.29/660.16 c INPROCESSING
658.29/660.16 c GARBAGE COLLECT
658.29/660.16 c #Conflicts: 421000 | #Constraints: 55406
658.29/660.16 c #Conflicts: 422000 | #Constraints: 56406
658.29/660.16 c #Conflicts: 423000 | #Constraints: 57406
658.29/660.16 c #Conflicts: 424000 | #Constraints: 58406
658.29/660.16 c #Conflicts: 425000 | #Constraints: 59406
658.29/660.16 c #Conflicts: 426000 | #Constraints: 60406
658.29/660.16 c #Conflicts: 427000 | #Constraints: 61406
658.29/660.16 c #Conflicts: 428000 | #Constraints: 62406
743.88/745.92 c #Conflicts: 429000 | #Constraints: 63406
743.88/745.92 c #Conflicts: 430000 | #Constraints: 64406
743.88/745.92 c #Conflicts: 431000 | #Constraints: 65406
743.88/745.92 c #Conflicts: 432000 | #Constraints: 66406
743.88/745.92 c #Conflicts: 433000 | #Constraints: 67406
743.88/745.92 c INPROCESSING
743.88/745.92 c GARBAGE COLLECT
743.88/745.92 c #Conflicts: 434000 | #Constraints: 55425
743.88/745.92 c #Conflicts: 435000 | #Constraints: 56425
743.88/745.92 c #Conflicts: 436000 | #Constraints: 57425
743.88/745.92 c #Conflicts: 437000 | #Constraints: 58425
743.88/745.92 c #Conflicts: 438000 | #Constraints: 59425
743.88/745.92 c #Conflicts: 439000 | #Constraints: 60425
743.88/745.92 c #Conflicts: 440000 | #Constraints: 61425
743.88/745.92 c #Conflicts: 441000 | #Constraints: 62425
743.88/745.92 c #Conflicts: 442000 | #Constraints: 63425
743.88/745.92 c #Conflicts: 443000 | #Constraints: 64425
743.88/745.92 c #Conflicts: 444000 | #Constraints: 65425
743.88/745.92 c #Conflicts: 445000 | #Constraints: 66425
743.88/745.92 c #Conflicts: 446000 | #Constraints: 67425
743.88/745.92 c INPROCESSING
743.88/745.92 c GARBAGE COLLECT
743.88/745.92 c #Conflicts: 447000 | #Constraints: 55222
743.88/745.92 c #Conflicts: 448000 | #Constraints: 56222
743.88/745.92 c #Conflicts: 449000 | #Constraints: 57222
743.88/745.92 c #Conflicts: 450000 | #Constraints: 58222
743.88/745.92 c #Conflicts: 451000 | #Constraints: 59222
743.88/745.92 c #Conflicts: 452000 | #Constraints: 60222
743.88/745.92 c #Conflicts: 453000 | #Constraints: 61222
743.88/745.92 c #Conflicts: 454000 | #Constraints: 62222
743.88/745.92 c #Conflicts: 455000 | #Constraints: 63222
743.88/745.92 c #Conflicts: 456000 | #Constraints: 64222
743.88/745.92 c #Conflicts: 457000 | #Constraints: 65222
743.88/745.92 c #Conflicts: 458000 | #Constraints: 66222
743.88/745.92 c #Conflicts: 459000 | #Constraints: 67222
743.88/745.92 c #Conflicts: 460000 | #Constraints: 68222
743.88/745.92 c INPROCESSING
743.88/745.92 c GARBAGE COLLECT
743.88/745.92 c #Conflicts: 461000 | #Constraints: 55824
743.88/745.92 c #Conflicts: 462000 | #Constraints: 56824
743.88/745.92 c #Conflicts: 463000 | #Constraints: 57824
743.88/745.92 c #Conflicts: 464000 | #Constraints: 58824
743.88/745.92 c #Conflicts: 465000 | #Constraints: 59824
743.88/745.92 c #Conflicts: 466000 | #Constraints: 60824
743.88/745.92 c #Conflicts: 467000 | #Constraints: 61824
743.88/745.92 c #Conflicts: 468000 | #Constraints: 62824
743.88/745.92 c #Conflicts: 469000 | #Constraints: 63824
743.88/745.92 c #Conflicts: 470000 | #Constraints: 64824
743.88/745.92 c #Conflicts: 471000 | #Constraints: 65824
743.88/745.92 c #Conflicts: 472000 | #Constraints: 66824
743.88/745.92 c #Conflicts: 473000 | #Constraints: 67824
743.88/745.92 c #Conflicts: 474000 | #Constraints: 68824
743.88/745.92 c INPROCESSING
743.88/745.92 c GARBAGE COLLECT
743.88/745.92 c #Conflicts: 475000 | #Constraints: 56237
743.88/745.92 c #Conflicts: 476000 | #Constraints: 57237
743.88/745.92 c #Conflicts: 477000 | #Constraints: 58237
743.88/745.92 c #Conflicts: 478000 | #Constraints: 59237
743.88/745.92 c #Conflicts: 479000 | #Constraints: 60237
743.88/745.92 c #Conflicts: 480000 | #Constraints: 61237
743.88/745.92 c #Conflicts: 481000 | #Constraints: 62237
743.88/745.92 c #Conflicts: 482000 | #Constraints: 63237
743.88/745.92 c #Conflicts: 483000 | #Constraints: 64237
743.88/745.92 c #Conflicts: 484000 | #Constraints: 65237
743.88/745.92 c #Conflicts: 485000 | #Constraints: 66237
743.88/745.92 c #Conflicts: 486000 | #Constraints: 67237
743.88/745.92 c #Conflicts: 487000 | #Constraints: 68237
743.88/745.92 c #Conflicts: 488000 | #Constraints: 69237
743.88/745.92 c INPROCESSING
743.88/745.92 c GARBAGE COLLECT
743.88/745.92 c #Conflicts: 489000 | #Constraints: 56449
743.88/745.92 c #Conflicts: 490000 | #Constraints: 57449
743.88/745.92 c #Conflicts: 491000 | #Constraints: 58449
743.88/745.92 c #Conflicts: 492000 | #Constraints: 59449
743.88/745.92 c #Conflicts: 493000 | #Constraints: 60449
743.88/745.92 c #Conflicts: 494000 | #Constraints: 61449
743.88/745.92 c #Conflicts: 495000 | #Constraints: 62449
743.88/745.92 c #Conflicts: 496000 | #Constraints: 63449
743.88/745.92 c #Conflicts: 497000 | #Constraints: 64449
743.88/745.92 c #Conflicts: 498000 | #Constraints: 65449
743.88/745.92 c #Conflicts: 499000 | #Constraints: 66449
743.88/745.92 c #Conflicts: 500000 | #Constraints: 67449
743.88/745.92 c #Conflicts: 501000 | #Constraints: 68449
743.88/745.92 c #Conflicts: 502000 | #Constraints: 69449
743.88/745.92 c INPROCESSING
743.88/745.92 c GARBAGE COLLECT
743.88/745.92 c #Conflicts: 503000 | #Constraints: 56457
846.93/849.29 c #Conflicts: 504000 | #Constraints: 57457
846.93/849.29 c #Conflicts: 505000 | #Constraints: 58457
846.93/849.29 c #Conflicts: 506000 | #Constraints: 59457
846.93/849.29 c #Conflicts: 507000 | #Constraints: 60457
846.93/849.29 c #Conflicts: 508000 | #Constraints: 61457
846.93/849.29 c #Conflicts: 509000 | #Constraints: 62457
846.93/849.29 c #Conflicts: 510000 | #Constraints: 63457
846.93/849.29 c #Conflicts: 511000 | #Constraints: 64457
846.93/849.29 c #Conflicts: 512000 | #Constraints: 65457
846.93/849.29 c #Conflicts: 513000 | #Constraints: 66457
846.93/849.29 c #Conflicts: 514000 | #Constraints: 67457
846.93/849.29 c #Conflicts: 515000 | #Constraints: 68457
846.93/849.29 c #Conflicts: 516000 | #Constraints: 69457
846.93/849.29 c INPROCESSING
846.93/849.29 c GARBAGE COLLECT
846.93/849.29 c #Conflicts: 517000 | #Constraints: 56238
846.93/849.29 c #Conflicts: 518000 | #Constraints: 57238
846.93/849.29 c #Conflicts: 519000 | #Constraints: 58238
846.93/849.29 c #Conflicts: 520000 | #Constraints: 59238
846.93/849.29 c #Conflicts: 521000 | #Constraints: 60238
846.93/849.29 c #Conflicts: 522000 | #Constraints: 61238
846.93/849.30 c #Conflicts: 523000 | #Constraints: 62238
846.93/849.30 c #Conflicts: 524000 | #Constraints: 63238
846.93/849.30 c #Conflicts: 525000 | #Constraints: 64238
846.93/849.30 c #Conflicts: 526000 | #Constraints: 65238
846.93/849.30 c #Conflicts: 527000 | #Constraints: 66238
846.93/849.30 c #Conflicts: 528000 | #Constraints: 67238
846.93/849.30 c #Conflicts: 529000 | #Constraints: 68238
846.93/849.30 c #Conflicts: 530000 | #Constraints: 69238
846.93/849.30 c #Conflicts: 531000 | #Constraints: 70238
846.93/849.30 c INPROCESSING
846.93/849.30 c GARBAGE COLLECT
846.93/849.30 c #Conflicts: 532000 | #Constraints: 56824
846.93/849.30 c #Conflicts: 533000 | #Constraints: 57824
846.93/849.30 c #Conflicts: 534000 | #Constraints: 58824
846.93/849.30 c #Conflicts: 535000 | #Constraints: 59824
846.93/849.30 c #Conflicts: 536000 | #Constraints: 60824
846.93/849.30 c #Conflicts: 537000 | #Constraints: 61824
846.93/849.30 c #Conflicts: 538000 | #Constraints: 62824
846.93/849.30 c #Conflicts: 539000 | #Constraints: 63824
846.93/849.30 c #Conflicts: 540000 | #Constraints: 64824
846.93/849.30 c #Conflicts: 541000 | #Constraints: 65824
846.93/849.30 c #Conflicts: 542000 | #Constraints: 66824
846.93/849.30 c #Conflicts: 543000 | #Constraints: 67824
846.93/849.30 c #Conflicts: 544000 | #Constraints: 68824
846.93/849.30 c #Conflicts: 545000 | #Constraints: 69824
846.93/849.30 c #Conflicts: 546000 | #Constraints: 70824
846.93/849.30 c INPROCESSING
846.93/849.30 c GARBAGE COLLECT
846.93/849.30 c #Conflicts: 547000 | #Constraints: 57231
846.93/849.30 c #Conflicts: 548000 | #Constraints: 58231
846.93/849.30 c #Conflicts: 549000 | #Constraints: 59231
846.93/849.30 c #Conflicts: 550000 | #Constraints: 60231
846.93/849.30 c #Conflicts: 551000 | #Constraints: 61231
846.93/849.30 c #Conflicts: 552000 | #Constraints: 62231
846.93/849.30 c #Conflicts: 553000 | #Constraints: 63231
846.93/849.30 c #Conflicts: 554000 | #Constraints: 64231
846.93/849.30 c #Conflicts: 555000 | #Constraints: 65231
846.93/849.30 c #Conflicts: 556000 | #Constraints: 66231
846.93/849.30 c #Conflicts: 557000 | #Constraints: 67231
846.93/849.30 c #Conflicts: 558000 | #Constraints: 68231
846.93/849.30 c #Conflicts: 559000 | #Constraints: 69231
846.93/849.30 c #Conflicts: 560000 | #Constraints: 70231
846.93/849.30 c #Conflicts: 561000 | #Constraints: 71231
846.93/849.30 c INPROCESSING
846.93/849.30 c GARBAGE COLLECT
846.93/849.30 c #Conflicts: 562000 | #Constraints: 57437
846.93/849.30 c #Conflicts: 563000 | #Constraints: 58437
846.93/849.30 c #Conflicts: 564000 | #Constraints: 59437
846.93/849.30 c #Conflicts: 565000 | #Constraints: 60437
846.93/849.30 c #Conflicts: 566000 | #Constraints: 61437
846.93/849.30 c #Conflicts: 567000 | #Constraints: 62437
846.93/849.30 c #Conflicts: 568000 | #Constraints: 63437
846.93/849.30 c #Conflicts: 569000 | #Constraints: 64437
846.93/849.30 c #Conflicts: 570000 | #Constraints: 65437
846.93/849.30 c #Conflicts: 571000 | #Constraints: 66437
846.93/849.30 c #Conflicts: 572000 | #Constraints: 67437
846.93/849.30 c #Conflicts: 573000 | #Constraints: 68437
846.93/849.30 c #Conflicts: 574000 | #Constraints: 69437
846.93/849.30 c #Conflicts: 575000 | #Constraints: 70437
846.93/849.30 c #Conflicts: 576000 | #Constraints: 71437
846.93/849.30 c INPROCESSING
846.93/849.30 c GARBAGE COLLECT
846.93/849.30 c #Conflicts: 577000 | #Constraints: 57421
846.93/849.30 c #Conflicts: 578000 | #Constraints: 58421
846.93/849.30 c #Conflicts: 579000 | #Constraints: 59421
957.36/959.92 c #Conflicts: 580000 | #Constraints: 60421
957.36/959.92 c #Conflicts: 581000 | #Constraints: 61421
957.36/959.92 c #Conflicts: 582000 | #Constraints: 62421
957.36/959.92 c #Conflicts: 583000 | #Constraints: 63421
957.36/959.92 c #Conflicts: 584000 | #Constraints: 64421
957.36/959.92 c #Conflicts: 585000 | #Constraints: 65421
957.36/959.92 c #Conflicts: 586000 | #Constraints: 66421
957.36/959.92 c #Conflicts: 587000 | #Constraints: 67421
957.36/959.92 c #Conflicts: 588000 | #Constraints: 68421
957.36/959.92 c #Conflicts: 589000 | #Constraints: 69421
957.36/959.92 c #Conflicts: 590000 | #Constraints: 70421
957.36/959.92 c #Conflicts: 591000 | #Constraints: 71421
957.36/959.92 c INPROCESSING
957.36/959.92 c GARBAGE COLLECT
957.36/959.92 c #Conflicts: 592000 | #Constraints: 57217
957.36/959.92 c #Conflicts: 593000 | #Constraints: 58217
957.36/959.92 c #Conflicts: 594000 | #Constraints: 59217
957.36/959.92 c #Conflicts: 595000 | #Constraints: 60217
957.36/959.92 c #Conflicts: 596000 | #Constraints: 61217
957.36/959.92 c #Conflicts: 597000 | #Constraints: 62217
957.36/959.92 c #Conflicts: 598000 | #Constraints: 63217
957.36/959.92 c #Conflicts: 599000 | #Constraints: 64217
957.36/959.92 c #Conflicts: 600000 | #Constraints: 65217
957.36/959.92 c #Conflicts: 601000 | #Constraints: 66217
957.36/959.92 c #Conflicts: 602000 | #Constraints: 67217
957.36/959.92 c #Conflicts: 603000 | #Constraints: 68217
957.36/959.92 c #Conflicts: 604000 | #Constraints: 69217
957.36/959.92 c #Conflicts: 605000 | #Constraints: 70217
957.36/959.92 c #Conflicts: 606000 | #Constraints: 71217
957.36/959.92 c #Conflicts: 607000 | #Constraints: 72217
957.36/959.92 c INPROCESSING
957.36/959.92 c GARBAGE COLLECT
957.36/959.92 c #Conflicts: 608000 | #Constraints: 57841
957.36/959.92 c #Conflicts: 609000 | #Constraints: 58841
957.36/959.92 c #Conflicts: 610000 | #Constraints: 59841
957.36/959.92 c #Conflicts: 611000 | #Constraints: 60841
957.36/959.92 c #Conflicts: 612000 | #Constraints: 61841
957.36/959.92 c #Conflicts: 613000 | #Constraints: 62841
957.36/959.92 c #Conflicts: 614000 | #Constraints: 63841
957.36/959.92 c #Conflicts: 615000 | #Constraints: 64841
957.36/959.92 c #Conflicts: 616000 | #Constraints: 65841
957.36/959.92 c #Conflicts: 617000 | #Constraints: 66841
957.36/959.92 c #Conflicts: 618000 | #Constraints: 67841
957.36/959.92 c #Conflicts: 619000 | #Constraints: 68841
957.36/959.92 c #Conflicts: 620000 | #Constraints: 69841
957.36/959.92 c #Conflicts: 621000 | #Constraints: 70841
957.36/959.92 c #Conflicts: 622000 | #Constraints: 71841
957.36/959.92 c #Conflicts: 623000 | #Constraints: 72841
957.36/959.92 c INPROCESSING
957.36/959.92 c GARBAGE COLLECT
957.36/959.92 c #Conflicts: 624000 | #Constraints: 58228
957.36/959.92 c #Conflicts: 625000 | #Constraints: 59228
957.36/959.92 c #Conflicts: 626000 | #Constraints: 60228
957.36/959.92 c #Conflicts: 627000 | #Constraints: 61228
957.36/959.92 c #Conflicts: 628000 | #Constraints: 62228
957.36/959.92 c #Conflicts: 629000 | #Constraints: 63228
957.36/959.92 c #Conflicts: 630000 | #Constraints: 64228
957.36/959.92 c #Conflicts: 631000 | #Constraints: 65228
957.36/959.92 c #Conflicts: 632000 | #Constraints: 66228
957.36/959.92 c #Conflicts: 633000 | #Constraints: 67228
957.36/959.92 c #Conflicts: 634000 | #Constraints: 68228
957.36/959.92 c #Conflicts: 635000 | #Constraints: 69228
957.36/959.92 c #Conflicts: 636000 | #Constraints: 70228
957.36/959.92 c #Conflicts: 637000 | #Constraints: 71228
957.36/959.92 c #Conflicts: 638000 | #Constraints: 72228
957.36/959.92 c #Conflicts: 639000 | #Constraints: 73228
957.36/959.92 c INPROCESSING
957.36/959.92 c GARBAGE COLLECT
957.36/959.92 c #Conflicts: 640000 | #Constraints: 58414
957.36/959.92 c #Conflicts: 641000 | #Constraints: 59414
957.36/959.92 c #Conflicts: 642000 | #Constraints: 60414
957.36/959.92 c #Conflicts: 643000 | #Constraints: 61414
957.36/959.92 c #Conflicts: 644000 | #Constraints: 62414
957.36/959.92 c #Conflicts: 645000 | #Constraints: 63414
957.36/959.92 c #Conflicts: 646000 | #Constraints: 64414
957.36/959.92 c #Conflicts: 647000 | #Constraints: 65414
957.36/959.92 c #Conflicts: 648000 | #Constraints: 66414
957.36/959.92 c #Conflicts: 649000 | #Constraints: 67414
957.36/959.92 c #Conflicts: 650000 | #Constraints: 68414
957.36/959.92 c #Conflicts: 651000 | #Constraints: 69414
957.36/959.92 c #Conflicts: 652000 | #Constraints: 70414
957.36/959.92 c #Conflicts: 653000 | #Constraints: 71414
957.36/959.92 c #Conflicts: 654000 | #Constraints: 72414
957.36/959.92 c #Conflicts: 655000 | #Constraints: 73414
1076.58/1079.48 c INPROCESSING
1076.58/1079.48 c GARBAGE COLLECT
1076.58/1079.48 c #Conflicts: 656000 | #Constraints: 58398
1076.58/1079.48 c #Conflicts: 657000 | #Constraints: 59398
1076.58/1079.48 c #Conflicts: 658000 | #Constraints: 60398
1076.58/1079.48 c #Conflicts: 659000 | #Constraints: 61398
1076.58/1079.48 c #Conflicts: 660000 | #Constraints: 62398
1076.58/1079.48 c #Conflicts: 661000 | #Constraints: 63398
1076.58/1079.48 c #Conflicts: 662000 | #Constraints: 64398
1076.58/1079.48 c #Conflicts: 663000 | #Constraints: 65398
1076.58/1079.48 c #Conflicts: 664000 | #Constraints: 66398
1076.58/1079.48 c #Conflicts: 665000 | #Constraints: 67398
1076.58/1079.48 c #Conflicts: 666000 | #Constraints: 68398
1076.58/1079.48 c #Conflicts: 667000 | #Constraints: 69398
1076.58/1079.48 c #Conflicts: 668000 | #Constraints: 70398
1076.58/1079.48 c #Conflicts: 669000 | #Constraints: 71398
1076.58/1079.48 c #Conflicts: 670000 | #Constraints: 72398
1076.58/1079.48 c #Conflicts: 671000 | #Constraints: 73398
1076.58/1079.48 c INPROCESSING
1076.58/1079.48 c GARBAGE COLLECT
1076.58/1079.48 c #Conflicts: 672000 | #Constraints: 58211
1076.58/1079.48 c #Conflicts: 673000 | #Constraints: 59211
1076.58/1079.48 c #Conflicts: 674000 | #Constraints: 60211
1076.58/1079.48 c #Conflicts: 675000 | #Constraints: 61211
1076.58/1079.48 c #Conflicts: 676000 | #Constraints: 62211
1076.58/1079.48 c #Conflicts: 677000 | #Constraints: 63211
1076.58/1079.48 c #Conflicts: 678000 | #Constraints: 64211
1076.58/1079.48 c #Conflicts: 679000 | #Constraints: 65211
1076.58/1079.48 c #Conflicts: 680000 | #Constraints: 66211
1076.58/1079.48 c #Conflicts: 681000 | #Constraints: 67211
1076.58/1079.48 c #Conflicts: 682000 | #Constraints: 68211
1076.58/1079.48 c #Conflicts: 683000 | #Constraints: 69211
1076.58/1079.48 c #Conflicts: 684000 | #Constraints: 70211
1076.58/1079.48 c #Conflicts: 685000 | #Constraints: 71211
1076.58/1079.48 c #Conflicts: 686000 | #Constraints: 72211
1076.58/1079.48 c #Conflicts: 687000 | #Constraints: 73211
1076.58/1079.48 c #Conflicts: 688000 | #Constraints: 74211
1076.58/1079.48 c INPROCESSING
1076.58/1079.48 c GARBAGE COLLECT
1076.58/1079.48 c #Conflicts: 689000 | #Constraints: 58827
1076.58/1079.48 c #Conflicts: 690000 | #Constraints: 59827
1076.58/1079.48 c #Conflicts: 691000 | #Constraints: 60827
1076.58/1079.48 c #Conflicts: 692000 | #Constraints: 61827
1076.58/1079.48 c #Conflicts: 693000 | #Constraints: 62827
1076.58/1079.48 c #Conflicts: 694000 | #Constraints: 63827
1076.58/1079.48 c #Conflicts: 695000 | #Constraints: 64827
1076.58/1079.48 c #Conflicts: 696000 | #Constraints: 65827
1076.58/1079.48 c #Conflicts: 697000 | #Constraints: 66827
1076.58/1079.48 c #Conflicts: 698000 | #Constraints: 67827
1076.58/1079.48 c #Conflicts: 699000 | #Constraints: 68827
1076.58/1079.48 c #Conflicts: 700000 | #Constraints: 69827
1076.58/1079.48 c #Conflicts: 701000 | #Constraints: 70827
1076.58/1079.48 c #Conflicts: 702000 | #Constraints: 71827
1076.58/1079.48 c #Conflicts: 703000 | #Constraints: 72827
1076.58/1079.48 c #Conflicts: 704000 | #Constraints: 73827
1076.58/1079.48 c #Conflicts: 705000 | #Constraints: 74827
1076.58/1079.48 c INPROCESSING
1076.58/1079.48 c GARBAGE COLLECT
1076.58/1079.48 c #Conflicts: 706000 | #Constraints: 59224
1076.58/1079.48 c #Conflicts: 707000 | #Constraints: 60224
1076.58/1079.48 c #Conflicts: 708000 | #Constraints: 61224
1076.58/1079.48 c #Conflicts: 709000 | #Constraints: 62224
1076.58/1079.48 c #Conflicts: 710000 | #Constraints: 63224
1076.58/1079.48 c #Conflicts: 711000 | #Constraints: 64224
1076.58/1079.48 c #Conflicts: 712000 | #Constraints: 65224
1076.58/1079.48 c #Conflicts: 713000 | #Constraints: 66224
1076.58/1079.48 c #Conflicts: 714000 | #Constraints: 67224
1076.58/1079.48 c #Conflicts: 715000 | #Constraints: 68224
1076.58/1079.48 c #Conflicts: 716000 | #Constraints: 69224
1076.58/1079.48 c #Conflicts: 717000 | #Constraints: 70224
1076.58/1079.48 c #Conflicts: 718000 | #Constraints: 71224
1076.58/1079.48 c #Conflicts: 719000 | #Constraints: 72224
1076.58/1079.48 c #Conflicts: 720000 | #Constraints: 73224
1076.58/1079.48 c #Conflicts: 721000 | #Constraints: 74224
1076.58/1079.48 c #Conflicts: 722000 | #Constraints: 75224
1076.58/1079.48 c INPROCESSING
1076.58/1079.48 c GARBAGE COLLECT
1076.58/1079.48 c #Conflicts: 723000 | #Constraints: 59423
1076.58/1079.48 c #Conflicts: 724000 | #Constraints: 60423
1076.58/1079.48 c #Conflicts: 725000 | #Constraints: 61423
1076.58/1079.48 c #Conflicts: 726000 | #Constraints: 62423
1076.58/1079.48 c #Conflicts: 727000 | #Constraints: 63423
1076.58/1079.48 c #Conflicts: 728000 | #Constraints: 64423
1076.58/1079.48 c #Conflicts: 729000 | #Constraints: 65423
1076.58/1079.48 c #Conflicts: 730000 | #Constraints: 66423
1205.86/1209.01 c #Conflicts: 731000 | #Constraints: 67423
1205.86/1209.01 c #Conflicts: 732000 | #Constraints: 68423
1205.86/1209.01 c #Conflicts: 733000 | #Constraints: 69423
1205.86/1209.01 c #Conflicts: 734000 | #Constraints: 70423
1205.86/1209.01 c #Conflicts: 735000 | #Constraints: 71423
1205.86/1209.01 c #Conflicts: 736000 | #Constraints: 72423
1205.86/1209.01 c #Conflicts: 737000 | #Constraints: 73423
1205.86/1209.01 c #Conflicts: 738000 | #Constraints: 74423
1205.86/1209.01 c #Conflicts: 739000 | #Constraints: 75423
1205.86/1209.01 c INPROCESSING
1205.86/1209.01 c GARBAGE COLLECT
1205.86/1209.01 c #Conflicts: 740000 | #Constraints: 59449
1205.86/1209.01 c #Conflicts: 741000 | #Constraints: 60449
1205.86/1209.01 c #Conflicts: 742000 | #Constraints: 61449
1205.86/1209.01 c #Conflicts: 743000 | #Constraints: 62449
1205.86/1209.01 c #Conflicts: 744000 | #Constraints: 63449
1205.86/1209.01 c #Conflicts: 745000 | #Constraints: 64449
1205.86/1209.01 c #Conflicts: 746000 | #Constraints: 65449
1205.86/1209.01 c #Conflicts: 747000 | #Constraints: 66449
1205.86/1209.01 c #Conflicts: 748000 | #Constraints: 67449
1205.86/1209.01 c #Conflicts: 749000 | #Constraints: 68449
1205.86/1209.01 c #Conflicts: 750000 | #Constraints: 69449
1205.86/1209.01 c #Conflicts: 751000 | #Constraints: 70449
1205.86/1209.01 c #Conflicts: 752000 | #Constraints: 71449
1205.86/1209.01 c #Conflicts: 753000 | #Constraints: 72449
1205.86/1209.01 c #Conflicts: 754000 | #Constraints: 73449
1205.86/1209.01 c #Conflicts: 755000 | #Constraints: 74449
1205.86/1209.01 c #Conflicts: 756000 | #Constraints: 75449
1205.86/1209.01 c INPROCESSING
1205.86/1209.01 c GARBAGE COLLECT
1205.86/1209.01 c #Conflicts: 757000 | #Constraints: 59238
1205.86/1209.01 c #Conflicts: 758000 | #Constraints: 60238
1205.86/1209.01 c #Conflicts: 759000 | #Constraints: 61238
1205.86/1209.01 c #Conflicts: 760000 | #Constraints: 62238
1205.86/1209.01 c #Conflicts: 761000 | #Constraints: 63238
1205.86/1209.01 c #Conflicts: 762000 | #Constraints: 64238
1205.86/1209.01 c #Conflicts: 763000 | #Constraints: 65238
1205.86/1209.01 c #Conflicts: 764000 | #Constraints: 66238
1205.86/1209.01 c #Conflicts: 765000 | #Constraints: 67238
1205.86/1209.01 c #Conflicts: 766000 | #Constraints: 68238
1205.86/1209.01 c #Conflicts: 767000 | #Constraints: 69238
1205.86/1209.01 c #Conflicts: 768000 | #Constraints: 70238
1205.86/1209.01 c #Conflicts: 769000 | #Constraints: 71238
1205.86/1209.01 c #Conflicts: 770000 | #Constraints: 72238
1205.86/1209.01 c #Conflicts: 771000 | #Constraints: 73238
1205.86/1209.01 c #Conflicts: 772000 | #Constraints: 74238
1205.86/1209.01 c #Conflicts: 773000 | #Constraints: 75238
1205.86/1209.01 c #Conflicts: 774000 | #Constraints: 76238
1205.86/1209.01 c INPROCESSING
1205.86/1209.01 c GARBAGE COLLECT
1205.86/1209.01 c #Conflicts: 775000 | #Constraints: 59826
1205.86/1209.01 c #Conflicts: 776000 | #Constraints: 60826
1205.86/1209.01 c #Conflicts: 777000 | #Constraints: 61826
1205.86/1209.01 c #Conflicts: 778000 | #Constraints: 62826
1205.86/1209.01 c #Conflicts: 779000 | #Constraints: 63826
1205.86/1209.01 c #Conflicts: 780000 | #Constraints: 64826
1205.86/1209.01 c #Conflicts: 781000 | #Constraints: 65826
1205.86/1209.01 c #Conflicts: 782000 | #Constraints: 66826
1205.86/1209.01 c #Conflicts: 783000 | #Constraints: 67826
1205.86/1209.01 c #Conflicts: 784000 | #Constraints: 68826
1205.86/1209.01 c #Conflicts: 785000 | #Constraints: 69826
1205.86/1209.01 c #Conflicts: 786000 | #Constraints: 70826
1205.86/1209.01 c #Conflicts: 787000 | #Constraints: 71826
1205.86/1209.01 c #Conflicts: 788000 | #Constraints: 72826
1205.86/1209.01 c #Conflicts: 789000 | #Constraints: 73826
1205.86/1209.01 c #Conflicts: 790000 | #Constraints: 74826
1205.86/1209.01 c #Conflicts: 791000 | #Constraints: 75826
1205.86/1209.01 c #Conflicts: 792000 | #Constraints: 76826
1205.86/1209.01 c INPROCESSING
1205.86/1209.01 c GARBAGE COLLECT
1205.86/1209.01 c #Conflicts: 793000 | #Constraints: 60234
1205.86/1209.01 c #Conflicts: 794000 | #Constraints: 61234
1205.86/1209.01 c #Conflicts: 795000 | #Constraints: 62234
1205.86/1209.01 c #Conflicts: 796000 | #Constraints: 63234
1205.86/1209.01 c #Conflicts: 797000 | #Constraints: 64234
1205.86/1209.01 c #Conflicts: 798000 | #Constraints: 65234
1205.86/1209.01 c #Conflicts: 799000 | #Constraints: 66234
1205.86/1209.01 c #Conflicts: 800000 | #Constraints: 67234
1205.86/1209.01 c #Conflicts: 801000 | #Constraints: 68234
1205.86/1209.01 c #Conflicts: 802000 | #Constraints: 69234
1205.86/1209.01 c #Conflicts: 803000 | #Constraints: 70234
1205.86/1209.01 c #Conflicts: 804000 | #Constraints: 71234
1205.86/1209.01 c #Conflicts: 805000 | #Constraints: 72234
1205.86/1209.01 c #Conflicts: 806000 | #Constraints: 73234
1205.86/1209.01 c #Conflicts: 807000 | #Constraints: 74234
1340.64/1344.13 c #Conflicts: 808000 | #Constraints: 75234
1340.64/1344.13 c #Conflicts: 809000 | #Constraints: 76234
1340.64/1344.13 c #Conflicts: 810000 | #Constraints: 77234
1340.64/1344.13 c INPROCESSING
1340.64/1344.13 c GARBAGE COLLECT
1340.64/1344.13 c #Conflicts: 811000 | #Constraints: 60422
1340.64/1344.13 c #Conflicts: 812000 | #Constraints: 61422
1340.64/1344.13 c #Conflicts: 813000 | #Constraints: 62422
1340.64/1344.13 c #Conflicts: 814000 | #Constraints: 63422
1340.64/1344.13 c #Conflicts: 815000 | #Constraints: 64422
1340.64/1344.13 c #Conflicts: 816000 | #Constraints: 65422
1340.64/1344.13 c #Conflicts: 817000 | #Constraints: 66422
1340.64/1344.13 c #Conflicts: 818000 | #Constraints: 67422
1340.64/1344.13 c #Conflicts: 819000 | #Constraints: 68422
1340.64/1344.13 c #Conflicts: 820000 | #Constraints: 69422
1340.64/1344.13 c #Conflicts: 821000 | #Constraints: 70422
1340.64/1344.13 c #Conflicts: 822000 | #Constraints: 71422
1340.64/1344.13 c #Conflicts: 823000 | #Constraints: 72422
1340.64/1344.13 c #Conflicts: 824000 | #Constraints: 73422
1340.64/1344.13 c #Conflicts: 825000 | #Constraints: 74422
1340.64/1344.13 c #Conflicts: 826000 | #Constraints: 75422
1340.64/1344.13 c #Conflicts: 827000 | #Constraints: 76422
1340.64/1344.13 c #Conflicts: 828000 | #Constraints: 77422
1340.64/1344.13 c INPROCESSING
1340.64/1344.13 c GARBAGE COLLECT
1340.64/1344.13 c #Conflicts: 829000 | #Constraints: 60447
1340.64/1344.13 c #Conflicts: 830000 | #Constraints: 61447
1340.64/1344.13 c #Conflicts: 831000 | #Constraints: 62447
1340.64/1344.13 c #Conflicts: 832000 | #Constraints: 63447
1340.64/1344.13 c #Conflicts: 833000 | #Constraints: 64447
1340.64/1344.13 c #Conflicts: 834000 | #Constraints: 65447
1340.64/1344.13 c #Conflicts: 835000 | #Constraints: 66447
1340.64/1344.13 c #Conflicts: 836000 | #Constraints: 67447
1340.64/1344.13 c #Conflicts: 837000 | #Constraints: 68447
1340.64/1344.13 c #Conflicts: 838000 | #Constraints: 69447
1340.64/1344.13 c #Conflicts: 839000 | #Constraints: 70447
1340.64/1344.13 c #Conflicts: 840000 | #Constraints: 71447
1340.64/1344.13 c #Conflicts: 841000 | #Constraints: 72447
1340.64/1344.13 c #Conflicts: 842000 | #Constraints: 73447
1340.64/1344.13 c #Conflicts: 843000 | #Constraints: 74447
1340.64/1344.13 c #Conflicts: 844000 | #Constraints: 75447
1340.64/1344.13 c #Conflicts: 845000 | #Constraints: 76447
1340.64/1344.13 c #Conflicts: 846000 | #Constraints: 77447
1340.64/1344.13 c INPROCESSING
1340.64/1344.13 c GARBAGE COLLECT
1340.64/1344.13 c #Conflicts: 847000 | #Constraints: 60254
1340.64/1344.13 c #Conflicts: 848000 | #Constraints: 61254
1340.64/1344.13 c #Conflicts: 849000 | #Constraints: 62254
1340.64/1344.13 c #Conflicts: 850000 | #Constraints: 63254
1340.64/1344.13 c #Conflicts: 851000 | #Constraints: 64254
1340.64/1344.13 c #Conflicts: 852000 | #Constraints: 65254
1340.64/1344.13 c #Conflicts: 853000 | #Constraints: 66254
1340.64/1344.13 c #Conflicts: 854000 | #Constraints: 67254
1340.64/1344.13 c #Conflicts: 855000 | #Constraints: 68254
1340.64/1344.13 c #Conflicts: 856000 | #Constraints: 69254
1340.64/1344.13 c #Conflicts: 857000 | #Constraints: 70254
1340.64/1344.13 c #Conflicts: 858000 | #Constraints: 71254
1340.64/1344.13 c #Conflicts: 859000 | #Constraints: 72254
1340.64/1344.13 c #Conflicts: 860000 | #Constraints: 73254
1340.64/1344.13 c #Conflicts: 861000 | #Constraints: 74254
1340.64/1344.13 c #Conflicts: 862000 | #Constraints: 75254
1340.64/1344.13 c #Conflicts: 863000 | #Constraints: 76254
1340.64/1344.13 c #Conflicts: 864000 | #Constraints: 77254
1340.64/1344.13 c #Conflicts: 865000 | #Constraints: 78254
1340.64/1344.13 c INPROCESSING
1340.64/1344.13 c GARBAGE COLLECT
1340.64/1344.13 c #Conflicts: 866000 | #Constraints: 60849
1340.64/1344.13 c #Conflicts: 867000 | #Constraints: 61849
1340.64/1344.13 c #Conflicts: 868000 | #Constraints: 62849
1340.64/1344.13 c #Conflicts: 869000 | #Constraints: 63849
1340.64/1344.13 c #Conflicts: 870000 | #Constraints: 64849
1340.64/1344.13 c #Conflicts: 871000 | #Constraints: 65849
1340.64/1344.13 c #Conflicts: 872000 | #Constraints: 66849
1340.64/1344.13 c #Conflicts: 873000 | #Constraints: 67849
1340.64/1344.13 c #Conflicts: 874000 | #Constraints: 68849
1340.64/1344.13 c #Conflicts: 875000 | #Constraints: 69849
1340.64/1344.13 c #Conflicts: 876000 | #Constraints: 70849
1340.64/1344.13 c #Conflicts: 877000 | #Constraints: 71849
1340.64/1344.13 c #Conflicts: 878000 | #Constraints: 72849
1340.64/1344.13 c #Conflicts: 879000 | #Constraints: 73849
1340.64/1344.13 c #Conflicts: 880000 | #Constraints: 74849
1340.64/1344.13 c #Conflicts: 881000 | #Constraints: 75849
1340.64/1344.13 c #Conflicts: 882000 | #Constraints: 76849
1340.64/1344.13 c #Conflicts: 883000 | #Constraints: 77849
1482.88/1486.70 c #Conflicts: 884000 | #Constraints: 78849
1482.88/1486.70 c INPROCESSING
1482.88/1486.70 c GARBAGE COLLECT
1482.88/1486.70 c #Conflicts: 885000 | #Constraints: 61256
1482.88/1486.70 c #Conflicts: 886000 | #Constraints: 62256
1482.88/1486.70 c #Conflicts: 887000 | #Constraints: 63256
1482.88/1486.70 c #Conflicts: 888000 | #Constraints: 64256
1482.88/1486.70 c #Conflicts: 889000 | #Constraints: 65256
1482.88/1486.70 c #Conflicts: 890000 | #Constraints: 66256
1482.88/1486.70 c #Conflicts: 891000 | #Constraints: 67256
1482.88/1486.70 c #Conflicts: 892000 | #Constraints: 68256
1482.88/1486.70 c #Conflicts: 893000 | #Constraints: 69256
1482.88/1486.70 c #Conflicts: 894000 | #Constraints: 70256
1482.88/1486.70 c #Conflicts: 895000 | #Constraints: 71256
1482.88/1486.70 c #Conflicts: 896000 | #Constraints: 72256
1482.88/1486.70 c #Conflicts: 897000 | #Constraints: 73256
1482.88/1486.70 c #Conflicts: 898000 | #Constraints: 74256
1482.88/1486.70 c #Conflicts: 899000 | #Constraints: 75256
1482.88/1486.70 c #Conflicts: 900000 | #Constraints: 76256
1482.88/1486.70 c #Conflicts: 901000 | #Constraints: 77256
1482.88/1486.70 c #Conflicts: 902000 | #Constraints: 78256
1482.88/1486.70 c #Conflicts: 903000 | #Constraints: 79256
1482.88/1486.70 c INPROCESSING
1482.88/1486.70 c GARBAGE COLLECT
1482.88/1486.70 c #Conflicts: 904000 | #Constraints: 61437
1482.88/1486.70 c #Conflicts: 905000 | #Constraints: 62437
1482.88/1486.70 c #Conflicts: 906000 | #Constraints: 63437
1482.88/1486.70 c #Conflicts: 907000 | #Constraints: 64437
1482.88/1486.70 c #Conflicts: 908000 | #Constraints: 65437
1482.88/1486.70 c #Conflicts: 909000 | #Constraints: 66437
1482.88/1486.70 c #Conflicts: 910000 | #Constraints: 67437
1482.88/1486.70 c #Conflicts: 911000 | #Constraints: 68437
1482.88/1486.70 c #Conflicts: 912000 | #Constraints: 69437
1482.88/1486.70 c #Conflicts: 913000 | #Constraints: 70437
1482.88/1486.70 c #Conflicts: 914000 | #Constraints: 71437
1482.88/1486.70 c #Conflicts: 915000 | #Constraints: 72437
1482.88/1486.70 c #Conflicts: 916000 | #Constraints: 73437
1482.88/1486.70 c #Conflicts: 917000 | #Constraints: 74437
1482.88/1486.70 c #Conflicts: 918000 | #Constraints: 75437
1482.88/1486.70 c #Conflicts: 919000 | #Constraints: 76437
1482.88/1486.70 c #Conflicts: 920000 | #Constraints: 77437
1482.88/1486.70 c #Conflicts: 921000 | #Constraints: 78437
1482.88/1486.70 c #Conflicts: 922000 | #Constraints: 79437
1482.88/1486.70 c INPROCESSING
1482.88/1486.70 c GARBAGE COLLECT
1482.88/1486.70 c #Conflicts: 923000 | #Constraints: 61423
1482.88/1486.70 c #Conflicts: 924000 | #Constraints: 62423
1482.88/1486.70 c #Conflicts: 925000 | #Constraints: 63423
1482.88/1486.70 c #Conflicts: 926000 | #Constraints: 64423
1482.88/1486.70 c #Conflicts: 927000 | #Constraints: 65423
1482.88/1486.70 c #Conflicts: 928000 | #Constraints: 66423
1482.88/1486.70 c #Conflicts: 929000 | #Constraints: 67423
1482.88/1486.70 c #Conflicts: 930000 | #Constraints: 68423
1482.88/1486.70 c #Conflicts: 931000 | #Constraints: 69423
1482.88/1486.70 c #Conflicts: 932000 | #Constraints: 70423
1482.88/1486.70 c #Conflicts: 933000 | #Constraints: 71423
1482.88/1486.70 c #Conflicts: 934000 | #Constraints: 72423
1482.88/1486.70 c #Conflicts: 935000 | #Constraints: 73423
1482.88/1486.70 c #Conflicts: 936000 | #Constraints: 74423
1482.88/1486.70 c #Conflicts: 937000 | #Constraints: 75423
1482.88/1486.70 c #Conflicts: 938000 | #Constraints: 76423
1482.88/1486.70 c #Conflicts: 939000 | #Constraints: 77423
1482.88/1486.70 c #Conflicts: 940000 | #Constraints: 78423
1482.88/1486.70 c #Conflicts: 941000 | #Constraints: 79423
1482.88/1486.70 c INPROCESSING
1482.88/1486.70 c GARBAGE COLLECT
1482.88/1486.70 c #Conflicts: 942000 | #Constraints: 61240
1482.88/1486.70 c #Conflicts: 943000 | #Constraints: 62240
1482.88/1486.70 c #Conflicts: 944000 | #Constraints: 63240
1482.88/1486.70 c #Conflicts: 945000 | #Constraints: 64240
1482.88/1486.70 c #Conflicts: 946000 | #Constraints: 65240
1482.88/1486.70 c #Conflicts: 947000 | #Constraints: 66240
1482.88/1486.70 c #Conflicts: 948000 | #Constraints: 67240
1482.88/1486.70 c #Conflicts: 949000 | #Constraints: 68240
1482.88/1486.70 c #Conflicts: 950000 | #Constraints: 69240
1482.88/1486.70 c #Conflicts: 951000 | #Constraints: 70240
1482.88/1486.70 c #Conflicts: 952000 | #Constraints: 71240
1482.88/1486.70 c #Conflicts: 953000 | #Constraints: 72240
1482.88/1486.70 c #Conflicts: 954000 | #Constraints: 73240
1482.88/1486.70 c #Conflicts: 955000 | #Constraints: 74240
1482.88/1486.70 c #Conflicts: 956000 | #Constraints: 75240
1482.88/1486.70 c #Conflicts: 957000 | #Constraints: 76240
1482.88/1486.70 c #Conflicts: 958000 | #Constraints: 77240
1482.88/1486.70 c #Conflicts: 959000 | #Constraints: 78240
1632.92/1637.12 c #Conflicts: 960000 | #Constraints: 79240
1632.92/1637.12 c #Conflicts: 961000 | #Constraints: 80240
1632.92/1637.12 c INPROCESSING
1632.92/1637.12 c GARBAGE COLLECT
1632.92/1637.12 c #Conflicts: 962000 | #Constraints: 61830
1632.92/1637.12 c #Conflicts: 963000 | #Constraints: 62830
1632.92/1637.12 c #Conflicts: 964000 | #Constraints: 63830
1632.92/1637.12 c #Conflicts: 965000 | #Constraints: 64830
1632.92/1637.12 c #Conflicts: 966000 | #Constraints: 65830
1632.92/1637.12 c #Conflicts: 967000 | #Constraints: 66830
1632.92/1637.12 c #Conflicts: 968000 | #Constraints: 67830
1632.92/1637.12 c #Conflicts: 969000 | #Constraints: 68830
1632.92/1637.12 c #Conflicts: 970000 | #Constraints: 69830
1632.92/1637.12 c #Conflicts: 971000 | #Constraints: 70830
1632.92/1637.12 c #Conflicts: 972000 | #Constraints: 71830
1632.92/1637.12 c #Conflicts: 973000 | #Constraints: 72830
1632.92/1637.12 c #Conflicts: 974000 | #Constraints: 73830
1632.92/1637.12 c #Conflicts: 975000 | #Constraints: 74830
1632.92/1637.12 c #Conflicts: 976000 | #Constraints: 75830
1632.92/1637.12 c #Conflicts: 977000 | #Constraints: 76830
1632.92/1637.12 c #Conflicts: 978000 | #Constraints: 77830
1632.92/1637.12 c #Conflicts: 979000 | #Constraints: 78830
1632.92/1637.12 c #Conflicts: 980000 | #Constraints: 79830
1632.92/1637.12 c #Conflicts: 981000 | #Constraints: 80830
1632.92/1637.12 c INPROCESSING
1632.92/1637.12 c GARBAGE COLLECT
1632.92/1637.12 c #Conflicts: 982000 | #Constraints: 62247
1632.92/1637.12 c #Conflicts: 983000 | #Constraints: 63247
1632.92/1637.12 c #Conflicts: 984000 | #Constraints: 64247
1632.92/1637.12 c #Conflicts: 985000 | #Constraints: 65247
1632.92/1637.12 c #Conflicts: 986000 | #Constraints: 66247
1632.92/1637.12 c #Conflicts: 987000 | #Constraints: 67247
1632.92/1637.12 c #Conflicts: 988000 | #Constraints: 68247
1632.92/1637.12 c #Conflicts: 989000 | #Constraints: 69247
1632.92/1637.12 c #Conflicts: 990000 | #Constraints: 70247
1632.92/1637.12 c #Conflicts: 991000 | #Constraints: 71247
1632.92/1637.12 c #Conflicts: 992000 | #Constraints: 72247
1632.92/1637.12 c #Conflicts: 993000 | #Constraints: 73247
1632.92/1637.12 c #Conflicts: 994000 | #Constraints: 74247
1632.92/1637.12 c #Conflicts: 995000 | #Constraints: 75247
1632.92/1637.12 c #Conflicts: 996000 | #Constraints: 76247
1632.92/1637.12 c #Conflicts: 997000 | #Constraints: 77247
1632.92/1637.12 c #Conflicts: 998000 | #Constraints: 78247
1632.92/1637.12 c #Conflicts: 999000 | #Constraints: 79247
1632.92/1637.12 c #Conflicts: 1000000 | #Constraints: 80247
1632.92/1637.12 c #Conflicts: 1001000 | #Constraints: 81247
1632.92/1637.12 c INPROCESSING
1632.92/1637.12 c GARBAGE COLLECT
1632.92/1637.12 c #Conflicts: 1002000 | #Constraints: 62454
1632.92/1637.12 c #Conflicts: 1003000 | #Constraints: 63454
1632.92/1637.12 c #Conflicts: 1004000 | #Constraints: 64454
1632.92/1637.12 c #Conflicts: 1005000 | #Constraints: 65454
1632.92/1637.12 c #Conflicts: 1006000 | #Constraints: 66454
1632.92/1637.12 c #Conflicts: 1007000 | #Constraints: 67454
1632.92/1637.12 c #Conflicts: 1008000 | #Constraints: 68454
1632.92/1637.12 c #Conflicts: 1009000 | #Constraints: 69454
1632.92/1637.12 c #Conflicts: 1010000 | #Constraints: 70454
1632.92/1637.12 c #Conflicts: 1011000 | #Constraints: 71454
1632.92/1637.12 c #Conflicts: 1012000 | #Constraints: 72454
1632.92/1637.12 c #Conflicts: 1013000 | #Constraints: 73454
1632.92/1637.12 c #Conflicts: 1014000 | #Constraints: 74454
1632.92/1637.12 c #Conflicts: 1015000 | #Constraints: 75454
1632.92/1637.12 c #Conflicts: 1016000 | #Constraints: 76454
1632.92/1637.12 c #Conflicts: 1017000 | #Constraints: 77454
1632.92/1637.12 c #Conflicts: 1018000 | #Constraints: 78454
1632.92/1637.12 c #Conflicts: 1019000 | #Constraints: 79454
1632.92/1637.12 c #Conflicts: 1020000 | #Constraints: 80454
1632.92/1637.12 c #Conflicts: 1021000 | #Constraints: 81454
1632.92/1637.12 c INPROCESSING
1632.92/1637.12 c GARBAGE COLLECT
1632.92/1637.12 c #Conflicts: 1022000 | #Constraints: 62462
1632.92/1637.12 c #Conflicts: 1023000 | #Constraints: 63462
1632.92/1637.12 c #Conflicts: 1024000 | #Constraints: 64462
1632.92/1637.12 c #Conflicts: 1025000 | #Constraints: 65462
1632.92/1637.12 c #Conflicts: 1026000 | #Constraints: 66462
1632.92/1637.12 c #Conflicts: 1027000 | #Constraints: 67462
1632.92/1637.12 c #Conflicts: 1028000 | #Constraints: 68462
1632.92/1637.12 c #Conflicts: 1029000 | #Constraints: 69462
1632.92/1637.12 c #Conflicts: 1030000 | #Constraints: 70462
1632.92/1637.12 c #Conflicts: 1031000 | #Constraints: 71462
1632.92/1637.12 c #Conflicts: 1032000 | #Constraints: 72462
1632.92/1637.12 c #Conflicts: 1033000 | #Constraints: 73462
1632.92/1637.12 c #Conflicts: 1034000 | #Constraints: 74462
1632.92/1637.12 c #Conflicts: 1035000 | #Constraints: 75462
1792.03/1796.64 c #Conflicts: 1036000 | #Constraints: 76462
1792.03/1796.64 c #Conflicts: 1037000 | #Constraints: 77462
1792.03/1796.64 c #Conflicts: 1038000 | #Constraints: 78462
1792.03/1796.64 c #Conflicts: 1039000 | #Constraints: 79462
1792.03/1796.64 c #Conflicts: 1040000 | #Constraints: 80462
1792.03/1796.64 c #Conflicts: 1041000 | #Constraints: 81462
1792.03/1796.64 c INPROCESSING
1792.03/1796.64 c GARBAGE COLLECT
1792.03/1796.64 c #Conflicts: 1042000 | #Constraints: 62246
1792.03/1796.64 c #Conflicts: 1043000 | #Constraints: 63246
1792.03/1796.64 c #Conflicts: 1044000 | #Constraints: 64246
1792.03/1796.64 c #Conflicts: 1045000 | #Constraints: 65246
1792.03/1796.64 c #Conflicts: 1046000 | #Constraints: 66246
1792.03/1796.64 c #Conflicts: 1047000 | #Constraints: 67246
1792.03/1796.64 c #Conflicts: 1048000 | #Constraints: 68246
1792.03/1796.64 c #Conflicts: 1049000 | #Constraints: 69246
1792.03/1796.64 c #Conflicts: 1050000 | #Constraints: 70246
1792.03/1796.64 c #Conflicts: 1051000 | #Constraints: 71246
1792.03/1796.64 c #Conflicts: 1052000 | #Constraints: 72246
1792.03/1796.64 c #Conflicts: 1053000 | #Constraints: 73246
1792.03/1796.64 c #Conflicts: 1054000 | #Constraints: 74246
1792.03/1796.64 c #Conflicts: 1055000 | #Constraints: 75246
1792.03/1796.64 c #Conflicts: 1056000 | #Constraints: 76246
1792.03/1796.64 c #Conflicts: 1057000 | #Constraints: 77246
1792.03/1796.64 c #Conflicts: 1058000 | #Constraints: 78246
1792.03/1796.64 c #Conflicts: 1059000 | #Constraints: 79246
1792.03/1796.64 c #Conflicts: 1060000 | #Constraints: 80246
1792.03/1796.64 c #Conflicts: 1061000 | #Constraints: 81246
1792.03/1796.64 c #Conflicts: 1062000 | #Constraints: 82246
1792.03/1796.64 c INPROCESSING
1792.03/1796.64 c GARBAGE COLLECT
1792.03/1796.64 c #Conflicts: 1063000 | #Constraints: 62841
1792.03/1796.64 c #Conflicts: 1064000 | #Constraints: 63841
1792.03/1796.64 c #Conflicts: 1065000 | #Constraints: 64841
1792.03/1796.64 c #Conflicts: 1066000 | #Constraints: 65841
1792.03/1796.64 c #Conflicts: 1067000 | #Constraints: 66841
1792.03/1796.64 c #Conflicts: 1068000 | #Constraints: 67841
1792.03/1796.64 c #Conflicts: 1069000 | #Constraints: 68841
1792.03/1796.64 c #Conflicts: 1070000 | #Constraints: 69841
1792.03/1796.64 c #Conflicts: 1071000 | #Constraints: 70841
1792.03/1796.64 c #Conflicts: 1072000 | #Constraints: 71841
1792.03/1796.64 c #Conflicts: 1073000 | #Constraints: 72841
1792.03/1796.64 c #Conflicts: 1074000 | #Constraints: 73841
1792.03/1796.64 c #Conflicts: 1075000 | #Constraints: 74841
1792.03/1796.64 c #Conflicts: 1076000 | #Constraints: 75841
1792.03/1796.64 c #Conflicts: 1077000 | #Constraints: 76841
1792.03/1796.64 c #Conflicts: 1078000 | #Constraints: 77841
1792.03/1796.64 c #Conflicts: 1079000 | #Constraints: 78841
1792.03/1796.64 c #Conflicts: 1080000 | #Constraints: 79841
1792.03/1796.64 c #Conflicts: 1081000 | #Constraints: 80841
1792.03/1796.64 c #Conflicts: 1082000 | #Constraints: 81841
1792.03/1796.64 c #Conflicts: 1083000 | #Constraints: 82841
1792.03/1796.64 c INPROCESSING
1792.03/1796.64 c GARBAGE COLLECT
1792.03/1796.64 c #Conflicts: 1084000 | #Constraints: 63248
1792.03/1796.64 c #Conflicts: 1085000 | #Constraints: 64248
1792.03/1796.64 c #Conflicts: 1086000 | #Constraints: 65248
1792.03/1796.64 c #Conflicts: 1087000 | #Constraints: 66248
1792.03/1796.64 c #Conflicts: 1088000 | #Constraints: 67248
1792.03/1796.64 c #Conflicts: 1089000 | #Constraints: 68248
1792.03/1796.64 c #Conflicts: 1090000 | #Constraints: 69248
1792.03/1796.64 c #Conflicts: 1091000 | #Constraints: 70248
1792.03/1796.64 c #Conflicts: 1092000 | #Constraints: 71248
1792.03/1796.64 c #Conflicts: 1093000 | #Constraints: 72248
1792.03/1796.64 c #Conflicts: 1094000 | #Constraints: 73248
1792.03/1796.64 c #Conflicts: 1095000 | #Constraints: 74248
1792.03/1796.64 c #Conflicts: 1096000 | #Constraints: 75248
1792.03/1796.64 c #Conflicts: 1097000 | #Constraints: 76248
1792.03/1796.64 c #Conflicts: 1098000 | #Constraints: 77248
1792.03/1796.64 c #Conflicts: 1099000 | #Constraints: 78248
1792.03/1796.64 c #Conflicts: 1100000 | #Constraints: 79248
1792.03/1796.64 c #Conflicts: 1101000 | #Constraints: 80248
1792.03/1796.64 c #Conflicts: 1102000 | #Constraints: 81248
1792.03/1796.64 c #Conflicts: 1103000 | #Constraints: 82248
1792.03/1796.64 c #Conflicts: 1104000 | #Constraints: 83248
1792.03/1796.64 c INPROCESSING
1792.03/1796.64 c GARBAGE COLLECT
1792.03/1796.64 c #Conflicts: 1105000 | #Constraints: 63459
1792.03/1796.64 c #Conflicts: 1106000 | #Constraints: 64459
1792.03/1796.64 c #Conflicts: 1107000 | #Constraints: 65459
1792.03/1796.64 c #Conflicts: 1108000 | #Constraints: 66459
1792.03/1796.64 c #Conflicts: 1109000 | #Constraints: 67459
1792.03/1796.64 c #Conflicts: 1110000 | #Constraints: 68459
1792.03/1796.64 c #Conflicts: 1111000 | #Constraints: 69459
1792.03/1796.64 c #Conflicts: 1112000 | #Constraints: 70459
1964.99/1970.06 c #Conflicts: 1113000 | #Constraints: 71459
1964.99/1970.06 c #Conflicts: 1114000 | #Constraints: 72459
1964.99/1970.06 c #Conflicts: 1115000 | #Constraints: 73459
1964.99/1970.06 c #Conflicts: 1116000 | #Constraints: 74459
1964.99/1970.06 c #Conflicts: 1117000 | #Constraints: 75459
1964.99/1970.06 c #Conflicts: 1118000 | #Constraints: 76459
1964.99/1970.06 c #Conflicts: 1119000 | #Constraints: 77459
1964.99/1970.06 c #Conflicts: 1120000 | #Constraints: 78459
1964.99/1970.06 c #Conflicts: 1121000 | #Constraints: 79459
1964.99/1970.06 c #Conflicts: 1122000 | #Constraints: 80459
1964.99/1970.06 c #Conflicts: 1123000 | #Constraints: 81459
1964.99/1970.06 c #Conflicts: 1124000 | #Constraints: 82459
1964.99/1970.06 c #Conflicts: 1125000 | #Constraints: 83459
1964.99/1970.06 c INPROCESSING
1964.99/1970.06 c GARBAGE COLLECT
1964.99/1970.06 c #Conflicts: 1126000 | #Constraints: 63440
1964.99/1970.06 c #Conflicts: 1127000 | #Constraints: 64440
1964.99/1970.06 c #Conflicts: 1128000 | #Constraints: 65440
1964.99/1970.06 c #Conflicts: 1129000 | #Constraints: 66440
1964.99/1970.06 c #Conflicts: 1130000 | #Constraints: 67440
1964.99/1970.06 c #Conflicts: 1131000 | #Constraints: 68440
1964.99/1970.06 c #Conflicts: 1132000 | #Constraints: 69440
1964.99/1970.06 c #Conflicts: 1133000 | #Constraints: 70440
1964.99/1970.06 c #Conflicts: 1134000 | #Constraints: 71440
1964.99/1970.06 c #Conflicts: 1135000 | #Constraints: 72440
1964.99/1970.06 c #Conflicts: 1136000 | #Constraints: 73440
1964.99/1970.06 c #Conflicts: 1137000 | #Constraints: 74440
1964.99/1970.06 c #Conflicts: 1138000 | #Constraints: 75440
1964.99/1970.06 c #Conflicts: 1139000 | #Constraints: 76440
1964.99/1970.06 c #Conflicts: 1140000 | #Constraints: 77440
1964.99/1970.06 c #Conflicts: 1141000 | #Constraints: 78440
1964.99/1970.06 c #Conflicts: 1142000 | #Constraints: 79440
1964.99/1970.06 c #Conflicts: 1143000 | #Constraints: 80440
1964.99/1970.06 c #Conflicts: 1144000 | #Constraints: 81440
1964.99/1970.06 c #Conflicts: 1145000 | #Constraints: 82440
1964.99/1970.06 c #Conflicts: 1146000 | #Constraints: 83440
1964.99/1970.06 c INPROCESSING
1964.99/1970.06 c GARBAGE COLLECT
1964.99/1970.06 c #Conflicts: 1147000 | #Constraints: 63257
1964.99/1970.06 c #Conflicts: 1148000 | #Constraints: 64257
1964.99/1970.06 c #Conflicts: 1149000 | #Constraints: 65257
1964.99/1970.06 c #Conflicts: 1150000 | #Constraints: 66257
1964.99/1970.06 c #Conflicts: 1151000 | #Constraints: 67257
1964.99/1970.06 c #Conflicts: 1152000 | #Constraints: 68257
1964.99/1970.06 c #Conflicts: 1153000 | #Constraints: 69257
1964.99/1970.06 c #Conflicts: 1154000 | #Constraints: 70257
1964.99/1970.06 c #Conflicts: 1155000 | #Constraints: 71257
1964.99/1970.06 c #Conflicts: 1156000 | #Constraints: 72257
1964.99/1970.06 c #Conflicts: 1157000 | #Constraints: 73257
1964.99/1970.06 c #Conflicts: 1158000 | #Constraints: 74257
1964.99/1970.06 c #Conflicts: 1159000 | #Constraints: 75257
1964.99/1970.06 c #Conflicts: 1160000 | #Constraints: 76257
1964.99/1970.06 c #Conflicts: 1161000 | #Constraints: 77257
1964.99/1970.06 c #Conflicts: 1162000 | #Constraints: 78257
1964.99/1970.06 c #Conflicts: 1163000 | #Constraints: 79257
1964.99/1970.06 c #Conflicts: 1164000 | #Constraints: 80257
1964.99/1970.06 c #Conflicts: 1165000 | #Constraints: 81257
1964.99/1970.06 c #Conflicts: 1166000 | #Constraints: 82257
1964.99/1970.06 c #Conflicts: 1167000 | #Constraints: 83257
1964.99/1970.06 c #Conflicts: 1168000 | #Constraints: 84257
1964.99/1970.06 c INPROCESSING
1964.99/1970.06 c GARBAGE COLLECT
1964.99/1970.06 c #Conflicts: 1169000 | #Constraints: 63857
1964.99/1970.06 c #Conflicts: 1170000 | #Constraints: 64857
1964.99/1970.06 c #Conflicts: 1171000 | #Constraints: 65857
1964.99/1970.06 c #Conflicts: 1172000 | #Constraints: 66857
1964.99/1970.06 c #Conflicts: 1173000 | #Constraints: 67857
1964.99/1970.06 c #Conflicts: 1174000 | #Constraints: 68857
1964.99/1970.06 c #Conflicts: 1175000 | #Constraints: 69857
1964.99/1970.06 c #Conflicts: 1176000 | #Constraints: 70857
1964.99/1970.06 c #Conflicts: 1177000 | #Constraints: 71857
1964.99/1970.06 c #Conflicts: 1178000 | #Constraints: 72857
1964.99/1970.06 c #Conflicts: 1179000 | #Constraints: 73857
1964.99/1970.06 c #Conflicts: 1180000 | #Constraints: 74857
1964.99/1970.06 c #Conflicts: 1181000 | #Constraints: 75857
1964.99/1970.06 c #Conflicts: 1182000 | #Constraints: 76857
1964.99/1970.06 c #Conflicts: 1183000 | #Constraints: 77857
1964.99/1970.06 c #Conflicts: 1184000 | #Constraints: 78857
1964.99/1970.06 c #Conflicts: 1185000 | #Constraints: 79857
1964.99/1970.06 c #Conflicts: 1186000 | #Constraints: 80857
1964.99/1970.06 c #Conflicts: 1187000 | #Constraints: 81857
1964.99/1970.06 c #Conflicts: 1188000 | #Constraints: 82857
1964.99/1970.06 c #Conflicts: 1189000 | #Constraints: 83857
2182.40/2188.03 c #Conflicts: 1190000 | #Constraints: 84857
2182.40/2188.03 c INPROCESSING
2182.40/2188.03 c GARBAGE COLLECT
2182.40/2188.03 c #Conflicts: 1191000 | #Constraints: 64251
2182.40/2188.03 c #Conflicts: 1192000 | #Constraints: 65251
2182.40/2188.03 c #Conflicts: 1193000 | #Constraints: 66251
2182.40/2188.03 c #Conflicts: 1194000 | #Constraints: 67251
2182.40/2188.03 c #Conflicts: 1195000 | #Constraints: 68251
2182.40/2188.03 c #Conflicts: 1196000 | #Constraints: 69251
2182.40/2188.03 c #Conflicts: 1197000 | #Constraints: 70251
2182.40/2188.03 c #Conflicts: 1198000 | #Constraints: 71251
2182.40/2188.03 c #Conflicts: 1199000 | #Constraints: 72251
2182.40/2188.03 c #Conflicts: 1200000 | #Constraints: 73251
2182.40/2188.03 c #Conflicts: 1201000 | #Constraints: 74251
2182.40/2188.03 c #Conflicts: 1202000 | #Constraints: 75251
2182.40/2188.03 c #Conflicts: 1203000 | #Constraints: 76251
2182.40/2188.03 c #Conflicts: 1204000 | #Constraints: 77251
2182.40/2188.03 c #Conflicts: 1205000 | #Constraints: 78251
2182.40/2188.03 c #Conflicts: 1206000 | #Constraints: 79251
2182.40/2188.03 c #Conflicts: 1207000 | #Constraints: 80251
2182.40/2188.03 c #Conflicts: 1208000 | #Constraints: 81251
2182.40/2188.03 c #Conflicts: 1209000 | #Constraints: 82251
2182.40/2188.03 c #Conflicts: 1210000 | #Constraints: 83251
2182.40/2188.03 c #Conflicts: 1211000 | #Constraints: 84251
2182.40/2188.03 c #Conflicts: 1212000 | #Constraints: 85251
2182.40/2188.03 c INPROCESSING
2182.40/2188.03 c GARBAGE COLLECT
2182.40/2188.03 c #Conflicts: 1213000 | #Constraints: 64449
2182.40/2188.03 c #Conflicts: 1214000 | #Constraints: 65449
2182.40/2188.03 c #Conflicts: 1215000 | #Constraints: 66449
2182.40/2188.03 c #Conflicts: 1216000 | #Constraints: 67449
2182.40/2188.03 c #Conflicts: 1217000 | #Constraints: 68449
2182.40/2188.03 c #Conflicts: 1218000 | #Constraints: 69449
2182.40/2188.03 c #Conflicts: 1219000 | #Constraints: 70449
2182.40/2188.03 c #Conflicts: 1220000 | #Constraints: 71449
2182.40/2188.03 c #Conflicts: 1221000 | #Constraints: 72449
2182.40/2188.03 c #Conflicts: 1222000 | #Constraints: 73449
2182.40/2188.03 c #Conflicts: 1223000 | #Constraints: 74449
2182.40/2188.03 c #Conflicts: 1224000 | #Constraints: 75449
2182.40/2188.03 c #Conflicts: 1225000 | #Constraints: 76449
2182.40/2188.03 c #Conflicts: 1226000 | #Constraints: 77449
2182.40/2188.03 c #Conflicts: 1227000 | #Constraints: 78449
2182.40/2188.03 c #Conflicts: 1228000 | #Constraints: 79449
2182.40/2188.03 c #Conflicts: 1229000 | #Constraints: 80449
2182.40/2188.03 c #Conflicts: 1230000 | #Constraints: 81449
2182.40/2188.03 c #Conflicts: 1231000 | #Constraints: 82449
2182.40/2188.03 c #Conflicts: 1232000 | #Constraints: 83449
2182.40/2188.03 c #Conflicts: 1233000 | #Constraints: 84449
2182.40/2188.03 c #Conflicts: 1234000 | #Constraints: 85449
2182.40/2188.03 c INPROCESSING
2182.40/2188.03 c GARBAGE COLLECT
2182.40/2188.03 c #Conflicts: 1235000 | #Constraints: 64441
2182.40/2188.03 c #Conflicts: 1236000 | #Constraints: 65441
2182.40/2188.03 c #Conflicts: 1237000 | #Constraints: 66441
2182.40/2188.03 c #Conflicts: 1238000 | #Constraints: 67441
2182.40/2188.03 c #Conflicts: 1239000 | #Constraints: 68441
2182.40/2188.03 c #Conflicts: 1240000 | #Constraints: 69441
2182.40/2188.03 c #Conflicts: 1241000 | #Constraints: 70441
2182.40/2188.03 c #Conflicts: 1242000 | #Constraints: 71441
2182.40/2188.03 c #Conflicts: 1243000 | #Constraints: 72441
2182.40/2188.03 c #Conflicts: 1244000 | #Constraints: 73441
2182.40/2188.03 c #Conflicts: 1245000 | #Constraints: 74441
2182.40/2188.03 c #Conflicts: 1246000 | #Constraints: 75441
2182.40/2188.03 c #Conflicts: 1247000 | #Constraints: 76441
2182.40/2188.03 c #Conflicts: 1248000 | #Constraints: 77441
2182.40/2188.03 c #Conflicts: 1249000 | #Constraints: 78441
2182.40/2188.03 c #Conflicts: 1250000 | #Constraints: 79441
2182.40/2188.03 c #Conflicts: 1251000 | #Constraints: 80441
2182.40/2188.03 c #Conflicts: 1252000 | #Constraints: 81441
2182.40/2188.03 c #Conflicts: 1253000 | #Constraints: 82441
2182.40/2188.03 c #Conflicts: 1254000 | #Constraints: 83441
2182.40/2188.03 c #Conflicts: 1255000 | #Constraints: 84441
2182.40/2188.03 c #Conflicts: 1256000 | #Constraints: 85441
2182.40/2188.03 c INPROCESSING
2182.40/2188.03 c GARBAGE COLLECT
2182.40/2188.03 c #Conflicts: 1257000 | #Constraints: 64259
2182.40/2188.03 c #Conflicts: 1258000 | #Constraints: 65259
2182.40/2188.03 c #Conflicts: 1259000 | #Constraints: 66259
2182.40/2188.03 c #Conflicts: 1260000 | #Constraints: 67259
2182.40/2188.03 c #Conflicts: 1261000 | #Constraints: 68259
2182.40/2188.03 c #Conflicts: 1262000 | #Constraints: 69259
2182.40/2188.03 c #Conflicts: 1263000 | #Constraints: 70259
2182.40/2188.03 c #Conflicts: 1264000 | #Constraints: 71259
2182.40/2188.03 c #Conflicts: 1265000 | #Constraints: 72259
2416.79/2423.03 c #Conflicts: 1266000 | #Constraints: 73259
2416.79/2423.03 c #Conflicts: 1267000 | #Constraints: 74259
2416.79/2423.03 c #Conflicts: 1268000 | #Constraints: 75259
2416.79/2423.03 c #Conflicts: 1269000 | #Constraints: 76259
2416.79/2423.03 c #Conflicts: 1270000 | #Constraints: 77259
2416.79/2423.03 c #Conflicts: 1271000 | #Constraints: 78259
2416.79/2423.03 c #Conflicts: 1272000 | #Constraints: 79259
2416.79/2423.03 c #Conflicts: 1273000 | #Constraints: 80259
2416.79/2423.03 c #Conflicts: 1274000 | #Constraints: 81259
2416.79/2423.03 c #Conflicts: 1275000 | #Constraints: 82259
2416.79/2423.03 c #Conflicts: 1276000 | #Constraints: 83259
2416.79/2423.03 c #Conflicts: 1277000 | #Constraints: 84259
2416.79/2423.03 c #Conflicts: 1278000 | #Constraints: 85259
2416.79/2423.03 c #Conflicts: 1279000 | #Constraints: 86259
2416.79/2423.03 c INPROCESSING
2416.79/2423.03 c GARBAGE COLLECT
2416.79/2423.03 c #Conflicts: 1280000 | #Constraints: 64868
2416.79/2423.03 c #Conflicts: 1281000 | #Constraints: 65868
2416.79/2423.03 c #Conflicts: 1282000 | #Constraints: 66868
2416.79/2423.03 c #Conflicts: 1283000 | #Constraints: 67868
2416.79/2423.03 c #Conflicts: 1284000 | #Constraints: 68868
2416.79/2423.03 c #Conflicts: 1285000 | #Constraints: 69868
2416.79/2423.03 c #Conflicts: 1286000 | #Constraints: 70868
2416.79/2423.03 c #Conflicts: 1287000 | #Constraints: 71868
2416.79/2423.03 c #Conflicts: 1288000 | #Constraints: 72868
2416.79/2423.03 c #Conflicts: 1289000 | #Constraints: 73868
2416.79/2423.03 c #Conflicts: 1290000 | #Constraints: 74868
2416.79/2423.03 c #Conflicts: 1291000 | #Constraints: 75868
2416.79/2423.03 c #Conflicts: 1292000 | #Constraints: 76868
2416.79/2423.03 c #Conflicts: 1293000 | #Constraints: 77868
2416.79/2423.03 c #Conflicts: 1294000 | #Constraints: 78868
2416.79/2423.03 c #Conflicts: 1295000 | #Constraints: 79868
2416.79/2423.03 c #Conflicts: 1296000 | #Constraints: 80868
2416.79/2423.03 c #Conflicts: 1297000 | #Constraints: 81868
2416.79/2423.03 c #Conflicts: 1298000 | #Constraints: 82868
2416.79/2423.03 c #Conflicts: 1299000 | #Constraints: 83868
2416.79/2423.03 c #Conflicts: 1300000 | #Constraints: 84868
2416.79/2423.03 c #Conflicts: 1301000 | #Constraints: 85868
2416.79/2423.03 c #Conflicts: 1302000 | #Constraints: 86868
2416.79/2423.03 c INPROCESSING
2416.79/2423.03 c GARBAGE COLLECT
2416.79/2423.03 c #Conflicts: 1303000 | #Constraints: 65296
2416.79/2423.03 c #Conflicts: 1304000 | #Constraints: 66296
2416.79/2423.03 c #Conflicts: 1305000 | #Constraints: 67296
2416.79/2423.03 c #Conflicts: 1306000 | #Constraints: 68296
2416.79/2423.03 c #Conflicts: 1307000 | #Constraints: 69296
2416.79/2423.03 c #Conflicts: 1308000 | #Constraints: 70296
2416.79/2423.03 c #Conflicts: 1309000 | #Constraints: 71296
2416.79/2423.03 c #Conflicts: 1310000 | #Constraints: 72296
2416.79/2423.03 c #Conflicts: 1311000 | #Constraints: 73296
2416.79/2423.03 c #Conflicts: 1312000 | #Constraints: 74296
2416.79/2423.03 c #Conflicts: 1313000 | #Constraints: 75296
2416.79/2423.03 c #Conflicts: 1314000 | #Constraints: 76296
2416.79/2423.03 c #Conflicts: 1315000 | #Constraints: 77296
2416.79/2423.03 c #Conflicts: 1316000 | #Constraints: 78296
2416.79/2423.03 c #Conflicts: 1317000 | #Constraints: 79296
2416.79/2423.03 c #Conflicts: 1318000 | #Constraints: 80296
2416.79/2423.03 c #Conflicts: 1319000 | #Constraints: 81296
2416.79/2423.03 c #Conflicts: 1320000 | #Constraints: 82296
2416.79/2423.03 c #Conflicts: 1321000 | #Constraints: 83296
2416.79/2423.03 c #Conflicts: 1322000 | #Constraints: 84296
2416.79/2423.03 c #Conflicts: 1323000 | #Constraints: 85296
2416.79/2423.03 c #Conflicts: 1324000 | #Constraints: 86296
2416.79/2423.03 c #Conflicts: 1325000 | #Constraints: 87296
2416.79/2423.03 c INPROCESSING
2416.79/2423.03 c GARBAGE COLLECT
2416.79/2423.03 c #Conflicts: 1326000 | #Constraints: 65482
2416.79/2423.03 c #Conflicts: 1327000 | #Constraints: 66482
2416.79/2423.03 c #Conflicts: 1328000 | #Constraints: 67482
2416.79/2423.03 c #Conflicts: 1329000 | #Constraints: 68482
2416.79/2423.03 c #Conflicts: 1330000 | #Constraints: 69482
2416.79/2423.03 c #Conflicts: 1331000 | #Constraints: 70482
2416.79/2423.03 c #Conflicts: 1332000 | #Constraints: 71482
2416.79/2423.03 c #Conflicts: 1333000 | #Constraints: 72482
2416.79/2423.03 c #Conflicts: 1334000 | #Constraints: 73482
2416.79/2423.03 c #Conflicts: 1335000 | #Constraints: 74482
2416.79/2423.03 c #Conflicts: 1336000 | #Constraints: 75482
2416.79/2423.03 c #Conflicts: 1337000 | #Constraints: 76482
2416.79/2423.03 c #Conflicts: 1338000 | #Constraints: 77482
2416.79/2423.03 c #Conflicts: 1339000 | #Constraints: 78482
2416.79/2423.03 c #Conflicts: 1340000 | #Constraints: 79482
2416.79/2423.03 c #Conflicts: 1341000 | #Constraints: 80482
2416.79/2423.03 c #Conflicts: 1342000 | #Constraints: 81482
2652.37/2659.27 c #Conflicts: 1343000 | #Constraints: 82482
2652.37/2659.27 c #Conflicts: 1344000 | #Constraints: 83482
2652.37/2659.27 c #Conflicts: 1345000 | #Constraints: 84482
2652.37/2659.27 c #Conflicts: 1346000 | #Constraints: 85482
2652.37/2659.27 c #Conflicts: 1347000 | #Constraints: 86482
2652.37/2659.27 c #Conflicts: 1348000 | #Constraints: 87482
2652.37/2659.27 c INPROCESSING
2652.37/2659.27 c GARBAGE COLLECT
2652.37/2659.27 c #Conflicts: 1349000 | #Constraints: 65462
2652.37/2659.27 c #Conflicts: 1350000 | #Constraints: 66462
2652.37/2659.27 c #Conflicts: 1351000 | #Constraints: 67462
2652.37/2659.27 c #Conflicts: 1352000 | #Constraints: 68462
2652.37/2659.27 c #Conflicts: 1353000 | #Constraints: 69462
2652.37/2659.27 c #Conflicts: 1354000 | #Constraints: 70462
2652.37/2659.27 c #Conflicts: 1355000 | #Constraints: 71462
2652.37/2659.27 c #Conflicts: 1356000 | #Constraints: 72462
2652.37/2659.27 c #Conflicts: 1357000 | #Constraints: 73462
2652.37/2659.27 c #Conflicts: 1358000 | #Constraints: 74462
2652.37/2659.27 c #Conflicts: 1359000 | #Constraints: 75462
2652.37/2659.27 c #Conflicts: 1360000 | #Constraints: 76462
2652.37/2659.27 c #Conflicts: 1361000 | #Constraints: 77462
2652.37/2659.27 c #Conflicts: 1362000 | #Constraints: 78462
2652.37/2659.27 c #Conflicts: 1363000 | #Constraints: 79462
2652.37/2659.27 c #Conflicts: 1364000 | #Constraints: 80462
2652.37/2659.27 c #Conflicts: 1365000 | #Constraints: 81462
2652.37/2659.27 c #Conflicts: 1366000 | #Constraints: 82462
2652.37/2659.27 c #Conflicts: 1367000 | #Constraints: 83462
2652.37/2659.27 c #Conflicts: 1368000 | #Constraints: 84462
2652.37/2659.27 c #Conflicts: 1369000 | #Constraints: 85462
2652.37/2659.27 c #Conflicts: 1370000 | #Constraints: 86462
2652.37/2659.27 c #Conflicts: 1371000 | #Constraints: 87462
2652.37/2659.27 c INPROCESSING
2652.37/2659.27 c GARBAGE COLLECT
2652.37/2659.27 c #Conflicts: 1372000 | #Constraints: 65261
2652.37/2659.27 c #Conflicts: 1373000 | #Constraints: 66261
2652.37/2659.27 c #Conflicts: 1374000 | #Constraints: 67261
2652.37/2659.27 c #Conflicts: 1375000 | #Constraints: 68261
2652.37/2659.27 c #Conflicts: 1376000 | #Constraints: 69261
2652.37/2659.27 c #Conflicts: 1377000 | #Constraints: 70261
2652.37/2659.27 c #Conflicts: 1378000 | #Constraints: 71261
2652.37/2659.27 c #Conflicts: 1379000 | #Constraints: 72261
2652.37/2659.27 c #Conflicts: 1380000 | #Constraints: 73261
2652.37/2659.27 c #Conflicts: 1381000 | #Constraints: 74261
2652.37/2659.27 c #Conflicts: 1382000 | #Constraints: 75261
2652.37/2659.27 c #Conflicts: 1383000 | #Constraints: 76261
2652.37/2659.27 c #Conflicts: 1384000 | #Constraints: 77261
2652.37/2659.27 c #Conflicts: 1385000 | #Constraints: 78261
2652.37/2659.27 c #Conflicts: 1386000 | #Constraints: 79261
2652.37/2659.27 c #Conflicts: 1387000 | #Constraints: 80261
2652.37/2659.27 c #Conflicts: 1388000 | #Constraints: 81261
2652.37/2659.27 c #Conflicts: 1389000 | #Constraints: 82261
2652.37/2659.27 c #Conflicts: 1390000 | #Constraints: 83261
2652.37/2659.27 c #Conflicts: 1391000 | #Constraints: 84261
2652.37/2659.27 c #Conflicts: 1392000 | #Constraints: 85261
2652.37/2659.27 c #Conflicts: 1393000 | #Constraints: 86261
2652.37/2659.27 c #Conflicts: 1394000 | #Constraints: 87261
2652.37/2659.27 c #Conflicts: 1395000 | #Constraints: 88261
2652.37/2659.27 c INPROCESSING
2652.37/2659.27 c GARBAGE COLLECT
2652.37/2659.27 c #Conflicts: 1396000 | #Constraints: 65880
2652.37/2659.27 c #Conflicts: 1397000 | #Constraints: 66880
2652.37/2659.27 c #Conflicts: 1398000 | #Constraints: 67880
2652.37/2659.27 c #Conflicts: 1399000 | #Constraints: 68880
2652.37/2659.27 c #Conflicts: 1400000 | #Constraints: 69880
2652.37/2659.27 c #Conflicts: 1401000 | #Constraints: 70880
2652.37/2659.27 c #Conflicts: 1402000 | #Constraints: 71880
2652.37/2659.27 c #Conflicts: 1403000 | #Constraints: 72880
2652.37/2659.27 c #Conflicts: 1404000 | #Constraints: 73880
2652.37/2659.27 c #Conflicts: 1405000 | #Constraints: 74880
2652.37/2659.27 c #Conflicts: 1406000 | #Constraints: 75880
2652.37/2659.27 c #Conflicts: 1407000 | #Constraints: 76880
2652.37/2659.27 c #Conflicts: 1408000 | #Constraints: 77880
2652.37/2659.27 c #Conflicts: 1409000 | #Constraints: 78880
2652.37/2659.27 c #Conflicts: 1410000 | #Constraints: 79880
2652.37/2659.27 c #Conflicts: 1411000 | #Constraints: 80880
2652.37/2659.27 c #Conflicts: 1412000 | #Constraints: 81880
2652.37/2659.27 c #Conflicts: 1413000 | #Constraints: 82880
2652.37/2659.27 c #Conflicts: 1414000 | #Constraints: 83880
2652.37/2659.27 c #Conflicts: 1415000 | #Constraints: 84880
2652.37/2659.27 c #Conflicts: 1416000 | #Constraints: 85880
2652.37/2659.27 c #Conflicts: 1417000 | #Constraints: 86880
2652.37/2659.27 c #Conflicts: 1418000 | #Constraints: 87880
2900.93/2908.45 c #Conflicts: 1419000 | #Constraints: 88880
2900.93/2908.45 c INPROCESSING
2900.93/2908.45 c GARBAGE COLLECT
2900.93/2908.45 c #Conflicts: 1420000 | #Constraints: 66273
2900.93/2908.45 c #Conflicts: 1421000 | #Constraints: 67273
2900.93/2908.45 c #Conflicts: 1422000 | #Constraints: 68273
2900.93/2908.45 c #Conflicts: 1423000 | #Constraints: 69273
2900.93/2908.45 c #Conflicts: 1424000 | #Constraints: 70273
2900.93/2908.45 c #Conflicts: 1425000 | #Constraints: 71273
2900.93/2908.45 c #Conflicts: 1426000 | #Constraints: 72273
2900.93/2908.45 c #Conflicts: 1427000 | #Constraints: 73273
2900.93/2908.45 c #Conflicts: 1428000 | #Constraints: 74273
2900.93/2908.45 c #Conflicts: 1429000 | #Constraints: 75273
2900.93/2908.45 c #Conflicts: 1430000 | #Constraints: 76273
2900.93/2908.45 c #Conflicts: 1431000 | #Constraints: 77273
2900.93/2908.45 c #Conflicts: 1432000 | #Constraints: 78273
2900.93/2908.45 c #Conflicts: 1433000 | #Constraints: 79273
2900.93/2908.45 c #Conflicts: 1434000 | #Constraints: 80273
2900.93/2908.45 c #Conflicts: 1435000 | #Constraints: 81273
2900.93/2908.45 c #Conflicts: 1436000 | #Constraints: 82273
2900.93/2908.45 c #Conflicts: 1437000 | #Constraints: 83273
2900.93/2908.45 c #Conflicts: 1438000 | #Constraints: 84273
2900.93/2908.45 c #Conflicts: 1439000 | #Constraints: 85273
2900.93/2908.45 c #Conflicts: 1440000 | #Constraints: 86273
2900.93/2908.45 c #Conflicts: 1441000 | #Constraints: 87273
2900.93/2908.45 c #Conflicts: 1442000 | #Constraints: 88273
2900.93/2908.45 c #Conflicts: 1443000 | #Constraints: 89273
2900.93/2908.45 c INPROCESSING
2900.93/2908.45 c GARBAGE COLLECT
2900.93/2908.45 c #Conflicts: 1444000 | #Constraints: 66465
2900.93/2908.45 c #Conflicts: 1445000 | #Constraints: 67465
2900.93/2908.45 c #Conflicts: 1446000 | #Constraints: 68465
2900.93/2908.45 c #Conflicts: 1447000 | #Constraints: 69465
2900.93/2908.45 c #Conflicts: 1448000 | #Constraints: 70465
2900.93/2908.45 c #Conflicts: 1449000 | #Constraints: 71465
2900.93/2908.45 c #Conflicts: 1450000 | #Constraints: 72465
2900.93/2908.45 c #Conflicts: 1451000 | #Constraints: 73465
2900.93/2908.45 c #Conflicts: 1452000 | #Constraints: 74465
2900.93/2908.45 c #Conflicts: 1453000 | #Constraints: 75465
2900.93/2908.45 c #Conflicts: 1454000 | #Constraints: 76465
2900.93/2908.45 c #Conflicts: 1455000 | #Constraints: 77465
2900.93/2908.45 c #Conflicts: 1456000 | #Constraints: 78465
2900.93/2908.45 c #Conflicts: 1457000 | #Constraints: 79465
2900.93/2908.45 c #Conflicts: 1458000 | #Constraints: 80465
2900.93/2908.45 c #Conflicts: 1459000 | #Constraints: 81465
2900.93/2908.45 c #Conflicts: 1460000 | #Constraints: 82465
2900.93/2908.45 c #Conflicts: 1461000 | #Constraints: 83465
2900.93/2908.45 c #Conflicts: 1462000 | #Constraints: 84465
2900.93/2908.45 c #Conflicts: 1463000 | #Constraints: 85465
2900.93/2908.45 c #Conflicts: 1464000 | #Constraints: 86465
2900.93/2908.45 c #Conflicts: 1465000 | #Constraints: 87465
2900.93/2908.45 c #Conflicts: 1466000 | #Constraints: 88465
2900.93/2908.45 c #Conflicts: 1467000 | #Constraints: 89465
2900.93/2908.45 c INPROCESSING
2900.93/2908.45 c GARBAGE COLLECT
2900.93/2908.45 c #Conflicts: 1468000 | #Constraints: 66452
2900.93/2908.45 c #Conflicts: 1469000 | #Constraints: 67452
2900.93/2908.45 c #Conflicts: 1470000 | #Constraints: 68452
2900.93/2908.45 c #Conflicts: 1471000 | #Constraints: 69452
2900.93/2908.45 c #Conflicts: 1472000 | #Constraints: 70452
2900.93/2908.45 c #Conflicts: 1473000 | #Constraints: 71452
2900.93/2908.45 c #Conflicts: 1474000 | #Constraints: 72452
2900.93/2908.45 c #Conflicts: 1475000 | #Constraints: 73452
2900.93/2908.45 c #Conflicts: 1476000 | #Constraints: 74452
2900.93/2908.45 c #Conflicts: 1477000 | #Constraints: 75452
2900.93/2908.45 c #Conflicts: 1478000 | #Constraints: 76452
2900.93/2908.45 c #Conflicts: 1479000 | #Constraints: 77452
2900.93/2908.45 c #Conflicts: 1480000 | #Constraints: 78452
2900.93/2908.45 c #Conflicts: 1481000 | #Constraints: 79452
2900.93/2908.45 c #Conflicts: 1482000 | #Constraints: 80452
2900.93/2908.45 c #Conflicts: 1483000 | #Constraints: 81452
2900.93/2908.45 c #Conflicts: 1484000 | #Constraints: 82452
2900.93/2908.45 c #Conflicts: 1485000 | #Constraints: 83452
2900.93/2908.45 c #Conflicts: 1486000 | #Constraints: 84452
2900.93/2908.45 c #Conflicts: 1487000 | #Constraints: 85452
2900.93/2908.45 c #Conflicts: 1488000 | #Constraints: 86452
2900.93/2908.45 c #Conflicts: 1489000 | #Constraints: 87452
2900.93/2908.45 c #Conflicts: 1490000 | #Constraints: 88452
2900.93/2908.45 c #Conflicts: 1491000 | #Constraints: 89452
2900.93/2908.45 c INPROCESSING
2900.93/2908.45 c GARBAGE COLLECT
2900.93/2908.45 c #Conflicts: 1492000 | #Constraints: 66254
2900.93/2908.45 c #Conflicts: 1493000 | #Constraints: 67254
2900.93/2908.45 c #Conflicts: 1494000 | #Constraints: 68254
2900.93/2908.45 c #Conflicts: 1495000 | #Constraints: 69254
3152.88/3161.01 c #Conflicts: 1496000 | #Constraints: 70254
3152.88/3161.01 c #Conflicts: 1497000 | #Constraints: 71254
3152.88/3161.01 c #Conflicts: 1498000 | #Constraints: 72254
3152.88/3161.01 c #Conflicts: 1499000 | #Constraints: 73254
3152.88/3161.01 c #Conflicts: 1500000 | #Constraints: 74254
3152.88/3161.01 c #Conflicts: 1501000 | #Constraints: 75254
3152.88/3161.01 c #Conflicts: 1502000 | #Constraints: 76254
3152.88/3161.01 c #Conflicts: 1503000 | #Constraints: 77254
3152.88/3161.01 c #Conflicts: 1504000 | #Constraints: 78254
3152.88/3161.01 c #Conflicts: 1505000 | #Constraints: 79254
3152.88/3161.01 c #Conflicts: 1506000 | #Constraints: 80254
3152.88/3161.01 c #Conflicts: 1507000 | #Constraints: 81254
3152.88/3161.01 c #Conflicts: 1508000 | #Constraints: 82254
3152.88/3161.01 c #Conflicts: 1509000 | #Constraints: 83254
3152.88/3161.01 c #Conflicts: 1510000 | #Constraints: 84254
3152.88/3161.01 c #Conflicts: 1511000 | #Constraints: 85254
3152.88/3161.01 c #Conflicts: 1512000 | #Constraints: 86254
3152.88/3161.01 c #Conflicts: 1513000 | #Constraints: 87254
3152.88/3161.01 c #Conflicts: 1514000 | #Constraints: 88254
3152.88/3161.01 c #Conflicts: 1515000 | #Constraints: 89254
3152.88/3161.01 c #Conflicts: 1516000 | #Constraints: 90254
3152.88/3161.01 c INPROCESSING
3152.88/3161.01 c GARBAGE COLLECT
3152.88/3161.01 c #Conflicts: 1517000 | #Constraints: 66851
3152.88/3161.01 c #Conflicts: 1518000 | #Constraints: 67851
3152.88/3161.01 c #Conflicts: 1519000 | #Constraints: 68851
3152.88/3161.01 c #Conflicts: 1520000 | #Constraints: 69851
3152.88/3161.01 c #Conflicts: 1521000 | #Constraints: 70851
3152.88/3161.01 c #Conflicts: 1522000 | #Constraints: 71851
3152.88/3161.01 c #Conflicts: 1523000 | #Constraints: 72851
3152.88/3161.01 c #Conflicts: 1524000 | #Constraints: 73851
3152.88/3161.01 c #Conflicts: 1525000 | #Constraints: 74851
3152.88/3161.01 c #Conflicts: 1526000 | #Constraints: 75851
3152.88/3161.01 c #Conflicts: 1527000 | #Constraints: 76851
3152.88/3161.01 c #Conflicts: 1528000 | #Constraints: 77851
3152.88/3161.01 c #Conflicts: 1529000 | #Constraints: 78851
3152.88/3161.01 c #Conflicts: 1530000 | #Constraints: 79851
3152.88/3161.01 c #Conflicts: 1531000 | #Constraints: 80851
3152.88/3161.01 c #Conflicts: 1532000 | #Constraints: 81851
3152.88/3161.01 c #Conflicts: 1533000 | #Constraints: 82851
3152.88/3161.01 c #Conflicts: 1534000 | #Constraints: 83851
3152.88/3161.01 c #Conflicts: 1535000 | #Constraints: 84851
3152.88/3161.01 c #Conflicts: 1536000 | #Constraints: 85851
3152.88/3161.01 c #Conflicts: 1537000 | #Constraints: 86851
3152.88/3161.01 c #Conflicts: 1538000 | #Constraints: 87851
3152.88/3161.01 c #Conflicts: 1539000 | #Constraints: 88851
3152.88/3161.01 c #Conflicts: 1540000 | #Constraints: 89851
3152.88/3161.01 c #Conflicts: 1541000 | #Constraints: 90851
3152.88/3161.01 c INPROCESSING
3152.88/3161.01 c GARBAGE COLLECT
3152.88/3161.01 c #Conflicts: 1542000 | #Constraints: 67266
3152.88/3161.01 c #Conflicts: 1543000 | #Constraints: 68266
3152.88/3161.01 c #Conflicts: 1544000 | #Constraints: 69266
3152.88/3161.01 c #Conflicts: 1545000 | #Constraints: 70266
3152.88/3161.01 c #Conflicts: 1546000 | #Constraints: 71266
3152.88/3161.01 c #Conflicts: 1547000 | #Constraints: 72266
3152.88/3161.01 c #Conflicts: 1548000 | #Constraints: 73266
3152.88/3161.01 c #Conflicts: 1549000 | #Constraints: 74266
3152.88/3161.01 c #Conflicts: 1550000 | #Constraints: 75266
3152.88/3161.01 c #Conflicts: 1551000 | #Constraints: 76266
3152.88/3161.01 c #Conflicts: 1552000 | #Constraints: 77266
3152.88/3161.01 c #Conflicts: 1553000 | #Constraints: 78266
3152.88/3161.01 c #Conflicts: 1554000 | #Constraints: 79266
3152.88/3161.01 c #Conflicts: 1555000 | #Constraints: 80266
3152.88/3161.01 c #Conflicts: 1556000 | #Constraints: 81266
3152.88/3161.01 c #Conflicts: 1557000 | #Constraints: 82266
3152.88/3161.01 c #Conflicts: 1558000 | #Constraints: 83266
3152.88/3161.01 c #Conflicts: 1559000 | #Constraints: 84266
3152.88/3161.01 c #Conflicts: 1560000 | #Constraints: 85266
3152.88/3161.01 c #Conflicts: 1561000 | #Constraints: 86266
3152.88/3161.01 c #Conflicts: 1562000 | #Constraints: 87266
3152.88/3161.01 c #Conflicts: 1563000 | #Constraints: 88266
3152.88/3161.01 c #Conflicts: 1564000 | #Constraints: 89266
3152.88/3161.01 c #Conflicts: 1565000 | #Constraints: 90266
3152.88/3161.01 c #Conflicts: 1566000 | #Constraints: 91266
3152.88/3161.01 c INPROCESSING
3152.88/3161.01 c GARBAGE COLLECT
3152.88/3161.01 c #Conflicts: 1567000 | #Constraints: 67462
3152.88/3161.01 c #Conflicts: 1568000 | #Constraints: 68462
3152.88/3161.01 c #Conflicts: 1569000 | #Constraints: 69462
3152.88/3161.01 c #Conflicts: 1570000 | #Constraints: 70462
3152.88/3161.01 c #Conflicts: 1571000 | #Constraints: 71462
3152.88/3161.01 c #Conflicts: 1572000 | #Constraints: 72462
3392.96/3401.71 c #Conflicts: 1573000 | #Constraints: 73462
3392.96/3401.71 c #Conflicts: 1574000 | #Constraints: 74462
3392.96/3401.71 c #Conflicts: 1575000 | #Constraints: 75462
3392.96/3401.71 c #Conflicts: 1576000 | #Constraints: 76462
3392.96/3401.71 c #Conflicts: 1577000 | #Constraints: 77462
3392.96/3401.71 c #Conflicts: 1578000 | #Constraints: 78462
3392.96/3401.71 c #Conflicts: 1579000 | #Constraints: 79462
3392.96/3401.71 c #Conflicts: 1580000 | #Constraints: 80462
3392.96/3401.71 c #Conflicts: 1581000 | #Constraints: 81462
3392.96/3401.71 c #Conflicts: 1582000 | #Constraints: 82462
3392.96/3401.71 c #Conflicts: 1583000 | #Constraints: 83462
3392.96/3401.71 c #Conflicts: 1584000 | #Constraints: 84462
3392.96/3401.71 c #Conflicts: 1585000 | #Constraints: 85462
3392.96/3401.71 c #Conflicts: 1586000 | #Constraints: 86462
3392.96/3401.71 c #Conflicts: 1587000 | #Constraints: 87462
3392.96/3401.71 c #Conflicts: 1588000 | #Constraints: 88462
3392.96/3401.71 c #Conflicts: 1589000 | #Constraints: 89462
3392.96/3401.71 c #Conflicts: 1590000 | #Constraints: 90462
3392.96/3401.71 c #Conflicts: 1591000 | #Constraints: 91462
3392.96/3401.71 c INPROCESSING
3392.96/3401.71 c GARBAGE COLLECT
3392.96/3401.71 c #Conflicts: 1592000 | #Constraints: 67464
3392.96/3401.71 c #Conflicts: 1593000 | #Constraints: 68464
3392.96/3401.71 c #Conflicts: 1594000 | #Constraints: 69464
3392.96/3401.71 c #Conflicts: 1595000 | #Constraints: 70464
3392.96/3401.71 c #Conflicts: 1596000 | #Constraints: 71464
3392.96/3401.71 c #Conflicts: 1597000 | #Constraints: 72464
3392.96/3401.71 c #Conflicts: 1598000 | #Constraints: 73464
3392.96/3401.71 c #Conflicts: 1599000 | #Constraints: 74464
3392.96/3401.71 c #Conflicts: 1600000 | #Constraints: 75464
3392.96/3401.71 c #Conflicts: 1601000 | #Constraints: 76464
3392.96/3401.71 c #Conflicts: 1602000 | #Constraints: 77464
3392.96/3401.71 c #Conflicts: 1603000 | #Constraints: 78464
3392.96/3401.71 c #Conflicts: 1604000 | #Constraints: 79464
3392.96/3401.71 c #Conflicts: 1605000 | #Constraints: 80464
3392.96/3401.71 c #Conflicts: 1606000 | #Constraints: 81464
3392.96/3401.71 c #Conflicts: 1607000 | #Constraints: 82464
3392.96/3401.71 c #Conflicts: 1608000 | #Constraints: 83464
3392.96/3401.71 c #Conflicts: 1609000 | #Constraints: 84464
3392.96/3401.71 c #Conflicts: 1610000 | #Constraints: 85464
3392.96/3401.71 c #Conflicts: 1611000 | #Constraints: 86464
3392.96/3401.71 c #Conflicts: 1612000 | #Constraints: 87464
3392.96/3401.71 c #Conflicts: 1613000 | #Constraints: 88464
3392.96/3401.71 c #Conflicts: 1614000 | #Constraints: 89464
3392.96/3401.71 c #Conflicts: 1615000 | #Constraints: 90464
3392.96/3401.71 c #Conflicts: 1616000 | #Constraints: 91464
3392.96/3401.71 c INPROCESSING
3392.96/3401.71 c GARBAGE COLLECT
3392.96/3401.71 c #Conflicts: 1617000 | #Constraints: 67270
3392.96/3401.71 c #Conflicts: 1618000 | #Constraints: 68270
3392.96/3401.71 c #Conflicts: 1619000 | #Constraints: 69270
3392.96/3401.71 c #Conflicts: 1620000 | #Constraints: 70270
3392.96/3401.71 c #Conflicts: 1621000 | #Constraints: 71270
3392.96/3401.71 c #Conflicts: 1622000 | #Constraints: 72270
3392.96/3401.71 c #Conflicts: 1623000 | #Constraints: 73270
3392.96/3401.71 c #Conflicts: 1624000 | #Constraints: 74270
3392.96/3401.71 c #Conflicts: 1625000 | #Constraints: 75270
3392.96/3401.71 c #Conflicts: 1626000 | #Constraints: 76270
3392.96/3401.71 c #Conflicts: 1627000 | #Constraints: 77270
3392.96/3401.71 c #Conflicts: 1628000 | #Constraints: 78270
3392.96/3401.71 c #Conflicts: 1629000 | #Constraints: 79270
3392.96/3401.71 c #Conflicts: 1630000 | #Constraints: 80270
3392.96/3401.71 c #Conflicts: 1631000 | #Constraints: 81270
3392.96/3401.71 c #Conflicts: 1632000 | #Constraints: 82270
3392.96/3401.71 c #Conflicts: 1633000 | #Constraints: 83270
3392.96/3401.71 c #Conflicts: 1634000 | #Constraints: 84270
3392.96/3401.71 c #Conflicts: 1635000 | #Constraints: 85270
3392.96/3401.71 c #Conflicts: 1636000 | #Constraints: 86270
3392.96/3401.71 c #Conflicts: 1637000 | #Constraints: 87270
3392.96/3401.71 c #Conflicts: 1638000 | #Constraints: 88270
3392.96/3401.71 c #Conflicts: 1639000 | #Constraints: 89270
3392.96/3401.71 c #Conflicts: 1640000 | #Constraints: 90270
3392.96/3401.71 c #Conflicts: 1641000 | #Constraints: 91270
3392.96/3401.71 c #Conflicts: 1642000 | #Constraints: 92270
3392.96/3401.71 c INPROCESSING
3392.96/3401.71 c GARBAGE COLLECT
3392.96/3401.71 c #Conflicts: 1643000 | #Constraints: 67875
3392.96/3401.71 c #Conflicts: 1644000 | #Constraints: 68875
3392.96/3401.71 c #Conflicts: 1645000 | #Constraints: 69875
3392.96/3401.71 c #Conflicts: 1646000 | #Constraints: 70875
3392.96/3401.71 c #Conflicts: 1647000 | #Constraints: 71875
3392.96/3401.71 c #Conflicts: 1648000 | #Constraints: 72875
3600.00/3609.30 c #Conflicts: 1649000 | #Constraints: 73875
3600.00/3609.30 c #Conflicts: 1650000 | #Constraints: 74875
3600.00/3609.30 c #Conflicts: 1651000 | #Constraints: 75875
3600.00/3609.30 c #Conflicts: 1652000 | #Constraints: 76875
3600.00/3609.30 c #Conflicts: 1653000 | #Constraints: 77875
3600.00/3609.30 c #Conflicts: 1654000 | #Constraints: 78875
3600.00/3609.30 c #Conflicts: 1655000 | #Constraints: 79875
3600.00/3609.30 c #Conflicts: 1656000 | #Constraints: 80875
3600.00/3609.30 c #Conflicts: 1657000 | #Constraints: 81875
3600.00/3609.30 c #Conflicts: 1658000 | #Constraints: 82875
3600.00/3609.30 c #Conflicts: 1659000 | #Constraints: 83875
3600.00/3609.30 c #Conflicts: 1660000 | #Constraints: 84875
3600.00/3609.30 c #Conflicts: 1661000 | #Constraints: 85875
3600.00/3609.30 c #Conflicts: 1662000 | #Constraints: 86875
3600.00/3609.30 c #Conflicts: 1663000 | #Constraints: 87875
3600.00/3609.30 c #Conflicts: 1664000 | #Constraints: 88875
3600.00/3609.30 c #Conflicts: 1665000 | #Constraints: 89875
3600.00/3609.30 c #Conflicts: 1666000 | #Constraints: 90875
3600.00/3609.30 c #Conflicts: 1667000 | #Constraints: 91875
3600.00/3609.30 c #Conflicts: 1668000 | #Constraints: 92875
3600.00/3609.30 c INPROCESSING
3600.00/3609.30 c GARBAGE COLLECT
3600.00/3609.30 c #Conflicts: 1669000 | #Constraints: 68283
3600.00/3609.30 c #Conflicts: 1670000 | #Constraints: 69283
3600.00/3609.30 c #Conflicts: 1671000 | #Constraints: 70283
3600.00/3609.30 c #Conflicts: 1672000 | #Constraints: 71283
3600.00/3609.30 c #Conflicts: 1673000 | #Constraints: 72283
3600.00/3609.30 c #Conflicts: 1674000 | #Constraints: 73283
3600.00/3609.30 c #Conflicts: 1675000 | #Constraints: 74283
3600.00/3609.30 c #Conflicts: 1676000 | #Constraints: 75283
3600.00/3609.30 c #Conflicts: 1677000 | #Constraints: 76283
3600.00/3609.30 c #Conflicts: 1678000 | #Constraints: 77283
3600.00/3609.30 c #Conflicts: 1679000 | #Constraints: 78283
3600.00/3609.30 c #Conflicts: 1680000 | #Constraints: 79283
3600.00/3609.30 c #Conflicts: 1681000 | #Constraints: 80283
3600.00/3609.30 c #Conflicts: 1682000 | #Constraints: 81283
3600.00/3609.30 c #Conflicts: 1683000 | #Constraints: 82283
3600.00/3609.30 c #Conflicts: 1684000 | #Constraints: 83283
3600.00/3609.30 c #Conflicts: 1685000 | #Constraints: 84283
3600.00/3609.30 c #Conflicts: 1686000 | #Constraints: 85283
3600.00/3609.30 c #Conflicts: 1687000 | #Constraints: 86283
3600.00/3609.30 c #Conflicts: 1688000 | #Constraints: 87283
3600.00/3609.30 c #Conflicts: 1689000 | #Constraints: 88283
3600.00/3609.30 c #Conflicts: 1690000 | #Constraints: 89283
3600.00/3609.30 c #Conflicts: 1691000 | #Constraints: 90283
3600.00/3609.30 c #Conflicts: 1692000 | #Constraints: 91283
3600.00/3609.30 c #Conflicts: 1693000 | #Constraints: 92283
3600.00/3609.30 c #Conflicts: 1694000 | #Constraints: 93283
3600.00/3609.30 c INPROCESSING
3600.00/3609.30 c GARBAGE COLLECT
3600.00/3609.30 c #Conflicts: 1695000 | #Constraints: 68458
3600.00/3609.30 c #Conflicts: 1696000 | #Constraints: 69458
3600.00/3609.30 c #Conflicts: 1697000 | #Constraints: 70458
3600.00/3609.30 c #Conflicts: 1698000 | #Constraints: 71458
3600.00/3609.30 c #Conflicts: 1699000 | #Constraints: 72458
3600.00/3609.30 c #Conflicts: 1700000 | #Constraints: 73458
3600.00/3609.30 c #Conflicts: 1701000 | #Constraints: 74458
3600.00/3609.30 c #Conflicts: 1702000 | #Constraints: 75458
3600.00/3609.30 c #Conflicts: 1703000 | #Constraints: 76458
3600.00/3609.30 c #Conflicts: 1704000 | #Constraints: 77458
3600.00/3609.30 c #Conflicts: 1705000 | #Constraints: 78458
3600.00/3609.30 c #Conflicts: 1706000 | #Constraints: 79458
3600.00/3609.30 c #Conflicts: 1707000 | #Constraints: 80458
3600.00/3609.30 c #Conflicts: 1708000 | #Constraints: 81458
3600.00/3609.30 c #Conflicts: 1709000 | #Constraints: 82458
3600.00/3609.30 c #Conflicts: 1710000 | #Constraints: 83458
3600.00/3609.30 c #Conflicts: 1711000 | #Constraints: 84458
3600.00/3609.30 c #Conflicts: 1712000 | #Constraints: 85458
3600.00/3609.30 c #Conflicts: 1713000 | #Constraints: 86458
3600.00/3609.30 c #Conflicts: 1714000 | #Constraints: 87458
3600.00/3609.30 c #Conflicts: 1715000 | #Constraints: 88458
3600.00/3609.30 c #Conflicts: 1716000 | #Constraints: 89458
3600.00/3609.30 c #Conflicts: 1717000 | #Constraints: 90458
3600.00/3609.30 c Program interrupted by user.
3600.00/3609.30 c cpu time 3592.69 s
3600.00/3609.30 c deterministic time 647686831474 6.48e+11
3600.00/3609.30 c optimization time 62.8341 s
3600.00/3609.30 c total solve time 3230.74 s
3600.00/3609.30 c core-guided solve time 3230.74 s
3600.00/3609.30 c propagation time 3144.26 s
3600.00/3609.30 c conflict analysis time 114.284 s
3600.00/3609.30 c propagations 37823695
3600.00/3609.30 c resolve steps 13660694
3600.00/3609.30 c decisions 1967098
3600.00/3609.30 c conflicts 1717625
3600.00/3609.30 c restarts 3306
3600.00/3609.30 c inprocessing phases 121
3600.00/3609.30 c input clauses 41458
3600.00/3609.30 c input cardinalities 18
3600.00/3609.30 c input general constraints 0
3600.00/3609.30 c input average constraint length 2.34
3600.00/3609.30 c input average constraint degree 1.26
3600.00/3609.30 c learned clauses 1058106
3600.00/3609.30 c learned cardinalities 478264
3600.00/3609.30 c learned general constraints 181255
3600.00/3609.30 c learned average constraint length 715.06
3600.00/3609.30 c learned average constraint degree 13.42
3600.00/3609.30 c watched constraints 181255
3600.00/3609.30 c counting constraints 0
3600.00/3609.30 c gcd simplifications 80907
3600.00/3609.30 c detected cardinalities 13628
3600.00/3609.30 c weakened non-implied lits 23226369
3600.00/3609.30 c weakened non-implying lits 55418
3600.00/3609.30 c original variables 760
3600.00/3609.30 c clausal propagations 26906100
3600.00/3609.30 c cardinality propagations 6211092
3600.00/3609.30 c watched propagations 645273
3600.00/3609.30 c counting propagations 0
3600.00/3609.30 c watch lookups 24328902213
3600.00/3609.30 c watch backjump lookups 12139098
3600.00/3609.30 c watch checks 620154834423
3600.00/3609.30 c propagation checks 669284699
3600.00/3609.30 c constraint additions 2440372680
3600.00/3609.30 c trail pops 41507567
3600.00/3609.30 c formula constraints 41314
3600.00/3609.30 c learned constraints 1717625
3600.00/3609.30 c bound constraints 18
3600.00/3609.30 c core-guided constraints 144
3600.00/3609.30 c encountered formula constraints 10821559
3600.00/3609.30 c encountered learned constraints 4501789
3600.00/3609.30 c encountered bound constraints 940
3600.00/3609.30 c encountered core-guided constraints 54031
3600.00/3609.30 c LP total time 0 s
3600.00/3609.30 c LP solve time 0 s
3600.00/3609.30 c LP constraints added 0
3600.00/3609.30 c LP constraints removed 0
3600.00/3609.30 c LP pivots internal 0
3600.00/3609.30 c LP pivots root 0
3600.00/3609.30 c LP calls 0
3600.00/3609.30 c LP optimalities 0
3600.00/3609.30 c LP no pivot count 0
3600.00/3609.30 c LP infeasibilities 0
3600.00/3609.30 c LP valid Farkas constraints 0
3600.00/3609.30 c LP learned Farkas constraints 0
3600.00/3609.30 c LP basis resets 0
3600.00/3609.30 c LP cycling count 0
3600.00/3609.30 c LP singular count 0
3600.00/3609.30 c LP no primal count 0
3600.00/3609.30 c LP no farkas count 0
3600.00/3609.30 c LP other issue count 0
3600.00/3609.30 c LP Gomory cuts 0
3600.00/3609.30 c LP learned cuts 0
3600.00/3609.30 c LP deleted cuts 0
3600.00/3609.30 c LP encountered Gomory constraints 0
3600.00/3609.30 c LP encountered Farkas constraints 0
3600.00/3609.30 c LP encountered learned Farkas constraints 0
3600.00/3609.30 c CG auxiliary variables introduced 144
3600.00/3609.30 c CG solutions found 0
3600.00/3609.30 c CG cores constructed 17
3600.00/3609.30 c CG core cardinality constraints returned 0
3600.00/3609.30 c CG unit cores 0
3600.00/3609.30 c CG single cores 17
3600.00/3609.30 c CG blocks removed during cardinality reduction 0
3600.00/3609.30 c CG first core best 0
3600.00/3609.30 c CG decision core best 0
3600.00/3609.30 c CG core reduction tie 0
3600.00/3609.30 c CG core degree average 1.00
3600.00/3609.30 c CG core slack average 6.53
3600.00/3609.30 c CG exhausted 0
3600.00/3609.30 c CG exhaust time 0 s
3600.00/3609.30 c CG trimmed 0
3600.00/3609.30 c CG trim time 0.000115 s
3600.00/3609.30 c CG minimized 0
3600.00/3609.30 c CG minimize time 0 s
3600.00/3609.30 c CG am1 prop time 0.003228 s
3600.00/3609.30 c CG # am1s reformulated 144
3600.00/3609.30 c CG lower bound derived from am1s 616
3600.00/3609.30 c CG # clausal cores 17
3600.00/3609.30 c CG # cardinality cores 0
3600.00/3609.30 c CG # pb cores 0
3600.00/3609.30 c CG # pb reforms 0
3600.00/3609.30 c CG # cores discarded because of pb reform 0
3600.00/3609.30 d LOWERBOUND -127
3600.00/3609.30 d NCORES 17
3600.00/3609.30 d NPBCORES 0
3600.00/3609.30 d NPBREFORM 0
3600.00/3609.30 d NTRIMMED 0
3600.00/3609.30 d NEXHAUSTED 0
3600.00/3609.30 d NAM1S 144
3600.00/3609.30 d AM1LB 616
3600.00/3609.30 c [Papilo Statistics]
3600.00/3609.30 c prepro time 0.0768837s
3600.00/3609.30 c # tsx applied 0
3600.00/3609.30 c # tsx conflicts 0
3600.00/3609.30 c # bound changes 0
3600.00/3609.30 c # side changes 0
3600.00/3609.30 c # coef changes 0
3600.00/3609.30 c # rounds 1
3600.00/3609.30 c # deted vars 0
3600.00/3609.30 c # deted constrs 0
3600.00/3609.30 c # consecutive rounds of only bound changes 0
3600.00/3609.30 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: 63931 MiB (60285 MiB free)
memory of node 1: 64510 MiB (61339 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435519-1721064199/watcher-4435519-1721064199 -o /tmp/evaluation-result-4435519-1721064199/solver-4435519-1721064199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815230 --watchdog 3760 mixed-bag HOME/instance-4435519-1721064199.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=817835, runsolver pid=817832
[startup+0.100464 s]*
/proc/loadavg: 4.19 4.12 4.08 5/260 817836
/proc/meminfo: memFree=124520752/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=103908 memory=29444 CPUtime=0.09 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 6665 0 0 0 8 1 0 0 20 0 1 0 158579016 106401792 7361 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 25977 7361 1741 3002 0 9728 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103908 KiB
Current children cumulated memory: 29444 KiB
[startup+0.206037 s]*
/proc/loadavg: 4.19 4.12 4.08 5/260 817836
/proc/meminfo: memFree=124484188/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=144840 memory=77788 CPUtime=0.19 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 17522 0 0 0 17 2 0 0 20 0 1 0 158579016 148316160 19447 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 36210 19447 3705 3002 0 19961 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 144840 KiB
Current children cumulated memory: 77788 KiB
[startup+0.305884 s]*
/proc/loadavg: 4.19 4.12 4.08 5/260 817836
/proc/meminfo: memFree=124449784/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=176192 memory=108180 CPUtime=0.29 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 25067 0 0 0 26 3 0 0 20 0 1 0 158579016 180420608 27045 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 44048 27045 3785 3002 0 27799 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 176192 KiB
Current children cumulated memory: 108180 KiB
[startup+0.700248 s]
/proc/loadavg: 4.19 4.12 4.08 5/260 817836
/proc/meminfo: memFree=124447964/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=231188 memory=155216 CPUtime=0.68 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 32762 0 0 0 63 5 0 0 20 0 1 0 158579016 236736512 38804 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 57797 38804 3817 3002 0 41548 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 231188 KiB
Current children cumulated memory: 155216 KiB
[startup+1.50024 s]
/proc/loadavg: 4.19 4.12 4.08 5/260 817836
/proc/meminfo: memFree=124322720/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=325692 memory=244912 CPUtime=1.48 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 49592 0 0 0 140 8 0 0 20 0 1 0 158579016 333508608 61228 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 81423 61228 4037 3002 0 65174 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 325692 KiB
Current children cumulated memory: 244912 KiB
[startup+3.10574 s]
/proc/loadavg: 4.26 4.14 4.09 5/260 817836
/proc/meminfo: memFree=124302732/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=342740 memory=255736 CPUtime=3.08 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 52312 0 0 0 299 9 0 0 20 0 1 0 158579016 350965760 63934 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 85685 63934 4037 3002 0 69436 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 342740 KiB
Current children cumulated memory: 255736 KiB
[startup+6.30023 s]
/proc/loadavg: 4.26 4.14 4.09 5/260 817838
/proc/meminfo: memFree=124300468/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=358908 memory=257784 CPUtime=6.27 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 52323 0 0 0 618 9 0 0 20 0 1 0 158579016 367521792 64446 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 89727 64446 4037 3002 0 73478 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 358908 KiB
Current children cumulated memory: 257784 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.13 4.08 5/260 817838
/proc/meminfo: memFree=124236896/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=470628 memory=322828 CPUtime=12.65 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 67029 0 0 0 1254 11 0 0 20 0 1 0 158579016 481923072 80707 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 117657 80707 4053 3002 0 101408 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 470628 KiB
Current children cumulated memory: 322828 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.14 4.09 5/260 817841
/proc/meminfo: memFree=124228784/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=470628 memory=323068 CPUtime=25.42 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 67075 0 0 0 2530 12 0 0 20 0 1 0 158579016 481923072 80767 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 117657 80767 4053 3002 0 101408 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 470628 KiB
Current children cumulated memory: 323068 KiB
[startup+51.1057 s]
/proc/loadavg: 4.23 4.15 4.09 5/260 817846
/proc/meminfo: memFree=124228568/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=478104 memory=323068 CPUtime=50.95 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 67077 0 0 0 5082 13 0 0 20 0 1 0 158579016 489578496 80767 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 119526 80767 4053 3002 0 103277 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 478104 KiB
Current children cumulated memory: 323068 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/259 817900
/proc/meminfo: memFree=124569288/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=590100 memory=422656 CPUtime=102.01 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 97467 0 0 0 10182 19 0 0 20 0 1 0 158579016 604262400 105664 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 147525 105664 4053 3002 0 131276 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 590100 KiB
Current children cumulated memory: 422656 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/257 818292
/proc/meminfo: memFree=124333888/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=722936 memory=484392 CPUtime=161.84 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 110579 0 0 0 16162 22 0 0 20 0 1 0 158579016 740286464 121098 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 180734 121098 4191 3002 0 164485 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 722936 KiB
Current children cumulated memory: 484392 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/257 818394
/proc/meminfo: memFree=125574420/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=856464 memory=535048 CPUtime=221.66 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 122274 0 0 0 22141 25 0 0 20 0 1 0 158579016 877019136 133762 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 214116 133762 4191 3002 0 197867 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 856464 KiB
Current children cumulated memory: 535048 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/257 818408
/proc/meminfo: memFree=125305172/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=910868 memory=583448 CPUtime=281.46 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 132985 0 0 0 28120 26 0 0 20 0 1 0 158579016 932728832 145862 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 227717 145862 4191 3002 0 211468 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 910868 KiB
Current children cumulated memory: 583448 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/259 818589
/proc/meminfo: memFree=125312780/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=827788 memory=523280 CPUtime=341.3 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 144351 0 0 0 34064 66 0 0 20 0 1 0 158579016 847654912 130820 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 206947 130820 4351 3002 0 190698 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 827788 KiB
Current children cumulated memory: 523280 KiB
[startup+402.3 s]
/proc/loadavg: 4.50 4.25 4.13 5/259 818599
/proc/meminfo: memFree=125362412/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=827788 memory=569416 CPUtime=401.14 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 144851 0 0 0 40015 99 0 0 20 0 1 0 158579016 847654912 142354 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 206947 142354 4351 3002 0 190698 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 827788 KiB
Current children cumulated memory: 569416 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.23 4.13 5/260 818667
/proc/meminfo: memFree=125262636/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=858608 memory=587300 CPUtime=460.99 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 145045 0 0 0 45973 126 0 0 20 0 1 0 158579016 879214592 146825 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 214652 146825 4351 3002 0 198403 0
################
# More data... #
################
Current children cumulated memory: 767224 KiB
[startup+2922.3 s]
/proc/loadavg: 4.40 4.17 4.12 5/257 819687
/proc/meminfo: memFree=123580852/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=767224 CPUtime=2914.79 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149225 0 0 0 290847 632 0 0 20 0 1 0 158579016 1013846016 191806 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 191806 4351 3002 0 231272 0
Current children cumulated CPU time: 2914.79 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 767224 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/257 819697
/proc/meminfo: memFree=123578196/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=769272 CPUtime=2974.63 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149309 0 0 0 296823 640 0 0 20 0 1 0 158579016 1013846016 192318 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 192318 4351 3002 0 231272 0
Current children cumulated CPU time: 2974.63 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 769272 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 819709
/proc/meminfo: memFree=123573948/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=769272 CPUtime=3034.48 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149377 0 0 0 302799 649 0 0 20 0 1 0 158579016 1013846016 192318 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 192318 4351 3002 0 231272 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 769272 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 819719
/proc/meminfo: memFree=123555684/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=769272 CPUtime=3094.33 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149438 0 0 0 308776 657 0 0 20 0 1 0 158579016 1013846016 192318 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 192318 4351 3002 0 231272 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 769272 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 819730
/proc/meminfo: memFree=123552932/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=771320 CPUtime=3154.17 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149499 0 0 0 314753 664 0 0 20 0 1 0 158579016 1013846016 192830 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 192830 4351 3002 0 231272 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 771320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/255 819741
/proc/meminfo: memFree=123549884/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=771320 CPUtime=3214.02 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149578 0 0 0 320729 673 0 0 20 0 1 0 158579016 1013846016 192830 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 192830 4351 3002 0 231272 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 771320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/255 819753
/proc/meminfo: memFree=123525844/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=771320 CPUtime=3273.86 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149644 0 0 0 326702 684 0 0 20 0 1 0 158579016 1013846016 192830 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 192830 4351 3002 0 231272 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 771320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/255 819763
/proc/meminfo: memFree=123523236/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=773368 CPUtime=3333.71 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149711 0 0 0 332678 693 0 0 20 0 1 0 158579016 1013846016 193342 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 193342 4351 3002 0 231272 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 773368 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/256 819774
/proc/meminfo: memFree=123517516/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=775416 CPUtime=3393.55 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149785 0 0 0 338653 702 0 0 20 0 1 0 158579016 1013846016 193854 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 193854 4351 3002 0 231272 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 775416 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 819789
/proc/meminfo: memFree=123515572/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=775416 CPUtime=3453.38 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 149942 0 0 0 344627 711 0 0 20 0 1 0 158579016 1013846016 193854 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 193854 4351 3002 0 231272 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 775416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/258 819800
/proc/meminfo: memFree=123498516/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=775416 CPUtime=3513.22 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 150049 0 0 0 350602 720 0 0 20 0 1 0 158579016 1013846016 193854 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 193854 4351 3002 0 231272 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 775416 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/258 819810
/proc/meminfo: memFree=123448504/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=775416 CPUtime=3573.07 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 150160 0 0 0 356578 729 0 0 20 0 1 0 158579016 1013846016 193854 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 193854 4351 3002 0 231272 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 775416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/258 819816
/proc/meminfo: memFree=123448148/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=775416 CPUtime=3600 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 150257 0 0 0 359268 732 0 0 20 0 1 0 158579016 1013846016 193854 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 193854 4351 3002 0 231272 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 775416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 817835 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.69 s, system=7.33062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/258 819816
/proc/meminfo: memFree=123448148/131524600 swapFree=130795544/131071996
[pid=817835] ppid=817832 vsize=990084 memory=775416 CPUtime=3600 cores=1,3
/proc/817835/stat : 817835 (mixed-bag) R 817832 817835 815216 0 -1 4194304 150257 0 0 0 359268 732 0 0 20 0 1 0 158579016 1013846016 193854 134679101440 4194304 16487941 140723795230272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 55291904 140723795231767 140723795231844 140723795231844 140723795238859 0
/proc/817835/statm: 247521 193854 4351 3002 0 231272 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 990084 KiB
Current children cumulated memory: 775416 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.02
CPU user time (s): 3592.69
CPU system time (s): 7.33062
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 990084
Max. memory (cumulated for all children) (KiB): 775416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.69
system time used= 7.33062
maximum resident set size= 776000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150290
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= 160
involuntary context switches= 1397
# summary of solver processes directly reported to runsolver:
# pid: 817835
# total CPU time (s): 3600.02
# total CPU user time (s): 3592.69
# total CPU system time (s): 7.33062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0333 second user time and 18.3919 second system time
The end
Begin job on nodeC014 at 2024-07-15 19:23:31
IDJOB=4435519
IDBENCH=146698
IDSOLVER=3066
FILE ID=nodeC014/4435519-1721064199
RUNJOBID= nodeC014-1721060594-815230
SLURM_JOB_ID= 7505507
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435519-1721064199/watcher-4435519-1721064199 -o /tmp/evaluation-result-4435519-1721064199/solver-4435519-1721064199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815230 --watchdog 3760 mixed-bag HOME/instance-4435519-1721064199.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914
RANDOM SEED=1445100047
nodeC014.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 : 3672.979
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.32
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 : 3667.062
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.800
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.32
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 : 3661.844
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.96
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 : 3673.021
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.32
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 : 3671.736
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.96
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 : 3599.777
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.32
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.976
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124544216 kB
MemAvailable: 127194612 kB
Buffers: 309612 kB
Cached: 3146968 kB
SwapCached: 12868 kB
Active: 1021800 kB
Inactive: 5396300 kB
Active(anon): 9444 kB
Inactive(anon): 2969504 kB
Active(file): 1012356 kB
Inactive(file): 2426796 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130795544 kB
Dirty: 17516 kB
Writeback: 0 kB
AnonPages: 2952416 kB
Mapped: 81300 kB
Shmem: 17420 kB
KReclaimable: 101784 kB
Slab: 193420 kB
SReclaimable: 101784 kB
SUnreclaim: 91636 kB
KernelStack: 4160 kB
PageTables: 15520 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4478852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2230272 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: 191188 kB
DirectMap2M: 14262272 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC014 at 2024-07-15 20:23:41