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.09/0.10 c Papilo could not simplify the problem
0.09/0.10 c [STEP] solving with SCIP
299.32/300.15 c [STEP] preprocessing done, loading into solver
299.32/300.19 c [STEP] solving
299.32/300.19 c #variables 1345 #constraints 16376
299.32/300.19 c SMALL=int, LARGE=long long
299.32/300.19 d SCIPUB 1025
299.32/300.19 c bounds - >= 0 @ 299.212
299.32/300.19 c stratification level: 3
299.52/300.30 c bounds - >= 3 @ 299.221
299.52/300.30 c bounds - >= 6 @ 299.232
299.52/300.30 c bounds - >= 9 @ 299.242
299.52/300.30 c #Conflicts: 1000 | #Constraints: 17378
299.52/300.30 c bounds - >= 12 @ 299.254
299.52/300.30 c bounds - >= 15 @ 299.27
299.52/300.30 c #Conflicts: 2000 | #Constraints: 18380
299.52/300.30 c INPROCESSING
299.52/300.30 c bounds - >= 18 @ 299.283
299.52/300.30 c bounds - >= 21 @ 299.29
299.52/300.30 c bounds - >= 24 @ 299.307
299.52/300.30 c #Conflicts: 3000 | #Constraints: 18390
299.52/300.30 c finalizing WCE round: reformulating cores
300.41/301.23 c #Conflicts: 4000 | #Constraints: 19396
300.41/301.23 c INPROCESSING
300.41/301.23 c GARBAGE COLLECT
300.41/301.23 c #Conflicts: 5000 | #Constraints: 18808
300.41/301.23 c #Conflicts: 6000 | #Constraints: 19810
300.41/301.23 c INPROCESSING
300.41/301.23 c GARBAGE COLLECT
300.41/301.23 c #Conflicts: 7000 | #Constraints: 18818
300.41/301.23 c #Conflicts: 8000 | #Constraints: 19820
300.41/301.23 c bounds 182 >= 24 @ 300.135
300.41/301.23 c #Conflicts: 9000 | #Constraints: 20822
300.41/301.23 c INPROCESSING
300.41/301.23 c GARBAGE COLLECT
300.41/301.23 c bounds 178 >= 24 @ 300.226
300.41/301.23 c stratification level: 2
308.60/309.40 c #Conflicts: 10000 | #Constraints: 19527
308.60/309.40 c #Conflicts: 11000 | #Constraints: 20527
308.60/309.40 c #Conflicts: 12000 | #Constraints: 21527
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 13000 | #Constraints: 19992
308.60/309.40 c #Conflicts: 14000 | #Constraints: 20992
308.60/309.40 c #Conflicts: 15000 | #Constraints: 21992
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 16000 | #Constraints: 20242
308.60/309.40 c #Conflicts: 17000 | #Constraints: 21242
308.60/309.40 c #Conflicts: 18000 | #Constraints: 22242
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 19000 | #Constraints: 20271
308.60/309.40 c #Conflicts: 20000 | #Constraints: 21271
308.60/309.40 c #Conflicts: 21000 | #Constraints: 22271
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 22000 | #Constraints: 20081
308.60/309.40 c #Conflicts: 23000 | #Constraints: 21081
308.60/309.40 c #Conflicts: 24000 | #Constraints: 22081
308.60/309.40 c #Conflicts: 25000 | #Constraints: 23081
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 26000 | #Constraints: 20685
308.60/309.40 c #Conflicts: 27000 | #Constraints: 21685
308.60/309.40 c #Conflicts: 28000 | #Constraints: 22685
308.60/309.40 c #Conflicts: 29000 | #Constraints: 23685
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 30000 | #Constraints: 21092
308.60/309.40 c #Conflicts: 31000 | #Constraints: 22092
308.60/309.40 c #Conflicts: 32000 | #Constraints: 23092
308.60/309.40 c #Conflicts: 33000 | #Constraints: 24092
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 34000 | #Constraints: 21297
308.60/309.40 c #Conflicts: 35000 | #Constraints: 22297
308.60/309.40 c #Conflicts: 36000 | #Constraints: 23297
308.60/309.40 c #Conflicts: 37000 | #Constraints: 24297
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 38000 | #Constraints: 21303
308.60/309.40 c #Conflicts: 39000 | #Constraints: 22303
308.60/309.40 c #Conflicts: 40000 | #Constraints: 23303
308.60/309.40 c #Conflicts: 41000 | #Constraints: 24303
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 42000 | #Constraints: 21125
308.60/309.40 c #Conflicts: 43000 | #Constraints: 22125
308.60/309.40 c #Conflicts: 44000 | #Constraints: 23125
308.60/309.40 c #Conflicts: 45000 | #Constraints: 24125
308.60/309.40 c #Conflicts: 46000 | #Constraints: 25125
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 47000 | #Constraints: 21712
308.60/309.40 c #Conflicts: 48000 | #Constraints: 22712
308.60/309.40 c #Conflicts: 49000 | #Constraints: 23712
308.60/309.40 c #Conflicts: 50000 | #Constraints: 24712
308.60/309.40 c #Conflicts: 51000 | #Constraints: 25712
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 52000 | #Constraints: 22126
308.60/309.40 c #Conflicts: 53000 | #Constraints: 23126
308.60/309.40 c #Conflicts: 54000 | #Constraints: 24126
308.60/309.40 c #Conflicts: 55000 | #Constraints: 25126
308.60/309.40 c #Conflicts: 56000 | #Constraints: 26126
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 57000 | #Constraints: 22333
308.60/309.40 c #Conflicts: 58000 | #Constraints: 23333
308.60/309.40 c #Conflicts: 59000 | #Constraints: 24333
308.60/309.40 c #Conflicts: 60000 | #Constraints: 25333
308.60/309.40 c #Conflicts: 61000 | #Constraints: 26333
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 62000 | #Constraints: 22343
308.60/309.40 c #Conflicts: 63000 | #Constraints: 23343
308.60/309.40 c #Conflicts: 64000 | #Constraints: 24343
308.60/309.40 c #Conflicts: 65000 | #Constraints: 25343
308.60/309.40 c #Conflicts: 66000 | #Constraints: 26343
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 67000 | #Constraints: 22146
308.60/309.40 c #Conflicts: 68000 | #Constraints: 23146
308.60/309.40 c #Conflicts: 69000 | #Constraints: 24146
308.60/309.40 c #Conflicts: 70000 | #Constraints: 25146
308.60/309.40 c #Conflicts: 71000 | #Constraints: 26146
308.60/309.40 c #Conflicts: 72000 | #Constraints: 27146
308.60/309.40 c INPROCESSING
308.60/309.40 c GARBAGE COLLECT
308.60/309.40 c #Conflicts: 73000 | #Constraints: 22735
308.60/309.40 c #Conflicts: 74000 | #Constraints: 23735
308.60/309.40 c #Conflicts: 75000 | #Constraints: 24735
308.60/309.40 c #Conflicts: 76000 | #Constraints: 25735
308.60/309.40 c #Conflicts: 77000 | #Constraints: 26735
308.60/309.40 c #Conflicts: 78000 | #Constraints: 27735
308.60/309.40 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 79000 | #Constraints: 23145
321.06/322.00 c #Conflicts: 80000 | #Constraints: 24145
321.06/322.00 c #Conflicts: 81000 | #Constraints: 25145
321.06/322.00 c #Conflicts: 82000 | #Constraints: 26145
321.06/322.00 c #Conflicts: 83000 | #Constraints: 27145
321.06/322.00 c #Conflicts: 84000 | #Constraints: 28145
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 85000 | #Constraints: 23350
321.06/322.00 c #Conflicts: 86000 | #Constraints: 24350
321.06/322.00 c #Conflicts: 87000 | #Constraints: 25350
321.06/322.00 c #Conflicts: 88000 | #Constraints: 26350
321.06/322.00 c #Conflicts: 89000 | #Constraints: 27350
321.06/322.00 c #Conflicts: 90000 | #Constraints: 28350
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 91000 | #Constraints: 23353
321.06/322.00 c #Conflicts: 92000 | #Constraints: 24353
321.06/322.00 c #Conflicts: 93000 | #Constraints: 25353
321.06/322.00 c #Conflicts: 94000 | #Constraints: 26353
321.06/322.00 c #Conflicts: 95000 | #Constraints: 27353
321.06/322.00 c #Conflicts: 96000 | #Constraints: 28353
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 97000 | #Constraints: 23147
321.06/322.00 c #Conflicts: 98000 | #Constraints: 24147
321.06/322.00 c #Conflicts: 99000 | #Constraints: 25147
321.06/322.00 c #Conflicts: 100000 | #Constraints: 26147
321.06/322.00 c #Conflicts: 101000 | #Constraints: 27147
321.06/322.00 c #Conflicts: 102000 | #Constraints: 28147
321.06/322.00 c #Conflicts: 103000 | #Constraints: 29147
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 104000 | #Constraints: 23740
321.06/322.00 c #Conflicts: 105000 | #Constraints: 24740
321.06/322.00 c #Conflicts: 106000 | #Constraints: 25740
321.06/322.00 c #Conflicts: 107000 | #Constraints: 26740
321.06/322.00 c #Conflicts: 108000 | #Constraints: 27740
321.06/322.00 c #Conflicts: 109000 | #Constraints: 28740
321.06/322.00 c #Conflicts: 110000 | #Constraints: 29740
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 111000 | #Constraints: 24146
321.06/322.00 c #Conflicts: 112000 | #Constraints: 25146
321.06/322.00 c #Conflicts: 113000 | #Constraints: 26146
321.06/322.00 c #Conflicts: 114000 | #Constraints: 27146
321.06/322.00 c #Conflicts: 115000 | #Constraints: 28146
321.06/322.00 c #Conflicts: 116000 | #Constraints: 29146
321.06/322.00 c #Conflicts: 117000 | #Constraints: 30146
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 118000 | #Constraints: 24350
321.06/322.00 c #Conflicts: 119000 | #Constraints: 25350
321.06/322.00 c #Conflicts: 120000 | #Constraints: 26350
321.06/322.00 c #Conflicts: 121000 | #Constraints: 27350
321.06/322.00 c #Conflicts: 122000 | #Constraints: 28350
321.06/322.00 c #Conflicts: 123000 | #Constraints: 29350
321.06/322.00 c #Conflicts: 124000 | #Constraints: 30350
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 125000 | #Constraints: 24356
321.06/322.00 c #Conflicts: 126000 | #Constraints: 25356
321.06/322.00 c #Conflicts: 127000 | #Constraints: 26356
321.06/322.00 c #Conflicts: 128000 | #Constraints: 27356
321.06/322.00 c #Conflicts: 129000 | #Constraints: 28356
321.06/322.00 c #Conflicts: 130000 | #Constraints: 29356
321.06/322.00 c #Conflicts: 131000 | #Constraints: 30356
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 132000 | #Constraints: 24147
321.06/322.00 c #Conflicts: 133000 | #Constraints: 25147
321.06/322.00 c #Conflicts: 134000 | #Constraints: 26147
321.06/322.00 c #Conflicts: 135000 | #Constraints: 27147
321.06/322.00 c #Conflicts: 136000 | #Constraints: 28147
321.06/322.00 c #Conflicts: 137000 | #Constraints: 29147
321.06/322.00 c #Conflicts: 138000 | #Constraints: 30147
321.06/322.00 c #Conflicts: 139000 | #Constraints: 31147
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 140000 | #Constraints: 24740
321.06/322.00 c #Conflicts: 141000 | #Constraints: 25740
321.06/322.00 c #Conflicts: 142000 | #Constraints: 26740
321.06/322.00 c #Conflicts: 143000 | #Constraints: 27740
321.06/322.00 c #Conflicts: 144000 | #Constraints: 28740
321.06/322.00 c #Conflicts: 145000 | #Constraints: 29740
321.06/322.00 c #Conflicts: 146000 | #Constraints: 30740
321.06/322.00 c #Conflicts: 147000 | #Constraints: 31740
321.06/322.00 c INPROCESSING
321.06/322.00 c GARBAGE COLLECT
321.06/322.00 c #Conflicts: 148000 | #Constraints: 25153
321.06/322.00 c #Conflicts: 149000 | #Constraints: 26153
321.06/322.00 c #Conflicts: 150000 | #Constraints: 27153
321.06/322.00 c #Conflicts: 151000 | #Constraints: 28153
335.14/336.06 c #Conflicts: 152000 | #Constraints: 29153
335.14/336.06 c #Conflicts: 153000 | #Constraints: 30153
335.14/336.06 c #Conflicts: 154000 | #Constraints: 31153
335.14/336.06 c #Conflicts: 155000 | #Constraints: 32153
335.14/336.06 c INPROCESSING
335.14/336.06 c GARBAGE COLLECT
335.14/336.06 c #Conflicts: 156000 | #Constraints: 25355
335.14/336.06 c #Conflicts: 157000 | #Constraints: 26355
335.14/336.06 c #Conflicts: 158000 | #Constraints: 27355
335.14/336.06 c #Conflicts: 159000 | #Constraints: 28355
335.14/336.06 c #Conflicts: 160000 | #Constraints: 29355
335.14/336.06 c #Conflicts: 161000 | #Constraints: 30355
335.14/336.06 c #Conflicts: 162000 | #Constraints: 31355
335.14/336.06 c #Conflicts: 163000 | #Constraints: 32355
335.14/336.06 c INPROCESSING
335.14/336.06 c GARBAGE COLLECT
335.14/336.06 c #Conflicts: 164000 | #Constraints: 25359
335.14/336.06 c #Conflicts: 165000 | #Constraints: 26359
335.14/336.06 c #Conflicts: 166000 | #Constraints: 27359
335.14/336.06 c #Conflicts: 167000 | #Constraints: 28359
335.14/336.06 c #Conflicts: 168000 | #Constraints: 29359
335.14/336.06 c #Conflicts: 169000 | #Constraints: 30359
335.14/336.06 c #Conflicts: 170000 | #Constraints: 31359
335.14/336.06 c #Conflicts: 171000 | #Constraints: 32359
335.14/336.06 c INPROCESSING
335.14/336.06 c GARBAGE COLLECT
335.14/336.06 c #Conflicts: 172000 | #Constraints: 25155
335.14/336.06 c #Conflicts: 173000 | #Constraints: 26155
335.14/336.06 c #Conflicts: 174000 | #Constraints: 27155
335.14/336.06 c #Conflicts: 175000 | #Constraints: 28155
335.14/336.06 c #Conflicts: 176000 | #Constraints: 29155
335.14/336.06 c #Conflicts: 177000 | #Constraints: 30155
335.14/336.06 c #Conflicts: 178000 | #Constraints: 31155
335.14/336.06 c #Conflicts: 179000 | #Constraints: 32155
335.14/336.06 c #Conflicts: 180000 | #Constraints: 33155
335.14/336.06 c INPROCESSING
335.14/336.06 c GARBAGE COLLECT
335.14/336.06 c #Conflicts: 181000 | #Constraints: 25761
335.14/336.06 c #Conflicts: 182000 | #Constraints: 26761
335.14/336.06 c #Conflicts: 183000 | #Constraints: 27761
335.14/336.06 c #Conflicts: 184000 | #Constraints: 28761
335.14/336.06 c #Conflicts: 185000 | #Constraints: 29761
335.14/336.06 c #Conflicts: 186000 | #Constraints: 30761
335.14/336.06 c #Conflicts: 187000 | #Constraints: 31761
335.14/336.06 c #Conflicts: 188000 | #Constraints: 32761
335.14/336.06 c #Conflicts: 189000 | #Constraints: 33761
335.14/336.06 c INPROCESSING
335.14/336.06 c GARBAGE COLLECT
335.14/336.06 c #Conflicts: 190000 | #Constraints: 26161
335.14/336.06 c #Conflicts: 191000 | #Constraints: 27161
335.14/336.06 c #Conflicts: 192000 | #Constraints: 28161
335.14/336.06 c #Conflicts: 193000 | #Constraints: 29161
335.14/336.06 c #Conflicts: 194000 | #Constraints: 30161
335.14/336.06 c #Conflicts: 195000 | #Constraints: 31161
335.14/336.06 c #Conflicts: 196000 | #Constraints: 32161
335.14/336.06 c #Conflicts: 197000 | #Constraints: 33161
335.14/336.06 c #Conflicts: 198000 | #Constraints: 34161
335.14/336.06 c INPROCESSING
335.14/336.06 c GARBAGE COLLECT
335.14/336.06 c #Conflicts: 199000 | #Constraints: 26375
335.14/336.06 c #Conflicts: 200000 | #Constraints: 27375
335.14/336.06 c #Conflicts: 201000 | #Constraints: 28375
335.14/336.06 c #Conflicts: 202000 | #Constraints: 29375
335.14/336.06 c #Conflicts: 203000 | #Constraints: 30375
335.14/336.06 c #Conflicts: 204000 | #Constraints: 31375
335.14/336.06 c #Conflicts: 205000 | #Constraints: 32375
335.14/336.06 c #Conflicts: 206000 | #Constraints: 33375
335.14/336.06 c #Conflicts: 207000 | #Constraints: 34375
335.14/336.06 c INPROCESSING
335.14/336.06 c GARBAGE COLLECT
335.14/336.06 c #Conflicts: 208000 | #Constraints: 26368
335.14/336.06 c #Conflicts: 209000 | #Constraints: 27368
335.14/336.06 c #Conflicts: 210000 | #Constraints: 28368
335.14/336.06 c #Conflicts: 211000 | #Constraints: 29368
335.14/336.06 c #Conflicts: 212000 | #Constraints: 30368
335.14/336.06 c #Conflicts: 213000 | #Constraints: 31368
335.14/336.06 c #Conflicts: 214000 | #Constraints: 32368
335.14/336.06 c #Conflicts: 215000 | #Constraints: 33368
335.14/336.06 c #Conflicts: 216000 | #Constraints: 34368
335.14/336.06 c INPROCESSING
335.14/336.06 c GARBAGE COLLECT
335.14/336.06 c #Conflicts: 217000 | #Constraints: 26167
335.14/336.06 c #Conflicts: 218000 | #Constraints: 27167
335.14/336.06 c #Conflicts: 219000 | #Constraints: 28167
335.14/336.06 c #Conflicts: 220000 | #Constraints: 29167
335.14/336.06 c #Conflicts: 221000 | #Constraints: 30167
335.14/336.06 c #Conflicts: 222000 | #Constraints: 31167
335.14/336.06 c #Conflicts: 223000 | #Constraints: 32167
335.14/336.06 c #Conflicts: 224000 | #Constraints: 33167
350.49/351.45 c #Conflicts: 225000 | #Constraints: 34167
350.49/351.45 c #Conflicts: 226000 | #Constraints: 35167
350.49/351.45 c INPROCESSING
350.49/351.45 c GARBAGE COLLECT
350.49/351.45 c #Conflicts: 227000 | #Constraints: 26776
350.49/351.45 c #Conflicts: 228000 | #Constraints: 27776
350.49/351.45 c #Conflicts: 229000 | #Constraints: 28776
350.49/351.45 c #Conflicts: 230000 | #Constraints: 29776
350.49/351.45 c #Conflicts: 231000 | #Constraints: 30776
350.49/351.45 c #Conflicts: 232000 | #Constraints: 31776
350.49/351.45 c #Conflicts: 233000 | #Constraints: 32776
350.49/351.45 c #Conflicts: 234000 | #Constraints: 33776
350.49/351.45 c #Conflicts: 235000 | #Constraints: 34776
350.49/351.45 c #Conflicts: 236000 | #Constraints: 35776
350.49/351.45 c INPROCESSING
350.49/351.45 c GARBAGE COLLECT
350.49/351.45 c #Conflicts: 237000 | #Constraints: 27173
350.49/351.45 c #Conflicts: 238000 | #Constraints: 28173
350.49/351.45 c #Conflicts: 239000 | #Constraints: 29173
350.49/351.45 c #Conflicts: 240000 | #Constraints: 30173
350.49/351.45 c #Conflicts: 241000 | #Constraints: 31173
350.49/351.45 c #Conflicts: 242000 | #Constraints: 32173
350.49/351.45 c #Conflicts: 243000 | #Constraints: 33173
350.49/351.45 c #Conflicts: 244000 | #Constraints: 34173
350.49/351.45 c #Conflicts: 245000 | #Constraints: 35173
350.49/351.45 c #Conflicts: 246000 | #Constraints: 36173
350.49/351.45 c INPROCESSING
350.49/351.45 c GARBAGE COLLECT
350.49/351.45 c #Conflicts: 247000 | #Constraints: 27368
350.49/351.45 c #Conflicts: 248000 | #Constraints: 28368
350.49/351.45 c #Conflicts: 249000 | #Constraints: 29368
350.49/351.45 c #Conflicts: 250000 | #Constraints: 30368
350.49/351.45 c #Conflicts: 251000 | #Constraints: 31368
350.49/351.45 c #Conflicts: 252000 | #Constraints: 32368
350.49/351.45 c #Conflicts: 253000 | #Constraints: 33368
350.49/351.45 c #Conflicts: 254000 | #Constraints: 34368
350.49/351.45 c #Conflicts: 255000 | #Constraints: 35368
350.49/351.45 c #Conflicts: 256000 | #Constraints: 36368
350.49/351.45 c INPROCESSING
350.49/351.45 c GARBAGE COLLECT
350.49/351.45 c #Conflicts: 257000 | #Constraints: 27370
350.49/351.45 c #Conflicts: 258000 | #Constraints: 28370
350.49/351.45 c #Conflicts: 259000 | #Constraints: 29370
350.49/351.45 c #Conflicts: 260000 | #Constraints: 30370
350.49/351.45 c #Conflicts: 261000 | #Constraints: 31370
350.49/351.45 c #Conflicts: 262000 | #Constraints: 32370
350.49/351.45 c #Conflicts: 263000 | #Constraints: 33370
350.49/351.45 c #Conflicts: 264000 | #Constraints: 34370
350.49/351.45 c #Conflicts: 265000 | #Constraints: 35370
350.49/351.45 c #Conflicts: 266000 | #Constraints: 36370
350.49/351.45 c INPROCESSING
350.49/351.45 c GARBAGE COLLECT
350.49/351.45 c #Conflicts: 267000 | #Constraints: 27178
350.49/351.45 c #Conflicts: 268000 | #Constraints: 28178
350.49/351.45 c #Conflicts: 269000 | #Constraints: 29178
350.49/351.45 c #Conflicts: 270000 | #Constraints: 30178
350.49/351.45 c #Conflicts: 271000 | #Constraints: 31178
350.49/351.45 c #Conflicts: 272000 | #Constraints: 32178
350.49/351.45 c #Conflicts: 273000 | #Constraints: 33178
350.49/351.45 c #Conflicts: 274000 | #Constraints: 34178
350.49/351.45 c #Conflicts: 275000 | #Constraints: 35178
350.49/351.45 c #Conflicts: 276000 | #Constraints: 36178
350.49/351.45 c #Conflicts: 277000 | #Constraints: 37178
350.49/351.45 c INPROCESSING
350.49/351.45 c GARBAGE COLLECT
350.49/351.45 c #Conflicts: 278000 | #Constraints: 27766
350.49/351.45 c #Conflicts: 279000 | #Constraints: 28766
350.49/351.45 c #Conflicts: 280000 | #Constraints: 29766
350.49/351.45 c #Conflicts: 281000 | #Constraints: 30766
350.49/351.45 c #Conflicts: 282000 | #Constraints: 31766
350.49/351.45 c #Conflicts: 283000 | #Constraints: 32766
350.49/351.45 c #Conflicts: 284000 | #Constraints: 33766
350.49/351.45 c #Conflicts: 285000 | #Constraints: 34766
350.49/351.45 c #Conflicts: 286000 | #Constraints: 35766
350.49/351.45 c #Conflicts: 287000 | #Constraints: 36766
350.49/351.45 c #Conflicts: 288000 | #Constraints: 37766
350.49/351.45 c INPROCESSING
350.49/351.45 c GARBAGE COLLECT
350.49/351.45 c #Conflicts: 289000 | #Constraints: 28164
350.49/351.45 c #Conflicts: 290000 | #Constraints: 29164
350.49/351.45 c #Conflicts: 291000 | #Constraints: 30164
350.49/351.45 c #Conflicts: 292000 | #Constraints: 31164
350.49/351.45 c #Conflicts: 293000 | #Constraints: 32164
350.49/351.45 c #Conflicts: 294000 | #Constraints: 33164
350.49/351.45 c #Conflicts: 295000 | #Constraints: 34164
350.49/351.45 c #Conflicts: 296000 | #Constraints: 35164
350.49/351.45 c #Conflicts: 297000 | #Constraints: 36164
350.49/351.45 c #Conflicts: 298000 | #Constraints: 37164
350.49/351.45 c #Conflicts: 299000 | #Constraints: 38164
367.16/368.17 c INPROCESSING
367.16/368.17 c GARBAGE COLLECT
367.16/368.17 c #Conflicts: 300000 | #Constraints: 28381
367.16/368.17 c #Conflicts: 301000 | #Constraints: 29381
367.16/368.17 c #Conflicts: 302000 | #Constraints: 30381
367.16/368.17 c #Conflicts: 303000 | #Constraints: 31381
367.16/368.17 c #Conflicts: 304000 | #Constraints: 32381
367.16/368.17 c #Conflicts: 305000 | #Constraints: 33381
367.16/368.17 c #Conflicts: 306000 | #Constraints: 34381
367.16/368.17 c #Conflicts: 307000 | #Constraints: 35381
367.16/368.17 c #Conflicts: 308000 | #Constraints: 36381
367.16/368.17 c #Conflicts: 309000 | #Constraints: 37381
367.16/368.17 c #Conflicts: 310000 | #Constraints: 38381
367.16/368.17 c INPROCESSING
367.16/368.17 c GARBAGE COLLECT
367.16/368.17 c #Conflicts: 311000 | #Constraints: 28379
367.16/368.17 c #Conflicts: 312000 | #Constraints: 29379
367.16/368.17 c #Conflicts: 313000 | #Constraints: 30379
367.16/368.17 c #Conflicts: 314000 | #Constraints: 31379
367.16/368.17 c #Conflicts: 315000 | #Constraints: 32379
367.16/368.17 c #Conflicts: 316000 | #Constraints: 33379
367.16/368.17 c #Conflicts: 317000 | #Constraints: 34379
367.16/368.17 c #Conflicts: 318000 | #Constraints: 35379
367.16/368.17 c #Conflicts: 319000 | #Constraints: 36379
367.16/368.17 c #Conflicts: 320000 | #Constraints: 37379
367.16/368.17 c #Conflicts: 321000 | #Constraints: 38379
367.16/368.17 c INPROCESSING
367.16/368.17 c GARBAGE COLLECT
367.16/368.17 c #Conflicts: 322000 | #Constraints: 28171
367.16/368.17 c #Conflicts: 323000 | #Constraints: 29171
367.16/368.17 c #Conflicts: 324000 | #Constraints: 30171
367.16/368.17 c #Conflicts: 325000 | #Constraints: 31171
367.16/368.17 c #Conflicts: 326000 | #Constraints: 32171
367.16/368.17 c #Conflicts: 327000 | #Constraints: 33171
367.16/368.17 c #Conflicts: 328000 | #Constraints: 34171
367.16/368.17 c #Conflicts: 329000 | #Constraints: 35171
367.16/368.17 c #Conflicts: 330000 | #Constraints: 36171
367.16/368.17 c #Conflicts: 331000 | #Constraints: 37171
367.16/368.17 c #Conflicts: 332000 | #Constraints: 38171
367.16/368.17 c #Conflicts: 333000 | #Constraints: 39171
367.16/368.17 c INPROCESSING
367.16/368.17 c GARBAGE COLLECT
367.16/368.17 c #Conflicts: 334000 | #Constraints: 28770
367.16/368.17 c #Conflicts: 335000 | #Constraints: 29770
367.16/368.17 c #Conflicts: 336000 | #Constraints: 30770
367.16/368.17 c #Conflicts: 337000 | #Constraints: 31770
367.16/368.17 c #Conflicts: 338000 | #Constraints: 32770
367.16/368.17 c #Conflicts: 339000 | #Constraints: 33770
367.16/368.17 c #Conflicts: 340000 | #Constraints: 34770
367.16/368.17 c #Conflicts: 341000 | #Constraints: 35770
367.16/368.17 c #Conflicts: 342000 | #Constraints: 36770
367.16/368.17 c #Conflicts: 343000 | #Constraints: 37770
367.16/368.17 c #Conflicts: 344000 | #Constraints: 38770
367.16/368.17 c #Conflicts: 345000 | #Constraints: 39770
367.16/368.17 c INPROCESSING
367.16/368.17 c GARBAGE COLLECT
367.16/368.17 c #Conflicts: 346000 | #Constraints: 29182
367.16/368.17 c #Conflicts: 347000 | #Constraints: 30182
367.16/368.17 c #Conflicts: 348000 | #Constraints: 31182
367.16/368.17 c #Conflicts: 349000 | #Constraints: 32182
367.16/368.17 c #Conflicts: 350000 | #Constraints: 33182
367.16/368.17 c #Conflicts: 351000 | #Constraints: 34182
367.16/368.17 c #Conflicts: 352000 | #Constraints: 35182
367.16/368.17 c #Conflicts: 353000 | #Constraints: 36182
367.16/368.17 c #Conflicts: 354000 | #Constraints: 37182
367.16/368.17 c #Conflicts: 355000 | #Constraints: 38182
367.16/368.17 c #Conflicts: 356000 | #Constraints: 39182
367.16/368.17 c #Conflicts: 357000 | #Constraints: 40182
367.16/368.17 c INPROCESSING
367.16/368.17 c GARBAGE COLLECT
367.16/368.17 c #Conflicts: 358000 | #Constraints: 29383
367.16/368.17 c #Conflicts: 359000 | #Constraints: 30383
367.16/368.17 c #Conflicts: 360000 | #Constraints: 31383
367.16/368.17 c #Conflicts: 361000 | #Constraints: 32383
367.16/368.17 c #Conflicts: 362000 | #Constraints: 33383
367.16/368.17 c #Conflicts: 363000 | #Constraints: 34383
367.16/368.17 c #Conflicts: 364000 | #Constraints: 35383
367.16/368.17 c #Conflicts: 365000 | #Constraints: 36383
367.16/368.17 c #Conflicts: 366000 | #Constraints: 37383
367.16/368.17 c #Conflicts: 367000 | #Constraints: 38383
367.16/368.17 c #Conflicts: 368000 | #Constraints: 39383
367.16/368.17 c #Conflicts: 369000 | #Constraints: 40383
367.16/368.17 c INPROCESSING
367.16/368.17 c GARBAGE COLLECT
367.16/368.17 c #Conflicts: 370000 | #Constraints: 29393
367.16/368.17 c #Conflicts: 371000 | #Constraints: 30393
367.16/368.17 c #Conflicts: 372000 | #Constraints: 31393
367.16/368.17 c #Conflicts: 373000 | #Constraints: 32393
385.70/386.77 c #Conflicts: 374000 | #Constraints: 33393
385.70/386.77 c #Conflicts: 375000 | #Constraints: 34393
385.70/386.77 c #Conflicts: 376000 | #Constraints: 35393
385.70/386.77 c #Conflicts: 377000 | #Constraints: 36393
385.70/386.77 c #Conflicts: 378000 | #Constraints: 37393
385.70/386.77 c #Conflicts: 379000 | #Constraints: 38393
385.70/386.77 c #Conflicts: 380000 | #Constraints: 39393
385.70/386.77 c #Conflicts: 381000 | #Constraints: 40393
385.70/386.77 c INPROCESSING
385.70/386.77 c GARBAGE COLLECT
385.70/386.77 c #Conflicts: 382000 | #Constraints: 29199
385.70/386.77 c #Conflicts: 383000 | #Constraints: 30199
385.70/386.77 c #Conflicts: 384000 | #Constraints: 31199
385.70/386.77 c #Conflicts: 385000 | #Constraints: 32199
385.70/386.77 c #Conflicts: 386000 | #Constraints: 33199
385.70/386.77 c #Conflicts: 387000 | #Constraints: 34199
385.70/386.77 c #Conflicts: 388000 | #Constraints: 35199
385.70/386.77 c #Conflicts: 389000 | #Constraints: 36199
385.70/386.77 c #Conflicts: 390000 | #Constraints: 37199
385.70/386.77 c #Conflicts: 391000 | #Constraints: 38199
385.70/386.77 c #Conflicts: 392000 | #Constraints: 39199
385.70/386.77 c #Conflicts: 393000 | #Constraints: 40199
385.70/386.77 c #Conflicts: 394000 | #Constraints: 41199
385.70/386.77 c INPROCESSING
385.70/386.77 c GARBAGE COLLECT
385.70/386.77 c #Conflicts: 395000 | #Constraints: 29796
385.70/386.77 c #Conflicts: 396000 | #Constraints: 30796
385.70/386.77 c #Conflicts: 397000 | #Constraints: 31796
385.70/386.77 c #Conflicts: 398000 | #Constraints: 32796
385.70/386.77 c #Conflicts: 399000 | #Constraints: 33796
385.70/386.77 c #Conflicts: 400000 | #Constraints: 34796
385.70/386.77 c #Conflicts: 401000 | #Constraints: 35796
385.70/386.77 c #Conflicts: 402000 | #Constraints: 36796
385.70/386.77 c #Conflicts: 403000 | #Constraints: 37796
385.70/386.77 c #Conflicts: 404000 | #Constraints: 38796
385.70/386.77 c #Conflicts: 405000 | #Constraints: 39796
385.70/386.77 c #Conflicts: 406000 | #Constraints: 40796
385.70/386.77 c #Conflicts: 407000 | #Constraints: 41796
385.70/386.77 c INPROCESSING
385.70/386.77 c GARBAGE COLLECT
385.70/386.77 c #Conflicts: 408000 | #Constraints: 30197
385.70/386.77 c #Conflicts: 409000 | #Constraints: 31197
385.70/386.77 c #Conflicts: 410000 | #Constraints: 32197
385.70/386.77 c #Conflicts: 411000 | #Constraints: 33197
385.70/386.77 c #Conflicts: 412000 | #Constraints: 34197
385.70/386.77 c #Conflicts: 413000 | #Constraints: 35197
385.70/386.77 c #Conflicts: 414000 | #Constraints: 36197
385.70/386.77 c #Conflicts: 415000 | #Constraints: 37197
385.70/386.77 c #Conflicts: 416000 | #Constraints: 38197
385.70/386.77 c #Conflicts: 417000 | #Constraints: 39197
385.70/386.77 c #Conflicts: 418000 | #Constraints: 40197
385.70/386.77 c #Conflicts: 419000 | #Constraints: 41197
385.70/386.77 c #Conflicts: 420000 | #Constraints: 42197
385.70/386.77 c INPROCESSING
385.70/386.77 c GARBAGE COLLECT
385.70/386.77 c #Conflicts: 421000 | #Constraints: 30409
385.70/386.77 c #Conflicts: 422000 | #Constraints: 31409
385.70/386.77 c #Conflicts: 423000 | #Constraints: 32409
385.70/386.77 c #Conflicts: 424000 | #Constraints: 33409
385.70/386.77 c #Conflicts: 425000 | #Constraints: 34409
385.70/386.77 c #Conflicts: 426000 | #Constraints: 35409
385.70/386.77 c #Conflicts: 427000 | #Constraints: 36409
385.70/386.77 c #Conflicts: 428000 | #Constraints: 37409
385.70/386.77 c #Conflicts: 429000 | #Constraints: 38409
385.70/386.77 c #Conflicts: 430000 | #Constraints: 39409
385.70/386.77 c #Conflicts: 431000 | #Constraints: 40409
385.70/386.77 c #Conflicts: 432000 | #Constraints: 41409
385.70/386.77 c #Conflicts: 433000 | #Constraints: 42409
385.70/386.77 c INPROCESSING
385.70/386.77 c GARBAGE COLLECT
385.70/386.77 c #Conflicts: 434000 | #Constraints: 30409
385.70/386.77 c #Conflicts: 435000 | #Constraints: 31409
385.70/386.77 c #Conflicts: 436000 | #Constraints: 32409
385.70/386.77 c #Conflicts: 437000 | #Constraints: 33409
385.70/386.77 c #Conflicts: 438000 | #Constraints: 34409
385.70/386.77 c #Conflicts: 439000 | #Constraints: 35409
385.70/386.77 c #Conflicts: 440000 | #Constraints: 36409
385.70/386.77 c #Conflicts: 441000 | #Constraints: 37409
385.70/386.77 c #Conflicts: 442000 | #Constraints: 38409
385.70/386.77 c #Conflicts: 443000 | #Constraints: 39409
385.70/386.77 c #Conflicts: 444000 | #Constraints: 40409
385.70/386.77 c #Conflicts: 445000 | #Constraints: 41409
385.70/386.77 c #Conflicts: 446000 | #Constraints: 42409
385.70/386.77 c INPROCESSING
385.70/386.77 c GARBAGE COLLECT
385.70/386.77 c #Conflicts: 447000 | #Constraints: 30200
385.70/386.77 c #Conflicts: 448000 | #Constraints: 31200
406.46/407.57 c #Conflicts: 449000 | #Constraints: 32200
406.46/407.57 c #Conflicts: 450000 | #Constraints: 33200
406.46/407.57 c #Conflicts: 451000 | #Constraints: 34200
406.46/407.57 c #Conflicts: 452000 | #Constraints: 35200
406.46/407.57 c #Conflicts: 453000 | #Constraints: 36200
406.46/407.57 c #Conflicts: 454000 | #Constraints: 37200
406.46/407.57 c #Conflicts: 455000 | #Constraints: 38200
406.46/407.57 c #Conflicts: 456000 | #Constraints: 39200
406.46/407.57 c #Conflicts: 457000 | #Constraints: 40200
406.46/407.57 c #Conflicts: 458000 | #Constraints: 41200
406.46/407.57 c #Conflicts: 459000 | #Constraints: 42200
406.46/407.57 c #Conflicts: 460000 | #Constraints: 43200
406.46/407.57 c INPROCESSING
406.46/407.57 c GARBAGE COLLECT
406.46/407.57 c #Conflicts: 461000 | #Constraints: 30794
406.46/407.57 c #Conflicts: 462000 | #Constraints: 31794
406.46/407.57 c #Conflicts: 463000 | #Constraints: 32794
406.46/407.57 c #Conflicts: 464000 | #Constraints: 33794
406.46/407.57 c #Conflicts: 465000 | #Constraints: 34794
406.46/407.57 c #Conflicts: 466000 | #Constraints: 35794
406.46/407.57 c #Conflicts: 467000 | #Constraints: 36794
406.46/407.57 c #Conflicts: 468000 | #Constraints: 37794
406.46/407.57 c #Conflicts: 469000 | #Constraints: 38794
406.46/407.57 c #Conflicts: 470000 | #Constraints: 39794
406.46/407.57 c #Conflicts: 471000 | #Constraints: 40794
406.46/407.57 c #Conflicts: 472000 | #Constraints: 41794
406.46/407.57 c #Conflicts: 473000 | #Constraints: 42794
406.46/407.57 c #Conflicts: 474000 | #Constraints: 43794
406.46/407.57 c INPROCESSING
406.46/407.57 c GARBAGE COLLECT
406.46/407.57 c #Conflicts: 475000 | #Constraints: 31193
406.46/407.57 c #Conflicts: 476000 | #Constraints: 32193
406.46/407.57 c #Conflicts: 477000 | #Constraints: 33193
406.46/407.57 c #Conflicts: 478000 | #Constraints: 34193
406.46/407.57 c #Conflicts: 479000 | #Constraints: 35193
406.46/407.57 c #Conflicts: 480000 | #Constraints: 36193
406.46/407.57 c #Conflicts: 481000 | #Constraints: 37193
406.46/407.57 c #Conflicts: 482000 | #Constraints: 38193
406.46/407.57 c #Conflicts: 483000 | #Constraints: 39193
406.46/407.57 c #Conflicts: 484000 | #Constraints: 40193
406.46/407.57 c #Conflicts: 485000 | #Constraints: 41193
406.46/407.57 c #Conflicts: 486000 | #Constraints: 42193
406.46/407.57 c #Conflicts: 487000 | #Constraints: 43193
406.46/407.57 c #Conflicts: 488000 | #Constraints: 44193
406.46/407.57 c INPROCESSING
406.46/407.57 c GARBAGE COLLECT
406.46/407.57 c #Conflicts: 489000 | #Constraints: 31401
406.46/407.57 c #Conflicts: 490000 | #Constraints: 32401
406.46/407.57 c #Conflicts: 491000 | #Constraints: 33401
406.46/407.57 c #Conflicts: 492000 | #Constraints: 34401
406.46/407.57 c #Conflicts: 493000 | #Constraints: 35401
406.46/407.57 c #Conflicts: 494000 | #Constraints: 36401
406.46/407.57 c #Conflicts: 495000 | #Constraints: 37401
406.46/407.57 c #Conflicts: 496000 | #Constraints: 38401
406.46/407.57 c #Conflicts: 497000 | #Constraints: 39401
406.46/407.57 c #Conflicts: 498000 | #Constraints: 40401
406.46/407.57 c #Conflicts: 499000 | #Constraints: 41401
406.46/407.57 c #Conflicts: 500000 | #Constraints: 42401
406.46/407.57 c #Conflicts: 501000 | #Constraints: 43401
406.46/407.57 c #Conflicts: 502000 | #Constraints: 44401
406.46/407.57 c INPROCESSING
406.46/407.57 c GARBAGE COLLECT
406.46/407.57 c #Conflicts: 503000 | #Constraints: 31405
406.46/407.57 c #Conflicts: 504000 | #Constraints: 32405
406.46/407.57 c #Conflicts: 505000 | #Constraints: 33405
406.46/407.57 c #Conflicts: 506000 | #Constraints: 34405
406.46/407.57 c #Conflicts: 507000 | #Constraints: 35405
406.46/407.57 c #Conflicts: 508000 | #Constraints: 36405
406.46/407.57 c #Conflicts: 509000 | #Constraints: 37405
406.46/407.57 c #Conflicts: 510000 | #Constraints: 38405
406.46/407.57 c #Conflicts: 511000 | #Constraints: 39405
406.46/407.57 c #Conflicts: 512000 | #Constraints: 40405
406.46/407.57 c #Conflicts: 513000 | #Constraints: 41405
406.46/407.57 c #Conflicts: 514000 | #Constraints: 42405
406.46/407.57 c #Conflicts: 515000 | #Constraints: 43405
406.46/407.57 c #Conflicts: 516000 | #Constraints: 44405
406.46/407.57 c INPROCESSING
406.46/407.57 c GARBAGE COLLECT
406.46/407.57 c #Conflicts: 517000 | #Constraints: 31191
406.46/407.57 c #Conflicts: 518000 | #Constraints: 32191
406.46/407.57 c #Conflicts: 519000 | #Constraints: 33191
406.46/407.57 c #Conflicts: 520000 | #Constraints: 34191
406.46/407.57 c #Conflicts: 521000 | #Constraints: 35191
406.46/407.57 c #Conflicts: 522000 | #Constraints: 36191
406.46/407.57 c #Conflicts: 523000 | #Constraints: 37191
425.80/426.93 c #Conflicts: 524000 | #Constraints: 38191
425.80/426.93 c #Conflicts: 525000 | #Constraints: 39191
425.80/426.93 c #Conflicts: 526000 | #Constraints: 40191
425.80/426.93 c #Conflicts: 527000 | #Constraints: 41191
425.80/426.93 c #Conflicts: 528000 | #Constraints: 42191
425.80/426.93 c #Conflicts: 529000 | #Constraints: 43191
425.80/426.93 c #Conflicts: 530000 | #Constraints: 44191
425.80/426.93 c #Conflicts: 531000 | #Constraints: 45191
425.80/426.93 c INPROCESSING
425.80/426.93 c GARBAGE COLLECT
425.80/426.93 c #Conflicts: 532000 | #Constraints: 31803
425.80/426.93 c #Conflicts: 533000 | #Constraints: 32803
425.80/426.93 c #Conflicts: 534000 | #Constraints: 33803
425.80/426.93 c #Conflicts: 535000 | #Constraints: 34803
425.80/426.93 c #Conflicts: 536000 | #Constraints: 35803
425.80/426.93 c #Conflicts: 537000 | #Constraints: 36803
425.80/426.93 c #Conflicts: 538000 | #Constraints: 37803
425.80/426.93 c #Conflicts: 539000 | #Constraints: 38803
425.80/426.93 c #Conflicts: 540000 | #Constraints: 39803
425.80/426.93 c #Conflicts: 541000 | #Constraints: 40803
425.80/426.93 c #Conflicts: 542000 | #Constraints: 41803
425.80/426.93 c #Conflicts: 543000 | #Constraints: 42803
425.80/426.93 c #Conflicts: 544000 | #Constraints: 43803
425.80/426.93 c #Conflicts: 545000 | #Constraints: 44803
425.80/426.93 c #Conflicts: 546000 | #Constraints: 45803
425.80/426.93 c INPROCESSING
425.80/426.93 c GARBAGE COLLECT
425.80/426.93 c #Conflicts: 547000 | #Constraints: 32206
425.80/426.93 c #Conflicts: 548000 | #Constraints: 33206
425.80/426.93 c #Conflicts: 549000 | #Constraints: 34206
425.80/426.93 c #Conflicts: 550000 | #Constraints: 35206
425.80/426.93 c #Conflicts: 551000 | #Constraints: 36206
425.80/426.93 c #Conflicts: 552000 | #Constraints: 37206
425.80/426.93 c #Conflicts: 553000 | #Constraints: 38206
425.80/426.93 c #Conflicts: 554000 | #Constraints: 39206
425.80/426.93 c #Conflicts: 555000 | #Constraints: 40206
425.80/426.93 c #Conflicts: 556000 | #Constraints: 41206
425.80/426.93 c #Conflicts: 557000 | #Constraints: 42206
425.80/426.93 c #Conflicts: 558000 | #Constraints: 43206
425.80/426.93 c #Conflicts: 559000 | #Constraints: 44206
425.80/426.93 c #Conflicts: 560000 | #Constraints: 45206
425.80/426.93 c #Conflicts: 561000 | #Constraints: 46206
425.80/426.93 c INPROCESSING
425.80/426.93 c GARBAGE COLLECT
425.80/426.93 c #Conflicts: 562000 | #Constraints: 32406
425.80/426.93 c #Conflicts: 563000 | #Constraints: 33406
425.80/426.93 c #Conflicts: 564000 | #Constraints: 34406
425.80/426.93 c #Conflicts: 565000 | #Constraints: 35406
425.80/426.93 c #Conflicts: 566000 | #Constraints: 36406
425.80/426.93 c #Conflicts: 567000 | #Constraints: 37406
425.80/426.93 c #Conflicts: 568000 | #Constraints: 38406
425.80/426.93 c #Conflicts: 569000 | #Constraints: 39406
425.80/426.93 c #Conflicts: 570000 | #Constraints: 40406
425.80/426.93 c #Conflicts: 571000 | #Constraints: 41406
425.80/426.93 c #Conflicts: 572000 | #Constraints: 42406
425.80/426.93 c #Conflicts: 573000 | #Constraints: 43406
425.80/426.93 c #Conflicts: 574000 | #Constraints: 44406
425.80/426.93 c #Conflicts: 575000 | #Constraints: 45406
425.80/426.93 c #Conflicts: 576000 | #Constraints: 46406
425.80/426.93 c INPROCESSING
425.80/426.93 c GARBAGE COLLECT
425.80/426.93 c #Conflicts: 577000 | #Constraints: 32408
425.80/426.93 c #Conflicts: 578000 | #Constraints: 33408
425.80/426.93 c #Conflicts: 579000 | #Constraints: 34408
425.80/426.93 c #Conflicts: 580000 | #Constraints: 35408
425.80/426.93 c #Conflicts: 581000 | #Constraints: 36408
425.80/426.93 c #Conflicts: 582000 | #Constraints: 37408
425.80/426.93 c #Conflicts: 583000 | #Constraints: 38408
425.80/426.93 c #Conflicts: 584000 | #Constraints: 39408
425.80/426.93 c #Conflicts: 585000 | #Constraints: 40408
425.80/426.93 c #Conflicts: 586000 | #Constraints: 41408
425.80/426.93 c #Conflicts: 587000 | #Constraints: 42408
425.80/426.93 c #Conflicts: 588000 | #Constraints: 43408
425.80/426.93 c #Conflicts: 589000 | #Constraints: 44408
425.80/426.93 c #Conflicts: 590000 | #Constraints: 45408
425.80/426.93 c #Conflicts: 591000 | #Constraints: 46408
425.80/426.93 c INPROCESSING
425.80/426.93 c GARBAGE COLLECT
425.80/426.93 c #Conflicts: 592000 | #Constraints: 32217
425.80/426.93 c #Conflicts: 593000 | #Constraints: 33217
425.80/426.93 c #Conflicts: 594000 | #Constraints: 34217
425.80/426.93 c #Conflicts: 595000 | #Constraints: 35217
425.80/426.93 c #Conflicts: 596000 | #Constraints: 36217
425.80/426.93 c #Conflicts: 597000 | #Constraints: 37217
425.80/426.93 c #Conflicts: 598000 | #Constraints: 38217
425.80/426.93 c #Conflicts: 599000 | #Constraints: 39217
445.67/446.85 c #Conflicts: 600000 | #Constraints: 40217
445.67/446.85 c #Conflicts: 601000 | #Constraints: 41217
445.67/446.85 c #Conflicts: 602000 | #Constraints: 42217
445.67/446.85 c #Conflicts: 603000 | #Constraints: 43217
445.67/446.85 c #Conflicts: 604000 | #Constraints: 44217
445.67/446.85 c #Conflicts: 605000 | #Constraints: 45217
445.67/446.85 c #Conflicts: 606000 | #Constraints: 46217
445.67/446.85 c #Conflicts: 607000 | #Constraints: 47217
445.67/446.85 c INPROCESSING
445.67/446.85 c GARBAGE COLLECT
445.67/446.85 c #Conflicts: 608000 | #Constraints: 32812
445.67/446.85 c #Conflicts: 609000 | #Constraints: 33812
445.67/446.85 c #Conflicts: 610000 | #Constraints: 34812
445.67/446.85 c #Conflicts: 611000 | #Constraints: 35812
445.67/446.85 c #Conflicts: 612000 | #Constraints: 36812
445.67/446.85 c #Conflicts: 613000 | #Constraints: 37812
445.67/446.85 c #Conflicts: 614000 | #Constraints: 38812
445.67/446.85 c #Conflicts: 615000 | #Constraints: 39812
445.67/446.85 c #Conflicts: 616000 | #Constraints: 40812
445.67/446.85 c #Conflicts: 617000 | #Constraints: 41812
445.67/446.85 c #Conflicts: 618000 | #Constraints: 42812
445.67/446.85 c #Conflicts: 619000 | #Constraints: 43812
445.67/446.85 c #Conflicts: 620000 | #Constraints: 44812
445.67/446.85 c #Conflicts: 621000 | #Constraints: 45812
445.67/446.85 c #Conflicts: 622000 | #Constraints: 46812
445.67/446.85 c #Conflicts: 623000 | #Constraints: 47812
445.67/446.85 c INPROCESSING
445.67/446.85 c GARBAGE COLLECT
445.67/446.85 c #Conflicts: 624000 | #Constraints: 33203
445.67/446.85 c #Conflicts: 625000 | #Constraints: 34203
445.67/446.85 c #Conflicts: 626000 | #Constraints: 35203
445.67/446.85 c #Conflicts: 627000 | #Constraints: 36203
445.67/446.85 c #Conflicts: 628000 | #Constraints: 37203
445.67/446.85 c #Conflicts: 629000 | #Constraints: 38203
445.67/446.85 c #Conflicts: 630000 | #Constraints: 39203
445.67/446.85 c #Conflicts: 631000 | #Constraints: 40203
445.67/446.85 c #Conflicts: 632000 | #Constraints: 41203
445.67/446.85 c #Conflicts: 633000 | #Constraints: 42203
445.67/446.85 c #Conflicts: 634000 | #Constraints: 43203
445.67/446.85 c #Conflicts: 635000 | #Constraints: 44203
445.67/446.85 c #Conflicts: 636000 | #Constraints: 45203
445.67/446.85 c #Conflicts: 637000 | #Constraints: 46203
445.67/446.85 c #Conflicts: 638000 | #Constraints: 47203
445.67/446.85 c #Conflicts: 639000 | #Constraints: 48203
445.67/446.85 c INPROCESSING
445.67/446.85 c GARBAGE COLLECT
445.67/446.85 c #Conflicts: 640000 | #Constraints: 33394
445.67/446.85 c #Conflicts: 641000 | #Constraints: 34394
445.67/446.85 c #Conflicts: 642000 | #Constraints: 35394
445.67/446.85 c #Conflicts: 643000 | #Constraints: 36394
445.67/446.85 c #Conflicts: 644000 | #Constraints: 37394
445.67/446.85 c #Conflicts: 645000 | #Constraints: 38394
445.67/446.85 c #Conflicts: 646000 | #Constraints: 39394
445.67/446.85 c #Conflicts: 647000 | #Constraints: 40394
445.67/446.85 c #Conflicts: 648000 | #Constraints: 41394
445.67/446.85 c #Conflicts: 649000 | #Constraints: 42394
445.67/446.85 c #Conflicts: 650000 | #Constraints: 43394
445.67/446.85 c #Conflicts: 651000 | #Constraints: 44394
445.67/446.85 c #Conflicts: 652000 | #Constraints: 45394
445.67/446.85 c #Conflicts: 653000 | #Constraints: 46394
445.67/446.85 c #Conflicts: 654000 | #Constraints: 47394
445.67/446.85 c #Conflicts: 655000 | #Constraints: 48394
445.67/446.85 c INPROCESSING
445.67/446.85 c GARBAGE COLLECT
445.67/446.85 c #Conflicts: 656000 | #Constraints: 33394
445.67/446.85 c #Conflicts: 657000 | #Constraints: 34394
445.67/446.85 c #Conflicts: 658000 | #Constraints: 35394
445.67/446.85 c #Conflicts: 659000 | #Constraints: 36394
445.67/446.85 c #Conflicts: 660000 | #Constraints: 37394
445.67/446.85 c #Conflicts: 661000 | #Constraints: 38394
445.67/446.85 c #Conflicts: 662000 | #Constraints: 39394
445.67/446.85 c #Conflicts: 663000 | #Constraints: 40394
445.67/446.85 c #Conflicts: 664000 | #Constraints: 41394
445.67/446.85 c #Conflicts: 665000 | #Constraints: 42394
445.67/446.85 c #Conflicts: 666000 | #Constraints: 43394
445.67/446.85 c #Conflicts: 667000 | #Constraints: 44394
445.67/446.85 c #Conflicts: 668000 | #Constraints: 45394
445.67/446.85 c #Conflicts: 669000 | #Constraints: 46394
445.67/446.85 c #Conflicts: 670000 | #Constraints: 47394
445.67/446.85 c #Conflicts: 671000 | #Constraints: 48394
445.67/446.85 c INPROCESSING
445.67/446.85 c GARBAGE COLLECT
445.67/446.85 c #Conflicts: 672000 | #Constraints: 33188
445.67/446.85 c #Conflicts: 673000 | #Constraints: 34188
445.67/446.85 c #Conflicts: 674000 | #Constraints: 35188
445.67/446.85 c #Conflicts: 675000 | #Constraints: 36188
467.32/468.59 c #Conflicts: 676000 | #Constraints: 37188
467.32/468.59 c #Conflicts: 677000 | #Constraints: 38188
467.32/468.59 c #Conflicts: 678000 | #Constraints: 39188
467.32/468.59 c #Conflicts: 679000 | #Constraints: 40188
467.32/468.59 c #Conflicts: 680000 | #Constraints: 41188
467.32/468.59 c #Conflicts: 681000 | #Constraints: 42188
467.32/468.59 c #Conflicts: 682000 | #Constraints: 43188
467.32/468.59 c #Conflicts: 683000 | #Constraints: 44188
467.32/468.59 c #Conflicts: 684000 | #Constraints: 45188
467.32/468.59 c #Conflicts: 685000 | #Constraints: 46188
467.32/468.59 c #Conflicts: 686000 | #Constraints: 47188
467.32/468.59 c #Conflicts: 687000 | #Constraints: 48188
467.32/468.59 c #Conflicts: 688000 | #Constraints: 49188
467.32/468.59 c INPROCESSING
467.32/468.59 c GARBAGE COLLECT
467.32/468.59 c #Conflicts: 689000 | #Constraints: 33807
467.32/468.59 c #Conflicts: 690000 | #Constraints: 34807
467.32/468.59 c #Conflicts: 691000 | #Constraints: 35807
467.32/468.59 c #Conflicts: 692000 | #Constraints: 36807
467.32/468.59 c #Conflicts: 693000 | #Constraints: 37807
467.32/468.59 c #Conflicts: 694000 | #Constraints: 38807
467.32/468.59 c #Conflicts: 695000 | #Constraints: 39807
467.32/468.59 c #Conflicts: 696000 | #Constraints: 40807
467.32/468.59 c #Conflicts: 697000 | #Constraints: 41807
467.32/468.59 c #Conflicts: 698000 | #Constraints: 42807
467.32/468.59 c #Conflicts: 699000 | #Constraints: 43807
467.32/468.59 c #Conflicts: 700000 | #Constraints: 44807
467.32/468.59 c #Conflicts: 701000 | #Constraints: 45807
467.32/468.59 c #Conflicts: 702000 | #Constraints: 46807
467.32/468.59 c #Conflicts: 703000 | #Constraints: 47807
467.32/468.59 c #Conflicts: 704000 | #Constraints: 48807
467.32/468.59 c #Conflicts: 705000 | #Constraints: 49807
467.32/468.59 c INPROCESSING
467.32/468.59 c GARBAGE COLLECT
467.32/468.59 c #Conflicts: 706000 | #Constraints: 34209
467.32/468.59 c #Conflicts: 707000 | #Constraints: 35209
467.32/468.59 c #Conflicts: 708000 | #Constraints: 36209
467.32/468.59 c #Conflicts: 709000 | #Constraints: 37209
467.32/468.59 c #Conflicts: 710000 | #Constraints: 38209
467.32/468.59 c #Conflicts: 711000 | #Constraints: 39209
467.32/468.59 c #Conflicts: 712000 | #Constraints: 40209
467.32/468.59 c #Conflicts: 713000 | #Constraints: 41209
467.32/468.59 c #Conflicts: 714000 | #Constraints: 42209
467.32/468.59 c #Conflicts: 715000 | #Constraints: 43209
467.32/468.59 c #Conflicts: 716000 | #Constraints: 44209
467.32/468.59 c #Conflicts: 717000 | #Constraints: 45209
467.32/468.59 c #Conflicts: 718000 | #Constraints: 46209
467.32/468.59 c #Conflicts: 719000 | #Constraints: 47209
467.32/468.59 c #Conflicts: 720000 | #Constraints: 48209
467.32/468.59 c #Conflicts: 721000 | #Constraints: 49209
467.32/468.59 c #Conflicts: 722000 | #Constraints: 50209
467.32/468.59 c INPROCESSING
467.32/468.59 c GARBAGE COLLECT
467.32/468.59 c #Conflicts: 723000 | #Constraints: 34407
467.32/468.59 c #Conflicts: 724000 | #Constraints: 35407
467.32/468.59 c #Conflicts: 725000 | #Constraints: 36407
467.32/468.59 c #Conflicts: 726000 | #Constraints: 37407
467.32/468.59 c #Conflicts: 727000 | #Constraints: 38407
467.32/468.59 c #Conflicts: 728000 | #Constraints: 39407
467.32/468.59 c #Conflicts: 729000 | #Constraints: 40407
467.32/468.59 c #Conflicts: 730000 | #Constraints: 41407
467.32/468.59 c #Conflicts: 731000 | #Constraints: 42407
467.32/468.59 c #Conflicts: 732000 | #Constraints: 43407
467.32/468.59 c #Conflicts: 733000 | #Constraints: 44407
467.32/468.59 c #Conflicts: 734000 | #Constraints: 45407
467.32/468.59 c #Conflicts: 735000 | #Constraints: 46407
467.32/468.59 c #Conflicts: 736000 | #Constraints: 47407
467.32/468.59 c #Conflicts: 737000 | #Constraints: 48407
467.32/468.59 c #Conflicts: 738000 | #Constraints: 49407
467.32/468.59 c #Conflicts: 739000 | #Constraints: 50407
467.32/468.59 c INPROCESSING
467.32/468.59 c GARBAGE COLLECT
467.32/468.59 c #Conflicts: 740000 | #Constraints: 34420
467.32/468.59 c #Conflicts: 741000 | #Constraints: 35420
467.32/468.59 c #Conflicts: 742000 | #Constraints: 36420
467.32/468.59 c #Conflicts: 743000 | #Constraints: 37420
467.32/468.59 c #Conflicts: 744000 | #Constraints: 38420
467.32/468.59 c #Conflicts: 745000 | #Constraints: 39420
467.32/468.59 c #Conflicts: 746000 | #Constraints: 40420
467.32/468.59 c #Conflicts: 747000 | #Constraints: 41420
467.32/468.59 c #Conflicts: 748000 | #Constraints: 42420
467.32/468.59 c #Conflicts: 749000 | #Constraints: 43420
467.32/468.59 c #Conflicts: 750000 | #Constraints: 44420
467.32/468.59 c #Conflicts: 751000 | #Constraints: 45420
488.97/490.23 c #Conflicts: 752000 | #Constraints: 46420
488.97/490.23 c #Conflicts: 753000 | #Constraints: 47420
488.97/490.23 c #Conflicts: 754000 | #Constraints: 48420
488.97/490.23 c #Conflicts: 755000 | #Constraints: 49420
488.97/490.23 c #Conflicts: 756000 | #Constraints: 50420
488.97/490.23 c INPROCESSING
488.97/490.23 c GARBAGE COLLECT
488.97/490.23 c #Conflicts: 757000 | #Constraints: 34209
488.97/490.23 c #Conflicts: 758000 | #Constraints: 35209
488.97/490.23 c #Conflicts: 759000 | #Constraints: 36209
488.97/490.23 c #Conflicts: 760000 | #Constraints: 37209
488.97/490.23 c #Conflicts: 761000 | #Constraints: 38209
488.97/490.23 c #Conflicts: 762000 | #Constraints: 39209
488.97/490.23 c #Conflicts: 763000 | #Constraints: 40209
488.97/490.23 c #Conflicts: 764000 | #Constraints: 41209
488.97/490.23 c #Conflicts: 765000 | #Constraints: 42209
488.97/490.23 c #Conflicts: 766000 | #Constraints: 43209
488.97/490.23 c #Conflicts: 767000 | #Constraints: 44209
488.97/490.23 c #Conflicts: 768000 | #Constraints: 45209
488.97/490.23 c #Conflicts: 769000 | #Constraints: 46209
488.97/490.23 c #Conflicts: 770000 | #Constraints: 47209
488.97/490.23 c #Conflicts: 771000 | #Constraints: 48209
488.97/490.23 c #Conflicts: 772000 | #Constraints: 49209
488.97/490.23 c #Conflicts: 773000 | #Constraints: 50209
488.97/490.23 c #Conflicts: 774000 | #Constraints: 51209
488.97/490.23 c INPROCESSING
488.97/490.23 c GARBAGE COLLECT
488.97/490.23 c #Conflicts: 775000 | #Constraints: 34823
488.97/490.23 c #Conflicts: 776000 | #Constraints: 35823
488.97/490.23 c #Conflicts: 777000 | #Constraints: 36823
488.97/490.23 c #Conflicts: 778000 | #Constraints: 37823
488.97/490.23 c #Conflicts: 779000 | #Constraints: 38823
488.97/490.23 c #Conflicts: 780000 | #Constraints: 39823
488.97/490.23 c #Conflicts: 781000 | #Constraints: 40823
488.97/490.23 c #Conflicts: 782000 | #Constraints: 41823
488.97/490.23 c #Conflicts: 783000 | #Constraints: 42823
488.97/490.23 c #Conflicts: 784000 | #Constraints: 43823
488.97/490.23 c #Conflicts: 785000 | #Constraints: 44823
488.97/490.23 c #Conflicts: 786000 | #Constraints: 45823
488.97/490.23 c #Conflicts: 787000 | #Constraints: 46823
488.97/490.23 c #Conflicts: 788000 | #Constraints: 47823
488.97/490.23 c #Conflicts: 789000 | #Constraints: 48823
488.97/490.23 c #Conflicts: 790000 | #Constraints: 49823
488.97/490.23 c #Conflicts: 791000 | #Constraints: 50823
488.97/490.23 c #Conflicts: 792000 | #Constraints: 51823
488.97/490.23 c INPROCESSING
488.97/490.23 c GARBAGE COLLECT
488.97/490.23 c #Conflicts: 793000 | #Constraints: 35220
488.97/490.23 c #Conflicts: 794000 | #Constraints: 36220
488.97/490.23 c #Conflicts: 795000 | #Constraints: 37220
488.97/490.23 c #Conflicts: 796000 | #Constraints: 38220
488.97/490.23 c #Conflicts: 797000 | #Constraints: 39220
488.97/490.23 c #Conflicts: 798000 | #Constraints: 40220
488.97/490.23 c #Conflicts: 799000 | #Constraints: 41220
488.97/490.23 c #Conflicts: 800000 | #Constraints: 42220
488.97/490.23 c #Conflicts: 801000 | #Constraints: 43220
488.97/490.23 c #Conflicts: 802000 | #Constraints: 44220
488.97/490.23 c #Conflicts: 803000 | #Constraints: 45220
488.97/490.23 c #Conflicts: 804000 | #Constraints: 46220
488.97/490.23 c #Conflicts: 805000 | #Constraints: 47220
488.97/490.23 c #Conflicts: 806000 | #Constraints: 48220
488.97/490.23 c #Conflicts: 807000 | #Constraints: 49220
488.97/490.23 c #Conflicts: 808000 | #Constraints: 50220
488.97/490.23 c #Conflicts: 809000 | #Constraints: 51220
488.97/490.23 c #Conflicts: 810000 | #Constraints: 52220
488.97/490.23 c INPROCESSING
488.97/490.23 c GARBAGE COLLECT
488.97/490.23 c #Conflicts: 811000 | #Constraints: 35408
488.97/490.23 c #Conflicts: 812000 | #Constraints: 36408
488.97/490.23 c #Conflicts: 813000 | #Constraints: 37408
488.97/490.23 c #Conflicts: 814000 | #Constraints: 38408
488.97/490.23 c #Conflicts: 815000 | #Constraints: 39408
488.97/490.23 c #Conflicts: 816000 | #Constraints: 40408
488.97/490.23 c #Conflicts: 817000 | #Constraints: 41408
488.97/490.23 c #Conflicts: 818000 | #Constraints: 42408
488.97/490.23 c #Conflicts: 819000 | #Constraints: 43408
488.97/490.23 c #Conflicts: 820000 | #Constraints: 44408
488.97/490.23 c #Conflicts: 821000 | #Constraints: 45408
488.97/490.23 c #Conflicts: 822000 | #Constraints: 46408
488.97/490.23 c #Conflicts: 823000 | #Constraints: 47408
488.97/490.23 c #Conflicts: 824000 | #Constraints: 48408
488.97/490.23 c #Conflicts: 825000 | #Constraints: 49408
488.97/490.23 c #Conflicts: 826000 | #Constraints: 50408
488.97/490.23 c #Conflicts: 827000 | #Constraints: 51408
511.22/512.50 c #Conflicts: 828000 | #Constraints: 52408
511.22/512.50 c INPROCESSING
511.22/512.50 c GARBAGE COLLECT
511.22/512.50 c #Conflicts: 829000 | #Constraints: 35425
511.22/512.50 c #Conflicts: 830000 | #Constraints: 36425
511.22/512.50 c #Conflicts: 831000 | #Constraints: 37425
511.22/512.50 c #Conflicts: 832000 | #Constraints: 38425
511.22/512.50 c #Conflicts: 833000 | #Constraints: 39425
511.22/512.50 c #Conflicts: 834000 | #Constraints: 40425
511.22/512.50 c #Conflicts: 835000 | #Constraints: 41425
511.22/512.50 c #Conflicts: 836000 | #Constraints: 42425
511.22/512.50 c #Conflicts: 837000 | #Constraints: 43425
511.22/512.50 c #Conflicts: 838000 | #Constraints: 44425
511.22/512.50 c #Conflicts: 839000 | #Constraints: 45425
511.22/512.50 c #Conflicts: 840000 | #Constraints: 46425
511.22/512.50 c #Conflicts: 841000 | #Constraints: 47425
511.22/512.50 c #Conflicts: 842000 | #Constraints: 48425
511.22/512.50 c #Conflicts: 843000 | #Constraints: 49425
511.22/512.50 c #Conflicts: 844000 | #Constraints: 50425
511.22/512.50 c #Conflicts: 845000 | #Constraints: 51425
511.22/512.50 c #Conflicts: 846000 | #Constraints: 52425
511.22/512.50 c INPROCESSING
511.22/512.50 c GARBAGE COLLECT
511.22/512.50 c #Conflicts: 847000 | #Constraints: 35227
511.22/512.50 c #Conflicts: 848000 | #Constraints: 36227
511.22/512.50 c #Conflicts: 849000 | #Constraints: 37227
511.22/512.50 c #Conflicts: 850000 | #Constraints: 38227
511.22/512.50 c #Conflicts: 851000 | #Constraints: 39227
511.22/512.50 c #Conflicts: 852000 | #Constraints: 40227
511.22/512.50 c #Conflicts: 853000 | #Constraints: 41227
511.22/512.50 c #Conflicts: 854000 | #Constraints: 42227
511.22/512.50 c #Conflicts: 855000 | #Constraints: 43227
511.22/512.50 c #Conflicts: 856000 | #Constraints: 44227
511.22/512.50 c #Conflicts: 857000 | #Constraints: 45227
511.22/512.50 c #Conflicts: 858000 | #Constraints: 46227
511.22/512.50 c #Conflicts: 859000 | #Constraints: 47227
511.22/512.50 c #Conflicts: 860000 | #Constraints: 48227
511.22/512.50 c #Conflicts: 861000 | #Constraints: 49227
511.22/512.50 c #Conflicts: 862000 | #Constraints: 50227
511.22/512.50 c #Conflicts: 863000 | #Constraints: 51227
511.22/512.50 c #Conflicts: 864000 | #Constraints: 52227
511.22/512.50 c #Conflicts: 865000 | #Constraints: 53227
511.22/512.50 c INPROCESSING
511.22/512.50 c GARBAGE COLLECT
511.22/512.50 c #Conflicts: 866000 | #Constraints: 35825
511.22/512.50 c #Conflicts: 867000 | #Constraints: 36825
511.22/512.50 c #Conflicts: 868000 | #Constraints: 37825
511.22/512.50 c #Conflicts: 869000 | #Constraints: 38825
511.22/512.50 c #Conflicts: 870000 | #Constraints: 39825
511.22/512.50 c #Conflicts: 871000 | #Constraints: 40825
511.22/512.50 c #Conflicts: 872000 | #Constraints: 41825
511.22/512.50 c #Conflicts: 873000 | #Constraints: 42825
511.22/512.50 c #Conflicts: 874000 | #Constraints: 43825
511.22/512.50 c #Conflicts: 875000 | #Constraints: 44825
511.22/512.50 c #Conflicts: 876000 | #Constraints: 45825
511.22/512.50 c #Conflicts: 877000 | #Constraints: 46825
511.22/512.50 c #Conflicts: 878000 | #Constraints: 47825
511.22/512.50 c #Conflicts: 879000 | #Constraints: 48825
511.22/512.50 c #Conflicts: 880000 | #Constraints: 49825
511.22/512.50 c #Conflicts: 881000 | #Constraints: 50825
511.22/512.50 c #Conflicts: 882000 | #Constraints: 51825
511.22/512.50 c #Conflicts: 883000 | #Constraints: 52825
511.22/512.50 c #Conflicts: 884000 | #Constraints: 53825
511.22/512.50 c INPROCESSING
511.22/512.50 c GARBAGE COLLECT
511.22/512.50 c #Conflicts: 885000 | #Constraints: 36220
511.22/512.50 c #Conflicts: 886000 | #Constraints: 37220
511.22/512.50 c #Conflicts: 887000 | #Constraints: 38220
511.22/512.50 c #Conflicts: 888000 | #Constraints: 39220
511.22/512.50 c #Conflicts: 889000 | #Constraints: 40220
511.22/512.50 c #Conflicts: 890000 | #Constraints: 41220
511.22/512.50 c #Conflicts: 891000 | #Constraints: 42220
511.22/512.50 c #Conflicts: 892000 | #Constraints: 43220
511.22/512.50 c #Conflicts: 893000 | #Constraints: 44220
511.22/512.50 c #Conflicts: 894000 | #Constraints: 45220
511.22/512.50 c #Conflicts: 895000 | #Constraints: 46220
511.22/512.50 c #Conflicts: 896000 | #Constraints: 47220
511.22/512.50 c #Conflicts: 897000 | #Constraints: 48220
511.22/512.50 c #Conflicts: 898000 | #Constraints: 49220
511.22/512.50 c #Conflicts: 899000 | #Constraints: 50220
511.22/512.50 c #Conflicts: 900000 | #Constraints: 51220
511.22/512.50 c #Conflicts: 901000 | #Constraints: 52220
511.22/512.50 c #Conflicts: 902000 | #Constraints: 53220
511.22/512.50 c #Conflicts: 903000 | #Constraints: 54220
534.97/536.30 c INPROCESSING
534.97/536.30 c GARBAGE COLLECT
534.97/536.30 c #Conflicts: 904000 | #Constraints: 36423
534.97/536.30 c #Conflicts: 905000 | #Constraints: 37423
534.97/536.30 c #Conflicts: 906000 | #Constraints: 38423
534.97/536.30 c #Conflicts: 907000 | #Constraints: 39423
534.97/536.30 c #Conflicts: 908000 | #Constraints: 40423
534.97/536.30 c #Conflicts: 909000 | #Constraints: 41423
534.97/536.30 c #Conflicts: 910000 | #Constraints: 42423
534.97/536.30 c #Conflicts: 911000 | #Constraints: 43423
534.97/536.30 c #Conflicts: 912000 | #Constraints: 44423
534.97/536.30 c #Conflicts: 913000 | #Constraints: 45423
534.97/536.30 c #Conflicts: 914000 | #Constraints: 46423
534.97/536.30 c #Conflicts: 915000 | #Constraints: 47423
534.97/536.30 c #Conflicts: 916000 | #Constraints: 48423
534.97/536.30 c #Conflicts: 917000 | #Constraints: 49423
534.97/536.30 c #Conflicts: 918000 | #Constraints: 50423
534.97/536.30 c #Conflicts: 919000 | #Constraints: 51423
534.97/536.30 c #Conflicts: 920000 | #Constraints: 52423
534.97/536.30 c #Conflicts: 921000 | #Constraints: 53423
534.97/536.30 c #Conflicts: 922000 | #Constraints: 54423
534.97/536.30 c INPROCESSING
534.97/536.30 c GARBAGE COLLECT
534.97/536.30 c #Conflicts: 923000 | #Constraints: 36414
534.97/536.30 c #Conflicts: 924000 | #Constraints: 37414
534.97/536.30 c #Conflicts: 925000 | #Constraints: 38414
534.97/536.30 c #Conflicts: 926000 | #Constraints: 39414
534.97/536.30 c #Conflicts: 927000 | #Constraints: 40414
534.97/536.30 c #Conflicts: 928000 | #Constraints: 41414
534.97/536.30 c #Conflicts: 929000 | #Constraints: 42414
534.97/536.30 c #Conflicts: 930000 | #Constraints: 43414
534.97/536.30 c #Conflicts: 931000 | #Constraints: 44414
534.97/536.30 c #Conflicts: 932000 | #Constraints: 45414
534.97/536.30 c #Conflicts: 933000 | #Constraints: 46414
534.97/536.30 c #Conflicts: 934000 | #Constraints: 47414
534.97/536.30 c #Conflicts: 935000 | #Constraints: 48414
534.97/536.30 c #Conflicts: 936000 | #Constraints: 49414
534.97/536.30 c #Conflicts: 937000 | #Constraints: 50414
534.97/536.30 c #Conflicts: 938000 | #Constraints: 51414
534.97/536.30 c #Conflicts: 939000 | #Constraints: 52414
534.97/536.30 c #Conflicts: 940000 | #Constraints: 53414
534.97/536.30 c #Conflicts: 941000 | #Constraints: 54414
534.97/536.30 c INPROCESSING
534.97/536.30 c GARBAGE COLLECT
534.97/536.30 c #Conflicts: 942000 | #Constraints: 36220
534.97/536.30 c #Conflicts: 943000 | #Constraints: 37220
534.97/536.30 c #Conflicts: 944000 | #Constraints: 38220
534.97/536.30 c #Conflicts: 945000 | #Constraints: 39220
534.97/536.30 c #Conflicts: 946000 | #Constraints: 40220
534.97/536.30 c #Conflicts: 947000 | #Constraints: 41220
534.97/536.30 c #Conflicts: 948000 | #Constraints: 42220
534.97/536.30 c #Conflicts: 949000 | #Constraints: 43220
534.97/536.30 c #Conflicts: 950000 | #Constraints: 44220
534.97/536.30 c #Conflicts: 951000 | #Constraints: 45220
534.97/536.30 c #Conflicts: 952000 | #Constraints: 46220
534.97/536.30 c #Conflicts: 953000 | #Constraints: 47220
534.97/536.30 c #Conflicts: 954000 | #Constraints: 48220
534.97/536.30 c #Conflicts: 955000 | #Constraints: 49220
534.97/536.30 c #Conflicts: 956000 | #Constraints: 50220
534.97/536.30 c #Conflicts: 957000 | #Constraints: 51220
534.97/536.30 c #Conflicts: 958000 | #Constraints: 52220
534.97/536.30 c #Conflicts: 959000 | #Constraints: 53220
534.97/536.30 c #Conflicts: 960000 | #Constraints: 54220
534.97/536.30 c #Conflicts: 961000 | #Constraints: 55220
534.97/536.30 c INPROCESSING
534.97/536.30 c GARBAGE COLLECT
534.97/536.30 c #Conflicts: 962000 | #Constraints: 36832
534.97/536.30 c #Conflicts: 963000 | #Constraints: 37832
534.97/536.30 c #Conflicts: 964000 | #Constraints: 38832
534.97/536.30 c #Conflicts: 965000 | #Constraints: 39832
534.97/536.30 c #Conflicts: 966000 | #Constraints: 40832
534.97/536.30 c #Conflicts: 967000 | #Constraints: 41832
534.97/536.30 c #Conflicts: 968000 | #Constraints: 42832
534.97/536.30 c #Conflicts: 969000 | #Constraints: 43832
534.97/536.30 c #Conflicts: 970000 | #Constraints: 44832
534.97/536.30 c #Conflicts: 971000 | #Constraints: 45832
534.97/536.30 c #Conflicts: 972000 | #Constraints: 46832
534.97/536.30 c #Conflicts: 973000 | #Constraints: 47832
534.97/536.30 c #Conflicts: 974000 | #Constraints: 48832
534.97/536.30 c #Conflicts: 975000 | #Constraints: 49832
534.97/536.30 c #Conflicts: 976000 | #Constraints: 50832
534.97/536.30 c #Conflicts: 977000 | #Constraints: 51832
534.97/536.30 c #Conflicts: 978000 | #Constraints: 52832
534.97/536.30 c #Conflicts: 979000 | #Constraints: 53832
534.97/536.30 c #Conflicts: 980000 | #Constraints: 54832
559.82/561.25 c #Conflicts: 981000 | #Constraints: 55832
559.82/561.25 c INPROCESSING
559.82/561.25 c GARBAGE COLLECT
559.82/561.25 c #Conflicts: 982000 | #Constraints: 37222
559.82/561.25 c #Conflicts: 983000 | #Constraints: 38222
559.82/561.25 c #Conflicts: 984000 | #Constraints: 39222
559.82/561.25 c #Conflicts: 985000 | #Constraints: 40222
559.82/561.25 c #Conflicts: 986000 | #Constraints: 41222
559.82/561.25 c #Conflicts: 987000 | #Constraints: 42222
559.82/561.25 c #Conflicts: 988000 | #Constraints: 43222
559.82/561.25 c #Conflicts: 989000 | #Constraints: 44222
559.82/561.25 c #Conflicts: 990000 | #Constraints: 45222
559.82/561.25 c #Conflicts: 991000 | #Constraints: 46222
559.82/561.25 c #Conflicts: 992000 | #Constraints: 47222
559.82/561.25 c #Conflicts: 993000 | #Constraints: 48222
559.82/561.25 c #Conflicts: 994000 | #Constraints: 49222
559.82/561.25 c #Conflicts: 995000 | #Constraints: 50222
559.82/561.25 c #Conflicts: 996000 | #Constraints: 51222
559.82/561.25 c #Conflicts: 997000 | #Constraints: 52222
559.82/561.25 c #Conflicts: 998000 | #Constraints: 53222
559.82/561.25 c #Conflicts: 999000 | #Constraints: 54222
559.82/561.26 c #Conflicts: 1000000 | #Constraints: 55222
559.82/561.26 c #Conflicts: 1001000 | #Constraints: 56222
559.82/561.26 c INPROCESSING
559.82/561.26 c GARBAGE COLLECT
559.82/561.26 c #Conflicts: 1002000 | #Constraints: 37419
559.82/561.26 c #Conflicts: 1003000 | #Constraints: 38419
559.82/561.26 c #Conflicts: 1004000 | #Constraints: 39419
559.82/561.26 c #Conflicts: 1005000 | #Constraints: 40419
559.82/561.26 c #Conflicts: 1006000 | #Constraints: 41419
559.82/561.26 c #Conflicts: 1007000 | #Constraints: 42419
559.82/561.26 c #Conflicts: 1008000 | #Constraints: 43419
559.82/561.26 c #Conflicts: 1009000 | #Constraints: 44419
559.82/561.26 c #Conflicts: 1010000 | #Constraints: 45419
559.82/561.26 c #Conflicts: 1011000 | #Constraints: 46419
559.82/561.26 c #Conflicts: 1012000 | #Constraints: 47419
559.82/561.26 c #Conflicts: 1013000 | #Constraints: 48419
559.82/561.26 c #Conflicts: 1014000 | #Constraints: 49419
559.82/561.26 c #Conflicts: 1015000 | #Constraints: 50419
559.82/561.26 c #Conflicts: 1016000 | #Constraints: 51419
559.82/561.26 c #Conflicts: 1017000 | #Constraints: 52419
559.82/561.26 c #Conflicts: 1018000 | #Constraints: 53419
559.82/561.26 c #Conflicts: 1019000 | #Constraints: 54419
559.82/561.26 c #Conflicts: 1020000 | #Constraints: 55419
559.82/561.26 c #Conflicts: 1021000 | #Constraints: 56419
559.82/561.26 c INPROCESSING
559.82/561.26 c GARBAGE COLLECT
559.82/561.26 c #Conflicts: 1022000 | #Constraints: 37430
559.82/561.26 c #Conflicts: 1023000 | #Constraints: 38430
559.82/561.26 c #Conflicts: 1024000 | #Constraints: 39430
559.82/561.26 c #Conflicts: 1025000 | #Constraints: 40430
559.82/561.26 c #Conflicts: 1026000 | #Constraints: 41430
559.82/561.26 c #Conflicts: 1027000 | #Constraints: 42430
559.82/561.26 c #Conflicts: 1028000 | #Constraints: 43430
559.82/561.26 c #Conflicts: 1029000 | #Constraints: 44430
559.82/561.26 c #Conflicts: 1030000 | #Constraints: 45430
559.82/561.26 c #Conflicts: 1031000 | #Constraints: 46430
559.82/561.26 c #Conflicts: 1032000 | #Constraints: 47430
559.82/561.26 c #Conflicts: 1033000 | #Constraints: 48430
559.82/561.26 c #Conflicts: 1034000 | #Constraints: 49430
559.82/561.26 c #Conflicts: 1035000 | #Constraints: 50430
559.82/561.26 c #Conflicts: 1036000 | #Constraints: 51430
559.82/561.26 c #Conflicts: 1037000 | #Constraints: 52430
559.82/561.26 c #Conflicts: 1038000 | #Constraints: 53430
559.82/561.26 c #Conflicts: 1039000 | #Constraints: 54430
559.82/561.26 c #Conflicts: 1040000 | #Constraints: 55430
559.82/561.26 c #Conflicts: 1041000 | #Constraints: 56430
559.82/561.26 c INPROCESSING
559.82/561.26 c GARBAGE COLLECT
559.82/561.26 c #Conflicts: 1042000 | #Constraints: 37234
559.82/561.26 c #Conflicts: 1043000 | #Constraints: 38234
559.82/561.26 c #Conflicts: 1044000 | #Constraints: 39234
559.82/561.26 c #Conflicts: 1045000 | #Constraints: 40234
559.82/561.26 c #Conflicts: 1046000 | #Constraints: 41234
559.82/561.26 c #Conflicts: 1047000 | #Constraints: 42234
559.82/561.26 c #Conflicts: 1048000 | #Constraints: 43234
559.82/561.26 c #Conflicts: 1049000 | #Constraints: 44234
559.82/561.26 c #Conflicts: 1050000 | #Constraints: 45234
559.82/561.26 c #Conflicts: 1051000 | #Constraints: 46234
559.82/561.26 c #Conflicts: 1052000 | #Constraints: 47234
559.82/561.26 c #Conflicts: 1053000 | #Constraints: 48234
559.82/561.26 c #Conflicts: 1054000 | #Constraints: 49234
559.82/561.26 c #Conflicts: 1055000 | #Constraints: 50234
559.82/561.26 c #Conflicts: 1056000 | #Constraints: 51234
585.75/587.25 c #Conflicts: 1057000 | #Constraints: 52234
585.75/587.25 c #Conflicts: 1058000 | #Constraints: 53234
585.75/587.25 c #Conflicts: 1059000 | #Constraints: 54234
585.75/587.25 c #Conflicts: 1060000 | #Constraints: 55234
585.75/587.25 c #Conflicts: 1061000 | #Constraints: 56234
585.75/587.25 c #Conflicts: 1062000 | #Constraints: 57234
585.75/587.25 c INPROCESSING
585.75/587.25 c GARBAGE COLLECT
585.75/587.25 c #Conflicts: 1063000 | #Constraints: 37827
585.75/587.25 c #Conflicts: 1064000 | #Constraints: 38827
585.75/587.25 c #Conflicts: 1065000 | #Constraints: 39827
585.75/587.25 c #Conflicts: 1066000 | #Constraints: 40827
585.75/587.25 c #Conflicts: 1067000 | #Constraints: 41827
585.75/587.25 c #Conflicts: 1068000 | #Constraints: 42827
585.75/587.25 c #Conflicts: 1069000 | #Constraints: 43827
585.75/587.25 c #Conflicts: 1070000 | #Constraints: 44827
585.75/587.25 c #Conflicts: 1071000 | #Constraints: 45827
585.75/587.25 c #Conflicts: 1072000 | #Constraints: 46827
585.75/587.25 c #Conflicts: 1073000 | #Constraints: 47827
585.75/587.25 c #Conflicts: 1074000 | #Constraints: 48827
585.75/587.25 c #Conflicts: 1075000 | #Constraints: 49827
585.75/587.25 c #Conflicts: 1076000 | #Constraints: 50827
585.75/587.25 c #Conflicts: 1077000 | #Constraints: 51827
585.75/587.25 c #Conflicts: 1078000 | #Constraints: 52827
585.75/587.25 c #Conflicts: 1079000 | #Constraints: 53827
585.75/587.25 c #Conflicts: 1080000 | #Constraints: 54827
585.75/587.25 c #Conflicts: 1081000 | #Constraints: 55827
585.75/587.25 c #Conflicts: 1082000 | #Constraints: 56827
585.75/587.25 c #Conflicts: 1083000 | #Constraints: 57827
585.75/587.25 c INPROCESSING
585.75/587.25 c GARBAGE COLLECT
585.75/587.25 c #Conflicts: 1084000 | #Constraints: 38240
585.75/587.25 c #Conflicts: 1085000 | #Constraints: 39240
585.75/587.25 c #Conflicts: 1086000 | #Constraints: 40240
585.75/587.25 c #Conflicts: 1087000 | #Constraints: 41240
585.75/587.25 c #Conflicts: 1088000 | #Constraints: 42240
585.75/587.25 c #Conflicts: 1089000 | #Constraints: 43240
585.75/587.25 c #Conflicts: 1090000 | #Constraints: 44240
585.75/587.25 c #Conflicts: 1091000 | #Constraints: 45240
585.75/587.25 c #Conflicts: 1092000 | #Constraints: 46240
585.75/587.25 c #Conflicts: 1093000 | #Constraints: 47240
585.75/587.25 c #Conflicts: 1094000 | #Constraints: 48240
585.75/587.25 c #Conflicts: 1095000 | #Constraints: 49240
585.75/587.25 c #Conflicts: 1096000 | #Constraints: 50240
585.75/587.25 c #Conflicts: 1097000 | #Constraints: 51240
585.75/587.25 c #Conflicts: 1098000 | #Constraints: 52240
585.75/587.25 c #Conflicts: 1099000 | #Constraints: 53240
585.75/587.25 c #Conflicts: 1100000 | #Constraints: 54240
585.75/587.25 c #Conflicts: 1101000 | #Constraints: 55240
585.75/587.25 c #Conflicts: 1102000 | #Constraints: 56240
585.75/587.25 c #Conflicts: 1103000 | #Constraints: 57240
585.75/587.25 c #Conflicts: 1104000 | #Constraints: 58240
585.75/587.25 c INPROCESSING
585.75/587.25 c GARBAGE COLLECT
585.75/587.25 c #Conflicts: 1105000 | #Constraints: 38446
585.75/587.25 c #Conflicts: 1106000 | #Constraints: 39446
585.75/587.25 c #Conflicts: 1107000 | #Constraints: 40446
585.75/587.25 c #Conflicts: 1108000 | #Constraints: 41446
585.75/587.25 c #Conflicts: 1109000 | #Constraints: 42446
585.75/587.25 c #Conflicts: 1110000 | #Constraints: 43446
585.75/587.25 c #Conflicts: 1111000 | #Constraints: 44446
585.75/587.25 c #Conflicts: 1112000 | #Constraints: 45446
585.75/587.25 c #Conflicts: 1113000 | #Constraints: 46446
585.75/587.25 c #Conflicts: 1114000 | #Constraints: 47446
585.75/587.25 c #Conflicts: 1115000 | #Constraints: 48446
585.75/587.25 c #Conflicts: 1116000 | #Constraints: 49446
585.75/587.25 c #Conflicts: 1117000 | #Constraints: 50446
585.75/587.25 c #Conflicts: 1118000 | #Constraints: 51446
585.75/587.25 c #Conflicts: 1119000 | #Constraints: 52446
585.75/587.25 c #Conflicts: 1120000 | #Constraints: 53446
585.75/587.25 c #Conflicts: 1121000 | #Constraints: 54446
585.75/587.25 c #Conflicts: 1122000 | #Constraints: 55446
585.75/587.25 c #Conflicts: 1123000 | #Constraints: 56446
585.75/587.25 c #Conflicts: 1124000 | #Constraints: 57446
585.75/587.25 c #Conflicts: 1125000 | #Constraints: 58446
585.75/587.25 c INPROCESSING
585.75/587.25 c GARBAGE COLLECT
585.75/587.25 c #Conflicts: 1126000 | #Constraints: 38438
585.75/587.25 c #Conflicts: 1127000 | #Constraints: 39438
585.75/587.25 c #Conflicts: 1128000 | #Constraints: 40438
585.75/587.25 c #Conflicts: 1129000 | #Constraints: 41438
585.75/587.25 c #Conflicts: 1130000 | #Constraints: 42438
585.75/587.25 c #Conflicts: 1131000 | #Constraints: 43438
585.75/587.25 c #Conflicts: 1132000 | #Constraints: 44438
612.60/614.14 c #Conflicts: 1133000 | #Constraints: 45438
612.60/614.14 c #Conflicts: 1134000 | #Constraints: 46438
612.60/614.14 c #Conflicts: 1135000 | #Constraints: 47438
612.60/614.14 c #Conflicts: 1136000 | #Constraints: 48438
612.60/614.14 c #Conflicts: 1137000 | #Constraints: 49438
612.60/614.14 c #Conflicts: 1138000 | #Constraints: 50438
612.60/614.14 c #Conflicts: 1139000 | #Constraints: 51438
612.60/614.14 c #Conflicts: 1140000 | #Constraints: 52438
612.60/614.14 c #Conflicts: 1141000 | #Constraints: 53438
612.60/614.14 c #Conflicts: 1142000 | #Constraints: 54438
612.60/614.14 c #Conflicts: 1143000 | #Constraints: 55438
612.60/614.14 c #Conflicts: 1144000 | #Constraints: 56438
612.60/614.14 c #Conflicts: 1145000 | #Constraints: 57438
612.60/614.14 c #Conflicts: 1146000 | #Constraints: 58438
612.60/614.14 c INPROCESSING
612.60/614.14 c GARBAGE COLLECT
612.60/614.14 c #Conflicts: 1147000 | #Constraints: 38236
612.60/614.14 c #Conflicts: 1148000 | #Constraints: 39236
612.60/614.14 c #Conflicts: 1149000 | #Constraints: 40236
612.60/614.14 c #Conflicts: 1150000 | #Constraints: 41236
612.60/614.14 c #Conflicts: 1151000 | #Constraints: 42236
612.60/614.14 c #Conflicts: 1152000 | #Constraints: 43236
612.60/614.14 c #Conflicts: 1153000 | #Constraints: 44236
612.60/614.14 c #Conflicts: 1154000 | #Constraints: 45236
612.60/614.14 c #Conflicts: 1155000 | #Constraints: 46236
612.60/614.14 c #Conflicts: 1156000 | #Constraints: 47236
612.60/614.14 c #Conflicts: 1157000 | #Constraints: 48236
612.60/614.14 c #Conflicts: 1158000 | #Constraints: 49236
612.60/614.14 c #Conflicts: 1159000 | #Constraints: 50236
612.60/614.14 c #Conflicts: 1160000 | #Constraints: 51236
612.60/614.14 c #Conflicts: 1161000 | #Constraints: 52236
612.60/614.14 c #Conflicts: 1162000 | #Constraints: 53236
612.60/614.14 c #Conflicts: 1163000 | #Constraints: 54236
612.60/614.14 c #Conflicts: 1164000 | #Constraints: 55236
612.60/614.14 c #Conflicts: 1165000 | #Constraints: 56236
612.60/614.14 c #Conflicts: 1166000 | #Constraints: 57236
612.60/614.14 c #Conflicts: 1167000 | #Constraints: 58236
612.60/614.14 c #Conflicts: 1168000 | #Constraints: 59236
612.60/614.14 c INPROCESSING
612.60/614.14 c GARBAGE COLLECT
612.60/614.14 c #Conflicts: 1169000 | #Constraints: 38835
612.60/614.14 c #Conflicts: 1170000 | #Constraints: 39835
612.60/614.14 c #Conflicts: 1171000 | #Constraints: 40835
612.60/614.14 c #Conflicts: 1172000 | #Constraints: 41835
612.60/614.14 c #Conflicts: 1173000 | #Constraints: 42835
612.60/614.14 c #Conflicts: 1174000 | #Constraints: 43835
612.60/614.14 c #Conflicts: 1175000 | #Constraints: 44835
612.60/614.14 c #Conflicts: 1176000 | #Constraints: 45835
612.60/614.14 c #Conflicts: 1177000 | #Constraints: 46835
612.60/614.14 c #Conflicts: 1178000 | #Constraints: 47835
612.60/614.14 c #Conflicts: 1179000 | #Constraints: 48835
612.60/614.14 c #Conflicts: 1180000 | #Constraints: 49835
612.60/614.14 c #Conflicts: 1181000 | #Constraints: 50835
612.60/614.14 c #Conflicts: 1182000 | #Constraints: 51835
612.60/614.14 c #Conflicts: 1183000 | #Constraints: 52835
612.60/614.14 c #Conflicts: 1184000 | #Constraints: 53835
612.60/614.14 c #Conflicts: 1185000 | #Constraints: 54835
612.60/614.14 c #Conflicts: 1186000 | #Constraints: 55835
612.60/614.14 c #Conflicts: 1187000 | #Constraints: 56835
612.60/614.14 c #Conflicts: 1188000 | #Constraints: 57835
612.60/614.14 c #Conflicts: 1189000 | #Constraints: 58835
612.60/614.14 c #Conflicts: 1190000 | #Constraints: 59835
612.60/614.14 c INPROCESSING
612.60/614.14 c GARBAGE COLLECT
612.60/614.14 c #Conflicts: 1191000 | #Constraints: 39250
612.60/614.14 c #Conflicts: 1192000 | #Constraints: 40250
612.60/614.14 c #Conflicts: 1193000 | #Constraints: 41250
612.60/614.14 c #Conflicts: 1194000 | #Constraints: 42250
612.60/614.14 c #Conflicts: 1195000 | #Constraints: 43250
612.60/614.14 c #Conflicts: 1196000 | #Constraints: 44250
612.60/614.14 c #Conflicts: 1197000 | #Constraints: 45250
612.60/614.14 c #Conflicts: 1198000 | #Constraints: 46250
612.60/614.14 c #Conflicts: 1199000 | #Constraints: 47250
612.60/614.14 c #Conflicts: 1200000 | #Constraints: 48250
612.60/614.14 c #Conflicts: 1201000 | #Constraints: 49250
612.60/614.14 c #Conflicts: 1202000 | #Constraints: 50250
612.60/614.14 c #Conflicts: 1203000 | #Constraints: 51250
612.60/614.14 c #Conflicts: 1204000 | #Constraints: 52250
612.60/614.14 c #Conflicts: 1205000 | #Constraints: 53250
612.60/614.14 c #Conflicts: 1206000 | #Constraints: 54250
612.60/614.14 c #Conflicts: 1207000 | #Constraints: 55250
612.60/614.14 c #Conflicts: 1208000 | #Constraints: 56250
612.60/614.14 c #Conflicts: 1209000 | #Constraints: 57250
639.63/641.26 c #Conflicts: 1210000 | #Constraints: 58250
639.63/641.26 c #Conflicts: 1211000 | #Constraints: 59250
639.63/641.26 c #Conflicts: 1212000 | #Constraints: 60250
639.63/641.26 c INPROCESSING
639.63/641.26 c GARBAGE COLLECT
639.63/641.26 c #Conflicts: 1213000 | #Constraints: 39445
639.63/641.26 c #Conflicts: 1214000 | #Constraints: 40445
639.63/641.26 c #Conflicts: 1215000 | #Constraints: 41445
639.63/641.26 c #Conflicts: 1216000 | #Constraints: 42445
639.63/641.26 c #Conflicts: 1217000 | #Constraints: 43445
639.63/641.26 c #Conflicts: 1218000 | #Constraints: 44445
639.63/641.26 c #Conflicts: 1219000 | #Constraints: 45445
639.63/641.26 c #Conflicts: 1220000 | #Constraints: 46445
639.63/641.26 c #Conflicts: 1221000 | #Constraints: 47445
639.63/641.26 c #Conflicts: 1222000 | #Constraints: 48445
639.63/641.26 c #Conflicts: 1223000 | #Constraints: 49445
639.63/641.26 c #Conflicts: 1224000 | #Constraints: 50445
639.63/641.26 c #Conflicts: 1225000 | #Constraints: 51445
639.63/641.26 c #Conflicts: 1226000 | #Constraints: 52445
639.63/641.26 c #Conflicts: 1227000 | #Constraints: 53445
639.63/641.26 c #Conflicts: 1228000 | #Constraints: 54445
639.63/641.26 c #Conflicts: 1229000 | #Constraints: 55445
639.63/641.26 c #Conflicts: 1230000 | #Constraints: 56445
639.63/641.26 c #Conflicts: 1231000 | #Constraints: 57445
639.63/641.26 c #Conflicts: 1232000 | #Constraints: 58445
639.63/641.26 c #Conflicts: 1233000 | #Constraints: 59445
639.63/641.26 c #Conflicts: 1234000 | #Constraints: 60445
639.63/641.26 c INPROCESSING
639.63/641.26 c GARBAGE COLLECT
639.63/641.26 c #Conflicts: 1235000 | #Constraints: 39444
639.63/641.26 c #Conflicts: 1236000 | #Constraints: 40444
639.63/641.26 c #Conflicts: 1237000 | #Constraints: 41444
639.63/641.26 c #Conflicts: 1238000 | #Constraints: 42444
639.63/641.26 c #Conflicts: 1239000 | #Constraints: 43444
639.63/641.26 c #Conflicts: 1240000 | #Constraints: 44444
639.63/641.26 c #Conflicts: 1241000 | #Constraints: 45444
639.63/641.26 c #Conflicts: 1242000 | #Constraints: 46444
639.63/641.26 c #Conflicts: 1243000 | #Constraints: 47444
639.63/641.26 c #Conflicts: 1244000 | #Constraints: 48444
639.63/641.26 c #Conflicts: 1245000 | #Constraints: 49444
639.63/641.26 c #Conflicts: 1246000 | #Constraints: 50444
639.63/641.26 c #Conflicts: 1247000 | #Constraints: 51444
639.63/641.26 c #Conflicts: 1248000 | #Constraints: 52444
639.63/641.26 c #Conflicts: 1249000 | #Constraints: 53444
639.63/641.26 c #Conflicts: 1250000 | #Constraints: 54444
639.63/641.26 c #Conflicts: 1251000 | #Constraints: 55444
639.63/641.26 c #Conflicts: 1252000 | #Constraints: 56444
639.63/641.26 c #Conflicts: 1253000 | #Constraints: 57444
639.63/641.26 c #Conflicts: 1254000 | #Constraints: 58444
639.63/641.26 c #Conflicts: 1255000 | #Constraints: 59444
639.63/641.26 c #Conflicts: 1256000 | #Constraints: 60444
639.63/641.26 c INPROCESSING
639.63/641.26 c GARBAGE COLLECT
639.63/641.26 c #Conflicts: 1257000 | #Constraints: 39244
639.63/641.26 c #Conflicts: 1258000 | #Constraints: 40244
639.63/641.26 c #Conflicts: 1259000 | #Constraints: 41244
639.63/641.26 c #Conflicts: 1260000 | #Constraints: 42244
639.63/641.26 c #Conflicts: 1261000 | #Constraints: 43244
639.63/641.26 c #Conflicts: 1262000 | #Constraints: 44244
639.63/641.26 c #Conflicts: 1263000 | #Constraints: 45244
639.63/641.26 c #Conflicts: 1264000 | #Constraints: 46244
639.63/641.26 c #Conflicts: 1265000 | #Constraints: 47244
639.63/641.26 c #Conflicts: 1266000 | #Constraints: 48244
639.63/641.26 c #Conflicts: 1267000 | #Constraints: 49244
639.63/641.26 c #Conflicts: 1268000 | #Constraints: 50244
639.63/641.26 c #Conflicts: 1269000 | #Constraints: 51244
639.63/641.26 c #Conflicts: 1270000 | #Constraints: 52244
639.63/641.26 c #Conflicts: 1271000 | #Constraints: 53244
639.63/641.26 c #Conflicts: 1272000 | #Constraints: 54244
639.63/641.26 c #Conflicts: 1273000 | #Constraints: 55244
639.63/641.26 c #Conflicts: 1274000 | #Constraints: 56244
639.63/641.26 c #Conflicts: 1275000 | #Constraints: 57244
639.63/641.26 c #Conflicts: 1276000 | #Constraints: 58244
639.63/641.26 c #Conflicts: 1277000 | #Constraints: 59244
639.63/641.26 c #Conflicts: 1278000 | #Constraints: 60244
639.63/641.26 c #Conflicts: 1279000 | #Constraints: 61244
639.63/641.26 c INPROCESSING
639.63/641.26 c GARBAGE COLLECT
639.63/641.26 c #Conflicts: 1280000 | #Constraints: 39828
639.63/641.26 c #Conflicts: 1281000 | #Constraints: 40828
639.63/641.26 c #Conflicts: 1282000 | #Constraints: 41828
639.63/641.26 c #Conflicts: 1283000 | #Constraints: 42828
639.63/641.26 c #Conflicts: 1284000 | #Constraints: 43828
639.63/641.26 c #Conflicts: 1285000 | #Constraints: 44828
667.97/669.63 c #Conflicts: 1286000 | #Constraints: 45828
667.97/669.63 c #Conflicts: 1287000 | #Constraints: 46828
667.97/669.63 c #Conflicts: 1288000 | #Constraints: 47828
667.97/669.63 c #Conflicts: 1289000 | #Constraints: 48828
667.97/669.63 c #Conflicts: 1290000 | #Constraints: 49828
667.97/669.63 c #Conflicts: 1291000 | #Constraints: 50828
667.97/669.63 c #Conflicts: 1292000 | #Constraints: 51828
667.97/669.63 c #Conflicts: 1293000 | #Constraints: 52828
667.97/669.63 c #Conflicts: 1294000 | #Constraints: 53828
667.97/669.63 c #Conflicts: 1295000 | #Constraints: 54828
667.97/669.63 c #Conflicts: 1296000 | #Constraints: 55828
667.97/669.63 c #Conflicts: 1297000 | #Constraints: 56828
667.97/669.63 c #Conflicts: 1298000 | #Constraints: 57828
667.97/669.63 c #Conflicts: 1299000 | #Constraints: 58828
667.97/669.63 c #Conflicts: 1300000 | #Constraints: 59828
667.97/669.63 c #Conflicts: 1301000 | #Constraints: 60828
667.97/669.63 c #Conflicts: 1302000 | #Constraints: 61828
667.97/669.63 c INPROCESSING
667.97/669.63 c GARBAGE COLLECT
667.97/669.63 c #Conflicts: 1303000 | #Constraints: 40238
667.97/669.63 c #Conflicts: 1304000 | #Constraints: 41238
667.97/669.63 c #Conflicts: 1305000 | #Constraints: 42238
667.97/669.63 c #Conflicts: 1306000 | #Constraints: 43238
667.97/669.63 c #Conflicts: 1307000 | #Constraints: 44238
667.97/669.63 c #Conflicts: 1308000 | #Constraints: 45238
667.97/669.63 c #Conflicts: 1309000 | #Constraints: 46238
667.97/669.63 c #Conflicts: 1310000 | #Constraints: 47238
667.97/669.63 c #Conflicts: 1311000 | #Constraints: 48238
667.97/669.63 c #Conflicts: 1312000 | #Constraints: 49238
667.97/669.63 c #Conflicts: 1313000 | #Constraints: 50238
667.97/669.63 c #Conflicts: 1314000 | #Constraints: 51238
667.97/669.63 c #Conflicts: 1315000 | #Constraints: 52238
667.97/669.63 c #Conflicts: 1316000 | #Constraints: 53238
667.97/669.63 c #Conflicts: 1317000 | #Constraints: 54238
667.97/669.63 c #Conflicts: 1318000 | #Constraints: 55238
667.97/669.63 c #Conflicts: 1319000 | #Constraints: 56238
667.97/669.63 c #Conflicts: 1320000 | #Constraints: 57238
667.97/669.63 c #Conflicts: 1321000 | #Constraints: 58238
667.97/669.63 c #Conflicts: 1322000 | #Constraints: 59238
667.97/669.63 c #Conflicts: 1323000 | #Constraints: 60238
667.97/669.63 c #Conflicts: 1324000 | #Constraints: 61238
667.97/669.63 c #Conflicts: 1325000 | #Constraints: 62238
667.97/669.63 c INPROCESSING
667.97/669.63 c GARBAGE COLLECT
667.97/669.63 c #Conflicts: 1326000 | #Constraints: 40441
667.97/669.63 c #Conflicts: 1327000 | #Constraints: 41441
667.97/669.63 c #Conflicts: 1328000 | #Constraints: 42441
667.97/669.63 c #Conflicts: 1329000 | #Constraints: 43441
667.97/669.63 c #Conflicts: 1330000 | #Constraints: 44441
667.97/669.63 c #Conflicts: 1331000 | #Constraints: 45441
667.97/669.63 c #Conflicts: 1332000 | #Constraints: 46441
667.97/669.63 c #Conflicts: 1333000 | #Constraints: 47441
667.97/669.63 c #Conflicts: 1334000 | #Constraints: 48441
667.97/669.63 c #Conflicts: 1335000 | #Constraints: 49441
667.97/669.63 c #Conflicts: 1336000 | #Constraints: 50441
667.97/669.63 c #Conflicts: 1337000 | #Constraints: 51441
667.97/669.63 c #Conflicts: 1338000 | #Constraints: 52441
667.97/669.63 c #Conflicts: 1339000 | #Constraints: 53441
667.97/669.63 c #Conflicts: 1340000 | #Constraints: 54441
667.97/669.63 c #Conflicts: 1341000 | #Constraints: 55441
667.97/669.63 c #Conflicts: 1342000 | #Constraints: 56441
667.97/669.63 c #Conflicts: 1343000 | #Constraints: 57441
667.97/669.63 c #Conflicts: 1344000 | #Constraints: 58441
667.97/669.63 c #Conflicts: 1345000 | #Constraints: 59441
667.97/669.63 c #Conflicts: 1346000 | #Constraints: 60441
667.97/669.63 c #Conflicts: 1347000 | #Constraints: 61441
667.97/669.63 c #Conflicts: 1348000 | #Constraints: 62441
667.97/669.63 c INPROCESSING
667.97/669.63 c GARBAGE COLLECT
667.97/669.63 c #Conflicts: 1349000 | #Constraints: 40419
667.97/669.63 c #Conflicts: 1350000 | #Constraints: 41419
667.97/669.63 c #Conflicts: 1351000 | #Constraints: 42419
667.97/669.63 c #Conflicts: 1352000 | #Constraints: 43419
667.97/669.63 c #Conflicts: 1353000 | #Constraints: 44419
667.97/669.63 c #Conflicts: 1354000 | #Constraints: 45419
667.97/669.63 c #Conflicts: 1355000 | #Constraints: 46419
667.97/669.63 c #Conflicts: 1356000 | #Constraints: 47419
667.97/669.63 c #Conflicts: 1357000 | #Constraints: 48419
667.97/669.63 c #Conflicts: 1358000 | #Constraints: 49419
667.97/669.63 c #Conflicts: 1359000 | #Constraints: 50419
667.97/669.63 c #Conflicts: 1360000 | #Constraints: 51419
667.97/669.63 c #Conflicts: 1361000 | #Constraints: 52419
667.97/669.63 c #Conflicts: 1362000 | #Constraints: 53419
697.90/699.69 c #Conflicts: 1363000 | #Constraints: 54419
697.90/699.69 c #Conflicts: 1364000 | #Constraints: 55419
697.90/699.69 c #Conflicts: 1365000 | #Constraints: 56419
697.90/699.69 c #Conflicts: 1366000 | #Constraints: 57419
697.90/699.69 c #Conflicts: 1367000 | #Constraints: 58419
697.90/699.69 c #Conflicts: 1368000 | #Constraints: 59419
697.90/699.69 c #Conflicts: 1369000 | #Constraints: 60419
697.90/699.69 c #Conflicts: 1370000 | #Constraints: 61419
697.90/699.69 c #Conflicts: 1371000 | #Constraints: 62419
697.90/699.69 c INPROCESSING
697.90/699.69 c GARBAGE COLLECT
697.90/699.69 c #Conflicts: 1372000 | #Constraints: 40240
697.90/699.69 c #Conflicts: 1373000 | #Constraints: 41240
697.90/699.69 c #Conflicts: 1374000 | #Constraints: 42240
697.90/699.69 c #Conflicts: 1375000 | #Constraints: 43240
697.90/699.69 c #Conflicts: 1376000 | #Constraints: 44240
697.90/699.69 c #Conflicts: 1377000 | #Constraints: 45240
697.90/699.69 c #Conflicts: 1378000 | #Constraints: 46240
697.90/699.69 c #Conflicts: 1379000 | #Constraints: 47240
697.90/699.69 c #Conflicts: 1380000 | #Constraints: 48240
697.90/699.69 c #Conflicts: 1381000 | #Constraints: 49240
697.90/699.69 c #Conflicts: 1382000 | #Constraints: 50240
697.90/699.69 c #Conflicts: 1383000 | #Constraints: 51240
697.90/699.69 c #Conflicts: 1384000 | #Constraints: 52240
697.90/699.69 c #Conflicts: 1385000 | #Constraints: 53240
697.90/699.69 c #Conflicts: 1386000 | #Constraints: 54240
697.90/699.69 c #Conflicts: 1387000 | #Constraints: 55240
697.90/699.69 c #Conflicts: 1388000 | #Constraints: 56240
697.90/699.69 c #Conflicts: 1389000 | #Constraints: 57240
697.90/699.69 c #Conflicts: 1390000 | #Constraints: 58240
697.90/699.69 c #Conflicts: 1391000 | #Constraints: 59240
697.90/699.69 c #Conflicts: 1392000 | #Constraints: 60240
697.90/699.69 c #Conflicts: 1393000 | #Constraints: 61240
697.90/699.69 c #Conflicts: 1394000 | #Constraints: 62240
697.90/699.69 c #Conflicts: 1395000 | #Constraints: 63240
697.90/699.69 c INPROCESSING
697.90/699.69 c GARBAGE COLLECT
697.90/699.69 c #Conflicts: 1396000 | #Constraints: 40854
697.90/699.69 c #Conflicts: 1397000 | #Constraints: 41854
697.90/699.69 c #Conflicts: 1398000 | #Constraints: 42854
697.90/699.69 c #Conflicts: 1399000 | #Constraints: 43854
697.90/699.69 c #Conflicts: 1400000 | #Constraints: 44854
697.90/699.69 c #Conflicts: 1401000 | #Constraints: 45854
697.90/699.69 c #Conflicts: 1402000 | #Constraints: 46854
697.90/699.69 c #Conflicts: 1403000 | #Constraints: 47854
697.90/699.69 c #Conflicts: 1404000 | #Constraints: 48854
697.90/699.69 c #Conflicts: 1405000 | #Constraints: 49854
697.90/699.69 c #Conflicts: 1406000 | #Constraints: 50854
697.90/699.69 c #Conflicts: 1407000 | #Constraints: 51854
697.90/699.69 c #Conflicts: 1408000 | #Constraints: 52854
697.90/699.69 c #Conflicts: 1409000 | #Constraints: 53854
697.90/699.69 c #Conflicts: 1410000 | #Constraints: 54854
697.90/699.69 c #Conflicts: 1411000 | #Constraints: 55854
697.90/699.69 c #Conflicts: 1412000 | #Constraints: 56854
697.90/699.69 c #Conflicts: 1413000 | #Constraints: 57854
697.90/699.69 c #Conflicts: 1414000 | #Constraints: 58854
697.90/699.69 c #Conflicts: 1415000 | #Constraints: 59854
697.90/699.69 c #Conflicts: 1416000 | #Constraints: 60854
697.90/699.69 c #Conflicts: 1417000 | #Constraints: 61854
697.90/699.69 c #Conflicts: 1418000 | #Constraints: 62854
697.90/699.69 c #Conflicts: 1419000 | #Constraints: 63854
697.90/699.69 c INPROCESSING
697.90/699.69 c GARBAGE COLLECT
697.90/699.69 c #Conflicts: 1420000 | #Constraints: 41261
697.90/699.69 c #Conflicts: 1421000 | #Constraints: 42261
697.90/699.69 c #Conflicts: 1422000 | #Constraints: 43261
697.90/699.69 c #Conflicts: 1423000 | #Constraints: 44261
697.90/699.69 c #Conflicts: 1424000 | #Constraints: 45261
697.90/699.69 c #Conflicts: 1425000 | #Constraints: 46261
697.90/699.69 c #Conflicts: 1426000 | #Constraints: 47261
697.90/699.69 c #Conflicts: 1427000 | #Constraints: 48261
697.90/699.69 c #Conflicts: 1428000 | #Constraints: 49261
697.90/699.69 c #Conflicts: 1429000 | #Constraints: 50261
697.90/699.69 c #Conflicts: 1430000 | #Constraints: 51261
697.90/699.69 c #Conflicts: 1431000 | #Constraints: 52261
697.90/699.69 c #Conflicts: 1432000 | #Constraints: 53261
697.90/699.69 c #Conflicts: 1433000 | #Constraints: 54261
697.90/699.69 c #Conflicts: 1434000 | #Constraints: 55261
697.90/699.69 c #Conflicts: 1435000 | #Constraints: 56261
697.90/699.69 c #Conflicts: 1436000 | #Constraints: 57261
697.90/699.69 c #Conflicts: 1437000 | #Constraints: 58261
697.90/699.69 c #Conflicts: 1438000 | #Constraints: 59261
697.90/699.69 c #Conflicts: 1439000 | #Constraints: 60261
714.27/716.06 c #Conflicts: 1440000 | #Constraints: 61261
714.27/716.06 c #Conflicts: 1441000 | #Constraints: 62261
714.27/716.06 c #Conflicts: 1442000 | #Constraints: 63261
714.27/716.06 c #Conflicts: 1443000 | #Constraints: 64261
714.27/716.06 c INPROCESSING
714.27/716.06 c GARBAGE COLLECT
714.27/716.06 c #Conflicts: 1444000 | #Constraints: 41446
714.27/716.06 c #Conflicts: 1445000 | #Constraints: 42446
714.27/716.06 c #Conflicts: 1446000 | #Constraints: 43446
714.27/716.06 c #Conflicts: 1447000 | #Constraints: 44446
714.27/716.06 c #Conflicts: 1448000 | #Constraints: 45446
714.27/716.06 c #Conflicts: 1449000 | #Constraints: 46446
714.27/716.06 c #Conflicts: 1450000 | #Constraints: 47446
714.27/716.06 c #Conflicts: 1451000 | #Constraints: 48446
714.27/716.06 c #Conflicts: 1452000 | #Constraints: 49446
714.27/716.06 c #Conflicts: 1453000 | #Constraints: 50446
714.27/716.06 c #Conflicts: 1454000 | #Constraints: 51446
714.27/716.06 c #Conflicts: 1455000 | #Constraints: 52446
714.27/716.06 c #Conflicts: 1456000 | #Constraints: 53446
714.27/716.06 c #Conflicts: 1457000 | #Constraints: 54446
714.27/716.06 c #Conflicts: 1458000 | #Constraints: 55446
714.27/716.06 c #Conflicts: 1459000 | #Constraints: 56446
714.27/716.06 c #Conflicts: 1460000 | #Constraints: 57446
714.27/716.06 c #Conflicts: 1461000 | #Constraints: 58446
714.27/716.06 c #Conflicts: 1462000 | #Constraints: 59446
714.27/716.06 c #Conflicts: 1463000 | #Constraints: 60446
714.27/716.06 c #Conflicts: 1464000 | #Constraints: 61446
714.27/716.06 c #Conflicts: 1465000 | #Constraints: 62446
714.27/716.06 c #Conflicts: 1466000 | #Constraints: 63446
714.27/716.06 c #Conflicts: 1467000 | #Constraints: 64446
714.27/716.06 c INPROCESSING
714.27/716.06 c GARBAGE COLLECT
714.27/716.06 c #Conflicts: 1468000 | #Constraints: 41463
714.27/716.06 c #Conflicts: 1469000 | #Constraints: 42463
714.27/716.06 c #Conflicts: 1470000 | #Constraints: 43463
714.27/716.06 c #Conflicts: 1471000 | #Constraints: 44463
714.27/716.06 c #Conflicts: 1472000 | #Constraints: 45463
714.27/716.06 c #Conflicts: 1473000 | #Constraints: 46463
714.27/716.06 c #Conflicts: 1474000 | #Constraints: 47463
714.27/716.06 c #Conflicts: 1475000 | #Constraints: 48463
714.27/716.06 c #Conflicts: 1476000 | #Constraints: 49463
714.27/716.06 c #Conflicts: 1477000 | #Constraints: 50463
714.27/716.06 c #Conflicts: 1478000 | #Constraints: 51463
714.27/716.06 c #Conflicts: 1479000 | #Constraints: 52463
714.27/716.06 c bounds 178 >= 26 @ 708.997
714.27/716.06 c #Conflicts: 1480000 | #Constraints: 53464
714.27/716.06 c finalizing WCE round: reformulating cores
954.27/956.62 c bounds 176 >= 26 @ 709.551
954.27/956.62 c #Conflicts: 1481000 | #Constraints: 54467
954.27/956.62 c #Conflicts: 1482000 | #Constraints: 55467
954.27/956.62 c #Conflicts: 1483000 | #Constraints: 56467
954.27/956.62 c #Conflicts: 1484000 | #Constraints: 57467
954.27/956.62 c #Conflicts: 1485000 | #Constraints: 58467
954.27/956.62 c #Conflicts: 1486000 | #Constraints: 59467
954.27/956.62 c #Conflicts: 1487000 | #Constraints: 60467
954.27/956.62 c #Conflicts: 1488000 | #Constraints: 61467
954.27/956.62 c #Conflicts: 1489000 | #Constraints: 62467
954.27/956.62 c #Conflicts: 1490000 | #Constraints: 63467
954.27/956.62 c #Conflicts: 1491000 | #Constraints: 64467
954.27/956.62 c INPROCESSING
954.27/956.62 c GARBAGE COLLECT
954.27/956.62 c #Conflicts: 1492000 | #Constraints: 41236
954.27/956.62 c #Conflicts: 1493000 | #Constraints: 42236
954.27/956.62 c #Conflicts: 1494000 | #Constraints: 43236
954.27/956.62 c #Conflicts: 1495000 | #Constraints: 44236
954.27/956.62 c #Conflicts: 1496000 | #Constraints: 45236
954.27/956.62 c #Conflicts: 1497000 | #Constraints: 46236
954.27/956.62 c #Conflicts: 1498000 | #Constraints: 47236
954.27/956.62 c #Conflicts: 1499000 | #Constraints: 48236
954.27/956.62 c #Conflicts: 1500000 | #Constraints: 49236
954.27/956.62 c #Conflicts: 1501000 | #Constraints: 50236
954.27/956.62 c #Conflicts: 1502000 | #Constraints: 51236
954.27/956.62 c #Conflicts: 1503000 | #Constraints: 52236
954.27/956.62 c #Conflicts: 1504000 | #Constraints: 53236
954.27/956.62 c #Conflicts: 1505000 | #Constraints: 54236
954.27/956.62 c #Conflicts: 1506000 | #Constraints: 55236
954.27/956.62 c #Conflicts: 1507000 | #Constraints: 56236
954.27/956.62 c #Conflicts: 1508000 | #Constraints: 57236
954.27/956.62 c #Conflicts: 1509000 | #Constraints: 58236
954.27/956.62 c #Conflicts: 1510000 | #Constraints: 59236
954.27/956.62 c #Conflicts: 1511000 | #Constraints: 60236
954.27/956.62 c #Conflicts: 1512000 | #Constraints: 61236
954.27/956.62 c #Conflicts: 1513000 | #Constraints: 62236
954.27/956.62 c #Conflicts: 1514000 | #Constraints: 63236
954.27/956.62 c #Conflicts: 1515000 | #Constraints: 64236
954.27/956.62 c #Conflicts: 1516000 | #Constraints: 65236
954.27/956.62 c INPROCESSING
954.27/956.62 c GARBAGE COLLECT
954.27/956.62 c #Conflicts: 1517000 | #Constraints: 41840
954.27/956.62 c #Conflicts: 1518000 | #Constraints: 42840
954.27/956.62 c #Conflicts: 1519000 | #Constraints: 43840
954.27/956.62 c #Conflicts: 1520000 | #Constraints: 44840
954.27/956.62 c #Conflicts: 1521000 | #Constraints: 45840
954.27/956.62 c #Conflicts: 1522000 | #Constraints: 46840
954.27/956.62 c #Conflicts: 1523000 | #Constraints: 47840
954.27/956.62 c #Conflicts: 1524000 | #Constraints: 48840
954.27/956.62 c #Conflicts: 1525000 | #Constraints: 49840
954.27/956.62 c #Conflicts: 1526000 | #Constraints: 50840
954.27/956.62 c #Conflicts: 1527000 | #Constraints: 51840
954.27/956.62 c #Conflicts: 1528000 | #Constraints: 52840
954.27/956.62 c #Conflicts: 1529000 | #Constraints: 53840
954.27/956.62 c #Conflicts: 1530000 | #Constraints: 54840
954.27/956.62 c #Conflicts: 1531000 | #Constraints: 55840
954.27/956.62 c #Conflicts: 1532000 | #Constraints: 56840
954.27/956.62 c #Conflicts: 1533000 | #Constraints: 57840
954.27/956.62 c #Conflicts: 1534000 | #Constraints: 58840
954.27/956.62 c #Conflicts: 1535000 | #Constraints: 59840
954.27/956.62 c #Conflicts: 1536000 | #Constraints: 60840
954.27/956.62 c #Conflicts: 1537000 | #Constraints: 61840
954.27/956.62 c #Conflicts: 1538000 | #Constraints: 62840
954.27/956.62 c #Conflicts: 1539000 | #Constraints: 63840
954.27/956.62 c #Conflicts: 1540000 | #Constraints: 64840
954.27/956.62 c #Conflicts: 1541000 | #Constraints: 65840
954.27/956.62 c INPROCESSING
954.27/956.62 c GARBAGE COLLECT
954.27/956.62 c #Conflicts: 1542000 | #Constraints: 42235
954.27/956.62 c #Conflicts: 1543000 | #Constraints: 43235
954.27/956.62 c #Conflicts: 1544000 | #Constraints: 44235
954.27/956.62 c #Conflicts: 1545000 | #Constraints: 45235
954.27/956.62 c #Conflicts: 1546000 | #Constraints: 46235
954.27/956.62 c #Conflicts: 1547000 | #Constraints: 47235
954.27/956.62 c #Conflicts: 1548000 | #Constraints: 48235
954.27/956.62 c #Conflicts: 1549000 | #Constraints: 49235
954.27/956.62 c #Conflicts: 1550000 | #Constraints: 50235
954.27/956.62 c #Conflicts: 1551000 | #Constraints: 51235
954.27/956.62 c #Conflicts: 1552000 | #Constraints: 52235
954.27/956.62 c #Conflicts: 1553000 | #Constraints: 53235
954.27/956.62 c #Conflicts: 1554000 | #Constraints: 54235
954.27/956.62 c #Conflicts: 1555000 | #Constraints: 55235
954.27/956.62 c #Conflicts: 1556000 | #Constraints: 56235
954.27/956.62 c #Conflicts: 1557000 | #Constraints: 57235
2034.77/2040.09 c #Conflicts: 1558000 | #Constraints: 58235
2034.77/2040.09 c #Conflicts: 1559000 | #Constraints: 59235
2034.77/2040.09 c #Conflicts: 1560000 | #Constraints: 60235
2034.77/2040.09 c #Conflicts: 1561000 | #Constraints: 61235
2034.77/2040.09 c #Conflicts: 1562000 | #Constraints: 62235
2034.77/2040.09 c #Conflicts: 1563000 | #Constraints: 63235
2034.77/2040.09 c #Conflicts: 1564000 | #Constraints: 64235
2034.77/2040.09 c #Conflicts: 1565000 | #Constraints: 65235
2034.77/2040.09 c #Conflicts: 1566000 | #Constraints: 66235
2034.77/2040.09 c INPROCESSING
2034.77/2040.09 c GARBAGE COLLECT
2034.77/2040.09 c #Conflicts: 1567000 | #Constraints: 42439
2034.77/2040.09 c #Conflicts: 1568000 | #Constraints: 43439
2034.77/2040.09 c #Conflicts: 1569000 | #Constraints: 44439
2034.77/2040.09 c #Conflicts: 1570000 | #Constraints: 45439
2034.77/2040.09 c #Conflicts: 1571000 | #Constraints: 46439
2034.77/2040.09 c #Conflicts: 1572000 | #Constraints: 47439
2034.77/2040.09 c #Conflicts: 1573000 | #Constraints: 48439
2034.77/2040.09 c #Conflicts: 1574000 | #Constraints: 49439
2034.77/2040.09 c #Conflicts: 1575000 | #Constraints: 50439
2034.77/2040.09 c #Conflicts: 1576000 | #Constraints: 51439
2034.77/2040.09 c #Conflicts: 1577000 | #Constraints: 52439
2034.77/2040.09 c #Conflicts: 1578000 | #Constraints: 53439
2034.77/2040.09 c #Conflicts: 1579000 | #Constraints: 54439
2034.77/2040.09 c #Conflicts: 1580000 | #Constraints: 55439
2034.77/2040.09 c #Conflicts: 1581000 | #Constraints: 56439
2034.77/2040.09 c #Conflicts: 1582000 | #Constraints: 57439
2034.77/2040.09 c #Conflicts: 1583000 | #Constraints: 58439
2034.77/2040.09 c #Conflicts: 1584000 | #Constraints: 59439
2034.77/2040.09 c #Conflicts: 1585000 | #Constraints: 60439
2034.77/2040.09 c #Conflicts: 1586000 | #Constraints: 61439
2034.77/2040.09 c #Conflicts: 1587000 | #Constraints: 62439
2034.77/2040.09 c #Conflicts: 1588000 | #Constraints: 63439
2034.77/2040.09 c #Conflicts: 1589000 | #Constraints: 64439
2034.77/2040.09 c #Conflicts: 1590000 | #Constraints: 65439
2034.77/2040.09 c #Conflicts: 1591000 | #Constraints: 66439
2034.77/2040.09 c INPROCESSING
2034.77/2040.09 c GARBAGE COLLECT
2034.77/2040.09 c #Conflicts: 1592000 | #Constraints: 42446
2034.77/2040.09 c #Conflicts: 1593000 | #Constraints: 43446
2034.77/2040.09 c #Conflicts: 1594000 | #Constraints: 44446
2034.77/2040.09 c #Conflicts: 1595000 | #Constraints: 45446
2034.77/2040.09 c #Conflicts: 1596000 | #Constraints: 46446
2034.77/2040.09 c #Conflicts: 1597000 | #Constraints: 47446
2034.77/2040.09 c #Conflicts: 1598000 | #Constraints: 48446
2034.77/2040.09 c #Conflicts: 1599000 | #Constraints: 49446
2034.77/2040.09 c #Conflicts: 1600000 | #Constraints: 50446
2034.77/2040.09 c #Conflicts: 1601000 | #Constraints: 51446
2034.77/2040.09 c #Conflicts: 1602000 | #Constraints: 52446
2034.77/2040.09 c #Conflicts: 1603000 | #Constraints: 53446
2034.77/2040.09 c #Conflicts: 1604000 | #Constraints: 54446
2034.77/2040.09 c #Conflicts: 1605000 | #Constraints: 55446
2034.77/2040.09 c #Conflicts: 1606000 | #Constraints: 56446
2034.77/2040.09 c #Conflicts: 1607000 | #Constraints: 57446
2034.77/2040.09 c #Conflicts: 1608000 | #Constraints: 58446
2034.77/2040.09 c #Conflicts: 1609000 | #Constraints: 59446
2034.77/2040.09 c #Conflicts: 1610000 | #Constraints: 60446
2034.77/2040.09 c #Conflicts: 1611000 | #Constraints: 61446
2034.77/2040.09 c #Conflicts: 1612000 | #Constraints: 62446
2034.77/2040.09 c #Conflicts: 1613000 | #Constraints: 63446
2034.77/2040.09 c #Conflicts: 1614000 | #Constraints: 64446
2034.77/2040.09 c #Conflicts: 1615000 | #Constraints: 65446
2034.77/2040.09 c #Conflicts: 1616000 | #Constraints: 66446
2034.77/2040.09 c INPROCESSING
2034.77/2040.09 c GARBAGE COLLECT
2034.77/2040.09 c #Conflicts: 1617000 | #Constraints: 42251
2034.77/2040.09 c #Conflicts: 1618000 | #Constraints: 43251
2034.77/2040.09 c #Conflicts: 1619000 | #Constraints: 44251
2034.77/2040.09 c #Conflicts: 1620000 | #Constraints: 45251
2034.77/2040.09 c #Conflicts: 1621000 | #Constraints: 46251
2034.77/2040.09 c #Conflicts: 1622000 | #Constraints: 47251
2034.77/2040.09 c #Conflicts: 1623000 | #Constraints: 48251
2034.77/2040.09 c #Conflicts: 1624000 | #Constraints: 49251
2034.77/2040.09 c #Conflicts: 1625000 | #Constraints: 50251
2034.77/2040.09 c #Conflicts: 1626000 | #Constraints: 51251
2034.77/2040.09 c #Conflicts: 1627000 | #Constraints: 52251
2034.77/2040.09 c #Conflicts: 1628000 | #Constraints: 53251
2034.77/2040.09 c #Conflicts: 1629000 | #Constraints: 54251
2034.77/2040.09 c #Conflicts: 1630000 | #Constraints: 55251
2034.77/2040.09 c #Conflicts: 1631000 | #Constraints: 56251
2034.77/2040.09 c #Conflicts: 1632000 | #Constraints: 57251
2034.77/2040.09 c #Conflicts: 1633000 | #Constraints: 58251
2034.77/2040.09 c #Conflicts: 1634000 | #Constraints: 59251
3600.06/3609.60 c #Conflicts: 1635000 | #Constraints: 60251
3600.06/3609.60 c #Conflicts: 1636000 | #Constraints: 61251
3600.06/3609.60 c #Conflicts: 1637000 | #Constraints: 62251
3600.06/3609.60 c #Conflicts: 1638000 | #Constraints: 63251
3600.06/3609.60 c #Conflicts: 1639000 | #Constraints: 64251
3600.06/3609.60 c #Conflicts: 1640000 | #Constraints: 65251
3600.06/3609.60 c #Conflicts: 1641000 | #Constraints: 66251
3600.06/3609.60 c #Conflicts: 1642000 | #Constraints: 67251
3600.06/3609.60 c INPROCESSING
3600.06/3609.60 c GARBAGE COLLECT
3600.06/3609.60 c #Conflicts: 1643000 | #Constraints: 42858
3600.06/3609.60 c #Conflicts: 1644000 | #Constraints: 43858
3600.06/3609.60 c #Conflicts: 1645000 | #Constraints: 44858
3600.06/3609.60 c #Conflicts: 1646000 | #Constraints: 45858
3600.06/3609.60 c #Conflicts: 1647000 | #Constraints: 46858
3600.06/3609.60 c #Conflicts: 1648000 | #Constraints: 47858
3600.06/3609.60 c #Conflicts: 1649000 | #Constraints: 48858
3600.06/3609.60 c #Conflicts: 1650000 | #Constraints: 49858
3600.06/3609.60 c #Conflicts: 1651000 | #Constraints: 50858
3600.06/3609.60 c #Conflicts: 1652000 | #Constraints: 51858
3600.06/3609.60 c #Conflicts: 1653000 | #Constraints: 52858
3600.06/3609.60 c #Conflicts: 1654000 | #Constraints: 53858
3600.06/3609.60 c #Conflicts: 1655000 | #Constraints: 54858
3600.06/3609.60 c #Conflicts: 1656000 | #Constraints: 55858
3600.06/3609.60 c #Conflicts: 1657000 | #Constraints: 56858
3600.06/3609.60 c #Conflicts: 1658000 | #Constraints: 57858
3600.06/3609.60 c #Conflicts: 1659000 | #Constraints: 58858
3600.06/3609.60 c #Conflicts: 1660000 | #Constraints: 59858
3600.06/3609.60 c #Conflicts: 1661000 | #Constraints: 60858
3600.06/3609.60 c #Conflicts: 1662000 | #Constraints: 61858
3600.06/3609.60 c #Conflicts: 1663000 | #Constraints: 62858
3600.06/3609.60 c #Conflicts: 1664000 | #Constraints: 63858
3600.06/3609.60 c #Conflicts: 1665000 | #Constraints: 64858
3600.06/3609.60 c #Conflicts: 1666000 | #Constraints: 65858
3600.06/3609.60 c #Conflicts: 1667000 | #Constraints: 66858
3600.06/3609.60 c #Conflicts: 1668000 | #Constraints: 67858
3600.06/3609.60 c #Conflicts: 1669000 | #Constraints: 68858
3600.06/3609.60 c Program interrupted by user.
3600.06/3609.60 c cpu time 3589.51 s
3600.06/3609.60 c deterministic time 206819989121 2.07e+11
3600.06/3609.60 c optimization time 1331.67 s
3600.06/3609.60 c total solve time 1958.62 s
3600.06/3609.60 c core-guided solve time 1958.62 s
3600.06/3609.60 c propagation time 2891.59 s
3600.06/3609.60 c conflict analysis time 376.227 s
3600.06/3609.60 c propagations 308778791
3600.06/3609.60 c resolve steps 45735649
3600.06/3609.60 c decisions 6448687
3600.06/3609.60 c conflicts 1669418
3600.06/3609.60 c restarts 3170
3600.06/3609.60 c inprocessing phases 119
3600.06/3609.60 c input clauses 8488
3600.06/3609.60 c input cardinalities 497
3600.06/3609.60 c input general constraints 7422
3600.06/3609.60 c input average constraint length 6.36
3600.06/3609.60 c input average constraint degree 4.24
3600.06/3609.60 c learned clauses 1510520
3600.06/3609.60 c learned cardinalities 12506
3600.06/3609.60 c learned general constraints 146392
3600.06/3609.60 c learned average constraint length 184.93
3600.06/3609.60 c learned average constraint degree 33740.05
3600.06/3609.60 c watched constraints 121350
3600.06/3609.60 c counting constraints 32464
3600.06/3609.60 c gcd simplifications 716
3600.06/3609.60 c detected cardinalities 9
3600.06/3609.60 c weakened non-implied lits 43089235
3600.06/3609.60 c weakened non-implying lits 8148
3600.06/3609.60 c original variables 1344
3600.06/3609.60 c clausal propagations 147349954
3600.06/3609.60 c cardinality propagations 139809409
3600.06/3609.60 c watched propagations 7689766
3600.06/3609.60 c counting propagations 12308301
3600.06/3609.60 c watch lookups 67515499259
3600.06/3609.60 c watch backjump lookups 62159500625
3600.06/3609.60 c watch checks 67930865922
3600.06/3609.60 c propagation checks 7567564864
3600.06/3609.60 c constraint additions 1014434654
3600.06/3609.60 c trail pops 316896318
3600.06/3609.60 c formula constraints 16376
3600.06/3609.60 c learned constraints 1669418
3600.06/3609.60 c bound constraints 13
3600.06/3609.60 c core-guided constraints 18
3600.06/3609.60 c encountered formula constraints 20770217
3600.06/3609.60 c encountered learned constraints 26626161
3600.06/3609.60 c encountered bound constraints 705
3600.06/3609.60 c encountered core-guided constraints 7984
3600.06/3609.60 c LP total time 0 s
3600.06/3609.60 c LP solve time 0 s
3600.06/3609.60 c LP constraints added 0
3600.06/3609.60 c LP constraints removed 0
3600.06/3609.60 c LP pivots internal 0
3600.06/3609.60 c LP pivots root 0
3600.06/3609.60 c LP calls 0
3600.06/3609.60 c LP optimalities 0
3600.06/3609.60 c LP no pivot count 0
3600.06/3609.60 c LP infeasibilities 0
3600.06/3609.60 c LP valid Farkas constraints 0
3600.06/3609.60 c LP learned Farkas constraints 0
3600.06/3609.60 c LP basis resets 0
3600.06/3609.60 c LP cycling count 0
3600.06/3609.60 c LP singular count 0
3600.06/3609.60 c LP no primal count 0
3600.06/3609.60 c LP no farkas count 0
3600.06/3609.60 c LP other issue count 0
3600.06/3609.60 c LP Gomory cuts 0
3600.06/3609.60 c LP learned cuts 0
3600.06/3609.60 c LP deleted cuts 0
3600.06/3609.60 c LP encountered Gomory constraints 0
3600.06/3609.60 c LP encountered Farkas constraints 0
3600.06/3609.60 c LP encountered learned Farkas constraints 0
3600.06/3609.60 c CG auxiliary variables introduced 9
3600.06/3609.60 c CG solutions found 3
3600.06/3609.60 c CG cores constructed 9
3600.06/3609.60 c CG core cardinality constraints returned 0
3600.06/3609.60 c CG unit cores 0
3600.06/3609.60 c CG single cores 9
3600.06/3609.60 c CG blocks removed during cardinality reduction 0
3600.06/3609.60 c CG first core best 0
3600.06/3609.60 c CG decision core best 0
3600.06/3609.60 c CG core reduction tie 0
3600.06/3609.60 c CG core degree average 1.00
3600.06/3609.60 c CG core slack average 32.67
3600.06/3609.60 c CG exhausted 0
3600.06/3609.60 c CG exhaust time 1.09163 s
3600.06/3609.60 c CG trimmed 0
3600.06/3609.60 c CG trim time 0.000504 s
3600.06/3609.60 c CG minimized 0
3600.06/3609.60 c CG minimize time 0 s
3600.06/3609.60 c CG am1 prop time 0.000657 s
3600.06/3609.60 c CG # am1s reformulated 0
3600.06/3609.60 c CG lower bound derived from am1s 0
3600.06/3609.60 c CG # clausal cores 9
3600.06/3609.60 c CG # cardinality cores 0
3600.06/3609.60 c CG # pb cores 0
3600.06/3609.60 c CG # pb reforms 8
3600.06/3609.60 c CG # cores discarded because of pb reform 0
3600.06/3609.60 d LOWERBOUND 26
3600.06/3609.60 d NCORES 9
3600.06/3609.60 d NPBCORES 0
3600.06/3609.60 d NPBREFORM 8
3600.06/3609.60 d NTRIMMED 0
3600.06/3609.60 d NEXHAUSTED 0
3600.06/3609.60 d NAM1S 0
3600.06/3609.60 d AM1LB 0
3600.06/3609.60 c [Papilo Statistics]
3600.06/3609.60 c prepro time 0.0260401s
3600.06/3609.60 c # tsx applied 0
3600.06/3609.60 c # tsx conflicts 0
3600.06/3609.60 c # bound changes 0
3600.06/3609.60 c # side changes 0
3600.06/3609.60 c # coef changes 0
3600.06/3609.60 c # rounds 1
3600.06/3609.60 c # deted vars 0
3600.06/3609.60 c # deted constrs 0
3600.06/3609.60 c # consecutive rounds of only bound changes 0
3600.06/3609.60 c [STEP] postprocessing with Papilo
3600.06/3609.60 o 176
3600.06/3609.60 s SATISFIABLE
3600.06/3609.60 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: 63708 MiB (62522 MiB free)
memory of node 1: 64465 MiB (63506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486277-1751317748/watcher-4486277-1751317748 -o /tmp/evaluation-result-4486277-1751317748/solver-4486277-1751317748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751314135-43528 --watchdog 3760 mixed-bag HOME/instance-4486277-1751317748.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44257, runsolver pid=44254
[startup+0.10006 s]*
/proc/loadavg: 4.09 4.11 4.10 3/257 44263
/proc/meminfo: memFree=129236884/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=108216 memory=28108 CPUtime=0.09 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 5476 0 0 0 8 1 0 0 20 0 1 0 47453363 110813184 7027 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 27054 7027 2304 2842 0 8748 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108216 KiB
Current children cumulated memory: 28108 KiB
[startup+0.205468 s]*
/proc/loadavg: 4.09 4.11 4.10 3/255 44271
/proc/meminfo: memFree=129198500/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=153352 memory=78916 CPUtime=0.18 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 17283 0 0 0 16 2 0 0 20 0 1 0 47453363 157032448 19729 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 38338 19729 4064 2842 0 20032 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 153352 KiB
Current children cumulated memory: 78916 KiB
[startup+0.305269 s]*
/proc/loadavg: 4.09 4.11 4.10 3/255 44274
/proc/meminfo: memFree=129197036/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=157596 memory=83288 CPUtime=0.29 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 20115 0 0 0 26 3 0 0 20 0 1 0 47453363 161378304 20822 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 39399 20822 4096 2842 0 21093 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 157596 KiB
Current children cumulated memory: 83288 KiB
[startup+0.700169 s]
/proc/loadavg: 4.09 4.11 4.10 3/258 44280
/proc/meminfo: memFree=129194828/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=236224 memory=148648 CPUtime=0.68 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 31822 0 0 0 62 6 0 0 20 0 1 0 47453363 241893376 37162 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 59056 37162 4096 2842 0 40750 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 236224 KiB
Current children cumulated memory: 148648 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.11 4.10 5/258 44339
/proc/meminfo: memFree=129119432/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=287532 memory=198824 CPUtime=1.46 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 44416 0 0 0 138 8 0 0 20 0 1 0 47453363 294432768 49706 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 71883 49706 4288 2842 0 53577 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 287532 KiB
Current children cumulated memory: 198824 KiB
[startup+3.10542 s]
/proc/loadavg: 4.08 4.11 4.10 6/263 44348
/proc/meminfo: memFree=128654184/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=287532 memory=199336 CPUtime=3.07 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 44530 0 0 0 298 9 0 0 20 0 1 0 47453363 294432768 49834 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 71883 49834 4288 2842 0 53577 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 287532 KiB
Current children cumulated memory: 199336 KiB
[startup+6.30011 s]
/proc/loadavg: 4.08 4.11 4.10 6/263 44348
/proc/meminfo: memFree=128551464/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=287532 memory=199336 CPUtime=6.26 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 44553 0 0 0 617 9 0 0 20 0 1 0 47453363 294432768 49834 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 71883 49834 4288 2842 0 53577 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 287532 KiB
Current children cumulated memory: 199336 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 4.10 4.10 6/263 44348
/proc/meminfo: memFree=128561540/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=287532 memory=199464 CPUtime=12.64 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 44571 0 0 0 1255 9 0 0 20 0 1 0 47453363 294432768 49866 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 71883 49866 4288 2842 0 53577 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 287532 KiB
Current children cumulated memory: 199464 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.10 4.10 6/263 44348
/proc/meminfo: memFree=128561036/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=288028 memory=199464 CPUtime=25.41 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 44574 0 0 0 2532 9 0 0 20 0 1 0 47453363 294940672 49866 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 72007 49866 4288 2842 0 53701 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 288028 KiB
Current children cumulated memory: 199464 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.11 4.10 6/263 44349
/proc/meminfo: memFree=128537600/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=291064 memory=200232 CPUtime=50.95 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 44781 0 0 0 5086 9 0 0 20 0 1 0 47453363 298049536 50058 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 72766 50058 4288 2842 0 54460 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 291064 KiB
Current children cumulated memory: 200232 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/263 44352
/proc/meminfo: memFree=128457524/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=321096 memory=229288 CPUtime=102.02 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 52023 0 0 0 10192 10 0 0 20 0 1 0 47453363 328802304 57322 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 80274 57322 4288 2842 0 61968 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 321096 KiB
Current children cumulated memory: 229288 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/263 44354
/proc/meminfo: memFree=128387232/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=321096 memory=229416 CPUtime=161.87 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 52058 0 0 0 16177 10 0 0 20 0 1 0 47453363 328802304 57354 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 80274 57354 4288 2842 0 61968 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 321096 KiB
Current children cumulated memory: 229416 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/263 44356
/proc/meminfo: memFree=128158996/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=498512 memory=398072 CPUtime=221.72 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 97855 0 0 0 22153 19 0 0 20 0 1 0 47453363 510476288 99518 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 124628 99518 4288 2842 0 106322 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 498512 KiB
Current children cumulated memory: 398072 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/263 44358
/proc/meminfo: memFree=128235532/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=427660 memory=331260 CPUtime=281.56 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 97930 0 0 0 28137 19 0 0 20 0 1 0 47453363 437923840 82815 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 106915 82815 4288 2842 0 88609 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 427660 KiB
Current children cumulated memory: 331260 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/264 44408
/proc/meminfo: memFree=128496236/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=380984 memory=306868 CPUtime=341.41 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 99198 0 0 0 34042 99 0 0 20 0 1 0 47453363 390127616 76717 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 95246 76717 4448 2842 0 76940 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 380984 KiB
Current children cumulated memory: 306868 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/264 44415
/proc/meminfo: memFree=128485104/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=388164 memory=316072 CPUtime=401.26 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 99827 0 0 0 39943 183 0 0 20 0 1 0 47453363 397479936 79018 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 97041 79018 4448 2842 0 78735 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 316072 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/264 44417
/proc/meminfo: memFree=128365108/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=388164 memory=323880 CPUtime=461.13 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 100066 0 0 0 45858 255 0 0 20 0 1 0 47453363 397479936 80970 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 97041 80970 4448 2842 0 78735 0
################
# More data... #
################
Current children cumulated memory: 368464 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/263 44542
/proc/meminfo: memFree=128095212/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=368464 CPUtime=2854.86 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101989 0 0 0 284523 963 0 0 20 0 1 0 47453363 460419072 92116 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 92116 4448 2842 0 94101 0
Current children cumulated CPU time: 2854.86 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 368464 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/263 44544
/proc/meminfo: memFree=128090756/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=368464 CPUtime=2914.7 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101990 0 0 0 290498 972 0 0 20 0 1 0 47453363 460419072 92116 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 92116 4448 2842 0 94101 0
Current children cumulated CPU time: 2914.7 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 368464 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/262 44546
/proc/meminfo: memFree=128086796/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=370512 CPUtime=2974.53 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101992 0 0 0 296472 981 0 0 20 0 1 0 47453363 460419072 92628 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 92628 4448 2842 0 94101 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 370512 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/263 44549
/proc/meminfo: memFree=128082588/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=372560 CPUtime=3034.35 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101993 0 0 0 302446 989 0 0 20 0 1 0 47453363 460419072 93140 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 93140 4448 2842 0 94101 0
Current children cumulated CPU time: 3034.35 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 372560 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/265 44563
/proc/meminfo: memFree=128078456/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=374608 CPUtime=3094.19 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101994 0 0 0 308422 997 0 0 20 0 1 0 47453363 460419072 93652 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 93652 4448 2842 0 94101 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 374608 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/265 44580
/proc/meminfo: memFree=128080100/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=376656 CPUtime=3154.02 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101995 0 0 0 314397 1005 0 0 20 0 1 0 47453363 460419072 94164 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 94164 4448 2842 0 94101 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 376656 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/265 44582
/proc/meminfo: memFree=128079240/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=376656 CPUtime=3213.84 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101995 0 0 0 320373 1011 0 0 20 0 1 0 47453363 460419072 94164 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 94164 4448 2842 0 94101 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 376656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/265 44584
/proc/meminfo: memFree=128075188/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=378704 CPUtime=3273.67 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101997 0 0 0 326350 1017 0 0 20 0 1 0 47453363 460419072 94676 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 94676 4448 2842 0 94101 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 378704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/264 44588
/proc/meminfo: memFree=128075064/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=380752 CPUtime=3333.51 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101998 0 0 0 332327 1024 0 0 20 0 1 0 47453363 460419072 95188 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 95188 4448 2842 0 94101 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 380752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.57 4.25 4.14 6/263 44595
/proc/meminfo: memFree=128071024/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=382800 CPUtime=3393.34 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 101999 0 0 0 338301 1033 0 0 20 0 1 0 47453363 460419072 95700 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 95700 4448 2842 0 94101 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 382800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.20 4.13 6/263 44597
/proc/meminfo: memFree=128062696/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=384848 CPUtime=3453.17 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 102005 0 0 0 344278 1039 0 0 20 0 1 0 47453363 460419072 96212 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 96212 4448 2842 0 94101 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 384848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.19 4.13 6/263 44599
/proc/meminfo: memFree=128058796/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=449628 memory=384976 CPUtime=3513 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 102068 0 0 0 350254 1046 0 0 20 0 1 0 47453363 460419072 96244 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 112407 96244 4448 2842 0 94101 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 384976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.13 6/263 44601
/proc/meminfo: memFree=128053748/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=499716 memory=388100 CPUtime=3572.83 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 102308 0 0 0 356231 1052 0 0 20 0 1 0 47453363 511709184 97025 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 124929 97025 4448 2842 0 106623 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 499716 KiB
Current children cumulated memory: 388100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.15 4.17 4.13 6/263 44601
/proc/meminfo: memFree=128053756/131249988 swapFree=33010684/33010684
[pid=44257] ppid=44254 vsize=499716 memory=388100 CPUtime=3600.06 cores=4,6
/proc/44257/stat : 44257 (mixed-bag) R 44254 44257 43517 0 -1 4194304 102308 0 0 0 358951 1055 0 0 20 0 1 0 47453363 511709184 97025 18446744073709551615 4235264 15874749 140720565523728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40394752 140720565533084 140720565533161 140720565533161 140720565538763 0
/proc/44257/statm: 124929 97025 4448 2842 0 106623 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 499716 KiB
Current children cumulated memory: 388100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 44257 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.51 s, system=10.5546 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.07
CPU user time (s): 3589.51
CPU system time (s): 10.5546
CPU usage (%): 99.7358
Max. virtual memory (cumulated for all children) (KiB): 522708
Max. memory (cumulated for all children) (KiB): 412584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.51
system time used= 10.5546
maximum resident set size= 412584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102340
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= 174
involuntary context switches= 1195
# summary of solver processes directly reported to runsolver:
# pid: 44257
# total CPU time (s): 3600.07
# total CPU user time (s): 3589.51
# total CPU system time (s): 10.5546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91499 second user time and 15.8373 second system time
The end
Begin job on nodeC031 at 2025-06-30 23:09:08
IDJOB=4486277
IDBENCH=147017
IDSOLVER=3340
FILE ID=nodeC031/4486277-1751317748
RUNJOBID= nodeC031-1751314135-43528
SLURM_JOB_ID= 9594324
Free space on /tmp= 433012 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4486277-1751317748/watcher-4486277-1751317748 -o /tmp/evaluation-result-4486277-1751317748/solver-4486277-1751317748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751314135-43528 --watchdog 3760 mixed-bag HOME/instance-4486277-1751317748.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=343256409
nodeC031 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 : 3599.901
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.78
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.901
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.78
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 : 3600.744
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.78
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 : 3700.000
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.78
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 : 3546.993
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.78
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 : 3600.975
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.901
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.78
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 : 3747.231
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129053888 kB
MemAvailable: 129162872 kB
Buffers: 3280 kB
Cached: 916104 kB
SwapCached: 0 kB
Active: 843368 kB
Inactive: 649044 kB
Active(anon): 591096 kB
Inactive(anon): 0 kB
Active(file): 252272 kB
Inactive(file): 649044 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31868 kB
Writeback: 0 kB
AnonPages: 573816 kB
Mapped: 129304 kB
Shmem: 18064 kB
KReclaimable: 93812 kB
Slab: 181100 kB
SReclaimable: 93812 kB
SUnreclaim: 87288 kB
KernelStack: 4256 kB
PageTables: 4432 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 972928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 471040 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC031 at 2025-07-01 00:09:18