0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.08 c [STEP] preprocessing with Papilo
0.00/0.10 c Papilo could not simplify the problem
0.08/0.10 c [STEP] solving with SCIP
299.33/300.15 c [STEP] preprocessing done, loading into solver
299.33/300.19 c [STEP] solving
299.33/300.19 c #variables 1345 #constraints 16376
299.33/300.19 c SMALL=int, LARGE=long long
299.33/300.19 d SCIPUB 1025
299.33/300.19 c bounds - >= 0 @ 299.297
299.33/300.19 c stratification level: 3
299.52/300.30 c bounds - >= 3 @ 299.306
299.52/300.30 c bounds - >= 6 @ 299.317
299.52/300.30 c bounds - >= 9 @ 299.325
299.52/300.30 c #Conflicts: 1000 | #Constraints: 17378
299.52/300.30 c bounds - >= 12 @ 299.337
299.52/300.30 c bounds - >= 15 @ 299.352
299.52/300.30 c #Conflicts: 2000 | #Constraints: 18380
299.52/300.30 c INPROCESSING
299.52/300.30 c bounds - >= 18 @ 299.364
299.52/300.30 c bounds - >= 21 @ 299.372
299.52/300.30 c bounds - >= 24 @ 299.39
299.52/300.30 c #Conflicts: 3000 | #Constraints: 18390
299.52/300.30 c finalizing WCE round: reformulating cores
300.41/301.25 c #Conflicts: 4000 | #Constraints: 19396
300.41/301.25 c INPROCESSING
300.41/301.25 c GARBAGE COLLECT
300.41/301.25 c #Conflicts: 5000 | #Constraints: 18808
300.41/301.25 c #Conflicts: 6000 | #Constraints: 19810
300.41/301.25 c INPROCESSING
300.41/301.25 c GARBAGE COLLECT
300.41/301.25 c #Conflicts: 7000 | #Constraints: 18818
300.41/301.25 c #Conflicts: 8000 | #Constraints: 19820
300.41/301.25 c bounds 182 >= 24 @ 300.22
300.41/301.25 c #Conflicts: 9000 | #Constraints: 20822
300.41/301.25 c INPROCESSING
300.41/301.25 c GARBAGE COLLECT
300.41/301.25 c bounds 178 >= 24 @ 300.315
300.41/301.25 c stratification level: 2
308.69/309.50 c #Conflicts: 10000 | #Constraints: 19527
308.69/309.50 c #Conflicts: 11000 | #Constraints: 20527
308.69/309.50 c #Conflicts: 12000 | #Constraints: 21527
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 13000 | #Constraints: 19992
308.69/309.50 c #Conflicts: 14000 | #Constraints: 20992
308.69/309.50 c #Conflicts: 15000 | #Constraints: 21992
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 16000 | #Constraints: 20242
308.69/309.50 c #Conflicts: 17000 | #Constraints: 21242
308.69/309.50 c #Conflicts: 18000 | #Constraints: 22242
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 19000 | #Constraints: 20271
308.69/309.50 c #Conflicts: 20000 | #Constraints: 21271
308.69/309.50 c #Conflicts: 21000 | #Constraints: 22271
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 22000 | #Constraints: 20081
308.69/309.50 c #Conflicts: 23000 | #Constraints: 21081
308.69/309.50 c #Conflicts: 24000 | #Constraints: 22081
308.69/309.50 c #Conflicts: 25000 | #Constraints: 23081
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 26000 | #Constraints: 20685
308.69/309.50 c #Conflicts: 27000 | #Constraints: 21685
308.69/309.50 c #Conflicts: 28000 | #Constraints: 22685
308.69/309.50 c #Conflicts: 29000 | #Constraints: 23685
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 30000 | #Constraints: 21092
308.69/309.50 c #Conflicts: 31000 | #Constraints: 22092
308.69/309.50 c #Conflicts: 32000 | #Constraints: 23092
308.69/309.50 c #Conflicts: 33000 | #Constraints: 24092
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 34000 | #Constraints: 21297
308.69/309.50 c #Conflicts: 35000 | #Constraints: 22297
308.69/309.50 c #Conflicts: 36000 | #Constraints: 23297
308.69/309.50 c #Conflicts: 37000 | #Constraints: 24297
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 38000 | #Constraints: 21303
308.69/309.50 c #Conflicts: 39000 | #Constraints: 22303
308.69/309.50 c #Conflicts: 40000 | #Constraints: 23303
308.69/309.50 c #Conflicts: 41000 | #Constraints: 24303
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 42000 | #Constraints: 21125
308.69/309.50 c #Conflicts: 43000 | #Constraints: 22125
308.69/309.50 c #Conflicts: 44000 | #Constraints: 23125
308.69/309.50 c #Conflicts: 45000 | #Constraints: 24125
308.69/309.50 c #Conflicts: 46000 | #Constraints: 25125
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 47000 | #Constraints: 21712
308.69/309.50 c #Conflicts: 48000 | #Constraints: 22712
308.69/309.50 c #Conflicts: 49000 | #Constraints: 23712
308.69/309.50 c #Conflicts: 50000 | #Constraints: 24712
308.69/309.50 c #Conflicts: 51000 | #Constraints: 25712
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 52000 | #Constraints: 22126
308.69/309.50 c #Conflicts: 53000 | #Constraints: 23126
308.69/309.50 c #Conflicts: 54000 | #Constraints: 24126
308.69/309.50 c #Conflicts: 55000 | #Constraints: 25126
308.69/309.50 c #Conflicts: 56000 | #Constraints: 26126
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 57000 | #Constraints: 22333
308.69/309.50 c #Conflicts: 58000 | #Constraints: 23333
308.69/309.50 c #Conflicts: 59000 | #Constraints: 24333
308.69/309.50 c #Conflicts: 60000 | #Constraints: 25333
308.69/309.50 c #Conflicts: 61000 | #Constraints: 26333
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 62000 | #Constraints: 22343
308.69/309.50 c #Conflicts: 63000 | #Constraints: 23343
308.69/309.50 c #Conflicts: 64000 | #Constraints: 24343
308.69/309.50 c #Conflicts: 65000 | #Constraints: 25343
308.69/309.50 c #Conflicts: 66000 | #Constraints: 26343
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 67000 | #Constraints: 22146
308.69/309.50 c #Conflicts: 68000 | #Constraints: 23146
308.69/309.50 c #Conflicts: 69000 | #Constraints: 24146
308.69/309.50 c #Conflicts: 70000 | #Constraints: 25146
308.69/309.50 c #Conflicts: 71000 | #Constraints: 26146
308.69/309.50 c #Conflicts: 72000 | #Constraints: 27146
308.69/309.50 c INPROCESSING
308.69/309.50 c GARBAGE COLLECT
308.69/309.50 c #Conflicts: 73000 | #Constraints: 22735
308.69/309.50 c #Conflicts: 74000 | #Constraints: 23735
308.69/309.50 c #Conflicts: 75000 | #Constraints: 24735
308.69/309.50 c #Conflicts: 76000 | #Constraints: 25735
308.69/309.50 c #Conflicts: 77000 | #Constraints: 26735
308.69/309.50 c #Conflicts: 78000 | #Constraints: 27735
308.69/309.50 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 79000 | #Constraints: 23145
321.26/322.17 c #Conflicts: 80000 | #Constraints: 24145
321.26/322.17 c #Conflicts: 81000 | #Constraints: 25145
321.26/322.17 c #Conflicts: 82000 | #Constraints: 26145
321.26/322.17 c #Conflicts: 83000 | #Constraints: 27145
321.26/322.17 c #Conflicts: 84000 | #Constraints: 28145
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 85000 | #Constraints: 23350
321.26/322.17 c #Conflicts: 86000 | #Constraints: 24350
321.26/322.17 c #Conflicts: 87000 | #Constraints: 25350
321.26/322.17 c #Conflicts: 88000 | #Constraints: 26350
321.26/322.17 c #Conflicts: 89000 | #Constraints: 27350
321.26/322.17 c #Conflicts: 90000 | #Constraints: 28350
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 91000 | #Constraints: 23353
321.26/322.17 c #Conflicts: 92000 | #Constraints: 24353
321.26/322.17 c #Conflicts: 93000 | #Constraints: 25353
321.26/322.17 c #Conflicts: 94000 | #Constraints: 26353
321.26/322.17 c #Conflicts: 95000 | #Constraints: 27353
321.26/322.17 c #Conflicts: 96000 | #Constraints: 28353
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 97000 | #Constraints: 23147
321.26/322.17 c #Conflicts: 98000 | #Constraints: 24147
321.26/322.17 c #Conflicts: 99000 | #Constraints: 25147
321.26/322.17 c #Conflicts: 100000 | #Constraints: 26147
321.26/322.17 c #Conflicts: 101000 | #Constraints: 27147
321.26/322.17 c #Conflicts: 102000 | #Constraints: 28147
321.26/322.17 c #Conflicts: 103000 | #Constraints: 29147
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 104000 | #Constraints: 23740
321.26/322.17 c #Conflicts: 105000 | #Constraints: 24740
321.26/322.17 c #Conflicts: 106000 | #Constraints: 25740
321.26/322.17 c #Conflicts: 107000 | #Constraints: 26740
321.26/322.17 c #Conflicts: 108000 | #Constraints: 27740
321.26/322.17 c #Conflicts: 109000 | #Constraints: 28740
321.26/322.17 c #Conflicts: 110000 | #Constraints: 29740
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 111000 | #Constraints: 24146
321.26/322.17 c #Conflicts: 112000 | #Constraints: 25146
321.26/322.17 c #Conflicts: 113000 | #Constraints: 26146
321.26/322.17 c #Conflicts: 114000 | #Constraints: 27146
321.26/322.17 c #Conflicts: 115000 | #Constraints: 28146
321.26/322.17 c #Conflicts: 116000 | #Constraints: 29146
321.26/322.17 c #Conflicts: 117000 | #Constraints: 30146
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 118000 | #Constraints: 24350
321.26/322.17 c #Conflicts: 119000 | #Constraints: 25350
321.26/322.17 c #Conflicts: 120000 | #Constraints: 26350
321.26/322.17 c #Conflicts: 121000 | #Constraints: 27350
321.26/322.17 c #Conflicts: 122000 | #Constraints: 28350
321.26/322.17 c #Conflicts: 123000 | #Constraints: 29350
321.26/322.17 c #Conflicts: 124000 | #Constraints: 30350
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 125000 | #Constraints: 24356
321.26/322.17 c #Conflicts: 126000 | #Constraints: 25356
321.26/322.17 c #Conflicts: 127000 | #Constraints: 26356
321.26/322.17 c #Conflicts: 128000 | #Constraints: 27356
321.26/322.17 c #Conflicts: 129000 | #Constraints: 28356
321.26/322.17 c #Conflicts: 130000 | #Constraints: 29356
321.26/322.17 c #Conflicts: 131000 | #Constraints: 30356
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 132000 | #Constraints: 24147
321.26/322.17 c #Conflicts: 133000 | #Constraints: 25147
321.26/322.17 c #Conflicts: 134000 | #Constraints: 26147
321.26/322.17 c #Conflicts: 135000 | #Constraints: 27147
321.26/322.17 c #Conflicts: 136000 | #Constraints: 28147
321.26/322.17 c #Conflicts: 137000 | #Constraints: 29147
321.26/322.17 c #Conflicts: 138000 | #Constraints: 30147
321.26/322.17 c #Conflicts: 139000 | #Constraints: 31147
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 140000 | #Constraints: 24740
321.26/322.17 c #Conflicts: 141000 | #Constraints: 25740
321.26/322.17 c #Conflicts: 142000 | #Constraints: 26740
321.26/322.17 c #Conflicts: 143000 | #Constraints: 27740
321.26/322.17 c #Conflicts: 144000 | #Constraints: 28740
321.26/322.17 c #Conflicts: 145000 | #Constraints: 29740
321.26/322.17 c #Conflicts: 146000 | #Constraints: 30740
321.26/322.17 c #Conflicts: 147000 | #Constraints: 31740
321.26/322.17 c INPROCESSING
321.26/322.17 c GARBAGE COLLECT
321.26/322.17 c #Conflicts: 148000 | #Constraints: 25153
321.26/322.17 c #Conflicts: 149000 | #Constraints: 26153
321.26/322.17 c #Conflicts: 150000 | #Constraints: 27153
321.26/322.17 c #Conflicts: 151000 | #Constraints: 28153
335.42/336.34 c #Conflicts: 152000 | #Constraints: 29153
335.42/336.34 c #Conflicts: 153000 | #Constraints: 30153
335.42/336.34 c #Conflicts: 154000 | #Constraints: 31153
335.42/336.34 c #Conflicts: 155000 | #Constraints: 32153
335.42/336.34 c INPROCESSING
335.42/336.34 c GARBAGE COLLECT
335.42/336.34 c #Conflicts: 156000 | #Constraints: 25355
335.42/336.34 c #Conflicts: 157000 | #Constraints: 26355
335.42/336.34 c #Conflicts: 158000 | #Constraints: 27355
335.42/336.34 c #Conflicts: 159000 | #Constraints: 28355
335.42/336.34 c #Conflicts: 160000 | #Constraints: 29355
335.42/336.34 c #Conflicts: 161000 | #Constraints: 30355
335.42/336.34 c #Conflicts: 162000 | #Constraints: 31355
335.42/336.34 c #Conflicts: 163000 | #Constraints: 32355
335.42/336.34 c INPROCESSING
335.42/336.34 c GARBAGE COLLECT
335.42/336.34 c #Conflicts: 164000 | #Constraints: 25359
335.42/336.34 c #Conflicts: 165000 | #Constraints: 26359
335.42/336.34 c #Conflicts: 166000 | #Constraints: 27359
335.42/336.34 c #Conflicts: 167000 | #Constraints: 28359
335.42/336.34 c #Conflicts: 168000 | #Constraints: 29359
335.42/336.34 c #Conflicts: 169000 | #Constraints: 30359
335.42/336.34 c #Conflicts: 170000 | #Constraints: 31359
335.42/336.34 c #Conflicts: 171000 | #Constraints: 32359
335.42/336.34 c INPROCESSING
335.42/336.34 c GARBAGE COLLECT
335.42/336.34 c #Conflicts: 172000 | #Constraints: 25155
335.42/336.34 c #Conflicts: 173000 | #Constraints: 26155
335.42/336.34 c #Conflicts: 174000 | #Constraints: 27155
335.42/336.34 c #Conflicts: 175000 | #Constraints: 28155
335.42/336.34 c #Conflicts: 176000 | #Constraints: 29155
335.42/336.34 c #Conflicts: 177000 | #Constraints: 30155
335.42/336.34 c #Conflicts: 178000 | #Constraints: 31155
335.42/336.34 c #Conflicts: 179000 | #Constraints: 32155
335.42/336.34 c #Conflicts: 180000 | #Constraints: 33155
335.42/336.34 c INPROCESSING
335.42/336.34 c GARBAGE COLLECT
335.42/336.34 c #Conflicts: 181000 | #Constraints: 25761
335.42/336.34 c #Conflicts: 182000 | #Constraints: 26761
335.42/336.34 c #Conflicts: 183000 | #Constraints: 27761
335.42/336.34 c #Conflicts: 184000 | #Constraints: 28761
335.42/336.34 c #Conflicts: 185000 | #Constraints: 29761
335.42/336.34 c #Conflicts: 186000 | #Constraints: 30761
335.42/336.34 c #Conflicts: 187000 | #Constraints: 31761
335.42/336.34 c #Conflicts: 188000 | #Constraints: 32761
335.42/336.34 c #Conflicts: 189000 | #Constraints: 33761
335.42/336.34 c INPROCESSING
335.42/336.34 c GARBAGE COLLECT
335.42/336.34 c #Conflicts: 190000 | #Constraints: 26161
335.42/336.34 c #Conflicts: 191000 | #Constraints: 27161
335.42/336.34 c #Conflicts: 192000 | #Constraints: 28161
335.42/336.34 c #Conflicts: 193000 | #Constraints: 29161
335.42/336.34 c #Conflicts: 194000 | #Constraints: 30161
335.42/336.34 c #Conflicts: 195000 | #Constraints: 31161
335.42/336.34 c #Conflicts: 196000 | #Constraints: 32161
335.42/336.34 c #Conflicts: 197000 | #Constraints: 33161
335.42/336.34 c #Conflicts: 198000 | #Constraints: 34161
335.42/336.34 c INPROCESSING
335.42/336.34 c GARBAGE COLLECT
335.42/336.34 c #Conflicts: 199000 | #Constraints: 26375
335.42/336.34 c #Conflicts: 200000 | #Constraints: 27375
335.42/336.34 c #Conflicts: 201000 | #Constraints: 28375
335.42/336.34 c #Conflicts: 202000 | #Constraints: 29375
335.42/336.34 c #Conflicts: 203000 | #Constraints: 30375
335.42/336.34 c #Conflicts: 204000 | #Constraints: 31375
335.42/336.34 c #Conflicts: 205000 | #Constraints: 32375
335.42/336.34 c #Conflicts: 206000 | #Constraints: 33375
335.42/336.34 c #Conflicts: 207000 | #Constraints: 34375
335.42/336.34 c INPROCESSING
335.42/336.34 c GARBAGE COLLECT
335.42/336.34 c #Conflicts: 208000 | #Constraints: 26368
335.42/336.34 c #Conflicts: 209000 | #Constraints: 27368
335.42/336.34 c #Conflicts: 210000 | #Constraints: 28368
335.42/336.34 c #Conflicts: 211000 | #Constraints: 29368
335.42/336.34 c #Conflicts: 212000 | #Constraints: 30368
335.42/336.34 c #Conflicts: 213000 | #Constraints: 31368
335.42/336.34 c #Conflicts: 214000 | #Constraints: 32368
335.42/336.34 c #Conflicts: 215000 | #Constraints: 33368
335.42/336.34 c #Conflicts: 216000 | #Constraints: 34368
335.42/336.34 c INPROCESSING
335.42/336.34 c GARBAGE COLLECT
335.42/336.34 c #Conflicts: 217000 | #Constraints: 26167
335.42/336.34 c #Conflicts: 218000 | #Constraints: 27167
335.42/336.34 c #Conflicts: 219000 | #Constraints: 28167
335.42/336.34 c #Conflicts: 220000 | #Constraints: 29167
335.42/336.34 c #Conflicts: 221000 | #Constraints: 30167
335.42/336.34 c #Conflicts: 222000 | #Constraints: 31167
335.42/336.34 c #Conflicts: 223000 | #Constraints: 32167
335.42/336.34 c #Conflicts: 224000 | #Constraints: 33167
350.78/351.78 c #Conflicts: 225000 | #Constraints: 34167
350.78/351.78 c #Conflicts: 226000 | #Constraints: 35167
350.78/351.78 c INPROCESSING
350.78/351.78 c GARBAGE COLLECT
350.78/351.78 c #Conflicts: 227000 | #Constraints: 26776
350.78/351.78 c #Conflicts: 228000 | #Constraints: 27776
350.78/351.78 c #Conflicts: 229000 | #Constraints: 28776
350.78/351.78 c #Conflicts: 230000 | #Constraints: 29776
350.78/351.78 c #Conflicts: 231000 | #Constraints: 30776
350.78/351.78 c #Conflicts: 232000 | #Constraints: 31776
350.78/351.78 c #Conflicts: 233000 | #Constraints: 32776
350.78/351.78 c #Conflicts: 234000 | #Constraints: 33776
350.78/351.78 c #Conflicts: 235000 | #Constraints: 34776
350.78/351.78 c #Conflicts: 236000 | #Constraints: 35776
350.78/351.78 c INPROCESSING
350.78/351.78 c GARBAGE COLLECT
350.78/351.78 c #Conflicts: 237000 | #Constraints: 27173
350.78/351.78 c #Conflicts: 238000 | #Constraints: 28173
350.78/351.78 c #Conflicts: 239000 | #Constraints: 29173
350.78/351.78 c #Conflicts: 240000 | #Constraints: 30173
350.78/351.78 c #Conflicts: 241000 | #Constraints: 31173
350.78/351.78 c #Conflicts: 242000 | #Constraints: 32173
350.78/351.78 c #Conflicts: 243000 | #Constraints: 33173
350.78/351.78 c #Conflicts: 244000 | #Constraints: 34173
350.78/351.78 c #Conflicts: 245000 | #Constraints: 35173
350.78/351.78 c #Conflicts: 246000 | #Constraints: 36173
350.78/351.78 c INPROCESSING
350.78/351.78 c GARBAGE COLLECT
350.78/351.78 c #Conflicts: 247000 | #Constraints: 27368
350.78/351.78 c #Conflicts: 248000 | #Constraints: 28368
350.78/351.78 c #Conflicts: 249000 | #Constraints: 29368
350.78/351.78 c #Conflicts: 250000 | #Constraints: 30368
350.78/351.78 c #Conflicts: 251000 | #Constraints: 31368
350.78/351.78 c #Conflicts: 252000 | #Constraints: 32368
350.78/351.78 c #Conflicts: 253000 | #Constraints: 33368
350.78/351.78 c #Conflicts: 254000 | #Constraints: 34368
350.78/351.78 c #Conflicts: 255000 | #Constraints: 35368
350.78/351.78 c #Conflicts: 256000 | #Constraints: 36368
350.78/351.78 c INPROCESSING
350.78/351.78 c GARBAGE COLLECT
350.78/351.78 c #Conflicts: 257000 | #Constraints: 27370
350.78/351.78 c #Conflicts: 258000 | #Constraints: 28370
350.78/351.78 c #Conflicts: 259000 | #Constraints: 29370
350.78/351.78 c #Conflicts: 260000 | #Constraints: 30370
350.78/351.78 c #Conflicts: 261000 | #Constraints: 31370
350.78/351.78 c #Conflicts: 262000 | #Constraints: 32370
350.78/351.78 c #Conflicts: 263000 | #Constraints: 33370
350.78/351.78 c #Conflicts: 264000 | #Constraints: 34370
350.78/351.78 c #Conflicts: 265000 | #Constraints: 35370
350.78/351.78 c #Conflicts: 266000 | #Constraints: 36370
350.78/351.78 c INPROCESSING
350.78/351.78 c GARBAGE COLLECT
350.78/351.78 c #Conflicts: 267000 | #Constraints: 27178
350.78/351.78 c #Conflicts: 268000 | #Constraints: 28178
350.78/351.78 c #Conflicts: 269000 | #Constraints: 29178
350.78/351.78 c #Conflicts: 270000 | #Constraints: 30178
350.78/351.78 c #Conflicts: 271000 | #Constraints: 31178
350.78/351.78 c #Conflicts: 272000 | #Constraints: 32178
350.78/351.78 c #Conflicts: 273000 | #Constraints: 33178
350.78/351.78 c #Conflicts: 274000 | #Constraints: 34178
350.78/351.78 c #Conflicts: 275000 | #Constraints: 35178
350.78/351.78 c #Conflicts: 276000 | #Constraints: 36178
350.78/351.78 c #Conflicts: 277000 | #Constraints: 37178
350.78/351.78 c INPROCESSING
350.78/351.78 c GARBAGE COLLECT
350.78/351.78 c #Conflicts: 278000 | #Constraints: 27766
350.78/351.78 c #Conflicts: 279000 | #Constraints: 28766
350.78/351.78 c #Conflicts: 280000 | #Constraints: 29766
350.78/351.78 c #Conflicts: 281000 | #Constraints: 30766
350.78/351.78 c #Conflicts: 282000 | #Constraints: 31766
350.78/351.78 c #Conflicts: 283000 | #Constraints: 32766
350.78/351.78 c #Conflicts: 284000 | #Constraints: 33766
350.78/351.78 c #Conflicts: 285000 | #Constraints: 34766
350.78/351.78 c #Conflicts: 286000 | #Constraints: 35766
350.78/351.78 c #Conflicts: 287000 | #Constraints: 36766
350.78/351.78 c #Conflicts: 288000 | #Constraints: 37766
350.78/351.78 c INPROCESSING
350.78/351.78 c GARBAGE COLLECT
350.78/351.78 c #Conflicts: 289000 | #Constraints: 28164
350.78/351.78 c #Conflicts: 290000 | #Constraints: 29164
350.78/351.78 c #Conflicts: 291000 | #Constraints: 30164
350.78/351.78 c #Conflicts: 292000 | #Constraints: 31164
350.78/351.78 c #Conflicts: 293000 | #Constraints: 32164
350.78/351.78 c #Conflicts: 294000 | #Constraints: 33164
350.78/351.78 c #Conflicts: 295000 | #Constraints: 34164
350.78/351.78 c #Conflicts: 296000 | #Constraints: 35164
350.78/351.78 c #Conflicts: 297000 | #Constraints: 36164
350.78/351.78 c #Conflicts: 298000 | #Constraints: 37164
350.78/351.78 c #Conflicts: 299000 | #Constraints: 38164
367.42/368.48 c INPROCESSING
367.42/368.48 c GARBAGE COLLECT
367.42/368.48 c #Conflicts: 300000 | #Constraints: 28381
367.42/368.48 c #Conflicts: 301000 | #Constraints: 29381
367.42/368.48 c #Conflicts: 302000 | #Constraints: 30381
367.42/368.48 c #Conflicts: 303000 | #Constraints: 31381
367.42/368.48 c #Conflicts: 304000 | #Constraints: 32381
367.42/368.48 c #Conflicts: 305000 | #Constraints: 33381
367.42/368.48 c #Conflicts: 306000 | #Constraints: 34381
367.42/368.48 c #Conflicts: 307000 | #Constraints: 35381
367.42/368.48 c #Conflicts: 308000 | #Constraints: 36381
367.42/368.48 c #Conflicts: 309000 | #Constraints: 37381
367.42/368.48 c #Conflicts: 310000 | #Constraints: 38381
367.42/368.48 c INPROCESSING
367.42/368.48 c GARBAGE COLLECT
367.42/368.48 c #Conflicts: 311000 | #Constraints: 28379
367.42/368.48 c #Conflicts: 312000 | #Constraints: 29379
367.42/368.48 c #Conflicts: 313000 | #Constraints: 30379
367.42/368.48 c #Conflicts: 314000 | #Constraints: 31379
367.42/368.48 c #Conflicts: 315000 | #Constraints: 32379
367.42/368.48 c #Conflicts: 316000 | #Constraints: 33379
367.42/368.48 c #Conflicts: 317000 | #Constraints: 34379
367.42/368.48 c #Conflicts: 318000 | #Constraints: 35379
367.42/368.48 c #Conflicts: 319000 | #Constraints: 36379
367.42/368.48 c #Conflicts: 320000 | #Constraints: 37379
367.42/368.48 c #Conflicts: 321000 | #Constraints: 38379
367.42/368.48 c INPROCESSING
367.42/368.48 c GARBAGE COLLECT
367.42/368.48 c #Conflicts: 322000 | #Constraints: 28171
367.42/368.48 c #Conflicts: 323000 | #Constraints: 29171
367.42/368.48 c #Conflicts: 324000 | #Constraints: 30171
367.42/368.48 c #Conflicts: 325000 | #Constraints: 31171
367.42/368.48 c #Conflicts: 326000 | #Constraints: 32171
367.42/368.48 c #Conflicts: 327000 | #Constraints: 33171
367.42/368.48 c #Conflicts: 328000 | #Constraints: 34171
367.42/368.48 c #Conflicts: 329000 | #Constraints: 35171
367.42/368.48 c #Conflicts: 330000 | #Constraints: 36171
367.42/368.48 c #Conflicts: 331000 | #Constraints: 37171
367.42/368.48 c #Conflicts: 332000 | #Constraints: 38171
367.42/368.48 c #Conflicts: 333000 | #Constraints: 39171
367.42/368.48 c INPROCESSING
367.42/368.48 c GARBAGE COLLECT
367.42/368.48 c #Conflicts: 334000 | #Constraints: 28770
367.42/368.48 c #Conflicts: 335000 | #Constraints: 29770
367.42/368.48 c #Conflicts: 336000 | #Constraints: 30770
367.42/368.48 c #Conflicts: 337000 | #Constraints: 31770
367.42/368.48 c #Conflicts: 338000 | #Constraints: 32770
367.42/368.48 c #Conflicts: 339000 | #Constraints: 33770
367.42/368.48 c #Conflicts: 340000 | #Constraints: 34770
367.42/368.48 c #Conflicts: 341000 | #Constraints: 35770
367.42/368.48 c #Conflicts: 342000 | #Constraints: 36770
367.42/368.48 c #Conflicts: 343000 | #Constraints: 37770
367.42/368.48 c #Conflicts: 344000 | #Constraints: 38770
367.42/368.48 c #Conflicts: 345000 | #Constraints: 39770
367.42/368.48 c INPROCESSING
367.42/368.48 c GARBAGE COLLECT
367.42/368.48 c #Conflicts: 346000 | #Constraints: 29182
367.42/368.48 c #Conflicts: 347000 | #Constraints: 30182
367.42/368.48 c #Conflicts: 348000 | #Constraints: 31182
367.42/368.48 c #Conflicts: 349000 | #Constraints: 32182
367.42/368.48 c #Conflicts: 350000 | #Constraints: 33182
367.42/368.48 c #Conflicts: 351000 | #Constraints: 34182
367.42/368.48 c #Conflicts: 352000 | #Constraints: 35182
367.42/368.48 c #Conflicts: 353000 | #Constraints: 36182
367.42/368.48 c #Conflicts: 354000 | #Constraints: 37182
367.42/368.48 c #Conflicts: 355000 | #Constraints: 38182
367.42/368.48 c #Conflicts: 356000 | #Constraints: 39182
367.42/368.48 c #Conflicts: 357000 | #Constraints: 40182
367.42/368.48 c INPROCESSING
367.42/368.48 c GARBAGE COLLECT
367.42/368.48 c #Conflicts: 358000 | #Constraints: 29383
367.42/368.48 c #Conflicts: 359000 | #Constraints: 30383
367.42/368.48 c #Conflicts: 360000 | #Constraints: 31383
367.42/368.48 c #Conflicts: 361000 | #Constraints: 32383
367.42/368.48 c #Conflicts: 362000 | #Constraints: 33383
367.42/368.48 c #Conflicts: 363000 | #Constraints: 34383
367.42/368.48 c #Conflicts: 364000 | #Constraints: 35383
367.42/368.48 c #Conflicts: 365000 | #Constraints: 36383
367.42/368.48 c #Conflicts: 366000 | #Constraints: 37383
367.42/368.48 c #Conflicts: 367000 | #Constraints: 38383
367.42/368.48 c #Conflicts: 368000 | #Constraints: 39383
367.42/368.48 c #Conflicts: 369000 | #Constraints: 40383
367.42/368.48 c INPROCESSING
367.42/368.48 c GARBAGE COLLECT
367.42/368.48 c #Conflicts: 370000 | #Constraints: 29393
367.42/368.48 c #Conflicts: 371000 | #Constraints: 30393
367.42/368.48 c #Conflicts: 372000 | #Constraints: 31393
367.42/368.48 c #Conflicts: 373000 | #Constraints: 32393
385.78/386.83 c #Conflicts: 374000 | #Constraints: 33393
385.78/386.83 c #Conflicts: 375000 | #Constraints: 34393
385.78/386.83 c #Conflicts: 376000 | #Constraints: 35393
385.78/386.83 c #Conflicts: 377000 | #Constraints: 36393
385.78/386.83 c #Conflicts: 378000 | #Constraints: 37393
385.78/386.83 c #Conflicts: 379000 | #Constraints: 38393
385.78/386.83 c #Conflicts: 380000 | #Constraints: 39393
385.78/386.83 c #Conflicts: 381000 | #Constraints: 40393
385.78/386.83 c INPROCESSING
385.78/386.83 c GARBAGE COLLECT
385.78/386.83 c #Conflicts: 382000 | #Constraints: 29199
385.78/386.83 c #Conflicts: 383000 | #Constraints: 30199
385.78/386.83 c #Conflicts: 384000 | #Constraints: 31199
385.78/386.83 c #Conflicts: 385000 | #Constraints: 32199
385.78/386.83 c #Conflicts: 386000 | #Constraints: 33199
385.78/386.83 c #Conflicts: 387000 | #Constraints: 34199
385.78/386.83 c #Conflicts: 388000 | #Constraints: 35199
385.78/386.83 c #Conflicts: 389000 | #Constraints: 36199
385.78/386.83 c #Conflicts: 390000 | #Constraints: 37199
385.78/386.83 c #Conflicts: 391000 | #Constraints: 38199
385.78/386.83 c #Conflicts: 392000 | #Constraints: 39199
385.78/386.83 c #Conflicts: 393000 | #Constraints: 40199
385.78/386.83 c #Conflicts: 394000 | #Constraints: 41199
385.78/386.83 c INPROCESSING
385.78/386.83 c GARBAGE COLLECT
385.78/386.83 c #Conflicts: 395000 | #Constraints: 29796
385.78/386.83 c #Conflicts: 396000 | #Constraints: 30796
385.78/386.83 c #Conflicts: 397000 | #Constraints: 31796
385.78/386.83 c #Conflicts: 398000 | #Constraints: 32796
385.78/386.83 c #Conflicts: 399000 | #Constraints: 33796
385.78/386.83 c #Conflicts: 400000 | #Constraints: 34796
385.78/386.83 c #Conflicts: 401000 | #Constraints: 35796
385.78/386.83 c #Conflicts: 402000 | #Constraints: 36796
385.78/386.83 c #Conflicts: 403000 | #Constraints: 37796
385.78/386.83 c #Conflicts: 404000 | #Constraints: 38796
385.78/386.83 c #Conflicts: 405000 | #Constraints: 39796
385.78/386.83 c #Conflicts: 406000 | #Constraints: 40796
385.78/386.83 c #Conflicts: 407000 | #Constraints: 41796
385.78/386.83 c INPROCESSING
385.78/386.83 c GARBAGE COLLECT
385.78/386.83 c #Conflicts: 408000 | #Constraints: 30197
385.78/386.83 c #Conflicts: 409000 | #Constraints: 31197
385.78/386.83 c #Conflicts: 410000 | #Constraints: 32197
385.78/386.83 c #Conflicts: 411000 | #Constraints: 33197
385.78/386.83 c #Conflicts: 412000 | #Constraints: 34197
385.78/386.83 c #Conflicts: 413000 | #Constraints: 35197
385.78/386.83 c #Conflicts: 414000 | #Constraints: 36197
385.78/386.83 c #Conflicts: 415000 | #Constraints: 37197
385.78/386.83 c #Conflicts: 416000 | #Constraints: 38197
385.78/386.83 c #Conflicts: 417000 | #Constraints: 39197
385.78/386.83 c #Conflicts: 418000 | #Constraints: 40197
385.78/386.83 c #Conflicts: 419000 | #Constraints: 41197
385.78/386.83 c #Conflicts: 420000 | #Constraints: 42197
385.78/386.83 c INPROCESSING
385.78/386.83 c GARBAGE COLLECT
385.78/386.83 c #Conflicts: 421000 | #Constraints: 30409
385.78/386.83 c #Conflicts: 422000 | #Constraints: 31409
385.78/386.83 c #Conflicts: 423000 | #Constraints: 32409
385.78/386.83 c #Conflicts: 424000 | #Constraints: 33409
385.78/386.83 c #Conflicts: 425000 | #Constraints: 34409
385.78/386.83 c #Conflicts: 426000 | #Constraints: 35409
385.78/386.83 c #Conflicts: 427000 | #Constraints: 36409
385.78/386.83 c #Conflicts: 428000 | #Constraints: 37409
385.78/386.83 c #Conflicts: 429000 | #Constraints: 38409
385.78/386.83 c #Conflicts: 430000 | #Constraints: 39409
385.78/386.83 c #Conflicts: 431000 | #Constraints: 40409
385.78/386.83 c #Conflicts: 432000 | #Constraints: 41409
385.78/386.83 c #Conflicts: 433000 | #Constraints: 42409
385.78/386.83 c INPROCESSING
385.78/386.83 c GARBAGE COLLECT
385.78/386.83 c #Conflicts: 434000 | #Constraints: 30409
385.78/386.83 c #Conflicts: 435000 | #Constraints: 31409
385.78/386.83 c #Conflicts: 436000 | #Constraints: 32409
385.78/386.83 c #Conflicts: 437000 | #Constraints: 33409
385.78/386.83 c #Conflicts: 438000 | #Constraints: 34409
385.78/386.83 c #Conflicts: 439000 | #Constraints: 35409
385.78/386.83 c #Conflicts: 440000 | #Constraints: 36409
385.78/386.83 c #Conflicts: 441000 | #Constraints: 37409
385.78/386.83 c #Conflicts: 442000 | #Constraints: 38409
385.78/386.83 c #Conflicts: 443000 | #Constraints: 39409
385.78/386.83 c #Conflicts: 444000 | #Constraints: 40409
385.78/386.83 c #Conflicts: 445000 | #Constraints: 41409
385.78/386.83 c #Conflicts: 446000 | #Constraints: 42409
385.78/386.83 c INPROCESSING
385.78/386.83 c GARBAGE COLLECT
385.78/386.83 c #Conflicts: 447000 | #Constraints: 30200
385.78/386.83 c #Conflicts: 448000 | #Constraints: 31200
406.03/407.19 c #Conflicts: 449000 | #Constraints: 32200
406.03/407.19 c #Conflicts: 450000 | #Constraints: 33200
406.03/407.19 c #Conflicts: 451000 | #Constraints: 34200
406.03/407.19 c #Conflicts: 452000 | #Constraints: 35200
406.03/407.19 c #Conflicts: 453000 | #Constraints: 36200
406.03/407.19 c #Conflicts: 454000 | #Constraints: 37200
406.03/407.19 c #Conflicts: 455000 | #Constraints: 38200
406.03/407.19 c #Conflicts: 456000 | #Constraints: 39200
406.03/407.19 c #Conflicts: 457000 | #Constraints: 40200
406.03/407.19 c #Conflicts: 458000 | #Constraints: 41200
406.03/407.19 c #Conflicts: 459000 | #Constraints: 42200
406.03/407.19 c #Conflicts: 460000 | #Constraints: 43200
406.03/407.19 c INPROCESSING
406.03/407.19 c GARBAGE COLLECT
406.03/407.19 c #Conflicts: 461000 | #Constraints: 30794
406.03/407.19 c #Conflicts: 462000 | #Constraints: 31794
406.03/407.19 c #Conflicts: 463000 | #Constraints: 32794
406.03/407.19 c #Conflicts: 464000 | #Constraints: 33794
406.03/407.19 c #Conflicts: 465000 | #Constraints: 34794
406.03/407.19 c #Conflicts: 466000 | #Constraints: 35794
406.03/407.19 c #Conflicts: 467000 | #Constraints: 36794
406.03/407.19 c #Conflicts: 468000 | #Constraints: 37794
406.03/407.19 c #Conflicts: 469000 | #Constraints: 38794
406.03/407.19 c #Conflicts: 470000 | #Constraints: 39794
406.03/407.19 c #Conflicts: 471000 | #Constraints: 40794
406.03/407.19 c #Conflicts: 472000 | #Constraints: 41794
406.03/407.19 c #Conflicts: 473000 | #Constraints: 42794
406.03/407.19 c #Conflicts: 474000 | #Constraints: 43794
406.03/407.19 c INPROCESSING
406.03/407.19 c GARBAGE COLLECT
406.03/407.19 c #Conflicts: 475000 | #Constraints: 31193
406.03/407.19 c #Conflicts: 476000 | #Constraints: 32193
406.03/407.19 c #Conflicts: 477000 | #Constraints: 33193
406.03/407.19 c #Conflicts: 478000 | #Constraints: 34193
406.03/407.19 c #Conflicts: 479000 | #Constraints: 35193
406.03/407.19 c #Conflicts: 480000 | #Constraints: 36193
406.03/407.19 c #Conflicts: 481000 | #Constraints: 37193
406.03/407.19 c #Conflicts: 482000 | #Constraints: 38193
406.03/407.19 c #Conflicts: 483000 | #Constraints: 39193
406.03/407.19 c #Conflicts: 484000 | #Constraints: 40193
406.03/407.19 c #Conflicts: 485000 | #Constraints: 41193
406.03/407.19 c #Conflicts: 486000 | #Constraints: 42193
406.03/407.19 c #Conflicts: 487000 | #Constraints: 43193
406.03/407.19 c #Conflicts: 488000 | #Constraints: 44193
406.03/407.19 c INPROCESSING
406.03/407.19 c GARBAGE COLLECT
406.03/407.19 c #Conflicts: 489000 | #Constraints: 31401
406.03/407.19 c #Conflicts: 490000 | #Constraints: 32401
406.03/407.19 c #Conflicts: 491000 | #Constraints: 33401
406.03/407.19 c #Conflicts: 492000 | #Constraints: 34401
406.03/407.19 c #Conflicts: 493000 | #Constraints: 35401
406.03/407.19 c #Conflicts: 494000 | #Constraints: 36401
406.03/407.19 c #Conflicts: 495000 | #Constraints: 37401
406.03/407.19 c #Conflicts: 496000 | #Constraints: 38401
406.03/407.19 c #Conflicts: 497000 | #Constraints: 39401
406.03/407.19 c #Conflicts: 498000 | #Constraints: 40401
406.03/407.19 c #Conflicts: 499000 | #Constraints: 41401
406.03/407.19 c #Conflicts: 500000 | #Constraints: 42401
406.03/407.19 c #Conflicts: 501000 | #Constraints: 43401
406.03/407.19 c #Conflicts: 502000 | #Constraints: 44401
406.03/407.19 c INPROCESSING
406.03/407.19 c GARBAGE COLLECT
406.03/407.19 c #Conflicts: 503000 | #Constraints: 31405
406.03/407.19 c #Conflicts: 504000 | #Constraints: 32405
406.03/407.19 c #Conflicts: 505000 | #Constraints: 33405
406.03/407.19 c #Conflicts: 506000 | #Constraints: 34405
406.03/407.19 c #Conflicts: 507000 | #Constraints: 35405
406.03/407.19 c #Conflicts: 508000 | #Constraints: 36405
406.03/407.19 c #Conflicts: 509000 | #Constraints: 37405
406.03/407.19 c #Conflicts: 510000 | #Constraints: 38405
406.03/407.19 c #Conflicts: 511000 | #Constraints: 39405
406.03/407.19 c #Conflicts: 512000 | #Constraints: 40405
406.03/407.19 c #Conflicts: 513000 | #Constraints: 41405
406.03/407.19 c #Conflicts: 514000 | #Constraints: 42405
406.03/407.19 c #Conflicts: 515000 | #Constraints: 43405
406.03/407.19 c #Conflicts: 516000 | #Constraints: 44405
406.03/407.19 c INPROCESSING
406.03/407.19 c GARBAGE COLLECT
406.03/407.19 c #Conflicts: 517000 | #Constraints: 31191
406.03/407.19 c #Conflicts: 518000 | #Constraints: 32191
406.03/407.19 c #Conflicts: 519000 | #Constraints: 33191
406.03/407.19 c #Conflicts: 520000 | #Constraints: 34191
406.03/407.19 c #Conflicts: 521000 | #Constraints: 35191
406.03/407.19 c #Conflicts: 522000 | #Constraints: 36191
406.03/407.19 c #Conflicts: 523000 | #Constraints: 37191
424.97/426.14 c #Conflicts: 524000 | #Constraints: 38191
424.97/426.14 c #Conflicts: 525000 | #Constraints: 39191
424.97/426.14 c #Conflicts: 526000 | #Constraints: 40191
424.97/426.14 c #Conflicts: 527000 | #Constraints: 41191
424.97/426.14 c #Conflicts: 528000 | #Constraints: 42191
424.97/426.14 c #Conflicts: 529000 | #Constraints: 43191
424.97/426.14 c #Conflicts: 530000 | #Constraints: 44191
424.97/426.14 c #Conflicts: 531000 | #Constraints: 45191
424.97/426.14 c INPROCESSING
424.97/426.14 c GARBAGE COLLECT
424.97/426.14 c #Conflicts: 532000 | #Constraints: 31803
424.97/426.14 c #Conflicts: 533000 | #Constraints: 32803
424.97/426.14 c #Conflicts: 534000 | #Constraints: 33803
424.97/426.14 c #Conflicts: 535000 | #Constraints: 34803
424.97/426.14 c #Conflicts: 536000 | #Constraints: 35803
424.97/426.14 c #Conflicts: 537000 | #Constraints: 36803
424.97/426.14 c #Conflicts: 538000 | #Constraints: 37803
424.97/426.14 c #Conflicts: 539000 | #Constraints: 38803
424.97/426.14 c #Conflicts: 540000 | #Constraints: 39803
424.97/426.14 c #Conflicts: 541000 | #Constraints: 40803
424.97/426.14 c #Conflicts: 542000 | #Constraints: 41803
424.97/426.14 c #Conflicts: 543000 | #Constraints: 42803
424.97/426.14 c #Conflicts: 544000 | #Constraints: 43803
424.97/426.14 c #Conflicts: 545000 | #Constraints: 44803
424.97/426.14 c #Conflicts: 546000 | #Constraints: 45803
424.97/426.14 c INPROCESSING
424.97/426.14 c GARBAGE COLLECT
424.97/426.14 c #Conflicts: 547000 | #Constraints: 32206
424.97/426.14 c #Conflicts: 548000 | #Constraints: 33206
424.97/426.14 c #Conflicts: 549000 | #Constraints: 34206
424.97/426.14 c #Conflicts: 550000 | #Constraints: 35206
424.97/426.14 c #Conflicts: 551000 | #Constraints: 36206
424.97/426.14 c #Conflicts: 552000 | #Constraints: 37206
424.97/426.14 c #Conflicts: 553000 | #Constraints: 38206
424.97/426.14 c #Conflicts: 554000 | #Constraints: 39206
424.97/426.14 c #Conflicts: 555000 | #Constraints: 40206
424.97/426.14 c #Conflicts: 556000 | #Constraints: 41206
424.97/426.14 c #Conflicts: 557000 | #Constraints: 42206
424.97/426.14 c #Conflicts: 558000 | #Constraints: 43206
424.97/426.14 c #Conflicts: 559000 | #Constraints: 44206
424.97/426.14 c #Conflicts: 560000 | #Constraints: 45206
424.97/426.14 c #Conflicts: 561000 | #Constraints: 46206
424.97/426.14 c INPROCESSING
424.97/426.14 c GARBAGE COLLECT
424.97/426.14 c #Conflicts: 562000 | #Constraints: 32406
424.97/426.14 c #Conflicts: 563000 | #Constraints: 33406
424.97/426.14 c #Conflicts: 564000 | #Constraints: 34406
424.97/426.14 c #Conflicts: 565000 | #Constraints: 35406
424.97/426.14 c #Conflicts: 566000 | #Constraints: 36406
424.97/426.14 c #Conflicts: 567000 | #Constraints: 37406
424.97/426.14 c #Conflicts: 568000 | #Constraints: 38406
424.97/426.14 c #Conflicts: 569000 | #Constraints: 39406
424.97/426.14 c #Conflicts: 570000 | #Constraints: 40406
424.97/426.14 c #Conflicts: 571000 | #Constraints: 41406
424.97/426.14 c #Conflicts: 572000 | #Constraints: 42406
424.97/426.14 c #Conflicts: 573000 | #Constraints: 43406
424.97/426.14 c #Conflicts: 574000 | #Constraints: 44406
424.97/426.14 c #Conflicts: 575000 | #Constraints: 45406
424.97/426.14 c #Conflicts: 576000 | #Constraints: 46406
424.97/426.14 c INPROCESSING
424.97/426.14 c GARBAGE COLLECT
424.97/426.14 c #Conflicts: 577000 | #Constraints: 32408
424.97/426.14 c #Conflicts: 578000 | #Constraints: 33408
424.97/426.14 c #Conflicts: 579000 | #Constraints: 34408
424.97/426.14 c #Conflicts: 580000 | #Constraints: 35408
424.97/426.14 c #Conflicts: 581000 | #Constraints: 36408
424.97/426.14 c #Conflicts: 582000 | #Constraints: 37408
424.97/426.14 c #Conflicts: 583000 | #Constraints: 38408
424.97/426.14 c #Conflicts: 584000 | #Constraints: 39408
424.97/426.14 c #Conflicts: 585000 | #Constraints: 40408
424.97/426.14 c #Conflicts: 586000 | #Constraints: 41408
424.97/426.14 c #Conflicts: 587000 | #Constraints: 42408
424.97/426.14 c #Conflicts: 588000 | #Constraints: 43408
424.97/426.14 c #Conflicts: 589000 | #Constraints: 44408
424.97/426.14 c #Conflicts: 590000 | #Constraints: 45408
424.97/426.14 c #Conflicts: 591000 | #Constraints: 46408
424.97/426.14 c INPROCESSING
424.97/426.14 c GARBAGE COLLECT
424.97/426.14 c #Conflicts: 592000 | #Constraints: 32217
424.97/426.14 c #Conflicts: 593000 | #Constraints: 33217
424.97/426.14 c #Conflicts: 594000 | #Constraints: 34217
424.97/426.14 c #Conflicts: 595000 | #Constraints: 35217
424.97/426.14 c #Conflicts: 596000 | #Constraints: 36217
424.97/426.14 c #Conflicts: 597000 | #Constraints: 37217
424.97/426.14 c #Conflicts: 598000 | #Constraints: 38217
424.97/426.14 c #Conflicts: 599000 | #Constraints: 39217
444.42/445.61 c #Conflicts: 600000 | #Constraints: 40217
444.42/445.61 c #Conflicts: 601000 | #Constraints: 41217
444.42/445.61 c #Conflicts: 602000 | #Constraints: 42217
444.42/445.61 c #Conflicts: 603000 | #Constraints: 43217
444.42/445.61 c #Conflicts: 604000 | #Constraints: 44217
444.42/445.61 c #Conflicts: 605000 | #Constraints: 45217
444.42/445.61 c #Conflicts: 606000 | #Constraints: 46217
444.42/445.61 c #Conflicts: 607000 | #Constraints: 47217
444.42/445.61 c INPROCESSING
444.42/445.61 c GARBAGE COLLECT
444.42/445.61 c #Conflicts: 608000 | #Constraints: 32812
444.42/445.61 c #Conflicts: 609000 | #Constraints: 33812
444.42/445.61 c #Conflicts: 610000 | #Constraints: 34812
444.42/445.61 c #Conflicts: 611000 | #Constraints: 35812
444.42/445.61 c #Conflicts: 612000 | #Constraints: 36812
444.42/445.61 c #Conflicts: 613000 | #Constraints: 37812
444.42/445.61 c #Conflicts: 614000 | #Constraints: 38812
444.42/445.61 c #Conflicts: 615000 | #Constraints: 39812
444.42/445.61 c #Conflicts: 616000 | #Constraints: 40812
444.42/445.61 c #Conflicts: 617000 | #Constraints: 41812
444.42/445.61 c #Conflicts: 618000 | #Constraints: 42812
444.42/445.61 c #Conflicts: 619000 | #Constraints: 43812
444.42/445.61 c #Conflicts: 620000 | #Constraints: 44812
444.42/445.61 c #Conflicts: 621000 | #Constraints: 45812
444.42/445.61 c #Conflicts: 622000 | #Constraints: 46812
444.42/445.61 c #Conflicts: 623000 | #Constraints: 47812
444.42/445.61 c INPROCESSING
444.42/445.61 c GARBAGE COLLECT
444.42/445.61 c #Conflicts: 624000 | #Constraints: 33203
444.42/445.61 c #Conflicts: 625000 | #Constraints: 34203
444.42/445.61 c #Conflicts: 626000 | #Constraints: 35203
444.42/445.61 c #Conflicts: 627000 | #Constraints: 36203
444.42/445.61 c #Conflicts: 628000 | #Constraints: 37203
444.42/445.61 c #Conflicts: 629000 | #Constraints: 38203
444.42/445.61 c #Conflicts: 630000 | #Constraints: 39203
444.42/445.61 c #Conflicts: 631000 | #Constraints: 40203
444.42/445.61 c #Conflicts: 632000 | #Constraints: 41203
444.42/445.61 c #Conflicts: 633000 | #Constraints: 42203
444.42/445.61 c #Conflicts: 634000 | #Constraints: 43203
444.42/445.61 c #Conflicts: 635000 | #Constraints: 44203
444.42/445.61 c #Conflicts: 636000 | #Constraints: 45203
444.42/445.61 c #Conflicts: 637000 | #Constraints: 46203
444.42/445.61 c #Conflicts: 638000 | #Constraints: 47203
444.42/445.61 c #Conflicts: 639000 | #Constraints: 48203
444.42/445.61 c INPROCESSING
444.42/445.61 c GARBAGE COLLECT
444.42/445.61 c #Conflicts: 640000 | #Constraints: 33394
444.42/445.61 c #Conflicts: 641000 | #Constraints: 34394
444.42/445.61 c #Conflicts: 642000 | #Constraints: 35394
444.42/445.61 c #Conflicts: 643000 | #Constraints: 36394
444.42/445.61 c #Conflicts: 644000 | #Constraints: 37394
444.42/445.61 c #Conflicts: 645000 | #Constraints: 38394
444.42/445.61 c #Conflicts: 646000 | #Constraints: 39394
444.42/445.61 c #Conflicts: 647000 | #Constraints: 40394
444.42/445.61 c #Conflicts: 648000 | #Constraints: 41394
444.42/445.61 c #Conflicts: 649000 | #Constraints: 42394
444.42/445.61 c #Conflicts: 650000 | #Constraints: 43394
444.42/445.61 c #Conflicts: 651000 | #Constraints: 44394
444.42/445.61 c #Conflicts: 652000 | #Constraints: 45394
444.42/445.61 c #Conflicts: 653000 | #Constraints: 46394
444.42/445.61 c #Conflicts: 654000 | #Constraints: 47394
444.42/445.61 c #Conflicts: 655000 | #Constraints: 48394
444.42/445.61 c INPROCESSING
444.42/445.61 c GARBAGE COLLECT
444.42/445.61 c #Conflicts: 656000 | #Constraints: 33394
444.42/445.61 c #Conflicts: 657000 | #Constraints: 34394
444.42/445.61 c #Conflicts: 658000 | #Constraints: 35394
444.42/445.61 c #Conflicts: 659000 | #Constraints: 36394
444.42/445.61 c #Conflicts: 660000 | #Constraints: 37394
444.42/445.61 c #Conflicts: 661000 | #Constraints: 38394
444.42/445.61 c #Conflicts: 662000 | #Constraints: 39394
444.42/445.61 c #Conflicts: 663000 | #Constraints: 40394
444.42/445.61 c #Conflicts: 664000 | #Constraints: 41394
444.42/445.61 c #Conflicts: 665000 | #Constraints: 42394
444.42/445.61 c #Conflicts: 666000 | #Constraints: 43394
444.42/445.61 c #Conflicts: 667000 | #Constraints: 44394
444.42/445.61 c #Conflicts: 668000 | #Constraints: 45394
444.42/445.61 c #Conflicts: 669000 | #Constraints: 46394
444.42/445.61 c #Conflicts: 670000 | #Constraints: 47394
444.42/445.61 c #Conflicts: 671000 | #Constraints: 48394
444.42/445.61 c INPROCESSING
444.42/445.61 c GARBAGE COLLECT
444.42/445.61 c #Conflicts: 672000 | #Constraints: 33188
444.42/445.61 c #Conflicts: 673000 | #Constraints: 34188
444.42/445.61 c #Conflicts: 674000 | #Constraints: 35188
444.42/445.61 c #Conflicts: 675000 | #Constraints: 36188
465.47/466.79 c #Conflicts: 676000 | #Constraints: 37188
465.47/466.79 c #Conflicts: 677000 | #Constraints: 38188
465.47/466.79 c #Conflicts: 678000 | #Constraints: 39188
465.47/466.79 c #Conflicts: 679000 | #Constraints: 40188
465.47/466.79 c #Conflicts: 680000 | #Constraints: 41188
465.47/466.79 c #Conflicts: 681000 | #Constraints: 42188
465.47/466.79 c #Conflicts: 682000 | #Constraints: 43188
465.47/466.79 c #Conflicts: 683000 | #Constraints: 44188
465.47/466.79 c #Conflicts: 684000 | #Constraints: 45188
465.47/466.79 c #Conflicts: 685000 | #Constraints: 46188
465.47/466.79 c #Conflicts: 686000 | #Constraints: 47188
465.47/466.79 c #Conflicts: 687000 | #Constraints: 48188
465.47/466.79 c #Conflicts: 688000 | #Constraints: 49188
465.47/466.79 c INPROCESSING
465.47/466.79 c GARBAGE COLLECT
465.47/466.79 c #Conflicts: 689000 | #Constraints: 33807
465.47/466.79 c #Conflicts: 690000 | #Constraints: 34807
465.47/466.79 c #Conflicts: 691000 | #Constraints: 35807
465.47/466.79 c #Conflicts: 692000 | #Constraints: 36807
465.47/466.79 c #Conflicts: 693000 | #Constraints: 37807
465.47/466.79 c #Conflicts: 694000 | #Constraints: 38807
465.47/466.79 c #Conflicts: 695000 | #Constraints: 39807
465.47/466.79 c #Conflicts: 696000 | #Constraints: 40807
465.47/466.79 c #Conflicts: 697000 | #Constraints: 41807
465.47/466.79 c #Conflicts: 698000 | #Constraints: 42807
465.47/466.79 c #Conflicts: 699000 | #Constraints: 43807
465.47/466.79 c #Conflicts: 700000 | #Constraints: 44807
465.47/466.79 c #Conflicts: 701000 | #Constraints: 45807
465.47/466.79 c #Conflicts: 702000 | #Constraints: 46807
465.47/466.79 c #Conflicts: 703000 | #Constraints: 47807
465.47/466.79 c #Conflicts: 704000 | #Constraints: 48807
465.47/466.79 c #Conflicts: 705000 | #Constraints: 49807
465.47/466.79 c INPROCESSING
465.47/466.79 c GARBAGE COLLECT
465.47/466.79 c #Conflicts: 706000 | #Constraints: 34209
465.47/466.79 c #Conflicts: 707000 | #Constraints: 35209
465.47/466.79 c #Conflicts: 708000 | #Constraints: 36209
465.47/466.79 c #Conflicts: 709000 | #Constraints: 37209
465.47/466.79 c #Conflicts: 710000 | #Constraints: 38209
465.47/466.79 c #Conflicts: 711000 | #Constraints: 39209
465.47/466.79 c #Conflicts: 712000 | #Constraints: 40209
465.47/466.79 c #Conflicts: 713000 | #Constraints: 41209
465.47/466.79 c #Conflicts: 714000 | #Constraints: 42209
465.47/466.79 c #Conflicts: 715000 | #Constraints: 43209
465.47/466.79 c #Conflicts: 716000 | #Constraints: 44209
465.47/466.79 c #Conflicts: 717000 | #Constraints: 45209
465.47/466.79 c #Conflicts: 718000 | #Constraints: 46209
465.47/466.79 c #Conflicts: 719000 | #Constraints: 47209
465.47/466.79 c #Conflicts: 720000 | #Constraints: 48209
465.47/466.79 c #Conflicts: 721000 | #Constraints: 49209
465.47/466.79 c #Conflicts: 722000 | #Constraints: 50209
465.47/466.79 c INPROCESSING
465.47/466.79 c GARBAGE COLLECT
465.47/466.79 c #Conflicts: 723000 | #Constraints: 34407
465.47/466.79 c #Conflicts: 724000 | #Constraints: 35407
465.47/466.79 c #Conflicts: 725000 | #Constraints: 36407
465.47/466.79 c #Conflicts: 726000 | #Constraints: 37407
465.47/466.79 c #Conflicts: 727000 | #Constraints: 38407
465.47/466.79 c #Conflicts: 728000 | #Constraints: 39407
465.47/466.79 c #Conflicts: 729000 | #Constraints: 40407
465.47/466.79 c #Conflicts: 730000 | #Constraints: 41407
465.47/466.79 c #Conflicts: 731000 | #Constraints: 42407
465.47/466.79 c #Conflicts: 732000 | #Constraints: 43407
465.47/466.79 c #Conflicts: 733000 | #Constraints: 44407
465.47/466.79 c #Conflicts: 734000 | #Constraints: 45407
465.47/466.79 c #Conflicts: 735000 | #Constraints: 46407
465.47/466.79 c #Conflicts: 736000 | #Constraints: 47407
465.47/466.79 c #Conflicts: 737000 | #Constraints: 48407
465.47/466.79 c #Conflicts: 738000 | #Constraints: 49407
465.47/466.79 c #Conflicts: 739000 | #Constraints: 50407
465.47/466.79 c INPROCESSING
465.47/466.79 c GARBAGE COLLECT
465.47/466.79 c #Conflicts: 740000 | #Constraints: 34420
465.47/466.79 c #Conflicts: 741000 | #Constraints: 35420
465.47/466.79 c #Conflicts: 742000 | #Constraints: 36420
465.47/466.79 c #Conflicts: 743000 | #Constraints: 37420
465.47/466.79 c #Conflicts: 744000 | #Constraints: 38420
465.47/466.79 c #Conflicts: 745000 | #Constraints: 39420
465.47/466.79 c #Conflicts: 746000 | #Constraints: 40420
465.47/466.79 c #Conflicts: 747000 | #Constraints: 41420
465.47/466.79 c #Conflicts: 748000 | #Constraints: 42420
465.47/466.79 c #Conflicts: 749000 | #Constraints: 43420
465.47/466.79 c #Conflicts: 750000 | #Constraints: 44420
465.47/466.79 c #Conflicts: 751000 | #Constraints: 45420
486.42/487.79 c #Conflicts: 752000 | #Constraints: 46420
486.42/487.79 c #Conflicts: 753000 | #Constraints: 47420
486.42/487.79 c #Conflicts: 754000 | #Constraints: 48420
486.42/487.79 c #Conflicts: 755000 | #Constraints: 49420
486.42/487.79 c #Conflicts: 756000 | #Constraints: 50420
486.42/487.79 c INPROCESSING
486.42/487.79 c GARBAGE COLLECT
486.42/487.79 c #Conflicts: 757000 | #Constraints: 34209
486.42/487.79 c #Conflicts: 758000 | #Constraints: 35209
486.42/487.79 c #Conflicts: 759000 | #Constraints: 36209
486.42/487.79 c #Conflicts: 760000 | #Constraints: 37209
486.42/487.79 c #Conflicts: 761000 | #Constraints: 38209
486.42/487.79 c #Conflicts: 762000 | #Constraints: 39209
486.42/487.79 c #Conflicts: 763000 | #Constraints: 40209
486.42/487.79 c #Conflicts: 764000 | #Constraints: 41209
486.42/487.79 c #Conflicts: 765000 | #Constraints: 42209
486.42/487.79 c #Conflicts: 766000 | #Constraints: 43209
486.42/487.79 c #Conflicts: 767000 | #Constraints: 44209
486.42/487.79 c #Conflicts: 768000 | #Constraints: 45209
486.42/487.79 c #Conflicts: 769000 | #Constraints: 46209
486.42/487.79 c #Conflicts: 770000 | #Constraints: 47209
486.42/487.79 c #Conflicts: 771000 | #Constraints: 48209
486.42/487.79 c #Conflicts: 772000 | #Constraints: 49209
486.42/487.79 c #Conflicts: 773000 | #Constraints: 50209
486.42/487.79 c #Conflicts: 774000 | #Constraints: 51209
486.42/487.79 c INPROCESSING
486.42/487.79 c GARBAGE COLLECT
486.42/487.79 c #Conflicts: 775000 | #Constraints: 34823
486.42/487.79 c #Conflicts: 776000 | #Constraints: 35823
486.42/487.79 c #Conflicts: 777000 | #Constraints: 36823
486.42/487.79 c #Conflicts: 778000 | #Constraints: 37823
486.42/487.79 c #Conflicts: 779000 | #Constraints: 38823
486.42/487.79 c #Conflicts: 780000 | #Constraints: 39823
486.42/487.79 c #Conflicts: 781000 | #Constraints: 40823
486.42/487.79 c #Conflicts: 782000 | #Constraints: 41823
486.42/487.79 c #Conflicts: 783000 | #Constraints: 42823
486.42/487.79 c #Conflicts: 784000 | #Constraints: 43823
486.42/487.79 c #Conflicts: 785000 | #Constraints: 44823
486.42/487.79 c #Conflicts: 786000 | #Constraints: 45823
486.42/487.79 c #Conflicts: 787000 | #Constraints: 46823
486.42/487.79 c #Conflicts: 788000 | #Constraints: 47823
486.42/487.79 c #Conflicts: 789000 | #Constraints: 48823
486.42/487.79 c #Conflicts: 790000 | #Constraints: 49823
486.42/487.79 c #Conflicts: 791000 | #Constraints: 50823
486.42/487.79 c #Conflicts: 792000 | #Constraints: 51823
486.42/487.79 c INPROCESSING
486.42/487.79 c GARBAGE COLLECT
486.42/487.79 c #Conflicts: 793000 | #Constraints: 35220
486.42/487.79 c #Conflicts: 794000 | #Constraints: 36220
486.42/487.79 c #Conflicts: 795000 | #Constraints: 37220
486.42/487.79 c #Conflicts: 796000 | #Constraints: 38220
486.42/487.79 c #Conflicts: 797000 | #Constraints: 39220
486.42/487.79 c #Conflicts: 798000 | #Constraints: 40220
486.42/487.79 c #Conflicts: 799000 | #Constraints: 41220
486.42/487.79 c #Conflicts: 800000 | #Constraints: 42220
486.42/487.79 c #Conflicts: 801000 | #Constraints: 43220
486.42/487.79 c #Conflicts: 802000 | #Constraints: 44220
486.42/487.79 c #Conflicts: 803000 | #Constraints: 45220
486.42/487.79 c #Conflicts: 804000 | #Constraints: 46220
486.42/487.79 c #Conflicts: 805000 | #Constraints: 47220
486.42/487.79 c #Conflicts: 806000 | #Constraints: 48220
486.42/487.79 c #Conflicts: 807000 | #Constraints: 49220
486.42/487.79 c #Conflicts: 808000 | #Constraints: 50220
486.42/487.79 c #Conflicts: 809000 | #Constraints: 51220
486.42/487.79 c #Conflicts: 810000 | #Constraints: 52220
486.42/487.79 c INPROCESSING
486.42/487.79 c GARBAGE COLLECT
486.42/487.79 c #Conflicts: 811000 | #Constraints: 35408
486.42/487.79 c #Conflicts: 812000 | #Constraints: 36408
486.42/487.79 c #Conflicts: 813000 | #Constraints: 37408
486.42/487.79 c #Conflicts: 814000 | #Constraints: 38408
486.42/487.79 c #Conflicts: 815000 | #Constraints: 39408
486.42/487.79 c #Conflicts: 816000 | #Constraints: 40408
486.42/487.79 c #Conflicts: 817000 | #Constraints: 41408
486.42/487.79 c #Conflicts: 818000 | #Constraints: 42408
486.42/487.79 c #Conflicts: 819000 | #Constraints: 43408
486.42/487.79 c #Conflicts: 820000 | #Constraints: 44408
486.42/487.79 c #Conflicts: 821000 | #Constraints: 45408
486.42/487.79 c #Conflicts: 822000 | #Constraints: 46408
486.42/487.79 c #Conflicts: 823000 | #Constraints: 47408
486.42/487.79 c #Conflicts: 824000 | #Constraints: 48408
486.42/487.79 c #Conflicts: 825000 | #Constraints: 49408
486.42/487.79 c #Conflicts: 826000 | #Constraints: 50408
486.42/487.79 c #Conflicts: 827000 | #Constraints: 51408
508.07/509.43 c #Conflicts: 828000 | #Constraints: 52408
508.07/509.43 c INPROCESSING
508.07/509.43 c GARBAGE COLLECT
508.07/509.43 c #Conflicts: 829000 | #Constraints: 35425
508.07/509.43 c #Conflicts: 830000 | #Constraints: 36425
508.07/509.43 c #Conflicts: 831000 | #Constraints: 37425
508.07/509.43 c #Conflicts: 832000 | #Constraints: 38425
508.07/509.43 c #Conflicts: 833000 | #Constraints: 39425
508.07/509.43 c #Conflicts: 834000 | #Constraints: 40425
508.07/509.43 c #Conflicts: 835000 | #Constraints: 41425
508.07/509.43 c #Conflicts: 836000 | #Constraints: 42425
508.07/509.43 c #Conflicts: 837000 | #Constraints: 43425
508.07/509.43 c #Conflicts: 838000 | #Constraints: 44425
508.07/509.43 c #Conflicts: 839000 | #Constraints: 45425
508.07/509.43 c #Conflicts: 840000 | #Constraints: 46425
508.07/509.43 c #Conflicts: 841000 | #Constraints: 47425
508.07/509.43 c #Conflicts: 842000 | #Constraints: 48425
508.07/509.43 c #Conflicts: 843000 | #Constraints: 49425
508.07/509.43 c #Conflicts: 844000 | #Constraints: 50425
508.07/509.43 c #Conflicts: 845000 | #Constraints: 51425
508.07/509.43 c #Conflicts: 846000 | #Constraints: 52425
508.07/509.43 c INPROCESSING
508.07/509.43 c GARBAGE COLLECT
508.07/509.43 c #Conflicts: 847000 | #Constraints: 35227
508.07/509.43 c #Conflicts: 848000 | #Constraints: 36227
508.07/509.43 c #Conflicts: 849000 | #Constraints: 37227
508.07/509.43 c #Conflicts: 850000 | #Constraints: 38227
508.07/509.43 c #Conflicts: 851000 | #Constraints: 39227
508.07/509.43 c #Conflicts: 852000 | #Constraints: 40227
508.07/509.43 c #Conflicts: 853000 | #Constraints: 41227
508.07/509.43 c #Conflicts: 854000 | #Constraints: 42227
508.07/509.43 c #Conflicts: 855000 | #Constraints: 43227
508.07/509.43 c #Conflicts: 856000 | #Constraints: 44227
508.07/509.43 c #Conflicts: 857000 | #Constraints: 45227
508.07/509.43 c #Conflicts: 858000 | #Constraints: 46227
508.07/509.43 c #Conflicts: 859000 | #Constraints: 47227
508.07/509.43 c #Conflicts: 860000 | #Constraints: 48227
508.07/509.43 c #Conflicts: 861000 | #Constraints: 49227
508.07/509.43 c #Conflicts: 862000 | #Constraints: 50227
508.07/509.43 c #Conflicts: 863000 | #Constraints: 51227
508.07/509.43 c #Conflicts: 864000 | #Constraints: 52227
508.07/509.43 c #Conflicts: 865000 | #Constraints: 53227
508.07/509.43 c INPROCESSING
508.07/509.43 c GARBAGE COLLECT
508.07/509.43 c #Conflicts: 866000 | #Constraints: 35825
508.07/509.43 c #Conflicts: 867000 | #Constraints: 36825
508.07/509.43 c #Conflicts: 868000 | #Constraints: 37825
508.07/509.43 c #Conflicts: 869000 | #Constraints: 38825
508.07/509.43 c #Conflicts: 870000 | #Constraints: 39825
508.07/509.43 c #Conflicts: 871000 | #Constraints: 40825
508.07/509.43 c #Conflicts: 872000 | #Constraints: 41825
508.07/509.43 c #Conflicts: 873000 | #Constraints: 42825
508.07/509.43 c #Conflicts: 874000 | #Constraints: 43825
508.07/509.43 c #Conflicts: 875000 | #Constraints: 44825
508.07/509.43 c #Conflicts: 876000 | #Constraints: 45825
508.07/509.43 c #Conflicts: 877000 | #Constraints: 46825
508.07/509.43 c #Conflicts: 878000 | #Constraints: 47825
508.07/509.43 c #Conflicts: 879000 | #Constraints: 48825
508.07/509.43 c #Conflicts: 880000 | #Constraints: 49825
508.07/509.43 c #Conflicts: 881000 | #Constraints: 50825
508.07/509.43 c #Conflicts: 882000 | #Constraints: 51825
508.07/509.43 c #Conflicts: 883000 | #Constraints: 52825
508.07/509.43 c #Conflicts: 884000 | #Constraints: 53825
508.07/509.43 c INPROCESSING
508.07/509.43 c GARBAGE COLLECT
508.07/509.43 c #Conflicts: 885000 | #Constraints: 36220
508.07/509.43 c #Conflicts: 886000 | #Constraints: 37220
508.07/509.43 c #Conflicts: 887000 | #Constraints: 38220
508.07/509.43 c #Conflicts: 888000 | #Constraints: 39220
508.07/509.43 c #Conflicts: 889000 | #Constraints: 40220
508.07/509.43 c #Conflicts: 890000 | #Constraints: 41220
508.07/509.43 c #Conflicts: 891000 | #Constraints: 42220
508.07/509.43 c #Conflicts: 892000 | #Constraints: 43220
508.07/509.43 c #Conflicts: 893000 | #Constraints: 44220
508.07/509.43 c #Conflicts: 894000 | #Constraints: 45220
508.07/509.43 c #Conflicts: 895000 | #Constraints: 46220
508.07/509.43 c #Conflicts: 896000 | #Constraints: 47220
508.07/509.43 c #Conflicts: 897000 | #Constraints: 48220
508.07/509.43 c #Conflicts: 898000 | #Constraints: 49220
508.07/509.43 c #Conflicts: 899000 | #Constraints: 50220
508.07/509.43 c #Conflicts: 900000 | #Constraints: 51220
508.07/509.43 c #Conflicts: 901000 | #Constraints: 52220
508.07/509.43 c #Conflicts: 902000 | #Constraints: 53220
508.07/509.43 c #Conflicts: 903000 | #Constraints: 54220
531.01/532.45 c INPROCESSING
531.01/532.45 c GARBAGE COLLECT
531.01/532.45 c #Conflicts: 904000 | #Constraints: 36423
531.01/532.45 c #Conflicts: 905000 | #Constraints: 37423
531.01/532.45 c #Conflicts: 906000 | #Constraints: 38423
531.01/532.45 c #Conflicts: 907000 | #Constraints: 39423
531.01/532.45 c #Conflicts: 908000 | #Constraints: 40423
531.01/532.45 c #Conflicts: 909000 | #Constraints: 41423
531.01/532.45 c #Conflicts: 910000 | #Constraints: 42423
531.01/532.45 c #Conflicts: 911000 | #Constraints: 43423
531.01/532.45 c #Conflicts: 912000 | #Constraints: 44423
531.01/532.45 c #Conflicts: 913000 | #Constraints: 45423
531.01/532.45 c #Conflicts: 914000 | #Constraints: 46423
531.01/532.45 c #Conflicts: 915000 | #Constraints: 47423
531.01/532.45 c #Conflicts: 916000 | #Constraints: 48423
531.01/532.45 c #Conflicts: 917000 | #Constraints: 49423
531.01/532.45 c #Conflicts: 918000 | #Constraints: 50423
531.01/532.45 c #Conflicts: 919000 | #Constraints: 51423
531.01/532.45 c #Conflicts: 920000 | #Constraints: 52423
531.01/532.45 c #Conflicts: 921000 | #Constraints: 53423
531.01/532.45 c #Conflicts: 922000 | #Constraints: 54423
531.01/532.45 c INPROCESSING
531.01/532.45 c GARBAGE COLLECT
531.01/532.45 c #Conflicts: 923000 | #Constraints: 36414
531.01/532.45 c #Conflicts: 924000 | #Constraints: 37414
531.01/532.45 c #Conflicts: 925000 | #Constraints: 38414
531.01/532.45 c #Conflicts: 926000 | #Constraints: 39414
531.01/532.45 c #Conflicts: 927000 | #Constraints: 40414
531.01/532.45 c #Conflicts: 928000 | #Constraints: 41414
531.01/532.45 c #Conflicts: 929000 | #Constraints: 42414
531.01/532.45 c #Conflicts: 930000 | #Constraints: 43414
531.01/532.45 c #Conflicts: 931000 | #Constraints: 44414
531.01/532.45 c #Conflicts: 932000 | #Constraints: 45414
531.01/532.45 c #Conflicts: 933000 | #Constraints: 46414
531.01/532.45 c #Conflicts: 934000 | #Constraints: 47414
531.01/532.45 c #Conflicts: 935000 | #Constraints: 48414
531.01/532.45 c #Conflicts: 936000 | #Constraints: 49414
531.01/532.45 c #Conflicts: 937000 | #Constraints: 50414
531.01/532.45 c #Conflicts: 938000 | #Constraints: 51414
531.01/532.45 c #Conflicts: 939000 | #Constraints: 52414
531.01/532.45 c #Conflicts: 940000 | #Constraints: 53414
531.01/532.45 c #Conflicts: 941000 | #Constraints: 54414
531.01/532.45 c INPROCESSING
531.01/532.45 c GARBAGE COLLECT
531.01/532.45 c #Conflicts: 942000 | #Constraints: 36220
531.01/532.45 c #Conflicts: 943000 | #Constraints: 37220
531.01/532.45 c #Conflicts: 944000 | #Constraints: 38220
531.01/532.45 c #Conflicts: 945000 | #Constraints: 39220
531.01/532.45 c #Conflicts: 946000 | #Constraints: 40220
531.01/532.45 c #Conflicts: 947000 | #Constraints: 41220
531.01/532.45 c #Conflicts: 948000 | #Constraints: 42220
531.01/532.45 c #Conflicts: 949000 | #Constraints: 43220
531.01/532.45 c #Conflicts: 950000 | #Constraints: 44220
531.01/532.45 c #Conflicts: 951000 | #Constraints: 45220
531.01/532.45 c #Conflicts: 952000 | #Constraints: 46220
531.01/532.45 c #Conflicts: 953000 | #Constraints: 47220
531.01/532.45 c #Conflicts: 954000 | #Constraints: 48220
531.01/532.45 c #Conflicts: 955000 | #Constraints: 49220
531.01/532.45 c #Conflicts: 956000 | #Constraints: 50220
531.01/532.45 c #Conflicts: 957000 | #Constraints: 51220
531.01/532.45 c #Conflicts: 958000 | #Constraints: 52220
531.01/532.45 c #Conflicts: 959000 | #Constraints: 53220
531.01/532.45 c #Conflicts: 960000 | #Constraints: 54220
531.01/532.45 c #Conflicts: 961000 | #Constraints: 55220
531.01/532.45 c INPROCESSING
531.01/532.45 c GARBAGE COLLECT
531.01/532.45 c #Conflicts: 962000 | #Constraints: 36832
531.01/532.45 c #Conflicts: 963000 | #Constraints: 37832
531.01/532.45 c #Conflicts: 964000 | #Constraints: 38832
531.01/532.45 c #Conflicts: 965000 | #Constraints: 39832
531.01/532.45 c #Conflicts: 966000 | #Constraints: 40832
531.01/532.45 c #Conflicts: 967000 | #Constraints: 41832
531.01/532.45 c #Conflicts: 968000 | #Constraints: 42832
531.01/532.45 c #Conflicts: 969000 | #Constraints: 43832
531.01/532.45 c #Conflicts: 970000 | #Constraints: 44832
531.01/532.45 c #Conflicts: 971000 | #Constraints: 45832
531.01/532.45 c #Conflicts: 972000 | #Constraints: 46832
531.01/532.45 c #Conflicts: 973000 | #Constraints: 47832
531.01/532.45 c #Conflicts: 974000 | #Constraints: 48832
531.01/532.45 c #Conflicts: 975000 | #Constraints: 49832
531.01/532.45 c #Conflicts: 976000 | #Constraints: 50832
531.01/532.45 c #Conflicts: 977000 | #Constraints: 51832
531.01/532.45 c #Conflicts: 978000 | #Constraints: 52832
531.01/532.45 c #Conflicts: 979000 | #Constraints: 53832
531.01/532.45 c #Conflicts: 980000 | #Constraints: 54832
555.05/556.50 c #Conflicts: 981000 | #Constraints: 55832
555.05/556.50 c INPROCESSING
555.05/556.50 c GARBAGE COLLECT
555.05/556.50 c #Conflicts: 982000 | #Constraints: 37222
555.05/556.50 c #Conflicts: 983000 | #Constraints: 38222
555.05/556.50 c #Conflicts: 984000 | #Constraints: 39222
555.05/556.50 c #Conflicts: 985000 | #Constraints: 40222
555.05/556.50 c #Conflicts: 986000 | #Constraints: 41222
555.05/556.50 c #Conflicts: 987000 | #Constraints: 42222
555.05/556.50 c #Conflicts: 988000 | #Constraints: 43222
555.05/556.50 c #Conflicts: 989000 | #Constraints: 44222
555.05/556.50 c #Conflicts: 990000 | #Constraints: 45222
555.05/556.50 c #Conflicts: 991000 | #Constraints: 46222
555.05/556.50 c #Conflicts: 992000 | #Constraints: 47222
555.05/556.50 c #Conflicts: 993000 | #Constraints: 48222
555.05/556.50 c #Conflicts: 994000 | #Constraints: 49222
555.05/556.50 c #Conflicts: 995000 | #Constraints: 50222
555.05/556.50 c #Conflicts: 996000 | #Constraints: 51222
555.05/556.50 c #Conflicts: 997000 | #Constraints: 52222
555.05/556.50 c #Conflicts: 998000 | #Constraints: 53222
555.05/556.50 c #Conflicts: 999000 | #Constraints: 54222
555.05/556.50 c #Conflicts: 1000000 | #Constraints: 55222
555.05/556.50 c #Conflicts: 1001000 | #Constraints: 56222
555.05/556.50 c INPROCESSING
555.05/556.50 c GARBAGE COLLECT
555.05/556.50 c #Conflicts: 1002000 | #Constraints: 37419
555.05/556.50 c #Conflicts: 1003000 | #Constraints: 38419
555.05/556.50 c #Conflicts: 1004000 | #Constraints: 39419
555.05/556.50 c #Conflicts: 1005000 | #Constraints: 40419
555.05/556.50 c #Conflicts: 1006000 | #Constraints: 41419
555.05/556.50 c #Conflicts: 1007000 | #Constraints: 42419
555.05/556.50 c #Conflicts: 1008000 | #Constraints: 43419
555.05/556.50 c #Conflicts: 1009000 | #Constraints: 44419
555.05/556.50 c #Conflicts: 1010000 | #Constraints: 45419
555.05/556.50 c #Conflicts: 1011000 | #Constraints: 46419
555.05/556.50 c #Conflicts: 1012000 | #Constraints: 47419
555.05/556.50 c #Conflicts: 1013000 | #Constraints: 48419
555.05/556.50 c #Conflicts: 1014000 | #Constraints: 49419
555.05/556.50 c #Conflicts: 1015000 | #Constraints: 50419
555.05/556.50 c #Conflicts: 1016000 | #Constraints: 51419
555.05/556.50 c #Conflicts: 1017000 | #Constraints: 52419
555.05/556.50 c #Conflicts: 1018000 | #Constraints: 53419
555.05/556.50 c #Conflicts: 1019000 | #Constraints: 54419
555.05/556.50 c #Conflicts: 1020000 | #Constraints: 55419
555.05/556.50 c #Conflicts: 1021000 | #Constraints: 56419
555.05/556.50 c INPROCESSING
555.05/556.50 c GARBAGE COLLECT
555.05/556.50 c #Conflicts: 1022000 | #Constraints: 37430
555.05/556.50 c #Conflicts: 1023000 | #Constraints: 38430
555.05/556.50 c #Conflicts: 1024000 | #Constraints: 39430
555.05/556.50 c #Conflicts: 1025000 | #Constraints: 40430
555.05/556.50 c #Conflicts: 1026000 | #Constraints: 41430
555.05/556.50 c #Conflicts: 1027000 | #Constraints: 42430
555.05/556.50 c #Conflicts: 1028000 | #Constraints: 43430
555.05/556.50 c #Conflicts: 1029000 | #Constraints: 44430
555.05/556.50 c #Conflicts: 1030000 | #Constraints: 45430
555.05/556.50 c #Conflicts: 1031000 | #Constraints: 46430
555.05/556.50 c #Conflicts: 1032000 | #Constraints: 47430
555.05/556.50 c #Conflicts: 1033000 | #Constraints: 48430
555.05/556.50 c #Conflicts: 1034000 | #Constraints: 49430
555.05/556.50 c #Conflicts: 1035000 | #Constraints: 50430
555.05/556.50 c #Conflicts: 1036000 | #Constraints: 51430
555.05/556.50 c #Conflicts: 1037000 | #Constraints: 52430
555.05/556.50 c #Conflicts: 1038000 | #Constraints: 53430
555.05/556.50 c #Conflicts: 1039000 | #Constraints: 54430
555.05/556.50 c #Conflicts: 1040000 | #Constraints: 55430
555.05/556.50 c #Conflicts: 1041000 | #Constraints: 56430
555.05/556.50 c INPROCESSING
555.05/556.50 c GARBAGE COLLECT
555.05/556.50 c #Conflicts: 1042000 | #Constraints: 37234
555.05/556.50 c #Conflicts: 1043000 | #Constraints: 38234
555.05/556.50 c #Conflicts: 1044000 | #Constraints: 39234
555.05/556.50 c #Conflicts: 1045000 | #Constraints: 40234
555.05/556.50 c #Conflicts: 1046000 | #Constraints: 41234
555.05/556.50 c #Conflicts: 1047000 | #Constraints: 42234
555.05/556.50 c #Conflicts: 1048000 | #Constraints: 43234
555.05/556.50 c #Conflicts: 1049000 | #Constraints: 44234
555.05/556.50 c #Conflicts: 1050000 | #Constraints: 45234
555.05/556.50 c #Conflicts: 1051000 | #Constraints: 46234
555.05/556.50 c #Conflicts: 1052000 | #Constraints: 47234
555.05/556.50 c #Conflicts: 1053000 | #Constraints: 48234
555.05/556.50 c #Conflicts: 1054000 | #Constraints: 49234
555.05/556.50 c #Conflicts: 1055000 | #Constraints: 50234
555.05/556.50 c #Conflicts: 1056000 | #Constraints: 51234
579.89/581.49 c #Conflicts: 1057000 | #Constraints: 52234
579.89/581.49 c #Conflicts: 1058000 | #Constraints: 53234
579.89/581.49 c #Conflicts: 1059000 | #Constraints: 54234
579.89/581.49 c #Conflicts: 1060000 | #Constraints: 55234
579.89/581.49 c #Conflicts: 1061000 | #Constraints: 56234
579.89/581.49 c #Conflicts: 1062000 | #Constraints: 57234
579.89/581.49 c INPROCESSING
579.89/581.49 c GARBAGE COLLECT
579.89/581.49 c #Conflicts: 1063000 | #Constraints: 37827
579.89/581.49 c #Conflicts: 1064000 | #Constraints: 38827
579.89/581.49 c #Conflicts: 1065000 | #Constraints: 39827
579.89/581.49 c #Conflicts: 1066000 | #Constraints: 40827
579.89/581.49 c #Conflicts: 1067000 | #Constraints: 41827
579.89/581.49 c #Conflicts: 1068000 | #Constraints: 42827
579.89/581.49 c #Conflicts: 1069000 | #Constraints: 43827
579.89/581.49 c #Conflicts: 1070000 | #Constraints: 44827
579.89/581.49 c #Conflicts: 1071000 | #Constraints: 45827
579.89/581.49 c #Conflicts: 1072000 | #Constraints: 46827
579.89/581.49 c #Conflicts: 1073000 | #Constraints: 47827
579.89/581.49 c #Conflicts: 1074000 | #Constraints: 48827
579.89/581.49 c #Conflicts: 1075000 | #Constraints: 49827
579.89/581.49 c #Conflicts: 1076000 | #Constraints: 50827
579.89/581.49 c #Conflicts: 1077000 | #Constraints: 51827
579.89/581.49 c #Conflicts: 1078000 | #Constraints: 52827
579.89/581.49 c #Conflicts: 1079000 | #Constraints: 53827
579.89/581.49 c #Conflicts: 1080000 | #Constraints: 54827
579.89/581.49 c #Conflicts: 1081000 | #Constraints: 55827
579.89/581.49 c #Conflicts: 1082000 | #Constraints: 56827
579.89/581.49 c #Conflicts: 1083000 | #Constraints: 57827
579.89/581.49 c INPROCESSING
579.89/581.49 c GARBAGE COLLECT
579.89/581.49 c #Conflicts: 1084000 | #Constraints: 38240
579.89/581.49 c #Conflicts: 1085000 | #Constraints: 39240
579.89/581.49 c #Conflicts: 1086000 | #Constraints: 40240
579.89/581.49 c #Conflicts: 1087000 | #Constraints: 41240
579.89/581.49 c #Conflicts: 1088000 | #Constraints: 42240
579.89/581.49 c #Conflicts: 1089000 | #Constraints: 43240
579.89/581.49 c #Conflicts: 1090000 | #Constraints: 44240
579.89/581.49 c #Conflicts: 1091000 | #Constraints: 45240
579.89/581.49 c #Conflicts: 1092000 | #Constraints: 46240
579.89/581.49 c #Conflicts: 1093000 | #Constraints: 47240
579.89/581.49 c #Conflicts: 1094000 | #Constraints: 48240
579.89/581.49 c #Conflicts: 1095000 | #Constraints: 49240
579.89/581.49 c #Conflicts: 1096000 | #Constraints: 50240
579.89/581.49 c #Conflicts: 1097000 | #Constraints: 51240
579.89/581.49 c #Conflicts: 1098000 | #Constraints: 52240
579.89/581.49 c #Conflicts: 1099000 | #Constraints: 53240
579.89/581.49 c #Conflicts: 1100000 | #Constraints: 54240
579.89/581.49 c #Conflicts: 1101000 | #Constraints: 55240
579.89/581.49 c #Conflicts: 1102000 | #Constraints: 56240
579.89/581.49 c #Conflicts: 1103000 | #Constraints: 57240
579.89/581.49 c #Conflicts: 1104000 | #Constraints: 58240
579.89/581.49 c INPROCESSING
579.89/581.49 c GARBAGE COLLECT
579.89/581.49 c #Conflicts: 1105000 | #Constraints: 38446
579.89/581.49 c #Conflicts: 1106000 | #Constraints: 39446
579.89/581.49 c #Conflicts: 1107000 | #Constraints: 40446
579.89/581.49 c #Conflicts: 1108000 | #Constraints: 41446
579.89/581.49 c #Conflicts: 1109000 | #Constraints: 42446
579.89/581.49 c #Conflicts: 1110000 | #Constraints: 43446
579.89/581.49 c #Conflicts: 1111000 | #Constraints: 44446
579.89/581.49 c #Conflicts: 1112000 | #Constraints: 45446
579.89/581.49 c #Conflicts: 1113000 | #Constraints: 46446
579.89/581.49 c #Conflicts: 1114000 | #Constraints: 47446
579.89/581.49 c #Conflicts: 1115000 | #Constraints: 48446
579.89/581.49 c #Conflicts: 1116000 | #Constraints: 49446
579.89/581.49 c #Conflicts: 1117000 | #Constraints: 50446
579.89/581.49 c #Conflicts: 1118000 | #Constraints: 51446
579.89/581.49 c #Conflicts: 1119000 | #Constraints: 52446
579.89/581.49 c #Conflicts: 1120000 | #Constraints: 53446
579.89/581.49 c #Conflicts: 1121000 | #Constraints: 54446
579.89/581.49 c #Conflicts: 1122000 | #Constraints: 55446
579.89/581.49 c #Conflicts: 1123000 | #Constraints: 56446
579.89/581.49 c #Conflicts: 1124000 | #Constraints: 57446
579.89/581.49 c #Conflicts: 1125000 | #Constraints: 58446
579.89/581.49 c INPROCESSING
579.89/581.49 c GARBAGE COLLECT
579.89/581.49 c #Conflicts: 1126000 | #Constraints: 38438
579.89/581.49 c #Conflicts: 1127000 | #Constraints: 39438
579.89/581.49 c #Conflicts: 1128000 | #Constraints: 40438
579.89/581.49 c #Conflicts: 1129000 | #Constraints: 41438
579.89/581.49 c #Conflicts: 1130000 | #Constraints: 42438
579.89/581.49 c #Conflicts: 1131000 | #Constraints: 43438
579.89/581.49 c #Conflicts: 1132000 | #Constraints: 44438
605.53/607.17 c #Conflicts: 1133000 | #Constraints: 45438
605.53/607.17 c #Conflicts: 1134000 | #Constraints: 46438
605.53/607.17 c #Conflicts: 1135000 | #Constraints: 47438
605.53/607.17 c #Conflicts: 1136000 | #Constraints: 48438
605.53/607.17 c #Conflicts: 1137000 | #Constraints: 49438
605.53/607.17 c #Conflicts: 1138000 | #Constraints: 50438
605.53/607.17 c #Conflicts: 1139000 | #Constraints: 51438
605.53/607.17 c #Conflicts: 1140000 | #Constraints: 52438
605.53/607.17 c #Conflicts: 1141000 | #Constraints: 53438
605.53/607.17 c #Conflicts: 1142000 | #Constraints: 54438
605.53/607.17 c #Conflicts: 1143000 | #Constraints: 55438
605.53/607.17 c #Conflicts: 1144000 | #Constraints: 56438
605.53/607.17 c #Conflicts: 1145000 | #Constraints: 57438
605.53/607.17 c #Conflicts: 1146000 | #Constraints: 58438
605.53/607.17 c INPROCESSING
605.53/607.17 c GARBAGE COLLECT
605.53/607.17 c #Conflicts: 1147000 | #Constraints: 38236
605.53/607.17 c #Conflicts: 1148000 | #Constraints: 39236
605.53/607.17 c #Conflicts: 1149000 | #Constraints: 40236
605.53/607.17 c #Conflicts: 1150000 | #Constraints: 41236
605.53/607.17 c #Conflicts: 1151000 | #Constraints: 42236
605.53/607.17 c #Conflicts: 1152000 | #Constraints: 43236
605.53/607.17 c #Conflicts: 1153000 | #Constraints: 44236
605.53/607.17 c #Conflicts: 1154000 | #Constraints: 45236
605.53/607.17 c #Conflicts: 1155000 | #Constraints: 46236
605.53/607.17 c #Conflicts: 1156000 | #Constraints: 47236
605.53/607.17 c #Conflicts: 1157000 | #Constraints: 48236
605.53/607.17 c #Conflicts: 1158000 | #Constraints: 49236
605.53/607.17 c #Conflicts: 1159000 | #Constraints: 50236
605.53/607.17 c #Conflicts: 1160000 | #Constraints: 51236
605.53/607.17 c #Conflicts: 1161000 | #Constraints: 52236
605.53/607.17 c #Conflicts: 1162000 | #Constraints: 53236
605.53/607.17 c #Conflicts: 1163000 | #Constraints: 54236
605.53/607.17 c #Conflicts: 1164000 | #Constraints: 55236
605.53/607.17 c #Conflicts: 1165000 | #Constraints: 56236
605.53/607.17 c #Conflicts: 1166000 | #Constraints: 57236
605.53/607.17 c #Conflicts: 1167000 | #Constraints: 58236
605.53/607.17 c #Conflicts: 1168000 | #Constraints: 59236
605.53/607.17 c INPROCESSING
605.53/607.17 c GARBAGE COLLECT
605.53/607.17 c #Conflicts: 1169000 | #Constraints: 38835
605.53/607.17 c #Conflicts: 1170000 | #Constraints: 39835
605.53/607.17 c #Conflicts: 1171000 | #Constraints: 40835
605.53/607.17 c #Conflicts: 1172000 | #Constraints: 41835
605.53/607.17 c #Conflicts: 1173000 | #Constraints: 42835
605.53/607.17 c #Conflicts: 1174000 | #Constraints: 43835
605.53/607.17 c #Conflicts: 1175000 | #Constraints: 44835
605.53/607.17 c #Conflicts: 1176000 | #Constraints: 45835
605.53/607.17 c #Conflicts: 1177000 | #Constraints: 46835
605.53/607.17 c #Conflicts: 1178000 | #Constraints: 47835
605.53/607.17 c #Conflicts: 1179000 | #Constraints: 48835
605.53/607.17 c #Conflicts: 1180000 | #Constraints: 49835
605.53/607.17 c #Conflicts: 1181000 | #Constraints: 50835
605.53/607.17 c #Conflicts: 1182000 | #Constraints: 51835
605.53/607.17 c #Conflicts: 1183000 | #Constraints: 52835
605.53/607.17 c #Conflicts: 1184000 | #Constraints: 53835
605.53/607.17 c #Conflicts: 1185000 | #Constraints: 54835
605.53/607.17 c #Conflicts: 1186000 | #Constraints: 55835
605.53/607.17 c #Conflicts: 1187000 | #Constraints: 56835
605.53/607.17 c #Conflicts: 1188000 | #Constraints: 57835
605.53/607.17 c #Conflicts: 1189000 | #Constraints: 58835
605.53/607.17 c #Conflicts: 1190000 | #Constraints: 59835
605.53/607.17 c INPROCESSING
605.53/607.17 c GARBAGE COLLECT
605.53/607.17 c #Conflicts: 1191000 | #Constraints: 39250
605.53/607.17 c #Conflicts: 1192000 | #Constraints: 40250
605.53/607.17 c #Conflicts: 1193000 | #Constraints: 41250
605.53/607.17 c #Conflicts: 1194000 | #Constraints: 42250
605.53/607.17 c #Conflicts: 1195000 | #Constraints: 43250
605.53/607.17 c #Conflicts: 1196000 | #Constraints: 44250
605.53/607.17 c #Conflicts: 1197000 | #Constraints: 45250
605.53/607.17 c #Conflicts: 1198000 | #Constraints: 46250
605.53/607.17 c #Conflicts: 1199000 | #Constraints: 47250
605.53/607.17 c #Conflicts: 1200000 | #Constraints: 48250
605.53/607.17 c #Conflicts: 1201000 | #Constraints: 49250
605.53/607.17 c #Conflicts: 1202000 | #Constraints: 50250
605.53/607.17 c #Conflicts: 1203000 | #Constraints: 51250
605.53/607.17 c #Conflicts: 1204000 | #Constraints: 52250
605.53/607.17 c #Conflicts: 1205000 | #Constraints: 53250
605.53/607.17 c #Conflicts: 1206000 | #Constraints: 54250
605.53/607.17 c #Conflicts: 1207000 | #Constraints: 55250
605.53/607.17 c #Conflicts: 1208000 | #Constraints: 56250
605.53/607.17 c #Conflicts: 1209000 | #Constraints: 57250
631.77/633.48 c #Conflicts: 1210000 | #Constraints: 58250
631.77/633.48 c #Conflicts: 1211000 | #Constraints: 59250
631.77/633.48 c #Conflicts: 1212000 | #Constraints: 60250
631.77/633.48 c INPROCESSING
631.77/633.48 c GARBAGE COLLECT
631.77/633.48 c #Conflicts: 1213000 | #Constraints: 39445
631.77/633.48 c #Conflicts: 1214000 | #Constraints: 40445
631.77/633.48 c #Conflicts: 1215000 | #Constraints: 41445
631.77/633.48 c #Conflicts: 1216000 | #Constraints: 42445
631.77/633.48 c #Conflicts: 1217000 | #Constraints: 43445
631.77/633.48 c #Conflicts: 1218000 | #Constraints: 44445
631.77/633.48 c #Conflicts: 1219000 | #Constraints: 45445
631.77/633.48 c #Conflicts: 1220000 | #Constraints: 46445
631.77/633.48 c #Conflicts: 1221000 | #Constraints: 47445
631.77/633.48 c #Conflicts: 1222000 | #Constraints: 48445
631.77/633.48 c #Conflicts: 1223000 | #Constraints: 49445
631.77/633.48 c #Conflicts: 1224000 | #Constraints: 50445
631.77/633.48 c #Conflicts: 1225000 | #Constraints: 51445
631.77/633.48 c #Conflicts: 1226000 | #Constraints: 52445
631.77/633.48 c #Conflicts: 1227000 | #Constraints: 53445
631.77/633.48 c #Conflicts: 1228000 | #Constraints: 54445
631.77/633.48 c #Conflicts: 1229000 | #Constraints: 55445
631.77/633.48 c #Conflicts: 1230000 | #Constraints: 56445
631.77/633.48 c #Conflicts: 1231000 | #Constraints: 57445
631.77/633.48 c #Conflicts: 1232000 | #Constraints: 58445
631.77/633.48 c #Conflicts: 1233000 | #Constraints: 59445
631.77/633.48 c #Conflicts: 1234000 | #Constraints: 60445
631.77/633.48 c INPROCESSING
631.77/633.48 c GARBAGE COLLECT
631.77/633.48 c #Conflicts: 1235000 | #Constraints: 39444
631.77/633.48 c #Conflicts: 1236000 | #Constraints: 40444
631.77/633.48 c #Conflicts: 1237000 | #Constraints: 41444
631.77/633.48 c #Conflicts: 1238000 | #Constraints: 42444
631.77/633.48 c #Conflicts: 1239000 | #Constraints: 43444
631.77/633.48 c #Conflicts: 1240000 | #Constraints: 44444
631.77/633.48 c #Conflicts: 1241000 | #Constraints: 45444
631.77/633.48 c #Conflicts: 1242000 | #Constraints: 46444
631.77/633.48 c #Conflicts: 1243000 | #Constraints: 47444
631.77/633.48 c #Conflicts: 1244000 | #Constraints: 48444
631.77/633.48 c #Conflicts: 1245000 | #Constraints: 49444
631.77/633.48 c #Conflicts: 1246000 | #Constraints: 50444
631.77/633.48 c #Conflicts: 1247000 | #Constraints: 51444
631.77/633.48 c #Conflicts: 1248000 | #Constraints: 52444
631.77/633.48 c #Conflicts: 1249000 | #Constraints: 53444
631.77/633.48 c #Conflicts: 1250000 | #Constraints: 54444
631.77/633.48 c #Conflicts: 1251000 | #Constraints: 55444
631.77/633.48 c #Conflicts: 1252000 | #Constraints: 56444
631.77/633.48 c #Conflicts: 1253000 | #Constraints: 57444
631.77/633.48 c #Conflicts: 1254000 | #Constraints: 58444
631.77/633.48 c #Conflicts: 1255000 | #Constraints: 59444
631.77/633.48 c #Conflicts: 1256000 | #Constraints: 60444
631.77/633.48 c INPROCESSING
631.77/633.48 c GARBAGE COLLECT
631.77/633.48 c #Conflicts: 1257000 | #Constraints: 39244
631.77/633.48 c #Conflicts: 1258000 | #Constraints: 40244
631.77/633.48 c #Conflicts: 1259000 | #Constraints: 41244
631.77/633.48 c #Conflicts: 1260000 | #Constraints: 42244
631.77/633.48 c #Conflicts: 1261000 | #Constraints: 43244
631.77/633.48 c #Conflicts: 1262000 | #Constraints: 44244
631.77/633.48 c #Conflicts: 1263000 | #Constraints: 45244
631.77/633.48 c #Conflicts: 1264000 | #Constraints: 46244
631.77/633.48 c #Conflicts: 1265000 | #Constraints: 47244
631.77/633.48 c #Conflicts: 1266000 | #Constraints: 48244
631.77/633.48 c #Conflicts: 1267000 | #Constraints: 49244
631.77/633.48 c #Conflicts: 1268000 | #Constraints: 50244
631.77/633.48 c #Conflicts: 1269000 | #Constraints: 51244
631.77/633.48 c #Conflicts: 1270000 | #Constraints: 52244
631.77/633.48 c #Conflicts: 1271000 | #Constraints: 53244
631.77/633.48 c #Conflicts: 1272000 | #Constraints: 54244
631.77/633.48 c #Conflicts: 1273000 | #Constraints: 55244
631.77/633.48 c #Conflicts: 1274000 | #Constraints: 56244
631.77/633.48 c #Conflicts: 1275000 | #Constraints: 57244
631.77/633.48 c #Conflicts: 1276000 | #Constraints: 58244
631.77/633.48 c #Conflicts: 1277000 | #Constraints: 59244
631.77/633.48 c #Conflicts: 1278000 | #Constraints: 60244
631.77/633.48 c #Conflicts: 1279000 | #Constraints: 61244
631.77/633.48 c INPROCESSING
631.77/633.48 c GARBAGE COLLECT
631.77/633.48 c #Conflicts: 1280000 | #Constraints: 39828
631.77/633.48 c #Conflicts: 1281000 | #Constraints: 40828
631.77/633.48 c #Conflicts: 1282000 | #Constraints: 41828
631.77/633.48 c #Conflicts: 1283000 | #Constraints: 42828
631.77/633.48 c #Conflicts: 1284000 | #Constraints: 43828
631.77/633.48 c #Conflicts: 1285000 | #Constraints: 44828
659.49/661.23 c #Conflicts: 1286000 | #Constraints: 45828
659.49/661.23 c #Conflicts: 1287000 | #Constraints: 46828
659.49/661.23 c #Conflicts: 1288000 | #Constraints: 47828
659.49/661.23 c #Conflicts: 1289000 | #Constraints: 48828
659.49/661.23 c #Conflicts: 1290000 | #Constraints: 49828
659.49/661.23 c #Conflicts: 1291000 | #Constraints: 50828
659.49/661.23 c #Conflicts: 1292000 | #Constraints: 51828
659.49/661.23 c #Conflicts: 1293000 | #Constraints: 52828
659.49/661.23 c #Conflicts: 1294000 | #Constraints: 53828
659.49/661.23 c #Conflicts: 1295000 | #Constraints: 54828
659.49/661.23 c #Conflicts: 1296000 | #Constraints: 55828
659.49/661.23 c #Conflicts: 1297000 | #Constraints: 56828
659.49/661.23 c #Conflicts: 1298000 | #Constraints: 57828
659.49/661.23 c #Conflicts: 1299000 | #Constraints: 58828
659.49/661.23 c #Conflicts: 1300000 | #Constraints: 59828
659.49/661.23 c #Conflicts: 1301000 | #Constraints: 60828
659.49/661.23 c #Conflicts: 1302000 | #Constraints: 61828
659.49/661.23 c INPROCESSING
659.49/661.23 c GARBAGE COLLECT
659.49/661.23 c #Conflicts: 1303000 | #Constraints: 40238
659.49/661.23 c #Conflicts: 1304000 | #Constraints: 41238
659.49/661.23 c #Conflicts: 1305000 | #Constraints: 42238
659.49/661.23 c #Conflicts: 1306000 | #Constraints: 43238
659.49/661.23 c #Conflicts: 1307000 | #Constraints: 44238
659.49/661.23 c #Conflicts: 1308000 | #Constraints: 45238
659.49/661.23 c #Conflicts: 1309000 | #Constraints: 46238
659.49/661.23 c #Conflicts: 1310000 | #Constraints: 47238
659.49/661.23 c #Conflicts: 1311000 | #Constraints: 48238
659.49/661.23 c #Conflicts: 1312000 | #Constraints: 49238
659.49/661.23 c #Conflicts: 1313000 | #Constraints: 50238
659.49/661.23 c #Conflicts: 1314000 | #Constraints: 51238
659.49/661.23 c #Conflicts: 1315000 | #Constraints: 52238
659.49/661.23 c #Conflicts: 1316000 | #Constraints: 53238
659.49/661.23 c #Conflicts: 1317000 | #Constraints: 54238
659.49/661.23 c #Conflicts: 1318000 | #Constraints: 55238
659.49/661.23 c #Conflicts: 1319000 | #Constraints: 56238
659.49/661.23 c #Conflicts: 1320000 | #Constraints: 57238
659.49/661.23 c #Conflicts: 1321000 | #Constraints: 58238
659.49/661.23 c #Conflicts: 1322000 | #Constraints: 59238
659.49/661.23 c #Conflicts: 1323000 | #Constraints: 60238
659.49/661.23 c #Conflicts: 1324000 | #Constraints: 61238
659.49/661.23 c #Conflicts: 1325000 | #Constraints: 62238
659.49/661.23 c INPROCESSING
659.49/661.23 c GARBAGE COLLECT
659.49/661.23 c #Conflicts: 1326000 | #Constraints: 40441
659.49/661.23 c #Conflicts: 1327000 | #Constraints: 41441
659.49/661.23 c #Conflicts: 1328000 | #Constraints: 42441
659.49/661.23 c #Conflicts: 1329000 | #Constraints: 43441
659.49/661.23 c #Conflicts: 1330000 | #Constraints: 44441
659.49/661.23 c #Conflicts: 1331000 | #Constraints: 45441
659.49/661.23 c #Conflicts: 1332000 | #Constraints: 46441
659.49/661.23 c #Conflicts: 1333000 | #Constraints: 47441
659.49/661.23 c #Conflicts: 1334000 | #Constraints: 48441
659.49/661.23 c #Conflicts: 1335000 | #Constraints: 49441
659.49/661.23 c #Conflicts: 1336000 | #Constraints: 50441
659.49/661.23 c #Conflicts: 1337000 | #Constraints: 51441
659.49/661.23 c #Conflicts: 1338000 | #Constraints: 52441
659.49/661.23 c #Conflicts: 1339000 | #Constraints: 53441
659.49/661.23 c #Conflicts: 1340000 | #Constraints: 54441
659.49/661.23 c #Conflicts: 1341000 | #Constraints: 55441
659.49/661.23 c #Conflicts: 1342000 | #Constraints: 56441
659.49/661.23 c #Conflicts: 1343000 | #Constraints: 57441
659.49/661.23 c #Conflicts: 1344000 | #Constraints: 58441
659.49/661.23 c #Conflicts: 1345000 | #Constraints: 59441
659.49/661.23 c #Conflicts: 1346000 | #Constraints: 60441
659.49/661.23 c #Conflicts: 1347000 | #Constraints: 61441
659.49/661.23 c #Conflicts: 1348000 | #Constraints: 62441
659.49/661.23 c INPROCESSING
659.49/661.23 c GARBAGE COLLECT
659.49/661.23 c #Conflicts: 1349000 | #Constraints: 40419
659.49/661.23 c #Conflicts: 1350000 | #Constraints: 41419
659.49/661.23 c #Conflicts: 1351000 | #Constraints: 42419
659.49/661.23 c #Conflicts: 1352000 | #Constraints: 43419
659.49/661.23 c #Conflicts: 1353000 | #Constraints: 44419
659.49/661.23 c #Conflicts: 1354000 | #Constraints: 45419
659.49/661.23 c #Conflicts: 1355000 | #Constraints: 46419
659.49/661.23 c #Conflicts: 1356000 | #Constraints: 47419
659.49/661.23 c #Conflicts: 1357000 | #Constraints: 48419
659.49/661.23 c #Conflicts: 1358000 | #Constraints: 49419
659.49/661.23 c #Conflicts: 1359000 | #Constraints: 50419
659.49/661.23 c #Conflicts: 1360000 | #Constraints: 51419
659.49/661.23 c #Conflicts: 1361000 | #Constraints: 52419
659.49/661.23 c #Conflicts: 1362000 | #Constraints: 53419
689.03/690.89 c #Conflicts: 1363000 | #Constraints: 54419
689.03/690.89 c #Conflicts: 1364000 | #Constraints: 55419
689.03/690.89 c #Conflicts: 1365000 | #Constraints: 56419
689.03/690.89 c #Conflicts: 1366000 | #Constraints: 57419
689.03/690.89 c #Conflicts: 1367000 | #Constraints: 58419
689.03/690.89 c #Conflicts: 1368000 | #Constraints: 59419
689.03/690.89 c #Conflicts: 1369000 | #Constraints: 60419
689.03/690.89 c #Conflicts: 1370000 | #Constraints: 61419
689.03/690.89 c #Conflicts: 1371000 | #Constraints: 62419
689.03/690.89 c INPROCESSING
689.03/690.89 c GARBAGE COLLECT
689.03/690.89 c #Conflicts: 1372000 | #Constraints: 40240
689.03/690.89 c #Conflicts: 1373000 | #Constraints: 41240
689.03/690.89 c #Conflicts: 1374000 | #Constraints: 42240
689.03/690.89 c #Conflicts: 1375000 | #Constraints: 43240
689.03/690.89 c #Conflicts: 1376000 | #Constraints: 44240
689.03/690.89 c #Conflicts: 1377000 | #Constraints: 45240
689.03/690.89 c #Conflicts: 1378000 | #Constraints: 46240
689.03/690.89 c #Conflicts: 1379000 | #Constraints: 47240
689.03/690.89 c #Conflicts: 1380000 | #Constraints: 48240
689.03/690.89 c #Conflicts: 1381000 | #Constraints: 49240
689.03/690.89 c #Conflicts: 1382000 | #Constraints: 50240
689.03/690.89 c #Conflicts: 1383000 | #Constraints: 51240
689.03/690.89 c #Conflicts: 1384000 | #Constraints: 52240
689.03/690.89 c #Conflicts: 1385000 | #Constraints: 53240
689.03/690.89 c #Conflicts: 1386000 | #Constraints: 54240
689.03/690.89 c #Conflicts: 1387000 | #Constraints: 55240
689.03/690.89 c #Conflicts: 1388000 | #Constraints: 56240
689.03/690.89 c #Conflicts: 1389000 | #Constraints: 57240
689.03/690.89 c #Conflicts: 1390000 | #Constraints: 58240
689.03/690.89 c #Conflicts: 1391000 | #Constraints: 59240
689.03/690.89 c #Conflicts: 1392000 | #Constraints: 60240
689.03/690.89 c #Conflicts: 1393000 | #Constraints: 61240
689.03/690.89 c #Conflicts: 1394000 | #Constraints: 62240
689.03/690.89 c #Conflicts: 1395000 | #Constraints: 63240
689.03/690.89 c INPROCESSING
689.03/690.89 c GARBAGE COLLECT
689.03/690.89 c #Conflicts: 1396000 | #Constraints: 40854
689.03/690.89 c #Conflicts: 1397000 | #Constraints: 41854
689.03/690.89 c #Conflicts: 1398000 | #Constraints: 42854
689.03/690.89 c #Conflicts: 1399000 | #Constraints: 43854
689.03/690.89 c #Conflicts: 1400000 | #Constraints: 44854
689.03/690.89 c #Conflicts: 1401000 | #Constraints: 45854
689.03/690.89 c #Conflicts: 1402000 | #Constraints: 46854
689.03/690.89 c #Conflicts: 1403000 | #Constraints: 47854
689.03/690.89 c #Conflicts: 1404000 | #Constraints: 48854
689.03/690.89 c #Conflicts: 1405000 | #Constraints: 49854
689.03/690.89 c #Conflicts: 1406000 | #Constraints: 50854
689.03/690.89 c #Conflicts: 1407000 | #Constraints: 51854
689.03/690.89 c #Conflicts: 1408000 | #Constraints: 52854
689.03/690.89 c #Conflicts: 1409000 | #Constraints: 53854
689.03/690.89 c #Conflicts: 1410000 | #Constraints: 54854
689.03/690.89 c #Conflicts: 1411000 | #Constraints: 55854
689.03/690.89 c #Conflicts: 1412000 | #Constraints: 56854
689.03/690.89 c #Conflicts: 1413000 | #Constraints: 57854
689.03/690.89 c #Conflicts: 1414000 | #Constraints: 58854
689.03/690.89 c #Conflicts: 1415000 | #Constraints: 59854
689.03/690.89 c #Conflicts: 1416000 | #Constraints: 60854
689.03/690.89 c #Conflicts: 1417000 | #Constraints: 61854
689.03/690.89 c #Conflicts: 1418000 | #Constraints: 62854
689.03/690.89 c #Conflicts: 1419000 | #Constraints: 63854
689.03/690.89 c INPROCESSING
689.03/690.89 c GARBAGE COLLECT
689.03/690.89 c #Conflicts: 1420000 | #Constraints: 41261
689.03/690.89 c #Conflicts: 1421000 | #Constraints: 42261
689.03/690.89 c #Conflicts: 1422000 | #Constraints: 43261
689.03/690.89 c #Conflicts: 1423000 | #Constraints: 44261
689.03/690.89 c #Conflicts: 1424000 | #Constraints: 45261
689.03/690.89 c #Conflicts: 1425000 | #Constraints: 46261
689.03/690.89 c #Conflicts: 1426000 | #Constraints: 47261
689.03/690.89 c #Conflicts: 1427000 | #Constraints: 48261
689.03/690.89 c #Conflicts: 1428000 | #Constraints: 49261
689.03/690.89 c #Conflicts: 1429000 | #Constraints: 50261
689.03/690.89 c #Conflicts: 1430000 | #Constraints: 51261
689.03/690.89 c #Conflicts: 1431000 | #Constraints: 52261
689.03/690.89 c #Conflicts: 1432000 | #Constraints: 53261
689.03/690.89 c #Conflicts: 1433000 | #Constraints: 54261
689.03/690.89 c #Conflicts: 1434000 | #Constraints: 55261
689.03/690.89 c #Conflicts: 1435000 | #Constraints: 56261
689.03/690.89 c #Conflicts: 1436000 | #Constraints: 57261
689.03/690.89 c #Conflicts: 1437000 | #Constraints: 58261
689.03/690.89 c #Conflicts: 1438000 | #Constraints: 59261
689.03/690.89 c #Conflicts: 1439000 | #Constraints: 60261
705.19/707.08 c #Conflicts: 1440000 | #Constraints: 61261
705.19/707.08 c #Conflicts: 1441000 | #Constraints: 62261
705.19/707.08 c #Conflicts: 1442000 | #Constraints: 63261
705.19/707.08 c #Conflicts: 1443000 | #Constraints: 64261
705.19/707.08 c INPROCESSING
705.19/707.08 c GARBAGE COLLECT
705.19/707.08 c #Conflicts: 1444000 | #Constraints: 41446
705.19/707.08 c #Conflicts: 1445000 | #Constraints: 42446
705.19/707.08 c #Conflicts: 1446000 | #Constraints: 43446
705.19/707.08 c #Conflicts: 1447000 | #Constraints: 44446
705.19/707.08 c #Conflicts: 1448000 | #Constraints: 45446
705.19/707.08 c #Conflicts: 1449000 | #Constraints: 46446
705.19/707.08 c #Conflicts: 1450000 | #Constraints: 47446
705.19/707.08 c #Conflicts: 1451000 | #Constraints: 48446
705.19/707.08 c #Conflicts: 1452000 | #Constraints: 49446
705.19/707.08 c #Conflicts: 1453000 | #Constraints: 50446
705.19/707.08 c #Conflicts: 1454000 | #Constraints: 51446
705.19/707.08 c #Conflicts: 1455000 | #Constraints: 52446
705.19/707.08 c #Conflicts: 1456000 | #Constraints: 53446
705.19/707.08 c #Conflicts: 1457000 | #Constraints: 54446
705.19/707.08 c #Conflicts: 1458000 | #Constraints: 55446
705.19/707.08 c #Conflicts: 1459000 | #Constraints: 56446
705.19/707.08 c #Conflicts: 1460000 | #Constraints: 57446
705.19/707.08 c #Conflicts: 1461000 | #Constraints: 58446
705.19/707.08 c #Conflicts: 1462000 | #Constraints: 59446
705.19/707.08 c #Conflicts: 1463000 | #Constraints: 60446
705.19/707.08 c #Conflicts: 1464000 | #Constraints: 61446
705.19/707.08 c #Conflicts: 1465000 | #Constraints: 62446
705.19/707.08 c #Conflicts: 1466000 | #Constraints: 63446
705.19/707.08 c #Conflicts: 1467000 | #Constraints: 64446
705.19/707.08 c INPROCESSING
705.19/707.08 c GARBAGE COLLECT
705.19/707.08 c #Conflicts: 1468000 | #Constraints: 41463
705.19/707.08 c #Conflicts: 1469000 | #Constraints: 42463
705.19/707.08 c #Conflicts: 1470000 | #Constraints: 43463
705.19/707.08 c #Conflicts: 1471000 | #Constraints: 44463
705.19/707.08 c #Conflicts: 1472000 | #Constraints: 45463
705.19/707.08 c #Conflicts: 1473000 | #Constraints: 46463
705.19/707.08 c #Conflicts: 1474000 | #Constraints: 47463
705.19/707.08 c #Conflicts: 1475000 | #Constraints: 48463
705.19/707.08 c #Conflicts: 1476000 | #Constraints: 49463
705.19/707.08 c #Conflicts: 1477000 | #Constraints: 50463
705.19/707.08 c #Conflicts: 1478000 | #Constraints: 51463
705.19/707.08 c #Conflicts: 1479000 | #Constraints: 52463
705.19/707.08 c bounds 178 >= 26 @ 700.156
705.19/707.08 c #Conflicts: 1480000 | #Constraints: 53464
705.19/707.08 c finalizing WCE round: reformulating cores
943.45/945.96 c bounds 176 >= 26 @ 700.701
943.45/945.96 c #Conflicts: 1481000 | #Constraints: 54467
943.45/945.96 c #Conflicts: 1482000 | #Constraints: 55467
943.45/945.96 c #Conflicts: 1483000 | #Constraints: 56467
943.45/945.96 c #Conflicts: 1484000 | #Constraints: 57467
943.45/945.96 c #Conflicts: 1485000 | #Constraints: 58467
943.45/945.96 c #Conflicts: 1486000 | #Constraints: 59467
943.45/945.96 c #Conflicts: 1487000 | #Constraints: 60467
943.45/945.96 c #Conflicts: 1488000 | #Constraints: 61467
943.45/945.96 c #Conflicts: 1489000 | #Constraints: 62467
943.45/945.96 c #Conflicts: 1490000 | #Constraints: 63467
943.45/945.96 c #Conflicts: 1491000 | #Constraints: 64467
943.45/945.96 c INPROCESSING
943.45/945.96 c GARBAGE COLLECT
943.45/945.96 c #Conflicts: 1492000 | #Constraints: 41236
943.45/945.96 c #Conflicts: 1493000 | #Constraints: 42236
943.45/945.96 c #Conflicts: 1494000 | #Constraints: 43236
943.45/945.96 c #Conflicts: 1495000 | #Constraints: 44236
943.45/945.96 c #Conflicts: 1496000 | #Constraints: 45236
943.45/945.96 c #Conflicts: 1497000 | #Constraints: 46236
943.45/945.96 c #Conflicts: 1498000 | #Constraints: 47236
943.45/945.96 c #Conflicts: 1499000 | #Constraints: 48236
943.45/945.96 c #Conflicts: 1500000 | #Constraints: 49236
943.45/945.96 c #Conflicts: 1501000 | #Constraints: 50236
943.45/945.96 c #Conflicts: 1502000 | #Constraints: 51236
943.45/945.96 c #Conflicts: 1503000 | #Constraints: 52236
943.45/945.96 c #Conflicts: 1504000 | #Constraints: 53236
943.45/945.96 c #Conflicts: 1505000 | #Constraints: 54236
943.45/945.96 c #Conflicts: 1506000 | #Constraints: 55236
943.45/945.96 c #Conflicts: 1507000 | #Constraints: 56236
943.45/945.96 c #Conflicts: 1508000 | #Constraints: 57236
943.45/945.96 c #Conflicts: 1509000 | #Constraints: 58236
943.45/945.96 c #Conflicts: 1510000 | #Constraints: 59236
943.45/945.96 c #Conflicts: 1511000 | #Constraints: 60236
943.45/945.96 c #Conflicts: 1512000 | #Constraints: 61236
943.45/945.96 c #Conflicts: 1513000 | #Constraints: 62236
943.45/945.96 c #Conflicts: 1514000 | #Constraints: 63236
943.45/945.96 c #Conflicts: 1515000 | #Constraints: 64236
943.45/945.96 c #Conflicts: 1516000 | #Constraints: 65236
943.45/945.96 c INPROCESSING
943.45/945.96 c GARBAGE COLLECT
943.45/945.96 c #Conflicts: 1517000 | #Constraints: 41840
943.45/945.96 c #Conflicts: 1518000 | #Constraints: 42840
943.45/945.96 c #Conflicts: 1519000 | #Constraints: 43840
943.45/945.96 c #Conflicts: 1520000 | #Constraints: 44840
943.45/945.96 c #Conflicts: 1521000 | #Constraints: 45840
943.45/945.96 c #Conflicts: 1522000 | #Constraints: 46840
943.45/945.96 c #Conflicts: 1523000 | #Constraints: 47840
943.45/945.96 c #Conflicts: 1524000 | #Constraints: 48840
943.45/945.96 c #Conflicts: 1525000 | #Constraints: 49840
943.45/945.96 c #Conflicts: 1526000 | #Constraints: 50840
943.45/945.96 c #Conflicts: 1527000 | #Constraints: 51840
943.45/945.96 c #Conflicts: 1528000 | #Constraints: 52840
943.45/945.96 c #Conflicts: 1529000 | #Constraints: 53840
943.45/945.96 c #Conflicts: 1530000 | #Constraints: 54840
943.45/945.96 c #Conflicts: 1531000 | #Constraints: 55840
943.45/945.96 c #Conflicts: 1532000 | #Constraints: 56840
943.45/945.96 c #Conflicts: 1533000 | #Constraints: 57840
943.45/945.96 c #Conflicts: 1534000 | #Constraints: 58840
943.45/945.96 c #Conflicts: 1535000 | #Constraints: 59840
943.45/945.96 c #Conflicts: 1536000 | #Constraints: 60840
943.45/945.96 c #Conflicts: 1537000 | #Constraints: 61840
943.45/945.96 c #Conflicts: 1538000 | #Constraints: 62840
943.45/945.96 c #Conflicts: 1539000 | #Constraints: 63840
943.45/945.96 c #Conflicts: 1540000 | #Constraints: 64840
943.45/945.96 c #Conflicts: 1541000 | #Constraints: 65840
943.45/945.96 c INPROCESSING
943.45/945.96 c GARBAGE COLLECT
943.45/945.96 c #Conflicts: 1542000 | #Constraints: 42235
943.45/945.96 c #Conflicts: 1543000 | #Constraints: 43235
943.45/945.96 c #Conflicts: 1544000 | #Constraints: 44235
943.45/945.96 c #Conflicts: 1545000 | #Constraints: 45235
943.45/945.96 c #Conflicts: 1546000 | #Constraints: 46235
943.45/945.96 c #Conflicts: 1547000 | #Constraints: 47235
943.45/945.96 c #Conflicts: 1548000 | #Constraints: 48235
943.45/945.96 c #Conflicts: 1549000 | #Constraints: 49235
943.45/945.96 c #Conflicts: 1550000 | #Constraints: 50235
943.45/945.96 c #Conflicts: 1551000 | #Constraints: 51235
943.45/945.96 c #Conflicts: 1552000 | #Constraints: 52235
943.45/945.96 c #Conflicts: 1553000 | #Constraints: 53235
943.45/945.96 c #Conflicts: 1554000 | #Constraints: 54235
943.45/945.96 c #Conflicts: 1555000 | #Constraints: 55235
943.45/945.96 c #Conflicts: 1556000 | #Constraints: 56235
943.45/945.96 c #Conflicts: 1557000 | #Constraints: 57235
2034.02/2039.46 c #Conflicts: 1558000 | #Constraints: 58235
2034.02/2039.46 c #Conflicts: 1559000 | #Constraints: 59235
2034.02/2039.46 c #Conflicts: 1560000 | #Constraints: 60235
2034.02/2039.46 c #Conflicts: 1561000 | #Constraints: 61235
2034.02/2039.46 c #Conflicts: 1562000 | #Constraints: 62235
2034.02/2039.46 c #Conflicts: 1563000 | #Constraints: 63235
2034.02/2039.46 c #Conflicts: 1564000 | #Constraints: 64235
2034.02/2039.46 c #Conflicts: 1565000 | #Constraints: 65235
2034.02/2039.46 c #Conflicts: 1566000 | #Constraints: 66235
2034.02/2039.46 c INPROCESSING
2034.02/2039.46 c GARBAGE COLLECT
2034.02/2039.46 c #Conflicts: 1567000 | #Constraints: 42439
2034.02/2039.46 c #Conflicts: 1568000 | #Constraints: 43439
2034.02/2039.46 c #Conflicts: 1569000 | #Constraints: 44439
2034.02/2039.46 c #Conflicts: 1570000 | #Constraints: 45439
2034.02/2039.46 c #Conflicts: 1571000 | #Constraints: 46439
2034.02/2039.46 c #Conflicts: 1572000 | #Constraints: 47439
2034.02/2039.46 c #Conflicts: 1573000 | #Constraints: 48439
2034.02/2039.46 c #Conflicts: 1574000 | #Constraints: 49439
2034.02/2039.46 c #Conflicts: 1575000 | #Constraints: 50439
2034.02/2039.46 c #Conflicts: 1576000 | #Constraints: 51439
2034.02/2039.46 c #Conflicts: 1577000 | #Constraints: 52439
2034.02/2039.46 c #Conflicts: 1578000 | #Constraints: 53439
2034.02/2039.46 c #Conflicts: 1579000 | #Constraints: 54439
2034.02/2039.46 c #Conflicts: 1580000 | #Constraints: 55439
2034.02/2039.46 c #Conflicts: 1581000 | #Constraints: 56439
2034.02/2039.46 c #Conflicts: 1582000 | #Constraints: 57439
2034.02/2039.46 c #Conflicts: 1583000 | #Constraints: 58439
2034.02/2039.46 c #Conflicts: 1584000 | #Constraints: 59439
2034.02/2039.46 c #Conflicts: 1585000 | #Constraints: 60439
2034.02/2039.46 c #Conflicts: 1586000 | #Constraints: 61439
2034.02/2039.46 c #Conflicts: 1587000 | #Constraints: 62439
2034.02/2039.46 c #Conflicts: 1588000 | #Constraints: 63439
2034.02/2039.46 c #Conflicts: 1589000 | #Constraints: 64439
2034.02/2039.46 c #Conflicts: 1590000 | #Constraints: 65439
2034.02/2039.46 c #Conflicts: 1591000 | #Constraints: 66439
2034.02/2039.46 c INPROCESSING
2034.02/2039.46 c GARBAGE COLLECT
2034.02/2039.46 c #Conflicts: 1592000 | #Constraints: 42446
2034.02/2039.46 c #Conflicts: 1593000 | #Constraints: 43446
2034.02/2039.46 c #Conflicts: 1594000 | #Constraints: 44446
2034.02/2039.46 c #Conflicts: 1595000 | #Constraints: 45446
2034.02/2039.46 c #Conflicts: 1596000 | #Constraints: 46446
2034.02/2039.46 c #Conflicts: 1597000 | #Constraints: 47446
2034.02/2039.46 c #Conflicts: 1598000 | #Constraints: 48446
2034.02/2039.46 c #Conflicts: 1599000 | #Constraints: 49446
2034.02/2039.46 c #Conflicts: 1600000 | #Constraints: 50446
2034.02/2039.46 c #Conflicts: 1601000 | #Constraints: 51446
2034.02/2039.46 c #Conflicts: 1602000 | #Constraints: 52446
2034.02/2039.46 c #Conflicts: 1603000 | #Constraints: 53446
2034.02/2039.46 c #Conflicts: 1604000 | #Constraints: 54446
2034.02/2039.46 c #Conflicts: 1605000 | #Constraints: 55446
2034.02/2039.46 c #Conflicts: 1606000 | #Constraints: 56446
2034.02/2039.46 c #Conflicts: 1607000 | #Constraints: 57446
2034.02/2039.46 c #Conflicts: 1608000 | #Constraints: 58446
2034.02/2039.46 c #Conflicts: 1609000 | #Constraints: 59446
2034.02/2039.46 c #Conflicts: 1610000 | #Constraints: 60446
2034.02/2039.46 c #Conflicts: 1611000 | #Constraints: 61446
2034.02/2039.46 c #Conflicts: 1612000 | #Constraints: 62446
2034.02/2039.46 c #Conflicts: 1613000 | #Constraints: 63446
2034.02/2039.46 c #Conflicts: 1614000 | #Constraints: 64446
2034.02/2039.46 c #Conflicts: 1615000 | #Constraints: 65446
2034.02/2039.46 c #Conflicts: 1616000 | #Constraints: 66446
2034.02/2039.46 c INPROCESSING
2034.02/2039.46 c GARBAGE COLLECT
2034.02/2039.46 c #Conflicts: 1617000 | #Constraints: 42251
2034.02/2039.46 c #Conflicts: 1618000 | #Constraints: 43251
2034.02/2039.46 c #Conflicts: 1619000 | #Constraints: 44251
2034.02/2039.46 c #Conflicts: 1620000 | #Constraints: 45251
2034.02/2039.46 c #Conflicts: 1621000 | #Constraints: 46251
2034.02/2039.46 c #Conflicts: 1622000 | #Constraints: 47251
2034.02/2039.46 c #Conflicts: 1623000 | #Constraints: 48251
2034.02/2039.46 c #Conflicts: 1624000 | #Constraints: 49251
2034.02/2039.46 c #Conflicts: 1625000 | #Constraints: 50251
2034.02/2039.46 c #Conflicts: 1626000 | #Constraints: 51251
2034.02/2039.46 c #Conflicts: 1627000 | #Constraints: 52251
2034.02/2039.46 c #Conflicts: 1628000 | #Constraints: 53251
2034.02/2039.46 c #Conflicts: 1629000 | #Constraints: 54251
2034.02/2039.46 c #Conflicts: 1630000 | #Constraints: 55251
2034.02/2039.46 c #Conflicts: 1631000 | #Constraints: 56251
2034.02/2039.46 c #Conflicts: 1632000 | #Constraints: 57251
2034.02/2039.46 c #Conflicts: 1633000 | #Constraints: 58251
2034.02/2039.46 c #Conflicts: 1634000 | #Constraints: 59251
3600.08/3609.90 c #Conflicts: 1635000 | #Constraints: 60251
3600.08/3609.90 c #Conflicts: 1636000 | #Constraints: 61251
3600.08/3609.90 c #Conflicts: 1637000 | #Constraints: 62251
3600.08/3609.90 c #Conflicts: 1638000 | #Constraints: 63251
3600.08/3609.90 c #Conflicts: 1639000 | #Constraints: 64251
3600.08/3609.90 c #Conflicts: 1640000 | #Constraints: 65251
3600.08/3609.90 c #Conflicts: 1641000 | #Constraints: 66251
3600.08/3609.90 c #Conflicts: 1642000 | #Constraints: 67251
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 1643000 | #Constraints: 42858
3600.08/3609.90 c #Conflicts: 1644000 | #Constraints: 43858
3600.08/3609.90 c #Conflicts: 1645000 | #Constraints: 44858
3600.08/3609.90 c #Conflicts: 1646000 | #Constraints: 45858
3600.08/3609.90 c #Conflicts: 1647000 | #Constraints: 46858
3600.08/3609.90 c #Conflicts: 1648000 | #Constraints: 47858
3600.08/3609.90 c #Conflicts: 1649000 | #Constraints: 48858
3600.08/3609.90 c #Conflicts: 1650000 | #Constraints: 49858
3600.08/3609.90 c #Conflicts: 1651000 | #Constraints: 50858
3600.08/3609.90 c #Conflicts: 1652000 | #Constraints: 51858
3600.08/3609.90 c #Conflicts: 1653000 | #Constraints: 52858
3600.08/3609.90 c #Conflicts: 1654000 | #Constraints: 53858
3600.08/3609.90 c #Conflicts: 1655000 | #Constraints: 54858
3600.08/3609.90 c #Conflicts: 1656000 | #Constraints: 55858
3600.08/3609.90 c #Conflicts: 1657000 | #Constraints: 56858
3600.08/3609.90 c #Conflicts: 1658000 | #Constraints: 57858
3600.08/3609.90 c #Conflicts: 1659000 | #Constraints: 58858
3600.08/3609.90 c #Conflicts: 1660000 | #Constraints: 59858
3600.08/3609.90 c #Conflicts: 1661000 | #Constraints: 60858
3600.08/3609.90 c #Conflicts: 1662000 | #Constraints: 61858
3600.08/3609.90 c #Conflicts: 1663000 | #Constraints: 62858
3600.08/3609.90 c #Conflicts: 1664000 | #Constraints: 63858
3600.08/3609.90 c #Conflicts: 1665000 | #Constraints: 64858
3600.08/3609.90 c #Conflicts: 1666000 | #Constraints: 65858
3600.08/3609.90 c #Conflicts: 1667000 | #Constraints: 66858
3600.08/3609.90 c #Conflicts: 1668000 | #Constraints: 67858
3600.08/3609.90 c #Conflicts: 1669000 | #Constraints: 68858
3600.08/3609.90 c Program interrupted by user.
3600.08/3609.90 c cpu time 3590.18 s
3600.08/3609.90 c deterministic time 206040665861 2.06e+11
3600.08/3609.90 c optimization time 1331.19 s
3600.08/3609.90 c total solve time 1959.69 s
3600.08/3609.90 c core-guided solve time 1959.69 s
3600.08/3609.90 c propagation time 2890.04 s
3600.08/3609.90 c conflict analysis time 379.276 s
3600.08/3609.90 c propagations 308700049
3600.08/3609.90 c resolve steps 45730450
3600.08/3609.90 c decisions 6439935
3600.08/3609.90 c conflicts 1669220
3600.08/3609.90 c restarts 3169
3600.08/3609.90 c inprocessing phases 119
3600.08/3609.90 c input clauses 8488
3600.08/3609.90 c input cardinalities 497
3600.08/3609.90 c input general constraints 7422
3600.08/3609.90 c input average constraint length 6.36
3600.08/3609.90 c input average constraint degree 4.24
3600.08/3609.90 c learned clauses 1510453
3600.08/3609.90 c learned cardinalities 12506
3600.08/3609.90 c learned general constraints 146261
3600.08/3609.90 c learned average constraint length 184.93
3600.08/3609.90 c learned average constraint degree 33742.53
3600.08/3609.90 c watched constraints 121283
3600.08/3609.90 c counting constraints 32400
3600.08/3609.90 c gcd simplifications 716
3600.08/3609.90 c detected cardinalities 9
3600.08/3609.90 c weakened non-implied lits 43086035
3600.08/3609.90 c weakened non-implying lits 8148
3600.08/3609.90 c original variables 1344
3600.08/3609.90 c clausal propagations 147314082
3600.08/3609.90 c cardinality propagations 139778039
3600.08/3609.90 c watched propagations 7688140
3600.08/3609.90 c counting propagations 12298495
3600.08/3609.90 c watch lookups 67247063895
3600.08/3609.90 c watch backjump lookups 61897073262
3600.08/3609.90 c watch checks 67695593685
3600.08/3609.90 c propagation checks 7554714776
3600.08/3609.90 c constraint additions 1014271589
3600.08/3609.90 c trail pops 316808669
3600.08/3609.90 c formula constraints 16376
3600.08/3609.90 c learned constraints 1669220
3600.08/3609.90 c bound constraints 13
3600.08/3609.90 c core-guided constraints 18
3600.08/3609.90 c encountered formula constraints 20767813
3600.08/3609.90 c encountered learned constraints 26623168
3600.08/3609.90 c encountered bound constraints 705
3600.08/3609.90 c encountered core-guided constraints 7984
3600.08/3609.90 c LP total time 0 s
3600.08/3609.90 c LP solve time 0 s
3600.08/3609.90 c LP constraints added 0
3600.08/3609.90 c LP constraints removed 0
3600.08/3609.90 c LP pivots internal 0
3600.08/3609.90 c LP pivots root 0
3600.08/3609.90 c LP calls 0
3600.08/3609.90 c LP optimalities 0
3600.08/3609.90 c LP no pivot count 0
3600.08/3609.90 c LP infeasibilities 0
3600.08/3609.90 c LP valid Farkas constraints 0
3600.08/3609.90 c LP learned Farkas constraints 0
3600.08/3609.90 c LP basis resets 0
3600.08/3609.90 c LP cycling count 0
3600.08/3609.90 c LP singular count 0
3600.08/3609.90 c LP no primal count 0
3600.08/3609.90 c LP no farkas count 0
3600.08/3609.90 c LP other issue count 0
3600.08/3609.90 c LP Gomory cuts 0
3600.08/3609.90 c LP learned cuts 0
3600.08/3609.90 c LP deleted cuts 0
3600.08/3609.90 c LP encountered Gomory constraints 0
3600.08/3609.90 c LP encountered Farkas constraints 0
3600.08/3609.90 c LP encountered learned Farkas constraints 0
3600.08/3609.90 c CG auxiliary variables introduced 9
3600.08/3609.90 c CG solutions found 3
3600.08/3609.90 c CG cores constructed 9
3600.08/3609.90 c CG core cardinality constraints returned 0
3600.08/3609.90 c CG unit cores 0
3600.08/3609.90 c CG single cores 9
3600.08/3609.90 c CG blocks removed during cardinality reduction 0
3600.08/3609.90 c CG first core best 0
3600.08/3609.90 c CG decision core best 0
3600.08/3609.90 c CG core reduction tie 0
3600.08/3609.90 c CG core degree average 1.00
3600.08/3609.90 c CG core slack average 32.67
3600.08/3609.90 c CG exhausted 0
3600.08/3609.90 c CG exhaust time 1.08502 s
3600.08/3609.90 c CG trimmed 0
3600.08/3609.90 c CG trim time 0.000465 s
3600.08/3609.90 c CG minimized 0
3600.08/3609.90 c CG minimize time 0 s
3600.08/3609.90 c CG am1 prop time 0.000373 s
3600.08/3609.90 c CG # am1s reformulated 0
3600.08/3609.90 c CG lower bound derived from am1s 0
3600.08/3609.90 c CG # clausal cores 9
3600.08/3609.90 c CG # cardinality cores 0
3600.08/3609.90 c CG # pb cores 0
3600.08/3609.90 c CG # pb reforms 8
3600.08/3609.90 c CG # cores discarded because of pb reform 0
3600.08/3609.90 d LOWERBOUND 26
3600.08/3609.90 d NCORES 9
3600.08/3609.90 d NPBCORES 0
3600.08/3609.90 d NPBREFORM 8
3600.08/3609.90 d NTRIMMED 0
3600.08/3609.90 d NEXHAUSTED 0
3600.08/3609.90 d NAM1S 0
3600.08/3609.90 d AM1LB 0
3600.08/3609.90 c [Papilo Statistics]
3600.08/3609.90 c prepro time 0.0220493s
3600.08/3609.90 c # tsx applied 0
3600.08/3609.90 c # tsx conflicts 0
3600.08/3609.90 c # bound changes 0
3600.08/3609.90 c # side changes 0
3600.08/3609.90 c # coef changes 0
3600.08/3609.90 c # rounds 1
3600.08/3609.90 c # deted vars 0
3600.08/3609.90 c # deted constrs 0
3600.08/3609.90 c # consecutive rounds of only bound changes 0
3600.08/3609.90 c [STEP] postprocessing with Papilo
3600.08/3609.90 o 176
3600.08/3609.90 s SATISFIABLE
3600.08/3609.90 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 -x899 -x900 x901 -x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 x964 -x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 x1027 -x1028 x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 x1149 -x1150 x1151 -x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 -x1213 x1214 x1215 x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 x1276 x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 x1342 -x1343 x1344
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: 63665 MiB (52660 MiB free)
memory of node 1: 64507 MiB (63053 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528898-1752256208/watcher-4528898-1752256208 -o /tmp/evaluation-result-4528898-1752256208/solver-4528898-1752256208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133554 --watchdog 3760 mixed-bag HOME/instance-4528898-1752256208.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=133600, runsolver pid=133589
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 0.80 1.07 1.81 6/260 133602
/proc/meminfo: memFree=118422164/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=106092 memory=27628 CPUtime=0.08 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 5338 0 0 0 7 1 0 0 20 0 1 0 141301085 108638208 6907 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 26523 6907 2336 2834 0 8728 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 106092 KiB
Current children cumulated memory: 27628 KiB
[startup+0.205642 s]*
/proc/loadavg: 0.80 1.07 1.81 6/260 133602
/proc/meminfo: memFree=118343036/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=139428 memory=66588 CPUtime=0.18 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 16647 0 0 0 15 3 0 0 20 0 1 0 141301085 142774272 16647 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 34857 16647 4032 2834 0 17062 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 139428 KiB
Current children cumulated memory: 66588 KiB
[startup+0.305653 s]*
/proc/loadavg: 0.80 1.07 1.81 5/261 133608
/proc/meminfo: memFree=118314828/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=155412 memory=82588 CPUtime=0.29 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 20615 0 0 0 25 4 0 0 20 0 1 0 141301085 159141888 20647 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 38853 20647 4096 2834 0 21058 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 155412 KiB
Current children cumulated memory: 82588 KiB
[startup+0.700172 s]
/proc/loadavg: 0.80 1.07 1.81 4/263 133612
/proc/meminfo: memFree=118290572/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=237088 memory=152432 CPUtime=0.67 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 31837 0 0 0 61 6 0 0 20 0 1 0 141301085 242778112 38108 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 59272 38108 4128 2834 0 41477 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 237088 KiB
Current children cumulated memory: 152432 KiB
[startup+1.50012 s]
/proc/loadavg: 0.80 1.07 1.81 4/261 133620
/proc/meminfo: memFree=118085660/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=285408 memory=200020 CPUtime=1.47 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 43303 0 0 0 139 8 0 0 20 0 1 0 141301085 292257792 50005 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 71352 50005 4288 2834 0 53557 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 285408 KiB
Current children cumulated memory: 200020 KiB
[startup+3.10477 s]
/proc/loadavg: 1.05 1.12 1.82 5/265 133702
/proc/meminfo: memFree=117981420/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=285408 memory=200020 CPUtime=3.07 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 43304 0 0 0 299 8 0 0 20 0 1 0 141301085 292257792 50005 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 71352 50005 4288 2834 0 53557 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 285408 KiB
Current children cumulated memory: 200020 KiB
[startup+6.30013 s]
/proc/loadavg: 1.05 1.12 1.82 5/266 133703
/proc/meminfo: memFree=117659704/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=285408 memory=200020 CPUtime=6.26 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 43305 0 0 0 618 8 0 0 20 0 1 0 141301085 292257792 50005 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 71352 50005 4288 2834 0 53557 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 285408 KiB
Current children cumulated memory: 200020 KiB
[startup+12.7001 s]
/proc/loadavg: 1.51 1.22 1.85 5/266 133704
/proc/meminfo: memFree=117643720/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=285408 memory=200148 CPUtime=12.64 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 43309 0 0 0 1256 8 0 0 20 0 1 0 141301085 292257792 50037 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 71352 50037 4320 2834 0 53557 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 285408 KiB
Current children cumulated memory: 200148 KiB
[startup+25.5002 s]
/proc/loadavg: 1.89 1.31 1.87 5/266 133704
/proc/meminfo: memFree=117540440/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=286024 memory=200276 CPUtime=25.41 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 43323 0 0 0 2533 8 0 0 20 0 1 0 141301085 292888576 50069 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 71506 50069 4320 2834 0 53711 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 286024 KiB
Current children cumulated memory: 200276 KiB
[startup+51.1053 s]
/proc/loadavg: 2.68 1.54 1.93 5/266 133704
/proc/meminfo: memFree=117470788/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=317024 memory=227028 CPUtime=50.96 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 50028 0 0 0 5087 9 0 0 20 0 1 0 141301085 324632576 56757 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 79256 56757 4320 2834 0 61461 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 317024 KiB
Current children cumulated memory: 227028 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 1.99 2.07 5/266 133706
/proc/meminfo: memFree=117440460/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=335180 memory=245716 CPUtime=102.02 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 54699 0 0 0 10192 10 0 0 20 0 1 0 141301085 343224320 61429 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 83795 61429 4320 2834 0 66000 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 335180 KiB
Current children cumulated memory: 245716 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.37 2.20 5/267 133713
/proc/meminfo: memFree=117356236/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=335180 memory=245716 CPUtime=161.87 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 54701 0 0 0 16177 10 0 0 20 0 1 0 141301085 343224320 61429 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 83795 61429 4320 2834 0 66000 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 335180 KiB
Current children cumulated memory: 245716 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.69 2.32 5/267 133715
/proc/meminfo: memFree=117260264/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=335180 memory=246100 CPUtime=221.72 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 54783 0 0 0 22162 10 0 0 20 0 1 0 141301085 343224320 61525 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 83795 61525 4320 2834 0 66000 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 335180 KiB
Current children cumulated memory: 246100 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.94 2.43 5/267 133717
/proc/meminfo: memFree=117204608/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=350292 memory=261332 CPUtime=281.57 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 58607 0 0 0 28146 11 0 0 20 0 1 0 141301085 358699008 65333 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 87573 65333 4320 2834 0 69778 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 350292 KiB
Current children cumulated memory: 261332 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.54 5/264 133764
/proc/meminfo: memFree=117381800/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=303616 memory=232604 CPUtime=341.41 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 59714 0 0 0 34047 94 0 0 20 0 1 0 141301085 310902784 58151 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 75904 58151 4480 2834 0 58109 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 303616 KiB
Current children cumulated memory: 232604 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.34 2.64 5/264 133766
/proc/meminfo: memFree=117338052/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=310796 memory=243088 CPUtime=401.23 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 60086 0 0 0 39949 174 0 0 20 0 1 0 141301085 318255104 60772 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 77699 60772 4480 2834 0 59904 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 310796 KiB
Current children cumulated memory: 243088 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 3.46 2.73 5/263 133768
/proc/meminfo: memFree=117298372/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=310796 memory=249488 CPUtime=461.08 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 60215 0 0 0 45858 250 0 0 20 0 1 0 141301085 318255104 62372 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 77699 62372 4480 2834 0 59904 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
Current children cumulated memory: 294584 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.14 4.05 5/264 133893
/proc/meminfo: memFree=117069460/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=294584 CPUtime=2914.5 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61617 0 0 0 290530 920 0 0 20 0 1 0 141301085 381194240 73646 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 73646 4480 2834 0 75270 0
Current children cumulated CPU time: 2914.5 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 294584 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.15 4.06 5/264 133897
/proc/meminfo: memFree=117061500/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=296632 CPUtime=2974.33 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61618 0 0 0 296504 929 0 0 20 0 1 0 141301085 381194240 74158 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 74158 4480 2834 0 75270 0
Current children cumulated CPU time: 2974.33 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 296632 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/263 133899
/proc/meminfo: memFree=117062652/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=296632 CPUtime=3034.16 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61618 0 0 0 302481 935 0 0 20 0 1 0 141301085 381194240 74158 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 74158 4480 2834 0 75270 0
Current children cumulated CPU time: 3034.16 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 296632 KiB
[startup+3102.3 s]
/proc/loadavg: 4.23 4.16 4.07 5/263 133901
/proc/meminfo: memFree=117053132/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=298680 CPUtime=3093.99 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61619 0 0 0 308458 941 0 0 20 0 1 0 141301085 381194240 74670 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 74670 4480 2834 0 75270 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 298680 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/264 133908
/proc/meminfo: memFree=117043640/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=300728 CPUtime=3153.81 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61621 0 0 0 314434 947 0 0 20 0 1 0 141301085 381194240 75182 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 75182 4480 2834 0 75270 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 300728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/264 133910
/proc/meminfo: memFree=117048444/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=302776 CPUtime=3213.64 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61623 0 0 0 320410 954 0 0 20 0 1 0 141301085 381194240 75694 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 75694 4480 2834 0 75270 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 302776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.07 5/264 133912
/proc/meminfo: memFree=117043484/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=304824 CPUtime=3273.48 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61624 0 0 0 326389 959 0 0 20 0 1 0 141301085 381194240 76206 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 76206 4480 2834 0 75270 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 304824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.16 4.09 5/264 133914
/proc/meminfo: memFree=117043388/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=306872 CPUtime=3333.31 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61719 0 0 0 332366 965 0 0 20 0 1 0 141301085 381194240 76718 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 76718 4480 2834 0 75270 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 306872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.10 5/264 133916
/proc/meminfo: memFree=117039436/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=308920 CPUtime=3393.14 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61722 0 0 0 338343 971 0 0 20 0 1 0 141301085 381194240 77230 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 77230 4480 2834 0 75270 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 308920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.10 5/263 133918
/proc/meminfo: memFree=117035500/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=308920 CPUtime=3452.96 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61729 0 0 0 344319 977 0 0 20 0 1 0 141301085 381194240 77230 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 77230 4480 2834 0 75270 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 308920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.14 4.09 5/263 133920
/proc/meminfo: memFree=117031548/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=372260 memory=310968 CPUtime=3512.77 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61732 0 0 0 350295 982 0 0 20 0 1 0 141301085 381194240 77742 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 93065 77742 4480 2834 0 75270 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 310968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/264 133925
/proc/meminfo: memFree=117030744/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=422348 memory=311736 CPUtime=3572.58 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 61943 0 0 0 356271 987 0 0 20 0 1 0 141301085 432484352 77934 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 105587 77934 4480 2834 0 87792 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 422348 KiB
Current children cumulated memory: 311736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.14 4.15 4.09 5/264 133926
/proc/meminfo: memFree=117026232/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=422348 memory=314220 CPUtime=3600.08 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 62034 0 0 0 359017 991 0 0 20 0 1 0 141301085 432484352 78555 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 105587 78555 4480 2834 0 87792 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 422348 KiB
Current children cumulated memory: 314220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 133600 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.18 s, system=9.92017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.14 4.15 4.09 5/264 133926
/proc/meminfo: memFree=117026232/131250000 swapFree=33008868/33010684
[pid=133600] ppid=133589 vsize=422348 memory=314220 CPUtime=3600.08 cores=5,7
/proc/133600/stat : 133600 (mixed-bag) R 133589 133600 133541 0 -1 4194304 62034 0 0 0 359017 991 0 0 20 0 1 0 141301085 432484352 78555 18446744073709551615 4235264 15840557 140727930860016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 48574464 140727930866074 140727930866151 140727930866151 140727930871755 0
/proc/133600/statm: 105587 78555 4480 2834 0 87792 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 422348 KiB
Current children cumulated memory: 314220 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.1
CPU user time (s): 3590.18
CPU system time (s): 9.92017
CPU usage (%): 99.7283
Max. virtual memory (cumulated for all children) (KiB): 422348
Max. memory (cumulated for all children) (KiB): 314220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.18
system time used= 9.92017
maximum resident set size= 314860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62067
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= 205
involuntary context switches= 1168
# summary of solver processes directly reported to runsolver:
# pid: 133600
# total CPU time (s): 3600.1
# total CPU user time (s): 3590.18
# total CPU system time (s): 9.92017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93777 second user time and 14.7733 second system time
The end
Begin job on nodeC013 at 2025-07-11 19:50:08
IDJOB=4528898
IDBENCH=147017
IDSOLVER=3386
FILE ID=nodeC013/4528898-1752256208
RUNJOBID= nodeC013-1752256208-133554
SLURM_JOB_ID= 9682595
Free space on /tmp= 432248 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528898-1752256208/watcher-4528898-1752256208 -o /tmp/evaluation-result-4528898-1752256208/solver-4528898-1752256208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133554 --watchdog 3760 mixed-bag HOME/instance-4528898-1752256208.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=1896469435
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3728.385
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.834
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.931
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.856
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.832
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.830
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3600.999
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3602.581
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 118513864 kB
MemAvailable: 129685944 kB
Buffers: 1668 kB
Cached: 11918704 kB
SwapCached: 164 kB
Active: 520484 kB
Inactive: 11476228 kB
Active(anon): 93100 kB
Inactive(anon): 4868 kB
Active(file): 427384 kB
Inactive(file): 11471360 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 81000 kB
Writeback: 0 kB
AnonPages: 79592 kB
Mapped: 100948 kB
Shmem: 21304 kB
KReclaimable: 224752 kB
Slab: 319364 kB
SReclaimable: 224752 kB
SUnreclaim: 94612 kB
KernelStack: 4008 kB
PageTables: 2412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 336824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432184 MiB
End job on nodeC013 at 2025-07-11 20:50:18