0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.07 c [STEP] preprocessing with Papilo
0.00/0.09 c Papilo could not simplify the problem
0.00/0.09 c [STEP] solving with SCIP
299.11/300.14 c [STEP] preprocessing done, loading into solver
299.11/300.18 c [STEP] solving
299.11/300.18 c #variables 1345 #constraints 16376
299.11/300.18 c SMALL=int, LARGE=long long
299.11/300.18 c bounds - >= 0 @ 298.989
299.11/300.18 c stratification level: 3
299.21/300.29 c bounds - >= 3 @ 298.998
299.21/300.29 c bounds - >= 6 @ 299.008
299.21/300.29 c bounds - >= 9 @ 299.016
299.21/300.29 c #Conflicts: 1000 | #Constraints: 17378
299.21/300.29 c bounds - >= 12 @ 299.025
299.21/300.29 c bounds - >= 15 @ 299.04
299.21/300.29 c #Conflicts: 2000 | #Constraints: 18380
299.21/300.29 c INPROCESSING
299.21/300.29 c bounds - >= 18 @ 299.052
299.21/300.29 c bounds - >= 21 @ 299.062
299.21/300.29 c bounds - >= 24 @ 299.076
299.21/300.29 c #Conflicts: 3000 | #Constraints: 18390
299.21/300.29 c finalizing WCE round: reformulating cores
300.20/301.21 c #Conflicts: 4000 | #Constraints: 19396
300.20/301.21 c INPROCESSING
300.20/301.21 c GARBAGE COLLECT
300.20/301.21 c #Conflicts: 5000 | #Constraints: 18808
300.20/301.21 c #Conflicts: 6000 | #Constraints: 19810
300.20/301.21 c INPROCESSING
300.20/301.21 c GARBAGE COLLECT
300.20/301.21 c #Conflicts: 7000 | #Constraints: 18818
300.20/301.21 c #Conflicts: 8000 | #Constraints: 19820
300.20/301.21 c bounds 182 >= 24 @ 299.886
300.20/301.21 c #Conflicts: 9000 | #Constraints: 20822
300.20/301.21 c INPROCESSING
300.20/301.21 c GARBAGE COLLECT
300.20/301.21 c bounds 178 >= 24 @ 299.975
300.20/301.21 c stratification level: 2
308.18/309.20 c #Conflicts: 10000 | #Constraints: 19527
308.18/309.20 c #Conflicts: 11000 | #Constraints: 20527
308.18/309.20 c #Conflicts: 12000 | #Constraints: 21527
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 13000 | #Constraints: 19992
308.18/309.20 c #Conflicts: 14000 | #Constraints: 20992
308.18/309.20 c #Conflicts: 15000 | #Constraints: 21992
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 16000 | #Constraints: 20242
308.18/309.20 c #Conflicts: 17000 | #Constraints: 21242
308.18/309.20 c #Conflicts: 18000 | #Constraints: 22242
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 19000 | #Constraints: 20271
308.18/309.20 c #Conflicts: 20000 | #Constraints: 21271
308.18/309.20 c #Conflicts: 21000 | #Constraints: 22271
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 22000 | #Constraints: 20081
308.18/309.20 c #Conflicts: 23000 | #Constraints: 21081
308.18/309.20 c #Conflicts: 24000 | #Constraints: 22081
308.18/309.20 c #Conflicts: 25000 | #Constraints: 23081
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 26000 | #Constraints: 20685
308.18/309.20 c #Conflicts: 27000 | #Constraints: 21685
308.18/309.20 c #Conflicts: 28000 | #Constraints: 22685
308.18/309.20 c #Conflicts: 29000 | #Constraints: 23685
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 30000 | #Constraints: 21092
308.18/309.20 c #Conflicts: 31000 | #Constraints: 22092
308.18/309.20 c #Conflicts: 32000 | #Constraints: 23092
308.18/309.20 c #Conflicts: 33000 | #Constraints: 24092
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 34000 | #Constraints: 21297
308.18/309.20 c #Conflicts: 35000 | #Constraints: 22297
308.18/309.20 c #Conflicts: 36000 | #Constraints: 23297
308.18/309.20 c #Conflicts: 37000 | #Constraints: 24297
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 38000 | #Constraints: 21303
308.18/309.20 c #Conflicts: 39000 | #Constraints: 22303
308.18/309.20 c #Conflicts: 40000 | #Constraints: 23303
308.18/309.20 c #Conflicts: 41000 | #Constraints: 24303
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 42000 | #Constraints: 21125
308.18/309.20 c #Conflicts: 43000 | #Constraints: 22125
308.18/309.20 c #Conflicts: 44000 | #Constraints: 23125
308.18/309.20 c #Conflicts: 45000 | #Constraints: 24125
308.18/309.20 c #Conflicts: 46000 | #Constraints: 25125
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 47000 | #Constraints: 21712
308.18/309.20 c #Conflicts: 48000 | #Constraints: 22712
308.18/309.20 c #Conflicts: 49000 | #Constraints: 23712
308.18/309.20 c #Conflicts: 50000 | #Constraints: 24712
308.18/309.20 c #Conflicts: 51000 | #Constraints: 25712
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 52000 | #Constraints: 22126
308.18/309.20 c #Conflicts: 53000 | #Constraints: 23126
308.18/309.20 c #Conflicts: 54000 | #Constraints: 24126
308.18/309.20 c #Conflicts: 55000 | #Constraints: 25126
308.18/309.20 c #Conflicts: 56000 | #Constraints: 26126
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 57000 | #Constraints: 22333
308.18/309.20 c #Conflicts: 58000 | #Constraints: 23333
308.18/309.20 c #Conflicts: 59000 | #Constraints: 24333
308.18/309.20 c #Conflicts: 60000 | #Constraints: 25333
308.18/309.20 c #Conflicts: 61000 | #Constraints: 26333
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 62000 | #Constraints: 22343
308.18/309.20 c #Conflicts: 63000 | #Constraints: 23343
308.18/309.20 c #Conflicts: 64000 | #Constraints: 24343
308.18/309.20 c #Conflicts: 65000 | #Constraints: 25343
308.18/309.20 c #Conflicts: 66000 | #Constraints: 26343
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 67000 | #Constraints: 22146
308.18/309.20 c #Conflicts: 68000 | #Constraints: 23146
308.18/309.20 c #Conflicts: 69000 | #Constraints: 24146
308.18/309.20 c #Conflicts: 70000 | #Constraints: 25146
308.18/309.20 c #Conflicts: 71000 | #Constraints: 26146
308.18/309.20 c #Conflicts: 72000 | #Constraints: 27146
308.18/309.20 c INPROCESSING
308.18/309.20 c GARBAGE COLLECT
308.18/309.20 c #Conflicts: 73000 | #Constraints: 22735
308.18/309.20 c #Conflicts: 74000 | #Constraints: 23735
308.18/309.20 c #Conflicts: 75000 | #Constraints: 24735
308.18/309.20 c #Conflicts: 76000 | #Constraints: 25735
308.18/309.20 c #Conflicts: 77000 | #Constraints: 26735
308.18/309.20 c #Conflicts: 78000 | #Constraints: 27735
308.18/309.20 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 79000 | #Constraints: 23145
320.35/321.47 c #Conflicts: 80000 | #Constraints: 24145
320.35/321.47 c #Conflicts: 81000 | #Constraints: 25145
320.35/321.47 c #Conflicts: 82000 | #Constraints: 26145
320.35/321.47 c #Conflicts: 83000 | #Constraints: 27145
320.35/321.47 c #Conflicts: 84000 | #Constraints: 28145
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 85000 | #Constraints: 23350
320.35/321.47 c #Conflicts: 86000 | #Constraints: 24350
320.35/321.47 c #Conflicts: 87000 | #Constraints: 25350
320.35/321.47 c #Conflicts: 88000 | #Constraints: 26350
320.35/321.47 c #Conflicts: 89000 | #Constraints: 27350
320.35/321.47 c #Conflicts: 90000 | #Constraints: 28350
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 91000 | #Constraints: 23353
320.35/321.47 c #Conflicts: 92000 | #Constraints: 24353
320.35/321.47 c #Conflicts: 93000 | #Constraints: 25353
320.35/321.47 c #Conflicts: 94000 | #Constraints: 26353
320.35/321.47 c #Conflicts: 95000 | #Constraints: 27353
320.35/321.47 c #Conflicts: 96000 | #Constraints: 28353
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 97000 | #Constraints: 23147
320.35/321.47 c #Conflicts: 98000 | #Constraints: 24147
320.35/321.47 c #Conflicts: 99000 | #Constraints: 25147
320.35/321.47 c #Conflicts: 100000 | #Constraints: 26147
320.35/321.47 c #Conflicts: 101000 | #Constraints: 27147
320.35/321.47 c #Conflicts: 102000 | #Constraints: 28147
320.35/321.47 c #Conflicts: 103000 | #Constraints: 29147
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 104000 | #Constraints: 23740
320.35/321.47 c #Conflicts: 105000 | #Constraints: 24740
320.35/321.47 c #Conflicts: 106000 | #Constraints: 25740
320.35/321.47 c #Conflicts: 107000 | #Constraints: 26740
320.35/321.47 c #Conflicts: 108000 | #Constraints: 27740
320.35/321.47 c #Conflicts: 109000 | #Constraints: 28740
320.35/321.47 c #Conflicts: 110000 | #Constraints: 29740
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 111000 | #Constraints: 24146
320.35/321.47 c #Conflicts: 112000 | #Constraints: 25146
320.35/321.47 c #Conflicts: 113000 | #Constraints: 26146
320.35/321.47 c #Conflicts: 114000 | #Constraints: 27146
320.35/321.47 c #Conflicts: 115000 | #Constraints: 28146
320.35/321.47 c #Conflicts: 116000 | #Constraints: 29146
320.35/321.47 c #Conflicts: 117000 | #Constraints: 30146
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 118000 | #Constraints: 24350
320.35/321.47 c #Conflicts: 119000 | #Constraints: 25350
320.35/321.47 c #Conflicts: 120000 | #Constraints: 26350
320.35/321.47 c #Conflicts: 121000 | #Constraints: 27350
320.35/321.47 c #Conflicts: 122000 | #Constraints: 28350
320.35/321.47 c #Conflicts: 123000 | #Constraints: 29350
320.35/321.47 c #Conflicts: 124000 | #Constraints: 30350
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 125000 | #Constraints: 24356
320.35/321.47 c #Conflicts: 126000 | #Constraints: 25356
320.35/321.47 c #Conflicts: 127000 | #Constraints: 26356
320.35/321.47 c #Conflicts: 128000 | #Constraints: 27356
320.35/321.47 c #Conflicts: 129000 | #Constraints: 28356
320.35/321.47 c #Conflicts: 130000 | #Constraints: 29356
320.35/321.47 c #Conflicts: 131000 | #Constraints: 30356
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 132000 | #Constraints: 24147
320.35/321.47 c #Conflicts: 133000 | #Constraints: 25147
320.35/321.47 c #Conflicts: 134000 | #Constraints: 26147
320.35/321.47 c #Conflicts: 135000 | #Constraints: 27147
320.35/321.47 c #Conflicts: 136000 | #Constraints: 28147
320.35/321.47 c #Conflicts: 137000 | #Constraints: 29147
320.35/321.47 c #Conflicts: 138000 | #Constraints: 30147
320.35/321.47 c #Conflicts: 139000 | #Constraints: 31147
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 140000 | #Constraints: 24740
320.35/321.47 c #Conflicts: 141000 | #Constraints: 25740
320.35/321.47 c #Conflicts: 142000 | #Constraints: 26740
320.35/321.47 c #Conflicts: 143000 | #Constraints: 27740
320.35/321.47 c #Conflicts: 144000 | #Constraints: 28740
320.35/321.47 c #Conflicts: 145000 | #Constraints: 29740
320.35/321.47 c #Conflicts: 146000 | #Constraints: 30740
320.35/321.47 c #Conflicts: 147000 | #Constraints: 31740
320.35/321.47 c INPROCESSING
320.35/321.47 c GARBAGE COLLECT
320.35/321.47 c #Conflicts: 148000 | #Constraints: 25153
320.35/321.47 c #Conflicts: 149000 | #Constraints: 26153
320.35/321.47 c #Conflicts: 150000 | #Constraints: 27153
320.35/321.47 c #Conflicts: 151000 | #Constraints: 28153
334.10/335.22 c #Conflicts: 152000 | #Constraints: 29153
334.10/335.22 c #Conflicts: 153000 | #Constraints: 30153
334.10/335.22 c #Conflicts: 154000 | #Constraints: 31153
334.10/335.22 c #Conflicts: 155000 | #Constraints: 32153
334.10/335.22 c INPROCESSING
334.10/335.22 c GARBAGE COLLECT
334.10/335.22 c #Conflicts: 156000 | #Constraints: 25355
334.10/335.22 c #Conflicts: 157000 | #Constraints: 26355
334.10/335.22 c #Conflicts: 158000 | #Constraints: 27355
334.10/335.22 c #Conflicts: 159000 | #Constraints: 28355
334.10/335.22 c #Conflicts: 160000 | #Constraints: 29355
334.10/335.22 c #Conflicts: 161000 | #Constraints: 30355
334.10/335.22 c #Conflicts: 162000 | #Constraints: 31355
334.10/335.22 c #Conflicts: 163000 | #Constraints: 32355
334.10/335.22 c INPROCESSING
334.10/335.22 c GARBAGE COLLECT
334.10/335.22 c #Conflicts: 164000 | #Constraints: 25359
334.10/335.22 c #Conflicts: 165000 | #Constraints: 26359
334.10/335.22 c #Conflicts: 166000 | #Constraints: 27359
334.10/335.22 c #Conflicts: 167000 | #Constraints: 28359
334.10/335.22 c #Conflicts: 168000 | #Constraints: 29359
334.10/335.22 c #Conflicts: 169000 | #Constraints: 30359
334.10/335.22 c #Conflicts: 170000 | #Constraints: 31359
334.10/335.22 c #Conflicts: 171000 | #Constraints: 32359
334.10/335.22 c INPROCESSING
334.10/335.22 c GARBAGE COLLECT
334.10/335.22 c #Conflicts: 172000 | #Constraints: 25155
334.10/335.22 c #Conflicts: 173000 | #Constraints: 26155
334.10/335.22 c #Conflicts: 174000 | #Constraints: 27155
334.10/335.22 c #Conflicts: 175000 | #Constraints: 28155
334.10/335.22 c #Conflicts: 176000 | #Constraints: 29155
334.10/335.22 c #Conflicts: 177000 | #Constraints: 30155
334.10/335.22 c #Conflicts: 178000 | #Constraints: 31155
334.10/335.22 c #Conflicts: 179000 | #Constraints: 32155
334.10/335.22 c #Conflicts: 180000 | #Constraints: 33155
334.10/335.22 c INPROCESSING
334.10/335.22 c GARBAGE COLLECT
334.10/335.22 c #Conflicts: 181000 | #Constraints: 25761
334.10/335.22 c #Conflicts: 182000 | #Constraints: 26761
334.10/335.22 c #Conflicts: 183000 | #Constraints: 27761
334.10/335.22 c #Conflicts: 184000 | #Constraints: 28761
334.10/335.22 c #Conflicts: 185000 | #Constraints: 29761
334.10/335.22 c #Conflicts: 186000 | #Constraints: 30761
334.10/335.22 c #Conflicts: 187000 | #Constraints: 31761
334.10/335.22 c #Conflicts: 188000 | #Constraints: 32761
334.10/335.22 c #Conflicts: 189000 | #Constraints: 33761
334.10/335.22 c INPROCESSING
334.10/335.22 c GARBAGE COLLECT
334.10/335.22 c #Conflicts: 190000 | #Constraints: 26161
334.10/335.22 c #Conflicts: 191000 | #Constraints: 27161
334.10/335.22 c #Conflicts: 192000 | #Constraints: 28161
334.10/335.22 c #Conflicts: 193000 | #Constraints: 29161
334.10/335.22 c #Conflicts: 194000 | #Constraints: 30161
334.10/335.22 c #Conflicts: 195000 | #Constraints: 31161
334.10/335.22 c #Conflicts: 196000 | #Constraints: 32161
334.10/335.22 c #Conflicts: 197000 | #Constraints: 33161
334.10/335.22 c #Conflicts: 198000 | #Constraints: 34161
334.10/335.22 c INPROCESSING
334.10/335.22 c GARBAGE COLLECT
334.10/335.22 c #Conflicts: 199000 | #Constraints: 26375
334.10/335.22 c #Conflicts: 200000 | #Constraints: 27375
334.10/335.22 c #Conflicts: 201000 | #Constraints: 28375
334.10/335.22 c #Conflicts: 202000 | #Constraints: 29375
334.10/335.22 c #Conflicts: 203000 | #Constraints: 30375
334.10/335.22 c #Conflicts: 204000 | #Constraints: 31375
334.10/335.22 c #Conflicts: 205000 | #Constraints: 32375
334.10/335.22 c #Conflicts: 206000 | #Constraints: 33375
334.10/335.22 c #Conflicts: 207000 | #Constraints: 34375
334.10/335.22 c INPROCESSING
334.10/335.22 c GARBAGE COLLECT
334.10/335.22 c #Conflicts: 208000 | #Constraints: 26368
334.10/335.22 c #Conflicts: 209000 | #Constraints: 27368
334.10/335.22 c #Conflicts: 210000 | #Constraints: 28368
334.10/335.22 c #Conflicts: 211000 | #Constraints: 29368
334.10/335.22 c #Conflicts: 212000 | #Constraints: 30368
334.10/335.22 c #Conflicts: 213000 | #Constraints: 31368
334.10/335.22 c #Conflicts: 214000 | #Constraints: 32368
334.10/335.22 c #Conflicts: 215000 | #Constraints: 33368
334.10/335.22 c #Conflicts: 216000 | #Constraints: 34368
334.10/335.22 c INPROCESSING
334.10/335.22 c GARBAGE COLLECT
334.10/335.22 c #Conflicts: 217000 | #Constraints: 26167
334.10/335.22 c #Conflicts: 218000 | #Constraints: 27167
334.10/335.22 c #Conflicts: 219000 | #Constraints: 28167
334.10/335.22 c #Conflicts: 220000 | #Constraints: 29167
334.10/335.22 c #Conflicts: 221000 | #Constraints: 30167
334.10/335.22 c #Conflicts: 222000 | #Constraints: 31167
334.10/335.22 c #Conflicts: 223000 | #Constraints: 32167
334.10/335.22 c #Conflicts: 224000 | #Constraints: 33167
349.06/350.27 c #Conflicts: 225000 | #Constraints: 34167
349.06/350.27 c #Conflicts: 226000 | #Constraints: 35167
349.06/350.27 c INPROCESSING
349.06/350.27 c GARBAGE COLLECT
349.06/350.27 c #Conflicts: 227000 | #Constraints: 26776
349.06/350.27 c #Conflicts: 228000 | #Constraints: 27776
349.06/350.27 c #Conflicts: 229000 | #Constraints: 28776
349.06/350.27 c #Conflicts: 230000 | #Constraints: 29776
349.06/350.27 c #Conflicts: 231000 | #Constraints: 30776
349.06/350.27 c #Conflicts: 232000 | #Constraints: 31776
349.06/350.27 c #Conflicts: 233000 | #Constraints: 32776
349.06/350.27 c #Conflicts: 234000 | #Constraints: 33776
349.06/350.27 c #Conflicts: 235000 | #Constraints: 34776
349.06/350.27 c #Conflicts: 236000 | #Constraints: 35776
349.06/350.27 c INPROCESSING
349.06/350.27 c GARBAGE COLLECT
349.06/350.27 c #Conflicts: 237000 | #Constraints: 27173
349.06/350.27 c #Conflicts: 238000 | #Constraints: 28173
349.06/350.27 c #Conflicts: 239000 | #Constraints: 29173
349.06/350.27 c #Conflicts: 240000 | #Constraints: 30173
349.06/350.27 c #Conflicts: 241000 | #Constraints: 31173
349.06/350.27 c #Conflicts: 242000 | #Constraints: 32173
349.06/350.27 c #Conflicts: 243000 | #Constraints: 33173
349.06/350.27 c #Conflicts: 244000 | #Constraints: 34173
349.06/350.27 c #Conflicts: 245000 | #Constraints: 35173
349.06/350.27 c #Conflicts: 246000 | #Constraints: 36173
349.06/350.27 c INPROCESSING
349.06/350.27 c GARBAGE COLLECT
349.06/350.27 c #Conflicts: 247000 | #Constraints: 27368
349.06/350.27 c #Conflicts: 248000 | #Constraints: 28368
349.06/350.27 c #Conflicts: 249000 | #Constraints: 29368
349.06/350.27 c #Conflicts: 250000 | #Constraints: 30368
349.06/350.27 c #Conflicts: 251000 | #Constraints: 31368
349.06/350.27 c #Conflicts: 252000 | #Constraints: 32368
349.06/350.27 c #Conflicts: 253000 | #Constraints: 33368
349.06/350.27 c #Conflicts: 254000 | #Constraints: 34368
349.06/350.27 c #Conflicts: 255000 | #Constraints: 35368
349.06/350.27 c #Conflicts: 256000 | #Constraints: 36368
349.06/350.27 c INPROCESSING
349.06/350.27 c GARBAGE COLLECT
349.06/350.27 c #Conflicts: 257000 | #Constraints: 27370
349.06/350.27 c #Conflicts: 258000 | #Constraints: 28370
349.06/350.27 c #Conflicts: 259000 | #Constraints: 29370
349.06/350.27 c #Conflicts: 260000 | #Constraints: 30370
349.06/350.27 c #Conflicts: 261000 | #Constraints: 31370
349.06/350.27 c #Conflicts: 262000 | #Constraints: 32370
349.06/350.27 c #Conflicts: 263000 | #Constraints: 33370
349.06/350.27 c #Conflicts: 264000 | #Constraints: 34370
349.06/350.27 c #Conflicts: 265000 | #Constraints: 35370
349.06/350.27 c #Conflicts: 266000 | #Constraints: 36370
349.06/350.27 c INPROCESSING
349.06/350.27 c GARBAGE COLLECT
349.06/350.27 c #Conflicts: 267000 | #Constraints: 27178
349.06/350.27 c #Conflicts: 268000 | #Constraints: 28178
349.06/350.27 c #Conflicts: 269000 | #Constraints: 29178
349.06/350.27 c #Conflicts: 270000 | #Constraints: 30178
349.06/350.27 c #Conflicts: 271000 | #Constraints: 31178
349.06/350.27 c #Conflicts: 272000 | #Constraints: 32178
349.06/350.27 c #Conflicts: 273000 | #Constraints: 33178
349.06/350.27 c #Conflicts: 274000 | #Constraints: 34178
349.06/350.27 c #Conflicts: 275000 | #Constraints: 35178
349.06/350.27 c #Conflicts: 276000 | #Constraints: 36178
349.06/350.27 c #Conflicts: 277000 | #Constraints: 37178
349.06/350.27 c INPROCESSING
349.06/350.27 c GARBAGE COLLECT
349.06/350.27 c #Conflicts: 278000 | #Constraints: 27766
349.06/350.27 c #Conflicts: 279000 | #Constraints: 28766
349.06/350.27 c #Conflicts: 280000 | #Constraints: 29766
349.06/350.27 c #Conflicts: 281000 | #Constraints: 30766
349.06/350.27 c #Conflicts: 282000 | #Constraints: 31766
349.06/350.27 c #Conflicts: 283000 | #Constraints: 32766
349.06/350.27 c #Conflicts: 284000 | #Constraints: 33766
349.06/350.27 c #Conflicts: 285000 | #Constraints: 34766
349.06/350.27 c #Conflicts: 286000 | #Constraints: 35766
349.06/350.27 c #Conflicts: 287000 | #Constraints: 36766
349.06/350.27 c #Conflicts: 288000 | #Constraints: 37766
349.06/350.27 c INPROCESSING
349.06/350.27 c GARBAGE COLLECT
349.06/350.27 c #Conflicts: 289000 | #Constraints: 28164
349.06/350.27 c #Conflicts: 290000 | #Constraints: 29164
349.06/350.27 c #Conflicts: 291000 | #Constraints: 30164
349.06/350.27 c #Conflicts: 292000 | #Constraints: 31164
349.06/350.27 c #Conflicts: 293000 | #Constraints: 32164
349.06/350.27 c #Conflicts: 294000 | #Constraints: 33164
349.06/350.27 c #Conflicts: 295000 | #Constraints: 34164
349.06/350.27 c #Conflicts: 296000 | #Constraints: 35164
349.06/350.27 c #Conflicts: 297000 | #Constraints: 36164
349.06/350.27 c #Conflicts: 298000 | #Constraints: 37164
349.06/350.27 c #Conflicts: 299000 | #Constraints: 38164
365.31/366.57 c INPROCESSING
365.31/366.57 c GARBAGE COLLECT
365.31/366.57 c #Conflicts: 300000 | #Constraints: 28381
365.31/366.57 c #Conflicts: 301000 | #Constraints: 29381
365.31/366.57 c #Conflicts: 302000 | #Constraints: 30381
365.31/366.57 c #Conflicts: 303000 | #Constraints: 31381
365.31/366.57 c #Conflicts: 304000 | #Constraints: 32381
365.31/366.57 c #Conflicts: 305000 | #Constraints: 33381
365.31/366.57 c #Conflicts: 306000 | #Constraints: 34381
365.31/366.57 c #Conflicts: 307000 | #Constraints: 35381
365.31/366.57 c #Conflicts: 308000 | #Constraints: 36381
365.31/366.57 c #Conflicts: 309000 | #Constraints: 37381
365.31/366.57 c #Conflicts: 310000 | #Constraints: 38381
365.31/366.57 c INPROCESSING
365.31/366.57 c GARBAGE COLLECT
365.31/366.57 c #Conflicts: 311000 | #Constraints: 28379
365.31/366.57 c #Conflicts: 312000 | #Constraints: 29379
365.31/366.57 c #Conflicts: 313000 | #Constraints: 30379
365.31/366.57 c #Conflicts: 314000 | #Constraints: 31379
365.31/366.57 c #Conflicts: 315000 | #Constraints: 32379
365.31/366.57 c #Conflicts: 316000 | #Constraints: 33379
365.31/366.57 c #Conflicts: 317000 | #Constraints: 34379
365.31/366.57 c #Conflicts: 318000 | #Constraints: 35379
365.31/366.57 c #Conflicts: 319000 | #Constraints: 36379
365.31/366.57 c #Conflicts: 320000 | #Constraints: 37379
365.31/366.57 c #Conflicts: 321000 | #Constraints: 38379
365.31/366.57 c INPROCESSING
365.31/366.57 c GARBAGE COLLECT
365.31/366.57 c #Conflicts: 322000 | #Constraints: 28171
365.31/366.57 c #Conflicts: 323000 | #Constraints: 29171
365.31/366.57 c #Conflicts: 324000 | #Constraints: 30171
365.31/366.57 c #Conflicts: 325000 | #Constraints: 31171
365.31/366.57 c #Conflicts: 326000 | #Constraints: 32171
365.31/366.57 c #Conflicts: 327000 | #Constraints: 33171
365.31/366.57 c #Conflicts: 328000 | #Constraints: 34171
365.31/366.57 c #Conflicts: 329000 | #Constraints: 35171
365.31/366.57 c #Conflicts: 330000 | #Constraints: 36171
365.31/366.57 c #Conflicts: 331000 | #Constraints: 37171
365.31/366.57 c #Conflicts: 332000 | #Constraints: 38171
365.31/366.57 c #Conflicts: 333000 | #Constraints: 39171
365.31/366.57 c INPROCESSING
365.31/366.57 c GARBAGE COLLECT
365.31/366.57 c #Conflicts: 334000 | #Constraints: 28770
365.31/366.57 c #Conflicts: 335000 | #Constraints: 29770
365.31/366.57 c #Conflicts: 336000 | #Constraints: 30770
365.31/366.57 c #Conflicts: 337000 | #Constraints: 31770
365.31/366.57 c #Conflicts: 338000 | #Constraints: 32770
365.31/366.57 c #Conflicts: 339000 | #Constraints: 33770
365.31/366.57 c #Conflicts: 340000 | #Constraints: 34770
365.31/366.57 c #Conflicts: 341000 | #Constraints: 35770
365.31/366.57 c #Conflicts: 342000 | #Constraints: 36770
365.31/366.57 c #Conflicts: 343000 | #Constraints: 37770
365.31/366.57 c #Conflicts: 344000 | #Constraints: 38770
365.31/366.57 c #Conflicts: 345000 | #Constraints: 39770
365.31/366.57 c INPROCESSING
365.31/366.57 c GARBAGE COLLECT
365.31/366.57 c #Conflicts: 346000 | #Constraints: 29182
365.31/366.57 c #Conflicts: 347000 | #Constraints: 30182
365.31/366.57 c #Conflicts: 348000 | #Constraints: 31182
365.31/366.57 c #Conflicts: 349000 | #Constraints: 32182
365.31/366.57 c #Conflicts: 350000 | #Constraints: 33182
365.31/366.57 c #Conflicts: 351000 | #Constraints: 34182
365.31/366.57 c #Conflicts: 352000 | #Constraints: 35182
365.31/366.57 c #Conflicts: 353000 | #Constraints: 36182
365.31/366.57 c #Conflicts: 354000 | #Constraints: 37182
365.31/366.57 c #Conflicts: 355000 | #Constraints: 38182
365.31/366.57 c #Conflicts: 356000 | #Constraints: 39182
365.31/366.57 c #Conflicts: 357000 | #Constraints: 40182
365.31/366.57 c INPROCESSING
365.31/366.57 c GARBAGE COLLECT
365.31/366.57 c #Conflicts: 358000 | #Constraints: 29383
365.31/366.57 c #Conflicts: 359000 | #Constraints: 30383
365.31/366.57 c #Conflicts: 360000 | #Constraints: 31383
365.31/366.57 c #Conflicts: 361000 | #Constraints: 32383
365.31/366.57 c #Conflicts: 362000 | #Constraints: 33383
365.31/366.57 c #Conflicts: 363000 | #Constraints: 34383
365.31/366.57 c #Conflicts: 364000 | #Constraints: 35383
365.31/366.57 c #Conflicts: 365000 | #Constraints: 36383
365.31/366.57 c #Conflicts: 366000 | #Constraints: 37383
365.31/366.57 c #Conflicts: 367000 | #Constraints: 38383
365.31/366.57 c #Conflicts: 368000 | #Constraints: 39383
365.31/366.57 c #Conflicts: 369000 | #Constraints: 40383
365.31/366.57 c INPROCESSING
365.31/366.57 c GARBAGE COLLECT
365.31/366.57 c #Conflicts: 370000 | #Constraints: 29393
365.31/366.57 c #Conflicts: 371000 | #Constraints: 30393
365.31/366.57 c #Conflicts: 372000 | #Constraints: 31393
365.31/366.57 c #Conflicts: 373000 | #Constraints: 32393
383.25/384.52 c #Conflicts: 374000 | #Constraints: 33393
383.25/384.52 c #Conflicts: 375000 | #Constraints: 34393
383.25/384.52 c #Conflicts: 376000 | #Constraints: 35393
383.25/384.52 c #Conflicts: 377000 | #Constraints: 36393
383.25/384.52 c #Conflicts: 378000 | #Constraints: 37393
383.25/384.52 c #Conflicts: 379000 | #Constraints: 38393
383.25/384.52 c #Conflicts: 380000 | #Constraints: 39393
383.25/384.52 c #Conflicts: 381000 | #Constraints: 40393
383.25/384.52 c INPROCESSING
383.25/384.52 c GARBAGE COLLECT
383.25/384.52 c #Conflicts: 382000 | #Constraints: 29199
383.25/384.52 c #Conflicts: 383000 | #Constraints: 30199
383.25/384.52 c #Conflicts: 384000 | #Constraints: 31199
383.25/384.52 c #Conflicts: 385000 | #Constraints: 32199
383.25/384.52 c #Conflicts: 386000 | #Constraints: 33199
383.25/384.52 c #Conflicts: 387000 | #Constraints: 34199
383.25/384.52 c #Conflicts: 388000 | #Constraints: 35199
383.25/384.52 c #Conflicts: 389000 | #Constraints: 36199
383.25/384.52 c #Conflicts: 390000 | #Constraints: 37199
383.25/384.52 c #Conflicts: 391000 | #Constraints: 38199
383.25/384.52 c #Conflicts: 392000 | #Constraints: 39199
383.25/384.52 c #Conflicts: 393000 | #Constraints: 40199
383.25/384.52 c #Conflicts: 394000 | #Constraints: 41199
383.25/384.52 c INPROCESSING
383.25/384.52 c GARBAGE COLLECT
383.25/384.52 c #Conflicts: 395000 | #Constraints: 29796
383.25/384.52 c #Conflicts: 396000 | #Constraints: 30796
383.25/384.52 c #Conflicts: 397000 | #Constraints: 31796
383.25/384.52 c #Conflicts: 398000 | #Constraints: 32796
383.25/384.52 c #Conflicts: 399000 | #Constraints: 33796
383.25/384.52 c #Conflicts: 400000 | #Constraints: 34796
383.25/384.52 c #Conflicts: 401000 | #Constraints: 35796
383.25/384.52 c #Conflicts: 402000 | #Constraints: 36796
383.25/384.52 c #Conflicts: 403000 | #Constraints: 37796
383.25/384.52 c #Conflicts: 404000 | #Constraints: 38796
383.25/384.52 c #Conflicts: 405000 | #Constraints: 39796
383.25/384.52 c #Conflicts: 406000 | #Constraints: 40796
383.25/384.52 c #Conflicts: 407000 | #Constraints: 41796
383.25/384.52 c INPROCESSING
383.25/384.52 c GARBAGE COLLECT
383.25/384.52 c #Conflicts: 408000 | #Constraints: 30197
383.25/384.52 c #Conflicts: 409000 | #Constraints: 31197
383.25/384.52 c #Conflicts: 410000 | #Constraints: 32197
383.25/384.52 c #Conflicts: 411000 | #Constraints: 33197
383.25/384.52 c #Conflicts: 412000 | #Constraints: 34197
383.25/384.52 c #Conflicts: 413000 | #Constraints: 35197
383.25/384.52 c #Conflicts: 414000 | #Constraints: 36197
383.25/384.52 c #Conflicts: 415000 | #Constraints: 37197
383.25/384.52 c #Conflicts: 416000 | #Constraints: 38197
383.25/384.52 c #Conflicts: 417000 | #Constraints: 39197
383.25/384.52 c #Conflicts: 418000 | #Constraints: 40197
383.25/384.52 c #Conflicts: 419000 | #Constraints: 41197
383.25/384.52 c #Conflicts: 420000 | #Constraints: 42197
383.25/384.52 c INPROCESSING
383.25/384.52 c GARBAGE COLLECT
383.25/384.52 c #Conflicts: 421000 | #Constraints: 30409
383.25/384.52 c #Conflicts: 422000 | #Constraints: 31409
383.25/384.52 c #Conflicts: 423000 | #Constraints: 32409
383.25/384.52 c #Conflicts: 424000 | #Constraints: 33409
383.25/384.52 c #Conflicts: 425000 | #Constraints: 34409
383.25/384.52 c #Conflicts: 426000 | #Constraints: 35409
383.25/384.52 c #Conflicts: 427000 | #Constraints: 36409
383.25/384.52 c #Conflicts: 428000 | #Constraints: 37409
383.25/384.52 c #Conflicts: 429000 | #Constraints: 38409
383.25/384.52 c #Conflicts: 430000 | #Constraints: 39409
383.25/384.52 c #Conflicts: 431000 | #Constraints: 40409
383.25/384.52 c #Conflicts: 432000 | #Constraints: 41409
383.25/384.52 c #Conflicts: 433000 | #Constraints: 42409
383.25/384.52 c INPROCESSING
383.25/384.52 c GARBAGE COLLECT
383.25/384.52 c #Conflicts: 434000 | #Constraints: 30409
383.25/384.52 c #Conflicts: 435000 | #Constraints: 31409
383.25/384.52 c #Conflicts: 436000 | #Constraints: 32409
383.25/384.52 c #Conflicts: 437000 | #Constraints: 33409
383.25/384.52 c #Conflicts: 438000 | #Constraints: 34409
383.25/384.52 c #Conflicts: 439000 | #Constraints: 35409
383.25/384.52 c #Conflicts: 440000 | #Constraints: 36409
383.25/384.52 c #Conflicts: 441000 | #Constraints: 37409
383.25/384.52 c #Conflicts: 442000 | #Constraints: 38409
383.25/384.52 c #Conflicts: 443000 | #Constraints: 39409
383.25/384.52 c #Conflicts: 444000 | #Constraints: 40409
383.25/384.52 c #Conflicts: 445000 | #Constraints: 41409
383.25/384.52 c #Conflicts: 446000 | #Constraints: 42409
383.25/384.52 c INPROCESSING
383.25/384.52 c GARBAGE COLLECT
383.25/384.52 c #Conflicts: 447000 | #Constraints: 30200
383.25/384.52 c #Conflicts: 448000 | #Constraints: 31200
403.29/404.62 c #Conflicts: 449000 | #Constraints: 32200
403.29/404.62 c #Conflicts: 450000 | #Constraints: 33200
403.29/404.62 c #Conflicts: 451000 | #Constraints: 34200
403.29/404.62 c #Conflicts: 452000 | #Constraints: 35200
403.29/404.62 c #Conflicts: 453000 | #Constraints: 36200
403.29/404.62 c #Conflicts: 454000 | #Constraints: 37200
403.29/404.62 c #Conflicts: 455000 | #Constraints: 38200
403.29/404.62 c #Conflicts: 456000 | #Constraints: 39200
403.29/404.62 c #Conflicts: 457000 | #Constraints: 40200
403.29/404.62 c #Conflicts: 458000 | #Constraints: 41200
403.29/404.62 c #Conflicts: 459000 | #Constraints: 42200
403.29/404.62 c #Conflicts: 460000 | #Constraints: 43200
403.29/404.62 c INPROCESSING
403.29/404.62 c GARBAGE COLLECT
403.29/404.62 c #Conflicts: 461000 | #Constraints: 30794
403.29/404.62 c #Conflicts: 462000 | #Constraints: 31794
403.29/404.62 c #Conflicts: 463000 | #Constraints: 32794
403.29/404.62 c #Conflicts: 464000 | #Constraints: 33794
403.29/404.62 c #Conflicts: 465000 | #Constraints: 34794
403.29/404.62 c #Conflicts: 466000 | #Constraints: 35794
403.29/404.62 c #Conflicts: 467000 | #Constraints: 36794
403.29/404.62 c #Conflicts: 468000 | #Constraints: 37794
403.29/404.62 c #Conflicts: 469000 | #Constraints: 38794
403.29/404.62 c #Conflicts: 470000 | #Constraints: 39794
403.29/404.62 c #Conflicts: 471000 | #Constraints: 40794
403.29/404.62 c #Conflicts: 472000 | #Constraints: 41794
403.29/404.62 c #Conflicts: 473000 | #Constraints: 42794
403.29/404.62 c #Conflicts: 474000 | #Constraints: 43794
403.29/404.62 c INPROCESSING
403.29/404.62 c GARBAGE COLLECT
403.29/404.62 c #Conflicts: 475000 | #Constraints: 31193
403.29/404.62 c #Conflicts: 476000 | #Constraints: 32193
403.29/404.62 c #Conflicts: 477000 | #Constraints: 33193
403.29/404.62 c #Conflicts: 478000 | #Constraints: 34193
403.29/404.62 c #Conflicts: 479000 | #Constraints: 35193
403.29/404.62 c #Conflicts: 480000 | #Constraints: 36193
403.29/404.62 c #Conflicts: 481000 | #Constraints: 37193
403.29/404.62 c #Conflicts: 482000 | #Constraints: 38193
403.29/404.62 c #Conflicts: 483000 | #Constraints: 39193
403.29/404.62 c #Conflicts: 484000 | #Constraints: 40193
403.29/404.62 c #Conflicts: 485000 | #Constraints: 41193
403.29/404.62 c #Conflicts: 486000 | #Constraints: 42193
403.29/404.62 c #Conflicts: 487000 | #Constraints: 43193
403.29/404.62 c #Conflicts: 488000 | #Constraints: 44193
403.29/404.62 c INPROCESSING
403.29/404.62 c GARBAGE COLLECT
403.29/404.62 c #Conflicts: 489000 | #Constraints: 31401
403.29/404.62 c #Conflicts: 490000 | #Constraints: 32401
403.29/404.62 c #Conflicts: 491000 | #Constraints: 33401
403.29/404.62 c #Conflicts: 492000 | #Constraints: 34401
403.29/404.62 c #Conflicts: 493000 | #Constraints: 35401
403.29/404.62 c #Conflicts: 494000 | #Constraints: 36401
403.29/404.62 c #Conflicts: 495000 | #Constraints: 37401
403.29/404.62 c #Conflicts: 496000 | #Constraints: 38401
403.29/404.62 c #Conflicts: 497000 | #Constraints: 39401
403.29/404.62 c #Conflicts: 498000 | #Constraints: 40401
403.29/404.62 c #Conflicts: 499000 | #Constraints: 41401
403.29/404.62 c #Conflicts: 500000 | #Constraints: 42401
403.29/404.62 c #Conflicts: 501000 | #Constraints: 43401
403.29/404.62 c #Conflicts: 502000 | #Constraints: 44401
403.29/404.62 c INPROCESSING
403.29/404.62 c GARBAGE COLLECT
403.29/404.62 c #Conflicts: 503000 | #Constraints: 31405
403.29/404.62 c #Conflicts: 504000 | #Constraints: 32405
403.29/404.62 c #Conflicts: 505000 | #Constraints: 33405
403.29/404.62 c #Conflicts: 506000 | #Constraints: 34405
403.29/404.62 c #Conflicts: 507000 | #Constraints: 35405
403.29/404.62 c #Conflicts: 508000 | #Constraints: 36405
403.29/404.62 c #Conflicts: 509000 | #Constraints: 37405
403.29/404.62 c #Conflicts: 510000 | #Constraints: 38405
403.29/404.62 c #Conflicts: 511000 | #Constraints: 39405
403.29/404.62 c #Conflicts: 512000 | #Constraints: 40405
403.29/404.62 c #Conflicts: 513000 | #Constraints: 41405
403.29/404.62 c #Conflicts: 514000 | #Constraints: 42405
403.29/404.62 c #Conflicts: 515000 | #Constraints: 43405
403.29/404.62 c #Conflicts: 516000 | #Constraints: 44405
403.29/404.62 c INPROCESSING
403.29/404.62 c GARBAGE COLLECT
403.29/404.62 c #Conflicts: 517000 | #Constraints: 31191
403.29/404.62 c #Conflicts: 518000 | #Constraints: 32191
403.29/404.62 c #Conflicts: 519000 | #Constraints: 33191
403.29/404.62 c #Conflicts: 520000 | #Constraints: 34191
403.29/404.62 c #Conflicts: 521000 | #Constraints: 35191
403.29/404.62 c #Conflicts: 522000 | #Constraints: 36191
403.29/404.62 c #Conflicts: 523000 | #Constraints: 37191
421.83/423.28 c #Conflicts: 524000 | #Constraints: 38191
421.83/423.28 c #Conflicts: 525000 | #Constraints: 39191
421.83/423.28 c #Conflicts: 526000 | #Constraints: 40191
421.83/423.28 c #Conflicts: 527000 | #Constraints: 41191
421.83/423.28 c #Conflicts: 528000 | #Constraints: 42191
421.83/423.28 c #Conflicts: 529000 | #Constraints: 43191
421.83/423.28 c #Conflicts: 530000 | #Constraints: 44191
421.83/423.28 c #Conflicts: 531000 | #Constraints: 45191
421.83/423.28 c INPROCESSING
421.83/423.28 c GARBAGE COLLECT
421.83/423.28 c #Conflicts: 532000 | #Constraints: 31803
421.83/423.28 c #Conflicts: 533000 | #Constraints: 32803
421.83/423.28 c #Conflicts: 534000 | #Constraints: 33803
421.83/423.28 c #Conflicts: 535000 | #Constraints: 34803
421.83/423.28 c #Conflicts: 536000 | #Constraints: 35803
421.83/423.28 c #Conflicts: 537000 | #Constraints: 36803
421.83/423.28 c #Conflicts: 538000 | #Constraints: 37803
421.83/423.28 c #Conflicts: 539000 | #Constraints: 38803
421.83/423.28 c #Conflicts: 540000 | #Constraints: 39803
421.83/423.28 c #Conflicts: 541000 | #Constraints: 40803
421.83/423.28 c #Conflicts: 542000 | #Constraints: 41803
421.83/423.28 c #Conflicts: 543000 | #Constraints: 42803
421.83/423.28 c #Conflicts: 544000 | #Constraints: 43803
421.83/423.28 c #Conflicts: 545000 | #Constraints: 44803
421.83/423.28 c #Conflicts: 546000 | #Constraints: 45803
421.83/423.28 c INPROCESSING
421.83/423.28 c GARBAGE COLLECT
421.83/423.28 c #Conflicts: 547000 | #Constraints: 32206
421.83/423.28 c #Conflicts: 548000 | #Constraints: 33206
421.83/423.28 c #Conflicts: 549000 | #Constraints: 34206
421.83/423.28 c #Conflicts: 550000 | #Constraints: 35206
421.83/423.28 c #Conflicts: 551000 | #Constraints: 36206
421.83/423.28 c #Conflicts: 552000 | #Constraints: 37206
421.83/423.28 c #Conflicts: 553000 | #Constraints: 38206
421.83/423.28 c #Conflicts: 554000 | #Constraints: 39206
421.83/423.28 c #Conflicts: 555000 | #Constraints: 40206
421.83/423.28 c #Conflicts: 556000 | #Constraints: 41206
421.83/423.28 c #Conflicts: 557000 | #Constraints: 42206
421.83/423.28 c #Conflicts: 558000 | #Constraints: 43206
421.83/423.28 c #Conflicts: 559000 | #Constraints: 44206
421.83/423.28 c #Conflicts: 560000 | #Constraints: 45206
421.83/423.28 c #Conflicts: 561000 | #Constraints: 46206
421.83/423.28 c INPROCESSING
421.83/423.28 c GARBAGE COLLECT
421.83/423.28 c #Conflicts: 562000 | #Constraints: 32406
421.83/423.28 c #Conflicts: 563000 | #Constraints: 33406
421.83/423.28 c #Conflicts: 564000 | #Constraints: 34406
421.83/423.28 c #Conflicts: 565000 | #Constraints: 35406
421.83/423.28 c #Conflicts: 566000 | #Constraints: 36406
421.83/423.28 c #Conflicts: 567000 | #Constraints: 37406
421.83/423.28 c #Conflicts: 568000 | #Constraints: 38406
421.83/423.28 c #Conflicts: 569000 | #Constraints: 39406
421.83/423.28 c #Conflicts: 570000 | #Constraints: 40406
421.83/423.28 c #Conflicts: 571000 | #Constraints: 41406
421.83/423.28 c #Conflicts: 572000 | #Constraints: 42406
421.83/423.28 c #Conflicts: 573000 | #Constraints: 43406
421.83/423.28 c #Conflicts: 574000 | #Constraints: 44406
421.83/423.28 c #Conflicts: 575000 | #Constraints: 45406
421.83/423.28 c #Conflicts: 576000 | #Constraints: 46406
421.83/423.28 c INPROCESSING
421.83/423.28 c GARBAGE COLLECT
421.83/423.28 c #Conflicts: 577000 | #Constraints: 32408
421.83/423.28 c #Conflicts: 578000 | #Constraints: 33408
421.83/423.28 c #Conflicts: 579000 | #Constraints: 34408
421.83/423.28 c #Conflicts: 580000 | #Constraints: 35408
421.83/423.28 c #Conflicts: 581000 | #Constraints: 36408
421.83/423.28 c #Conflicts: 582000 | #Constraints: 37408
421.83/423.28 c #Conflicts: 583000 | #Constraints: 38408
421.83/423.28 c #Conflicts: 584000 | #Constraints: 39408
421.83/423.28 c #Conflicts: 585000 | #Constraints: 40408
421.83/423.28 c #Conflicts: 586000 | #Constraints: 41408
421.83/423.28 c #Conflicts: 587000 | #Constraints: 42408
421.83/423.28 c #Conflicts: 588000 | #Constraints: 43408
421.83/423.28 c #Conflicts: 589000 | #Constraints: 44408
421.83/423.28 c #Conflicts: 590000 | #Constraints: 45408
421.83/423.28 c #Conflicts: 591000 | #Constraints: 46408
421.83/423.28 c INPROCESSING
421.83/423.28 c GARBAGE COLLECT
421.83/423.28 c #Conflicts: 592000 | #Constraints: 32217
421.83/423.28 c #Conflicts: 593000 | #Constraints: 33217
421.83/423.28 c #Conflicts: 594000 | #Constraints: 34217
421.83/423.28 c #Conflicts: 595000 | #Constraints: 35217
421.83/423.28 c #Conflicts: 596000 | #Constraints: 36217
421.83/423.28 c #Conflicts: 597000 | #Constraints: 37217
421.83/423.28 c #Conflicts: 598000 | #Constraints: 38217
421.83/423.28 c #Conflicts: 599000 | #Constraints: 39217
441.57/443.07 c #Conflicts: 600000 | #Constraints: 40217
441.57/443.07 c #Conflicts: 601000 | #Constraints: 41217
441.57/443.07 c #Conflicts: 602000 | #Constraints: 42217
441.57/443.07 c #Conflicts: 603000 | #Constraints: 43217
441.57/443.07 c #Conflicts: 604000 | #Constraints: 44217
441.57/443.07 c #Conflicts: 605000 | #Constraints: 45217
441.57/443.07 c #Conflicts: 606000 | #Constraints: 46217
441.57/443.07 c #Conflicts: 607000 | #Constraints: 47217
441.57/443.07 c INPROCESSING
441.57/443.07 c GARBAGE COLLECT
441.57/443.07 c #Conflicts: 608000 | #Constraints: 32812
441.57/443.07 c #Conflicts: 609000 | #Constraints: 33812
441.57/443.07 c #Conflicts: 610000 | #Constraints: 34812
441.57/443.07 c #Conflicts: 611000 | #Constraints: 35812
441.57/443.07 c #Conflicts: 612000 | #Constraints: 36812
441.57/443.07 c #Conflicts: 613000 | #Constraints: 37812
441.57/443.07 c #Conflicts: 614000 | #Constraints: 38812
441.57/443.07 c #Conflicts: 615000 | #Constraints: 39812
441.57/443.07 c #Conflicts: 616000 | #Constraints: 40812
441.57/443.07 c #Conflicts: 617000 | #Constraints: 41812
441.57/443.07 c #Conflicts: 618000 | #Constraints: 42812
441.57/443.07 c #Conflicts: 619000 | #Constraints: 43812
441.57/443.07 c #Conflicts: 620000 | #Constraints: 44812
441.57/443.07 c #Conflicts: 621000 | #Constraints: 45812
441.57/443.07 c #Conflicts: 622000 | #Constraints: 46812
441.57/443.07 c #Conflicts: 623000 | #Constraints: 47812
441.57/443.07 c INPROCESSING
441.57/443.07 c GARBAGE COLLECT
441.57/443.07 c #Conflicts: 624000 | #Constraints: 33203
441.57/443.07 c #Conflicts: 625000 | #Constraints: 34203
441.57/443.07 c #Conflicts: 626000 | #Constraints: 35203
441.57/443.07 c #Conflicts: 627000 | #Constraints: 36203
441.57/443.07 c #Conflicts: 628000 | #Constraints: 37203
441.57/443.07 c #Conflicts: 629000 | #Constraints: 38203
441.57/443.07 c #Conflicts: 630000 | #Constraints: 39203
441.57/443.07 c #Conflicts: 631000 | #Constraints: 40203
441.57/443.07 c #Conflicts: 632000 | #Constraints: 41203
441.57/443.07 c #Conflicts: 633000 | #Constraints: 42203
441.57/443.07 c #Conflicts: 634000 | #Constraints: 43203
441.57/443.07 c #Conflicts: 635000 | #Constraints: 44203
441.57/443.07 c #Conflicts: 636000 | #Constraints: 45203
441.57/443.07 c #Conflicts: 637000 | #Constraints: 46203
441.57/443.07 c #Conflicts: 638000 | #Constraints: 47203
441.57/443.07 c #Conflicts: 639000 | #Constraints: 48203
441.57/443.07 c INPROCESSING
441.57/443.07 c GARBAGE COLLECT
441.57/443.07 c #Conflicts: 640000 | #Constraints: 33394
441.57/443.07 c #Conflicts: 641000 | #Constraints: 34394
441.57/443.07 c #Conflicts: 642000 | #Constraints: 35394
441.57/443.07 c #Conflicts: 643000 | #Constraints: 36394
441.57/443.07 c #Conflicts: 644000 | #Constraints: 37394
441.57/443.07 c #Conflicts: 645000 | #Constraints: 38394
441.57/443.07 c #Conflicts: 646000 | #Constraints: 39394
441.57/443.07 c #Conflicts: 647000 | #Constraints: 40394
441.57/443.07 c #Conflicts: 648000 | #Constraints: 41394
441.57/443.07 c #Conflicts: 649000 | #Constraints: 42394
441.57/443.07 c #Conflicts: 650000 | #Constraints: 43394
441.57/443.07 c #Conflicts: 651000 | #Constraints: 44394
441.57/443.07 c #Conflicts: 652000 | #Constraints: 45394
441.57/443.07 c #Conflicts: 653000 | #Constraints: 46394
441.57/443.07 c #Conflicts: 654000 | #Constraints: 47394
441.57/443.07 c #Conflicts: 655000 | #Constraints: 48394
441.57/443.07 c INPROCESSING
441.57/443.07 c GARBAGE COLLECT
441.57/443.07 c #Conflicts: 656000 | #Constraints: 33394
441.57/443.07 c #Conflicts: 657000 | #Constraints: 34394
441.57/443.07 c #Conflicts: 658000 | #Constraints: 35394
441.57/443.07 c #Conflicts: 659000 | #Constraints: 36394
441.57/443.07 c #Conflicts: 660000 | #Constraints: 37394
441.57/443.07 c #Conflicts: 661000 | #Constraints: 38394
441.57/443.07 c #Conflicts: 662000 | #Constraints: 39394
441.57/443.07 c #Conflicts: 663000 | #Constraints: 40394
441.57/443.07 c #Conflicts: 664000 | #Constraints: 41394
441.57/443.07 c #Conflicts: 665000 | #Constraints: 42394
441.57/443.07 c #Conflicts: 666000 | #Constraints: 43394
441.57/443.07 c #Conflicts: 667000 | #Constraints: 44394
441.57/443.07 c #Conflicts: 668000 | #Constraints: 45394
441.57/443.07 c #Conflicts: 669000 | #Constraints: 46394
441.57/443.07 c #Conflicts: 670000 | #Constraints: 47394
441.57/443.07 c #Conflicts: 671000 | #Constraints: 48394
441.57/443.07 c INPROCESSING
441.57/443.07 c GARBAGE COLLECT
441.57/443.07 c #Conflicts: 672000 | #Constraints: 33188
441.57/443.07 c #Conflicts: 673000 | #Constraints: 34188
441.57/443.07 c #Conflicts: 674000 | #Constraints: 35188
441.57/443.07 c #Conflicts: 675000 | #Constraints: 36188
463.09/464.67 c #Conflicts: 676000 | #Constraints: 37188
463.09/464.67 c #Conflicts: 677000 | #Constraints: 38188
463.09/464.67 c #Conflicts: 678000 | #Constraints: 39188
463.09/464.67 c #Conflicts: 679000 | #Constraints: 40188
463.09/464.67 c #Conflicts: 680000 | #Constraints: 41188
463.09/464.67 c #Conflicts: 681000 | #Constraints: 42188
463.09/464.67 c #Conflicts: 682000 | #Constraints: 43188
463.09/464.67 c #Conflicts: 683000 | #Constraints: 44188
463.09/464.67 c #Conflicts: 684000 | #Constraints: 45188
463.09/464.67 c #Conflicts: 685000 | #Constraints: 46188
463.09/464.67 c #Conflicts: 686000 | #Constraints: 47188
463.09/464.67 c #Conflicts: 687000 | #Constraints: 48188
463.09/464.67 c #Conflicts: 688000 | #Constraints: 49188
463.09/464.67 c INPROCESSING
463.09/464.67 c GARBAGE COLLECT
463.09/464.67 c #Conflicts: 689000 | #Constraints: 33807
463.09/464.67 c #Conflicts: 690000 | #Constraints: 34807
463.09/464.67 c #Conflicts: 691000 | #Constraints: 35807
463.09/464.67 c #Conflicts: 692000 | #Constraints: 36807
463.09/464.67 c #Conflicts: 693000 | #Constraints: 37807
463.09/464.67 c #Conflicts: 694000 | #Constraints: 38807
463.09/464.67 c #Conflicts: 695000 | #Constraints: 39807
463.09/464.67 c #Conflicts: 696000 | #Constraints: 40807
463.09/464.67 c #Conflicts: 697000 | #Constraints: 41807
463.09/464.67 c #Conflicts: 698000 | #Constraints: 42807
463.09/464.67 c #Conflicts: 699000 | #Constraints: 43807
463.09/464.67 c #Conflicts: 700000 | #Constraints: 44807
463.09/464.67 c #Conflicts: 701000 | #Constraints: 45807
463.09/464.67 c #Conflicts: 702000 | #Constraints: 46807
463.09/464.67 c #Conflicts: 703000 | #Constraints: 47807
463.09/464.67 c #Conflicts: 704000 | #Constraints: 48807
463.09/464.67 c #Conflicts: 705000 | #Constraints: 49807
463.09/464.67 c INPROCESSING
463.09/464.67 c GARBAGE COLLECT
463.09/464.67 c #Conflicts: 706000 | #Constraints: 34209
463.09/464.67 c #Conflicts: 707000 | #Constraints: 35209
463.09/464.67 c #Conflicts: 708000 | #Constraints: 36209
463.09/464.67 c #Conflicts: 709000 | #Constraints: 37209
463.09/464.67 c #Conflicts: 710000 | #Constraints: 38209
463.09/464.67 c #Conflicts: 711000 | #Constraints: 39209
463.09/464.67 c #Conflicts: 712000 | #Constraints: 40209
463.09/464.67 c #Conflicts: 713000 | #Constraints: 41209
463.09/464.67 c #Conflicts: 714000 | #Constraints: 42209
463.09/464.67 c #Conflicts: 715000 | #Constraints: 43209
463.09/464.67 c #Conflicts: 716000 | #Constraints: 44209
463.09/464.67 c #Conflicts: 717000 | #Constraints: 45209
463.09/464.67 c #Conflicts: 718000 | #Constraints: 46209
463.09/464.67 c #Conflicts: 719000 | #Constraints: 47209
463.09/464.67 c #Conflicts: 720000 | #Constraints: 48209
463.09/464.67 c #Conflicts: 721000 | #Constraints: 49209
463.09/464.67 c #Conflicts: 722000 | #Constraints: 50209
463.09/464.67 c INPROCESSING
463.09/464.67 c GARBAGE COLLECT
463.09/464.67 c #Conflicts: 723000 | #Constraints: 34407
463.09/464.67 c #Conflicts: 724000 | #Constraints: 35407
463.09/464.67 c #Conflicts: 725000 | #Constraints: 36407
463.09/464.67 c #Conflicts: 726000 | #Constraints: 37407
463.09/464.67 c #Conflicts: 727000 | #Constraints: 38407
463.09/464.67 c #Conflicts: 728000 | #Constraints: 39407
463.09/464.67 c #Conflicts: 729000 | #Constraints: 40407
463.09/464.67 c #Conflicts: 730000 | #Constraints: 41407
463.09/464.67 c #Conflicts: 731000 | #Constraints: 42407
463.09/464.67 c #Conflicts: 732000 | #Constraints: 43407
463.09/464.67 c #Conflicts: 733000 | #Constraints: 44407
463.09/464.67 c #Conflicts: 734000 | #Constraints: 45407
463.09/464.67 c #Conflicts: 735000 | #Constraints: 46407
463.09/464.67 c #Conflicts: 736000 | #Constraints: 47407
463.09/464.67 c #Conflicts: 737000 | #Constraints: 48407
463.09/464.67 c #Conflicts: 738000 | #Constraints: 49407
463.09/464.67 c #Conflicts: 739000 | #Constraints: 50407
463.09/464.67 c INPROCESSING
463.09/464.67 c GARBAGE COLLECT
463.09/464.67 c #Conflicts: 740000 | #Constraints: 34420
463.09/464.67 c #Conflicts: 741000 | #Constraints: 35420
463.09/464.67 c #Conflicts: 742000 | #Constraints: 36420
463.09/464.67 c #Conflicts: 743000 | #Constraints: 37420
463.09/464.67 c #Conflicts: 744000 | #Constraints: 38420
463.09/464.67 c #Conflicts: 745000 | #Constraints: 39420
463.09/464.67 c #Conflicts: 746000 | #Constraints: 40420
463.09/464.67 c #Conflicts: 747000 | #Constraints: 41420
463.09/464.67 c #Conflicts: 748000 | #Constraints: 42420
463.09/464.67 c #Conflicts: 749000 | #Constraints: 43420
463.09/464.67 c #Conflicts: 750000 | #Constraints: 44420
463.09/464.67 c #Conflicts: 751000 | #Constraints: 45420
484.43/486.09 c #Conflicts: 752000 | #Constraints: 46420
484.43/486.09 c #Conflicts: 753000 | #Constraints: 47420
484.43/486.09 c #Conflicts: 754000 | #Constraints: 48420
484.43/486.09 c #Conflicts: 755000 | #Constraints: 49420
484.43/486.09 c #Conflicts: 756000 | #Constraints: 50420
484.43/486.09 c INPROCESSING
484.43/486.09 c GARBAGE COLLECT
484.43/486.09 c #Conflicts: 757000 | #Constraints: 34209
484.43/486.09 c #Conflicts: 758000 | #Constraints: 35209
484.43/486.09 c #Conflicts: 759000 | #Constraints: 36209
484.43/486.09 c #Conflicts: 760000 | #Constraints: 37209
484.43/486.09 c #Conflicts: 761000 | #Constraints: 38209
484.43/486.09 c #Conflicts: 762000 | #Constraints: 39209
484.43/486.09 c #Conflicts: 763000 | #Constraints: 40209
484.43/486.09 c #Conflicts: 764000 | #Constraints: 41209
484.43/486.09 c #Conflicts: 765000 | #Constraints: 42209
484.43/486.09 c #Conflicts: 766000 | #Constraints: 43209
484.43/486.09 c #Conflicts: 767000 | #Constraints: 44209
484.43/486.09 c #Conflicts: 768000 | #Constraints: 45209
484.43/486.09 c #Conflicts: 769000 | #Constraints: 46209
484.43/486.09 c #Conflicts: 770000 | #Constraints: 47209
484.43/486.09 c #Conflicts: 771000 | #Constraints: 48209
484.43/486.09 c #Conflicts: 772000 | #Constraints: 49209
484.43/486.09 c #Conflicts: 773000 | #Constraints: 50209
484.43/486.09 c #Conflicts: 774000 | #Constraints: 51209
484.43/486.09 c INPROCESSING
484.43/486.09 c GARBAGE COLLECT
484.43/486.09 c #Conflicts: 775000 | #Constraints: 34823
484.43/486.09 c #Conflicts: 776000 | #Constraints: 35823
484.43/486.09 c #Conflicts: 777000 | #Constraints: 36823
484.43/486.09 c #Conflicts: 778000 | #Constraints: 37823
484.43/486.09 c #Conflicts: 779000 | #Constraints: 38823
484.43/486.09 c #Conflicts: 780000 | #Constraints: 39823
484.43/486.09 c #Conflicts: 781000 | #Constraints: 40823
484.43/486.09 c #Conflicts: 782000 | #Constraints: 41823
484.43/486.09 c #Conflicts: 783000 | #Constraints: 42823
484.43/486.09 c #Conflicts: 784000 | #Constraints: 43823
484.43/486.09 c #Conflicts: 785000 | #Constraints: 44823
484.43/486.09 c #Conflicts: 786000 | #Constraints: 45823
484.43/486.09 c #Conflicts: 787000 | #Constraints: 46823
484.43/486.09 c #Conflicts: 788000 | #Constraints: 47823
484.43/486.09 c #Conflicts: 789000 | #Constraints: 48823
484.43/486.09 c #Conflicts: 790000 | #Constraints: 49823
484.43/486.09 c #Conflicts: 791000 | #Constraints: 50823
484.43/486.09 c #Conflicts: 792000 | #Constraints: 51823
484.43/486.09 c INPROCESSING
484.43/486.09 c GARBAGE COLLECT
484.43/486.09 c #Conflicts: 793000 | #Constraints: 35220
484.43/486.09 c #Conflicts: 794000 | #Constraints: 36220
484.43/486.09 c #Conflicts: 795000 | #Constraints: 37220
484.43/486.09 c #Conflicts: 796000 | #Constraints: 38220
484.43/486.09 c #Conflicts: 797000 | #Constraints: 39220
484.43/486.09 c #Conflicts: 798000 | #Constraints: 40220
484.43/486.09 c #Conflicts: 799000 | #Constraints: 41220
484.43/486.09 c #Conflicts: 800000 | #Constraints: 42220
484.43/486.09 c #Conflicts: 801000 | #Constraints: 43220
484.43/486.09 c #Conflicts: 802000 | #Constraints: 44220
484.43/486.09 c #Conflicts: 803000 | #Constraints: 45220
484.43/486.09 c #Conflicts: 804000 | #Constraints: 46220
484.43/486.09 c #Conflicts: 805000 | #Constraints: 47220
484.43/486.09 c #Conflicts: 806000 | #Constraints: 48220
484.43/486.09 c #Conflicts: 807000 | #Constraints: 49220
484.43/486.09 c #Conflicts: 808000 | #Constraints: 50220
484.43/486.09 c #Conflicts: 809000 | #Constraints: 51220
484.43/486.09 c #Conflicts: 810000 | #Constraints: 52220
484.43/486.09 c INPROCESSING
484.43/486.09 c GARBAGE COLLECT
484.43/486.09 c #Conflicts: 811000 | #Constraints: 35408
484.43/486.09 c #Conflicts: 812000 | #Constraints: 36408
484.43/486.09 c #Conflicts: 813000 | #Constraints: 37408
484.43/486.09 c #Conflicts: 814000 | #Constraints: 38408
484.43/486.09 c #Conflicts: 815000 | #Constraints: 39408
484.43/486.09 c #Conflicts: 816000 | #Constraints: 40408
484.43/486.09 c #Conflicts: 817000 | #Constraints: 41408
484.43/486.09 c #Conflicts: 818000 | #Constraints: 42408
484.43/486.09 c #Conflicts: 819000 | #Constraints: 43408
484.43/486.09 c #Conflicts: 820000 | #Constraints: 44408
484.43/486.09 c #Conflicts: 821000 | #Constraints: 45408
484.43/486.09 c #Conflicts: 822000 | #Constraints: 46408
484.43/486.09 c #Conflicts: 823000 | #Constraints: 47408
484.43/486.09 c #Conflicts: 824000 | #Constraints: 48408
484.43/486.09 c #Conflicts: 825000 | #Constraints: 49408
484.43/486.09 c #Conflicts: 826000 | #Constraints: 50408
484.43/486.09 c #Conflicts: 827000 | #Constraints: 51408
506.55/508.22 c #Conflicts: 828000 | #Constraints: 52408
506.55/508.22 c INPROCESSING
506.55/508.22 c GARBAGE COLLECT
506.55/508.22 c #Conflicts: 829000 | #Constraints: 35425
506.55/508.22 c #Conflicts: 830000 | #Constraints: 36425
506.55/508.22 c #Conflicts: 831000 | #Constraints: 37425
506.55/508.22 c #Conflicts: 832000 | #Constraints: 38425
506.55/508.22 c #Conflicts: 833000 | #Constraints: 39425
506.55/508.22 c #Conflicts: 834000 | #Constraints: 40425
506.55/508.22 c #Conflicts: 835000 | #Constraints: 41425
506.55/508.22 c #Conflicts: 836000 | #Constraints: 42425
506.55/508.22 c #Conflicts: 837000 | #Constraints: 43425
506.55/508.22 c #Conflicts: 838000 | #Constraints: 44425
506.55/508.22 c #Conflicts: 839000 | #Constraints: 45425
506.55/508.22 c #Conflicts: 840000 | #Constraints: 46425
506.55/508.22 c #Conflicts: 841000 | #Constraints: 47425
506.55/508.22 c #Conflicts: 842000 | #Constraints: 48425
506.55/508.22 c #Conflicts: 843000 | #Constraints: 49425
506.55/508.22 c #Conflicts: 844000 | #Constraints: 50425
506.55/508.22 c #Conflicts: 845000 | #Constraints: 51425
506.55/508.22 c #Conflicts: 846000 | #Constraints: 52425
506.55/508.22 c INPROCESSING
506.55/508.22 c GARBAGE COLLECT
506.55/508.22 c #Conflicts: 847000 | #Constraints: 35227
506.55/508.22 c #Conflicts: 848000 | #Constraints: 36227
506.55/508.22 c #Conflicts: 849000 | #Constraints: 37227
506.55/508.22 c #Conflicts: 850000 | #Constraints: 38227
506.55/508.22 c #Conflicts: 851000 | #Constraints: 39227
506.55/508.22 c #Conflicts: 852000 | #Constraints: 40227
506.55/508.22 c #Conflicts: 853000 | #Constraints: 41227
506.55/508.22 c #Conflicts: 854000 | #Constraints: 42227
506.55/508.22 c #Conflicts: 855000 | #Constraints: 43227
506.55/508.22 c #Conflicts: 856000 | #Constraints: 44227
506.55/508.22 c #Conflicts: 857000 | #Constraints: 45227
506.55/508.22 c #Conflicts: 858000 | #Constraints: 46227
506.55/508.22 c #Conflicts: 859000 | #Constraints: 47227
506.55/508.22 c #Conflicts: 860000 | #Constraints: 48227
506.55/508.22 c #Conflicts: 861000 | #Constraints: 49227
506.55/508.22 c #Conflicts: 862000 | #Constraints: 50227
506.55/508.22 c #Conflicts: 863000 | #Constraints: 51227
506.55/508.22 c #Conflicts: 864000 | #Constraints: 52227
506.55/508.22 c #Conflicts: 865000 | #Constraints: 53227
506.55/508.22 c INPROCESSING
506.55/508.22 c GARBAGE COLLECT
506.55/508.22 c #Conflicts: 866000 | #Constraints: 35825
506.55/508.22 c #Conflicts: 867000 | #Constraints: 36825
506.55/508.22 c #Conflicts: 868000 | #Constraints: 37825
506.55/508.22 c #Conflicts: 869000 | #Constraints: 38825
506.55/508.22 c #Conflicts: 870000 | #Constraints: 39825
506.55/508.22 c #Conflicts: 871000 | #Constraints: 40825
506.55/508.22 c #Conflicts: 872000 | #Constraints: 41825
506.55/508.22 c #Conflicts: 873000 | #Constraints: 42825
506.55/508.22 c #Conflicts: 874000 | #Constraints: 43825
506.55/508.22 c #Conflicts: 875000 | #Constraints: 44825
506.55/508.22 c #Conflicts: 876000 | #Constraints: 45825
506.55/508.22 c #Conflicts: 877000 | #Constraints: 46825
506.55/508.22 c #Conflicts: 878000 | #Constraints: 47825
506.55/508.22 c #Conflicts: 879000 | #Constraints: 48825
506.55/508.22 c #Conflicts: 880000 | #Constraints: 49825
506.55/508.22 c #Conflicts: 881000 | #Constraints: 50825
506.55/508.22 c #Conflicts: 882000 | #Constraints: 51825
506.55/508.22 c #Conflicts: 883000 | #Constraints: 52825
506.55/508.22 c #Conflicts: 884000 | #Constraints: 53825
506.55/508.22 c INPROCESSING
506.55/508.22 c GARBAGE COLLECT
506.55/508.22 c #Conflicts: 885000 | #Constraints: 36220
506.55/508.22 c #Conflicts: 886000 | #Constraints: 37220
506.55/508.22 c #Conflicts: 887000 | #Constraints: 38220
506.55/508.22 c #Conflicts: 888000 | #Constraints: 39220
506.55/508.22 c #Conflicts: 889000 | #Constraints: 40220
506.55/508.22 c #Conflicts: 890000 | #Constraints: 41220
506.55/508.22 c #Conflicts: 891000 | #Constraints: 42220
506.55/508.22 c #Conflicts: 892000 | #Constraints: 43220
506.55/508.22 c #Conflicts: 893000 | #Constraints: 44220
506.55/508.22 c #Conflicts: 894000 | #Constraints: 45220
506.55/508.22 c #Conflicts: 895000 | #Constraints: 46220
506.55/508.22 c #Conflicts: 896000 | #Constraints: 47220
506.55/508.22 c #Conflicts: 897000 | #Constraints: 48220
506.55/508.22 c #Conflicts: 898000 | #Constraints: 49220
506.55/508.22 c #Conflicts: 899000 | #Constraints: 50220
506.55/508.22 c #Conflicts: 900000 | #Constraints: 51220
506.55/508.22 c #Conflicts: 901000 | #Constraints: 52220
506.55/508.22 c #Conflicts: 902000 | #Constraints: 53220
506.55/508.22 c #Conflicts: 903000 | #Constraints: 54220
530.17/531.98 c INPROCESSING
530.17/531.98 c GARBAGE COLLECT
530.17/531.98 c #Conflicts: 904000 | #Constraints: 36423
530.17/531.98 c #Conflicts: 905000 | #Constraints: 37423
530.17/531.98 c #Conflicts: 906000 | #Constraints: 38423
530.17/531.98 c #Conflicts: 907000 | #Constraints: 39423
530.17/531.98 c #Conflicts: 908000 | #Constraints: 40423
530.17/531.98 c #Conflicts: 909000 | #Constraints: 41423
530.17/531.98 c #Conflicts: 910000 | #Constraints: 42423
530.17/531.98 c #Conflicts: 911000 | #Constraints: 43423
530.17/531.98 c #Conflicts: 912000 | #Constraints: 44423
530.17/531.98 c #Conflicts: 913000 | #Constraints: 45423
530.17/531.98 c #Conflicts: 914000 | #Constraints: 46423
530.17/531.98 c #Conflicts: 915000 | #Constraints: 47423
530.17/531.98 c #Conflicts: 916000 | #Constraints: 48423
530.17/531.98 c #Conflicts: 917000 | #Constraints: 49423
530.17/531.98 c #Conflicts: 918000 | #Constraints: 50423
530.17/531.98 c #Conflicts: 919000 | #Constraints: 51423
530.17/531.98 c #Conflicts: 920000 | #Constraints: 52423
530.17/531.98 c #Conflicts: 921000 | #Constraints: 53423
530.17/531.98 c #Conflicts: 922000 | #Constraints: 54423
530.17/531.98 c INPROCESSING
530.17/531.98 c GARBAGE COLLECT
530.17/531.98 c #Conflicts: 923000 | #Constraints: 36414
530.17/531.98 c #Conflicts: 924000 | #Constraints: 37414
530.17/531.98 c #Conflicts: 925000 | #Constraints: 38414
530.17/531.98 c #Conflicts: 926000 | #Constraints: 39414
530.17/531.98 c #Conflicts: 927000 | #Constraints: 40414
530.17/531.98 c #Conflicts: 928000 | #Constraints: 41414
530.17/531.98 c #Conflicts: 929000 | #Constraints: 42414
530.17/531.98 c #Conflicts: 930000 | #Constraints: 43414
530.17/531.98 c #Conflicts: 931000 | #Constraints: 44414
530.17/531.98 c #Conflicts: 932000 | #Constraints: 45414
530.17/531.98 c #Conflicts: 933000 | #Constraints: 46414
530.17/531.98 c #Conflicts: 934000 | #Constraints: 47414
530.17/531.98 c #Conflicts: 935000 | #Constraints: 48414
530.17/531.98 c #Conflicts: 936000 | #Constraints: 49414
530.17/531.98 c #Conflicts: 937000 | #Constraints: 50414
530.17/531.98 c #Conflicts: 938000 | #Constraints: 51414
530.17/531.98 c #Conflicts: 939000 | #Constraints: 52414
530.17/531.98 c #Conflicts: 940000 | #Constraints: 53414
530.17/531.98 c #Conflicts: 941000 | #Constraints: 54414
530.17/531.98 c INPROCESSING
530.17/531.98 c GARBAGE COLLECT
530.17/531.98 c #Conflicts: 942000 | #Constraints: 36220
530.17/531.98 c #Conflicts: 943000 | #Constraints: 37220
530.17/531.98 c #Conflicts: 944000 | #Constraints: 38220
530.17/531.98 c #Conflicts: 945000 | #Constraints: 39220
530.17/531.98 c #Conflicts: 946000 | #Constraints: 40220
530.17/531.98 c #Conflicts: 947000 | #Constraints: 41220
530.17/531.98 c #Conflicts: 948000 | #Constraints: 42220
530.17/531.98 c #Conflicts: 949000 | #Constraints: 43220
530.17/531.98 c #Conflicts: 950000 | #Constraints: 44220
530.17/531.98 c #Conflicts: 951000 | #Constraints: 45220
530.17/531.98 c #Conflicts: 952000 | #Constraints: 46220
530.17/531.98 c #Conflicts: 953000 | #Constraints: 47220
530.17/531.98 c #Conflicts: 954000 | #Constraints: 48220
530.17/531.98 c #Conflicts: 955000 | #Constraints: 49220
530.17/531.98 c #Conflicts: 956000 | #Constraints: 50220
530.17/531.98 c #Conflicts: 957000 | #Constraints: 51220
530.17/531.98 c #Conflicts: 958000 | #Constraints: 52220
530.17/531.98 c #Conflicts: 959000 | #Constraints: 53220
530.17/531.98 c #Conflicts: 960000 | #Constraints: 54220
530.17/531.98 c #Conflicts: 961000 | #Constraints: 55220
530.17/531.98 c INPROCESSING
530.17/531.98 c GARBAGE COLLECT
530.17/531.98 c #Conflicts: 962000 | #Constraints: 36832
530.17/531.98 c #Conflicts: 963000 | #Constraints: 37832
530.17/531.98 c #Conflicts: 964000 | #Constraints: 38832
530.17/531.98 c #Conflicts: 965000 | #Constraints: 39832
530.17/531.98 c #Conflicts: 966000 | #Constraints: 40832
530.17/531.98 c #Conflicts: 967000 | #Constraints: 41832
530.17/531.98 c #Conflicts: 968000 | #Constraints: 42832
530.17/531.98 c #Conflicts: 969000 | #Constraints: 43832
530.17/531.98 c #Conflicts: 970000 | #Constraints: 44832
530.17/531.98 c #Conflicts: 971000 | #Constraints: 45832
530.17/531.98 c #Conflicts: 972000 | #Constraints: 46832
530.17/531.98 c #Conflicts: 973000 | #Constraints: 47832
530.17/531.98 c #Conflicts: 974000 | #Constraints: 48832
530.17/531.98 c #Conflicts: 975000 | #Constraints: 49832
530.17/531.98 c #Conflicts: 976000 | #Constraints: 50832
530.17/531.98 c #Conflicts: 977000 | #Constraints: 51832
530.17/531.98 c #Conflicts: 978000 | #Constraints: 52832
530.17/531.98 c #Conflicts: 979000 | #Constraints: 53832
530.17/531.98 c #Conflicts: 980000 | #Constraints: 54832
554.69/556.50 c #Conflicts: 981000 | #Constraints: 55832
554.69/556.50 c INPROCESSING
554.69/556.50 c GARBAGE COLLECT
554.69/556.50 c #Conflicts: 982000 | #Constraints: 37222
554.69/556.50 c #Conflicts: 983000 | #Constraints: 38222
554.69/556.50 c #Conflicts: 984000 | #Constraints: 39222
554.69/556.50 c #Conflicts: 985000 | #Constraints: 40222
554.69/556.50 c #Conflicts: 986000 | #Constraints: 41222
554.69/556.50 c #Conflicts: 987000 | #Constraints: 42222
554.69/556.50 c #Conflicts: 988000 | #Constraints: 43222
554.69/556.50 c #Conflicts: 989000 | #Constraints: 44222
554.69/556.50 c #Conflicts: 990000 | #Constraints: 45222
554.69/556.50 c #Conflicts: 991000 | #Constraints: 46222
554.69/556.50 c #Conflicts: 992000 | #Constraints: 47222
554.69/556.50 c #Conflicts: 993000 | #Constraints: 48222
554.69/556.50 c #Conflicts: 994000 | #Constraints: 49222
554.69/556.50 c #Conflicts: 995000 | #Constraints: 50222
554.69/556.50 c #Conflicts: 996000 | #Constraints: 51222
554.69/556.50 c #Conflicts: 997000 | #Constraints: 52222
554.69/556.50 c #Conflicts: 998000 | #Constraints: 53222
554.69/556.50 c #Conflicts: 999000 | #Constraints: 54222
554.69/556.50 c #Conflicts: 1000000 | #Constraints: 55222
554.69/556.50 c #Conflicts: 1001000 | #Constraints: 56222
554.69/556.50 c INPROCESSING
554.69/556.50 c GARBAGE COLLECT
554.69/556.50 c #Conflicts: 1002000 | #Constraints: 37419
554.69/556.50 c #Conflicts: 1003000 | #Constraints: 38419
554.69/556.50 c #Conflicts: 1004000 | #Constraints: 39419
554.69/556.50 c #Conflicts: 1005000 | #Constraints: 40419
554.69/556.50 c #Conflicts: 1006000 | #Constraints: 41419
554.69/556.50 c #Conflicts: 1007000 | #Constraints: 42419
554.69/556.50 c #Conflicts: 1008000 | #Constraints: 43419
554.69/556.50 c #Conflicts: 1009000 | #Constraints: 44419
554.69/556.50 c #Conflicts: 1010000 | #Constraints: 45419
554.69/556.50 c #Conflicts: 1011000 | #Constraints: 46419
554.69/556.50 c #Conflicts: 1012000 | #Constraints: 47419
554.69/556.50 c #Conflicts: 1013000 | #Constraints: 48419
554.69/556.50 c #Conflicts: 1014000 | #Constraints: 49419
554.69/556.50 c #Conflicts: 1015000 | #Constraints: 50419
554.69/556.50 c #Conflicts: 1016000 | #Constraints: 51419
554.69/556.50 c #Conflicts: 1017000 | #Constraints: 52419
554.69/556.50 c #Conflicts: 1018000 | #Constraints: 53419
554.69/556.50 c #Conflicts: 1019000 | #Constraints: 54419
554.69/556.50 c #Conflicts: 1020000 | #Constraints: 55419
554.69/556.50 c #Conflicts: 1021000 | #Constraints: 56419
554.69/556.50 c INPROCESSING
554.69/556.50 c GARBAGE COLLECT
554.69/556.50 c #Conflicts: 1022000 | #Constraints: 37430
554.69/556.50 c #Conflicts: 1023000 | #Constraints: 38430
554.69/556.50 c #Conflicts: 1024000 | #Constraints: 39430
554.69/556.50 c #Conflicts: 1025000 | #Constraints: 40430
554.69/556.50 c #Conflicts: 1026000 | #Constraints: 41430
554.69/556.50 c #Conflicts: 1027000 | #Constraints: 42430
554.69/556.50 c #Conflicts: 1028000 | #Constraints: 43430
554.69/556.50 c #Conflicts: 1029000 | #Constraints: 44430
554.69/556.50 c #Conflicts: 1030000 | #Constraints: 45430
554.69/556.50 c #Conflicts: 1031000 | #Constraints: 46430
554.69/556.50 c #Conflicts: 1032000 | #Constraints: 47430
554.69/556.50 c #Conflicts: 1033000 | #Constraints: 48430
554.69/556.50 c #Conflicts: 1034000 | #Constraints: 49430
554.69/556.50 c #Conflicts: 1035000 | #Constraints: 50430
554.69/556.50 c #Conflicts: 1036000 | #Constraints: 51430
554.69/556.50 c #Conflicts: 1037000 | #Constraints: 52430
554.69/556.50 c #Conflicts: 1038000 | #Constraints: 53430
554.69/556.50 c #Conflicts: 1039000 | #Constraints: 54430
554.69/556.50 c #Conflicts: 1040000 | #Constraints: 55430
554.69/556.50 c #Conflicts: 1041000 | #Constraints: 56430
554.69/556.50 c INPROCESSING
554.69/556.50 c GARBAGE COLLECT
554.69/556.50 c #Conflicts: 1042000 | #Constraints: 37234
554.69/556.50 c #Conflicts: 1043000 | #Constraints: 38234
554.69/556.50 c #Conflicts: 1044000 | #Constraints: 39234
554.69/556.50 c #Conflicts: 1045000 | #Constraints: 40234
554.69/556.50 c #Conflicts: 1046000 | #Constraints: 41234
554.69/556.50 c #Conflicts: 1047000 | #Constraints: 42234
554.69/556.50 c #Conflicts: 1048000 | #Constraints: 43234
554.69/556.50 c #Conflicts: 1049000 | #Constraints: 44234
554.69/556.50 c #Conflicts: 1050000 | #Constraints: 45234
554.69/556.50 c #Conflicts: 1051000 | #Constraints: 46234
554.69/556.50 c #Conflicts: 1052000 | #Constraints: 47234
554.69/556.50 c #Conflicts: 1053000 | #Constraints: 48234
554.69/556.50 c #Conflicts: 1054000 | #Constraints: 49234
554.69/556.50 c #Conflicts: 1055000 | #Constraints: 50234
554.69/556.50 c #Conflicts: 1056000 | #Constraints: 51234
580.22/582.13 c #Conflicts: 1057000 | #Constraints: 52234
580.22/582.13 c #Conflicts: 1058000 | #Constraints: 53234
580.22/582.13 c #Conflicts: 1059000 | #Constraints: 54234
580.22/582.13 c #Conflicts: 1060000 | #Constraints: 55234
580.22/582.13 c #Conflicts: 1061000 | #Constraints: 56234
580.22/582.13 c #Conflicts: 1062000 | #Constraints: 57234
580.22/582.13 c INPROCESSING
580.22/582.13 c GARBAGE COLLECT
580.22/582.13 c #Conflicts: 1063000 | #Constraints: 37827
580.22/582.13 c #Conflicts: 1064000 | #Constraints: 38827
580.22/582.13 c #Conflicts: 1065000 | #Constraints: 39827
580.22/582.13 c #Conflicts: 1066000 | #Constraints: 40827
580.22/582.13 c #Conflicts: 1067000 | #Constraints: 41827
580.22/582.13 c #Conflicts: 1068000 | #Constraints: 42827
580.22/582.13 c #Conflicts: 1069000 | #Constraints: 43827
580.22/582.13 c #Conflicts: 1070000 | #Constraints: 44827
580.22/582.13 c #Conflicts: 1071000 | #Constraints: 45827
580.22/582.13 c #Conflicts: 1072000 | #Constraints: 46827
580.22/582.13 c #Conflicts: 1073000 | #Constraints: 47827
580.22/582.13 c #Conflicts: 1074000 | #Constraints: 48827
580.22/582.13 c #Conflicts: 1075000 | #Constraints: 49827
580.22/582.13 c #Conflicts: 1076000 | #Constraints: 50827
580.22/582.13 c #Conflicts: 1077000 | #Constraints: 51827
580.22/582.13 c #Conflicts: 1078000 | #Constraints: 52827
580.22/582.13 c #Conflicts: 1079000 | #Constraints: 53827
580.22/582.13 c #Conflicts: 1080000 | #Constraints: 54827
580.22/582.13 c #Conflicts: 1081000 | #Constraints: 55827
580.22/582.13 c #Conflicts: 1082000 | #Constraints: 56827
580.22/582.13 c #Conflicts: 1083000 | #Constraints: 57827
580.22/582.13 c INPROCESSING
580.22/582.13 c GARBAGE COLLECT
580.22/582.13 c #Conflicts: 1084000 | #Constraints: 38240
580.22/582.13 c #Conflicts: 1085000 | #Constraints: 39240
580.22/582.13 c #Conflicts: 1086000 | #Constraints: 40240
580.22/582.13 c #Conflicts: 1087000 | #Constraints: 41240
580.22/582.13 c #Conflicts: 1088000 | #Constraints: 42240
580.22/582.13 c #Conflicts: 1089000 | #Constraints: 43240
580.22/582.13 c #Conflicts: 1090000 | #Constraints: 44240
580.22/582.13 c #Conflicts: 1091000 | #Constraints: 45240
580.22/582.13 c #Conflicts: 1092000 | #Constraints: 46240
580.22/582.13 c #Conflicts: 1093000 | #Constraints: 47240
580.22/582.13 c #Conflicts: 1094000 | #Constraints: 48240
580.22/582.13 c #Conflicts: 1095000 | #Constraints: 49240
580.22/582.13 c #Conflicts: 1096000 | #Constraints: 50240
580.22/582.13 c #Conflicts: 1097000 | #Constraints: 51240
580.22/582.13 c #Conflicts: 1098000 | #Constraints: 52240
580.22/582.13 c #Conflicts: 1099000 | #Constraints: 53240
580.22/582.13 c #Conflicts: 1100000 | #Constraints: 54240
580.22/582.13 c #Conflicts: 1101000 | #Constraints: 55240
580.22/582.13 c #Conflicts: 1102000 | #Constraints: 56240
580.22/582.13 c #Conflicts: 1103000 | #Constraints: 57240
580.22/582.13 c #Conflicts: 1104000 | #Constraints: 58240
580.22/582.13 c INPROCESSING
580.22/582.13 c GARBAGE COLLECT
580.22/582.13 c #Conflicts: 1105000 | #Constraints: 38446
580.22/582.13 c #Conflicts: 1106000 | #Constraints: 39446
580.22/582.13 c #Conflicts: 1107000 | #Constraints: 40446
580.22/582.13 c #Conflicts: 1108000 | #Constraints: 41446
580.22/582.13 c #Conflicts: 1109000 | #Constraints: 42446
580.22/582.13 c #Conflicts: 1110000 | #Constraints: 43446
580.22/582.13 c #Conflicts: 1111000 | #Constraints: 44446
580.22/582.13 c #Conflicts: 1112000 | #Constraints: 45446
580.22/582.13 c #Conflicts: 1113000 | #Constraints: 46446
580.22/582.13 c #Conflicts: 1114000 | #Constraints: 47446
580.22/582.13 c #Conflicts: 1115000 | #Constraints: 48446
580.22/582.13 c #Conflicts: 1116000 | #Constraints: 49446
580.22/582.13 c #Conflicts: 1117000 | #Constraints: 50446
580.22/582.13 c #Conflicts: 1118000 | #Constraints: 51446
580.22/582.13 c #Conflicts: 1119000 | #Constraints: 52446
580.22/582.13 c #Conflicts: 1120000 | #Constraints: 53446
580.22/582.13 c #Conflicts: 1121000 | #Constraints: 54446
580.22/582.13 c #Conflicts: 1122000 | #Constraints: 55446
580.22/582.13 c #Conflicts: 1123000 | #Constraints: 56446
580.22/582.13 c #Conflicts: 1124000 | #Constraints: 57446
580.22/582.13 c #Conflicts: 1125000 | #Constraints: 58446
580.22/582.13 c INPROCESSING
580.22/582.13 c GARBAGE COLLECT
580.22/582.13 c #Conflicts: 1126000 | #Constraints: 38438
580.22/582.13 c #Conflicts: 1127000 | #Constraints: 39438
580.22/582.13 c #Conflicts: 1128000 | #Constraints: 40438
580.22/582.13 c #Conflicts: 1129000 | #Constraints: 41438
580.22/582.13 c #Conflicts: 1130000 | #Constraints: 42438
580.22/582.13 c #Conflicts: 1131000 | #Constraints: 43438
580.22/582.13 c #Conflicts: 1132000 | #Constraints: 44438
606.82/608.87 c #Conflicts: 1133000 | #Constraints: 45438
606.82/608.87 c #Conflicts: 1134000 | #Constraints: 46438
606.82/608.87 c #Conflicts: 1135000 | #Constraints: 47438
606.82/608.87 c #Conflicts: 1136000 | #Constraints: 48438
606.82/608.87 c #Conflicts: 1137000 | #Constraints: 49438
606.82/608.87 c #Conflicts: 1138000 | #Constraints: 50438
606.82/608.87 c #Conflicts: 1139000 | #Constraints: 51438
606.82/608.87 c #Conflicts: 1140000 | #Constraints: 52438
606.82/608.87 c #Conflicts: 1141000 | #Constraints: 53438
606.82/608.87 c #Conflicts: 1142000 | #Constraints: 54438
606.82/608.87 c #Conflicts: 1143000 | #Constraints: 55438
606.82/608.87 c #Conflicts: 1144000 | #Constraints: 56438
606.82/608.87 c #Conflicts: 1145000 | #Constraints: 57438
606.82/608.87 c #Conflicts: 1146000 | #Constraints: 58438
606.82/608.87 c INPROCESSING
606.82/608.87 c GARBAGE COLLECT
606.82/608.87 c #Conflicts: 1147000 | #Constraints: 38236
606.82/608.87 c #Conflicts: 1148000 | #Constraints: 39236
606.82/608.87 c #Conflicts: 1149000 | #Constraints: 40236
606.82/608.87 c #Conflicts: 1150000 | #Constraints: 41236
606.82/608.87 c #Conflicts: 1151000 | #Constraints: 42236
606.82/608.87 c #Conflicts: 1152000 | #Constraints: 43236
606.82/608.87 c #Conflicts: 1153000 | #Constraints: 44236
606.82/608.87 c #Conflicts: 1154000 | #Constraints: 45236
606.82/608.87 c #Conflicts: 1155000 | #Constraints: 46236
606.82/608.87 c #Conflicts: 1156000 | #Constraints: 47236
606.82/608.87 c #Conflicts: 1157000 | #Constraints: 48236
606.82/608.87 c #Conflicts: 1158000 | #Constraints: 49236
606.82/608.87 c #Conflicts: 1159000 | #Constraints: 50236
606.82/608.87 c #Conflicts: 1160000 | #Constraints: 51236
606.82/608.87 c #Conflicts: 1161000 | #Constraints: 52236
606.82/608.87 c #Conflicts: 1162000 | #Constraints: 53236
606.82/608.87 c #Conflicts: 1163000 | #Constraints: 54236
606.82/608.87 c #Conflicts: 1164000 | #Constraints: 55236
606.82/608.87 c #Conflicts: 1165000 | #Constraints: 56236
606.82/608.87 c #Conflicts: 1166000 | #Constraints: 57236
606.82/608.87 c #Conflicts: 1167000 | #Constraints: 58236
606.82/608.87 c #Conflicts: 1168000 | #Constraints: 59236
606.82/608.87 c INPROCESSING
606.82/608.87 c GARBAGE COLLECT
606.82/608.87 c #Conflicts: 1169000 | #Constraints: 38835
606.82/608.87 c #Conflicts: 1170000 | #Constraints: 39835
606.82/608.87 c #Conflicts: 1171000 | #Constraints: 40835
606.82/608.87 c #Conflicts: 1172000 | #Constraints: 41835
606.82/608.87 c #Conflicts: 1173000 | #Constraints: 42835
606.82/608.87 c #Conflicts: 1174000 | #Constraints: 43835
606.82/608.87 c #Conflicts: 1175000 | #Constraints: 44835
606.82/608.87 c #Conflicts: 1176000 | #Constraints: 45835
606.82/608.87 c #Conflicts: 1177000 | #Constraints: 46835
606.82/608.87 c #Conflicts: 1178000 | #Constraints: 47835
606.82/608.87 c #Conflicts: 1179000 | #Constraints: 48835
606.82/608.87 c #Conflicts: 1180000 | #Constraints: 49835
606.82/608.87 c #Conflicts: 1181000 | #Constraints: 50835
606.82/608.87 c #Conflicts: 1182000 | #Constraints: 51835
606.82/608.87 c #Conflicts: 1183000 | #Constraints: 52835
606.82/608.87 c #Conflicts: 1184000 | #Constraints: 53835
606.82/608.87 c #Conflicts: 1185000 | #Constraints: 54835
606.82/608.87 c #Conflicts: 1186000 | #Constraints: 55835
606.82/608.87 c #Conflicts: 1187000 | #Constraints: 56835
606.82/608.87 c #Conflicts: 1188000 | #Constraints: 57835
606.82/608.87 c #Conflicts: 1189000 | #Constraints: 58835
606.82/608.87 c #Conflicts: 1190000 | #Constraints: 59835
606.82/608.87 c INPROCESSING
606.82/608.87 c GARBAGE COLLECT
606.82/608.87 c #Conflicts: 1191000 | #Constraints: 39250
606.82/608.87 c #Conflicts: 1192000 | #Constraints: 40250
606.82/608.87 c #Conflicts: 1193000 | #Constraints: 41250
606.82/608.87 c #Conflicts: 1194000 | #Constraints: 42250
606.82/608.87 c #Conflicts: 1195000 | #Constraints: 43250
606.82/608.87 c #Conflicts: 1196000 | #Constraints: 44250
606.82/608.87 c #Conflicts: 1197000 | #Constraints: 45250
606.82/608.87 c #Conflicts: 1198000 | #Constraints: 46250
606.82/608.87 c #Conflicts: 1199000 | #Constraints: 47250
606.82/608.87 c #Conflicts: 1200000 | #Constraints: 48250
606.82/608.87 c #Conflicts: 1201000 | #Constraints: 49250
606.82/608.87 c #Conflicts: 1202000 | #Constraints: 50250
606.82/608.87 c #Conflicts: 1203000 | #Constraints: 51250
606.82/608.87 c #Conflicts: 1204000 | #Constraints: 52250
606.82/608.87 c #Conflicts: 1205000 | #Constraints: 53250
606.82/608.87 c #Conflicts: 1206000 | #Constraints: 54250
606.82/608.87 c #Conflicts: 1207000 | #Constraints: 55250
606.82/608.87 c #Conflicts: 1208000 | #Constraints: 56250
606.82/608.87 c #Conflicts: 1209000 | #Constraints: 57250
633.63/635.72 c #Conflicts: 1210000 | #Constraints: 58250
633.63/635.72 c #Conflicts: 1211000 | #Constraints: 59250
633.63/635.72 c #Conflicts: 1212000 | #Constraints: 60250
633.63/635.72 c INPROCESSING
633.63/635.72 c GARBAGE COLLECT
633.63/635.72 c #Conflicts: 1213000 | #Constraints: 39445
633.63/635.72 c #Conflicts: 1214000 | #Constraints: 40445
633.63/635.72 c #Conflicts: 1215000 | #Constraints: 41445
633.63/635.72 c #Conflicts: 1216000 | #Constraints: 42445
633.63/635.72 c #Conflicts: 1217000 | #Constraints: 43445
633.63/635.72 c #Conflicts: 1218000 | #Constraints: 44445
633.63/635.72 c #Conflicts: 1219000 | #Constraints: 45445
633.63/635.72 c #Conflicts: 1220000 | #Constraints: 46445
633.63/635.72 c #Conflicts: 1221000 | #Constraints: 47445
633.63/635.72 c #Conflicts: 1222000 | #Constraints: 48445
633.63/635.72 c #Conflicts: 1223000 | #Constraints: 49445
633.63/635.72 c #Conflicts: 1224000 | #Constraints: 50445
633.63/635.72 c #Conflicts: 1225000 | #Constraints: 51445
633.63/635.72 c #Conflicts: 1226000 | #Constraints: 52445
633.63/635.72 c #Conflicts: 1227000 | #Constraints: 53445
633.63/635.72 c #Conflicts: 1228000 | #Constraints: 54445
633.63/635.72 c #Conflicts: 1229000 | #Constraints: 55445
633.63/635.72 c #Conflicts: 1230000 | #Constraints: 56445
633.63/635.72 c #Conflicts: 1231000 | #Constraints: 57445
633.63/635.72 c #Conflicts: 1232000 | #Constraints: 58445
633.63/635.72 c #Conflicts: 1233000 | #Constraints: 59445
633.63/635.72 c #Conflicts: 1234000 | #Constraints: 60445
633.63/635.72 c INPROCESSING
633.63/635.72 c GARBAGE COLLECT
633.63/635.72 c #Conflicts: 1235000 | #Constraints: 39444
633.63/635.72 c #Conflicts: 1236000 | #Constraints: 40444
633.63/635.72 c #Conflicts: 1237000 | #Constraints: 41444
633.63/635.72 c #Conflicts: 1238000 | #Constraints: 42444
633.63/635.72 c #Conflicts: 1239000 | #Constraints: 43444
633.63/635.72 c #Conflicts: 1240000 | #Constraints: 44444
633.63/635.72 c #Conflicts: 1241000 | #Constraints: 45444
633.63/635.72 c #Conflicts: 1242000 | #Constraints: 46444
633.63/635.72 c #Conflicts: 1243000 | #Constraints: 47444
633.63/635.72 c #Conflicts: 1244000 | #Constraints: 48444
633.63/635.72 c #Conflicts: 1245000 | #Constraints: 49444
633.63/635.72 c #Conflicts: 1246000 | #Constraints: 50444
633.63/635.72 c #Conflicts: 1247000 | #Constraints: 51444
633.63/635.72 c #Conflicts: 1248000 | #Constraints: 52444
633.63/635.72 c #Conflicts: 1249000 | #Constraints: 53444
633.63/635.72 c #Conflicts: 1250000 | #Constraints: 54444
633.63/635.72 c #Conflicts: 1251000 | #Constraints: 55444
633.63/635.72 c #Conflicts: 1252000 | #Constraints: 56444
633.63/635.72 c #Conflicts: 1253000 | #Constraints: 57444
633.63/635.72 c #Conflicts: 1254000 | #Constraints: 58444
633.63/635.72 c #Conflicts: 1255000 | #Constraints: 59444
633.63/635.72 c #Conflicts: 1256000 | #Constraints: 60444
633.63/635.72 c INPROCESSING
633.63/635.72 c GARBAGE COLLECT
633.63/635.72 c #Conflicts: 1257000 | #Constraints: 39244
633.63/635.72 c #Conflicts: 1258000 | #Constraints: 40244
633.63/635.72 c #Conflicts: 1259000 | #Constraints: 41244
633.63/635.72 c #Conflicts: 1260000 | #Constraints: 42244
633.63/635.72 c #Conflicts: 1261000 | #Constraints: 43244
633.63/635.72 c #Conflicts: 1262000 | #Constraints: 44244
633.63/635.72 c #Conflicts: 1263000 | #Constraints: 45244
633.63/635.72 c #Conflicts: 1264000 | #Constraints: 46244
633.63/635.72 c #Conflicts: 1265000 | #Constraints: 47244
633.63/635.72 c #Conflicts: 1266000 | #Constraints: 48244
633.63/635.72 c #Conflicts: 1267000 | #Constraints: 49244
633.63/635.72 c #Conflicts: 1268000 | #Constraints: 50244
633.63/635.72 c #Conflicts: 1269000 | #Constraints: 51244
633.63/635.72 c #Conflicts: 1270000 | #Constraints: 52244
633.63/635.72 c #Conflicts: 1271000 | #Constraints: 53244
633.63/635.72 c #Conflicts: 1272000 | #Constraints: 54244
633.63/635.72 c #Conflicts: 1273000 | #Constraints: 55244
633.63/635.72 c #Conflicts: 1274000 | #Constraints: 56244
633.63/635.72 c #Conflicts: 1275000 | #Constraints: 57244
633.63/635.72 c #Conflicts: 1276000 | #Constraints: 58244
633.63/635.72 c #Conflicts: 1277000 | #Constraints: 59244
633.63/635.72 c #Conflicts: 1278000 | #Constraints: 60244
633.63/635.72 c #Conflicts: 1279000 | #Constraints: 61244
633.63/635.72 c INPROCESSING
633.63/635.72 c GARBAGE COLLECT
633.63/635.72 c #Conflicts: 1280000 | #Constraints: 39828
633.63/635.72 c #Conflicts: 1281000 | #Constraints: 40828
633.63/635.72 c #Conflicts: 1282000 | #Constraints: 41828
633.63/635.72 c #Conflicts: 1283000 | #Constraints: 42828
633.63/635.72 c #Conflicts: 1284000 | #Constraints: 43828
633.63/635.72 c #Conflicts: 1285000 | #Constraints: 44828
661.44/663.65 c #Conflicts: 1286000 | #Constraints: 45828
661.44/663.65 c #Conflicts: 1287000 | #Constraints: 46828
661.44/663.65 c #Conflicts: 1288000 | #Constraints: 47828
661.44/663.65 c #Conflicts: 1289000 | #Constraints: 48828
661.44/663.65 c #Conflicts: 1290000 | #Constraints: 49828
661.44/663.65 c #Conflicts: 1291000 | #Constraints: 50828
661.44/663.65 c #Conflicts: 1292000 | #Constraints: 51828
661.44/663.65 c #Conflicts: 1293000 | #Constraints: 52828
661.44/663.65 c #Conflicts: 1294000 | #Constraints: 53828
661.44/663.65 c #Conflicts: 1295000 | #Constraints: 54828
661.44/663.65 c #Conflicts: 1296000 | #Constraints: 55828
661.44/663.65 c #Conflicts: 1297000 | #Constraints: 56828
661.44/663.65 c #Conflicts: 1298000 | #Constraints: 57828
661.44/663.65 c #Conflicts: 1299000 | #Constraints: 58828
661.44/663.65 c #Conflicts: 1300000 | #Constraints: 59828
661.44/663.65 c #Conflicts: 1301000 | #Constraints: 60828
661.44/663.65 c #Conflicts: 1302000 | #Constraints: 61828
661.44/663.65 c INPROCESSING
661.44/663.65 c GARBAGE COLLECT
661.44/663.65 c #Conflicts: 1303000 | #Constraints: 40238
661.44/663.65 c #Conflicts: 1304000 | #Constraints: 41238
661.44/663.65 c #Conflicts: 1305000 | #Constraints: 42238
661.44/663.65 c #Conflicts: 1306000 | #Constraints: 43238
661.44/663.65 c #Conflicts: 1307000 | #Constraints: 44238
661.44/663.65 c #Conflicts: 1308000 | #Constraints: 45238
661.44/663.65 c #Conflicts: 1309000 | #Constraints: 46238
661.44/663.65 c #Conflicts: 1310000 | #Constraints: 47238
661.44/663.65 c #Conflicts: 1311000 | #Constraints: 48238
661.44/663.65 c #Conflicts: 1312000 | #Constraints: 49238
661.44/663.65 c #Conflicts: 1313000 | #Constraints: 50238
661.44/663.65 c #Conflicts: 1314000 | #Constraints: 51238
661.44/663.65 c #Conflicts: 1315000 | #Constraints: 52238
661.44/663.65 c #Conflicts: 1316000 | #Constraints: 53238
661.44/663.65 c #Conflicts: 1317000 | #Constraints: 54238
661.44/663.65 c #Conflicts: 1318000 | #Constraints: 55238
661.44/663.65 c #Conflicts: 1319000 | #Constraints: 56238
661.44/663.65 c #Conflicts: 1320000 | #Constraints: 57238
661.44/663.65 c #Conflicts: 1321000 | #Constraints: 58238
661.44/663.65 c #Conflicts: 1322000 | #Constraints: 59238
661.44/663.65 c #Conflicts: 1323000 | #Constraints: 60238
661.44/663.65 c #Conflicts: 1324000 | #Constraints: 61238
661.44/663.65 c #Conflicts: 1325000 | #Constraints: 62238
661.44/663.65 c INPROCESSING
661.44/663.65 c GARBAGE COLLECT
661.44/663.65 c #Conflicts: 1326000 | #Constraints: 40441
661.44/663.65 c #Conflicts: 1327000 | #Constraints: 41441
661.44/663.65 c #Conflicts: 1328000 | #Constraints: 42441
661.44/663.65 c #Conflicts: 1329000 | #Constraints: 43441
661.44/663.65 c #Conflicts: 1330000 | #Constraints: 44441
661.44/663.65 c #Conflicts: 1331000 | #Constraints: 45441
661.44/663.65 c #Conflicts: 1332000 | #Constraints: 46441
661.44/663.65 c #Conflicts: 1333000 | #Constraints: 47441
661.44/663.65 c #Conflicts: 1334000 | #Constraints: 48441
661.44/663.65 c #Conflicts: 1335000 | #Constraints: 49441
661.44/663.65 c #Conflicts: 1336000 | #Constraints: 50441
661.44/663.65 c #Conflicts: 1337000 | #Constraints: 51441
661.44/663.65 c #Conflicts: 1338000 | #Constraints: 52441
661.44/663.65 c #Conflicts: 1339000 | #Constraints: 53441
661.44/663.65 c #Conflicts: 1340000 | #Constraints: 54441
661.44/663.65 c #Conflicts: 1341000 | #Constraints: 55441
661.44/663.65 c #Conflicts: 1342000 | #Constraints: 56441
661.44/663.65 c #Conflicts: 1343000 | #Constraints: 57441
661.44/663.65 c #Conflicts: 1344000 | #Constraints: 58441
661.44/663.65 c #Conflicts: 1345000 | #Constraints: 59441
661.44/663.65 c #Conflicts: 1346000 | #Constraints: 60441
661.44/663.65 c #Conflicts: 1347000 | #Constraints: 61441
661.44/663.65 c #Conflicts: 1348000 | #Constraints: 62441
661.44/663.65 c INPROCESSING
661.44/663.65 c GARBAGE COLLECT
661.44/663.65 c #Conflicts: 1349000 | #Constraints: 40419
661.44/663.65 c #Conflicts: 1350000 | #Constraints: 41419
661.44/663.65 c #Conflicts: 1351000 | #Constraints: 42419
661.44/663.65 c #Conflicts: 1352000 | #Constraints: 43419
661.44/663.65 c #Conflicts: 1353000 | #Constraints: 44419
661.44/663.65 c #Conflicts: 1354000 | #Constraints: 45419
661.44/663.65 c #Conflicts: 1355000 | #Constraints: 46419
661.44/663.65 c #Conflicts: 1356000 | #Constraints: 47419
661.44/663.65 c #Conflicts: 1357000 | #Constraints: 48419
661.44/663.65 c #Conflicts: 1358000 | #Constraints: 49419
661.44/663.65 c #Conflicts: 1359000 | #Constraints: 50419
661.44/663.65 c #Conflicts: 1360000 | #Constraints: 51419
661.44/663.65 c #Conflicts: 1361000 | #Constraints: 52419
661.44/663.65 c #Conflicts: 1362000 | #Constraints: 53419
690.75/693.05 c #Conflicts: 1363000 | #Constraints: 54419
690.75/693.05 c #Conflicts: 1364000 | #Constraints: 55419
690.75/693.05 c #Conflicts: 1365000 | #Constraints: 56419
690.75/693.05 c #Conflicts: 1366000 | #Constraints: 57419
690.75/693.05 c #Conflicts: 1367000 | #Constraints: 58419
690.75/693.05 c #Conflicts: 1368000 | #Constraints: 59419
690.75/693.05 c #Conflicts: 1369000 | #Constraints: 60419
690.75/693.05 c #Conflicts: 1370000 | #Constraints: 61419
690.75/693.05 c #Conflicts: 1371000 | #Constraints: 62419
690.75/693.05 c INPROCESSING
690.75/693.05 c GARBAGE COLLECT
690.75/693.05 c #Conflicts: 1372000 | #Constraints: 40240
690.75/693.05 c #Conflicts: 1373000 | #Constraints: 41240
690.75/693.05 c #Conflicts: 1374000 | #Constraints: 42240
690.75/693.05 c #Conflicts: 1375000 | #Constraints: 43240
690.75/693.05 c #Conflicts: 1376000 | #Constraints: 44240
690.75/693.05 c #Conflicts: 1377000 | #Constraints: 45240
690.75/693.05 c #Conflicts: 1378000 | #Constraints: 46240
690.75/693.05 c #Conflicts: 1379000 | #Constraints: 47240
690.75/693.05 c #Conflicts: 1380000 | #Constraints: 48240
690.75/693.05 c #Conflicts: 1381000 | #Constraints: 49240
690.75/693.05 c #Conflicts: 1382000 | #Constraints: 50240
690.75/693.05 c #Conflicts: 1383000 | #Constraints: 51240
690.75/693.05 c #Conflicts: 1384000 | #Constraints: 52240
690.75/693.05 c #Conflicts: 1385000 | #Constraints: 53240
690.75/693.05 c #Conflicts: 1386000 | #Constraints: 54240
690.75/693.05 c #Conflicts: 1387000 | #Constraints: 55240
690.75/693.05 c #Conflicts: 1388000 | #Constraints: 56240
690.75/693.05 c #Conflicts: 1389000 | #Constraints: 57240
690.75/693.05 c #Conflicts: 1390000 | #Constraints: 58240
690.75/693.05 c #Conflicts: 1391000 | #Constraints: 59240
690.75/693.05 c #Conflicts: 1392000 | #Constraints: 60240
690.75/693.05 c #Conflicts: 1393000 | #Constraints: 61240
690.75/693.05 c #Conflicts: 1394000 | #Constraints: 62240
690.75/693.05 c #Conflicts: 1395000 | #Constraints: 63240
690.75/693.05 c INPROCESSING
690.75/693.05 c GARBAGE COLLECT
690.75/693.05 c #Conflicts: 1396000 | #Constraints: 40854
690.75/693.05 c #Conflicts: 1397000 | #Constraints: 41854
690.75/693.05 c #Conflicts: 1398000 | #Constraints: 42854
690.75/693.05 c #Conflicts: 1399000 | #Constraints: 43854
690.75/693.05 c #Conflicts: 1400000 | #Constraints: 44854
690.75/693.05 c #Conflicts: 1401000 | #Constraints: 45854
690.75/693.05 c #Conflicts: 1402000 | #Constraints: 46854
690.75/693.05 c #Conflicts: 1403000 | #Constraints: 47854
690.75/693.05 c #Conflicts: 1404000 | #Constraints: 48854
690.75/693.05 c #Conflicts: 1405000 | #Constraints: 49854
690.75/693.05 c #Conflicts: 1406000 | #Constraints: 50854
690.75/693.05 c #Conflicts: 1407000 | #Constraints: 51854
690.75/693.05 c #Conflicts: 1408000 | #Constraints: 52854
690.75/693.05 c #Conflicts: 1409000 | #Constraints: 53854
690.75/693.05 c #Conflicts: 1410000 | #Constraints: 54854
690.75/693.05 c #Conflicts: 1411000 | #Constraints: 55854
690.75/693.05 c #Conflicts: 1412000 | #Constraints: 56854
690.75/693.05 c #Conflicts: 1413000 | #Constraints: 57854
690.75/693.05 c #Conflicts: 1414000 | #Constraints: 58854
690.75/693.05 c #Conflicts: 1415000 | #Constraints: 59854
690.75/693.05 c #Conflicts: 1416000 | #Constraints: 60854
690.75/693.05 c #Conflicts: 1417000 | #Constraints: 61854
690.75/693.05 c #Conflicts: 1418000 | #Constraints: 62854
690.75/693.05 c #Conflicts: 1419000 | #Constraints: 63854
690.75/693.05 c INPROCESSING
690.75/693.05 c GARBAGE COLLECT
690.75/693.05 c #Conflicts: 1420000 | #Constraints: 41261
690.75/693.05 c #Conflicts: 1421000 | #Constraints: 42261
690.75/693.05 c #Conflicts: 1422000 | #Constraints: 43261
690.75/693.05 c #Conflicts: 1423000 | #Constraints: 44261
690.75/693.05 c #Conflicts: 1424000 | #Constraints: 45261
690.75/693.05 c #Conflicts: 1425000 | #Constraints: 46261
690.75/693.05 c #Conflicts: 1426000 | #Constraints: 47261
690.75/693.05 c #Conflicts: 1427000 | #Constraints: 48261
690.75/693.05 c #Conflicts: 1428000 | #Constraints: 49261
690.75/693.05 c #Conflicts: 1429000 | #Constraints: 50261
690.75/693.05 c #Conflicts: 1430000 | #Constraints: 51261
690.75/693.05 c #Conflicts: 1431000 | #Constraints: 52261
690.75/693.05 c #Conflicts: 1432000 | #Constraints: 53261
690.75/693.05 c #Conflicts: 1433000 | #Constraints: 54261
690.75/693.05 c #Conflicts: 1434000 | #Constraints: 55261
690.75/693.05 c #Conflicts: 1435000 | #Constraints: 56261
690.75/693.05 c #Conflicts: 1436000 | #Constraints: 57261
690.75/693.05 c #Conflicts: 1437000 | #Constraints: 58261
690.75/693.05 c #Conflicts: 1438000 | #Constraints: 59261
690.75/693.05 c #Conflicts: 1439000 | #Constraints: 60261
706.59/708.91 c #Conflicts: 1440000 | #Constraints: 61261
706.59/708.91 c #Conflicts: 1441000 | #Constraints: 62261
706.59/708.91 c #Conflicts: 1442000 | #Constraints: 63261
706.59/708.91 c #Conflicts: 1443000 | #Constraints: 64261
706.59/708.91 c INPROCESSING
706.59/708.91 c GARBAGE COLLECT
706.59/708.91 c #Conflicts: 1444000 | #Constraints: 41446
706.59/708.91 c #Conflicts: 1445000 | #Constraints: 42446
706.59/708.91 c #Conflicts: 1446000 | #Constraints: 43446
706.59/708.91 c #Conflicts: 1447000 | #Constraints: 44446
706.59/708.91 c #Conflicts: 1448000 | #Constraints: 45446
706.59/708.91 c #Conflicts: 1449000 | #Constraints: 46446
706.59/708.91 c #Conflicts: 1450000 | #Constraints: 47446
706.59/708.91 c #Conflicts: 1451000 | #Constraints: 48446
706.59/708.91 c #Conflicts: 1452000 | #Constraints: 49446
706.59/708.91 c #Conflicts: 1453000 | #Constraints: 50446
706.59/708.91 c #Conflicts: 1454000 | #Constraints: 51446
706.59/708.91 c #Conflicts: 1455000 | #Constraints: 52446
706.59/708.91 c #Conflicts: 1456000 | #Constraints: 53446
706.59/708.91 c #Conflicts: 1457000 | #Constraints: 54446
706.59/708.91 c #Conflicts: 1458000 | #Constraints: 55446
706.59/708.91 c #Conflicts: 1459000 | #Constraints: 56446
706.59/708.91 c #Conflicts: 1460000 | #Constraints: 57446
706.59/708.91 c #Conflicts: 1461000 | #Constraints: 58446
706.59/708.91 c #Conflicts: 1462000 | #Constraints: 59446
706.59/708.91 c #Conflicts: 1463000 | #Constraints: 60446
706.59/708.91 c #Conflicts: 1464000 | #Constraints: 61446
706.59/708.91 c #Conflicts: 1465000 | #Constraints: 62446
706.59/708.91 c #Conflicts: 1466000 | #Constraints: 63446
706.59/708.91 c #Conflicts: 1467000 | #Constraints: 64446
706.59/708.91 c INPROCESSING
706.59/708.91 c GARBAGE COLLECT
706.59/708.91 c #Conflicts: 1468000 | #Constraints: 41463
706.59/708.91 c #Conflicts: 1469000 | #Constraints: 42463
706.59/708.91 c #Conflicts: 1470000 | #Constraints: 43463
706.59/708.91 c #Conflicts: 1471000 | #Constraints: 44463
706.59/708.91 c #Conflicts: 1472000 | #Constraints: 45463
706.59/708.91 c #Conflicts: 1473000 | #Constraints: 46463
706.59/708.91 c #Conflicts: 1474000 | #Constraints: 47463
706.59/708.91 c #Conflicts: 1475000 | #Constraints: 48463
706.59/708.91 c #Conflicts: 1476000 | #Constraints: 49463
706.59/708.91 c #Conflicts: 1477000 | #Constraints: 50463
706.59/708.91 c #Conflicts: 1478000 | #Constraints: 51463
706.59/708.91 c #Conflicts: 1479000 | #Constraints: 52463
706.59/708.91 c bounds 178 >= 26 @ 700.457
706.59/708.91 c #Conflicts: 1480000 | #Constraints: 53464
706.59/708.91 c finalizing WCE round: reformulating cores
940.09/943.24 c bounds 176 >= 26 @ 700.987
940.09/943.24 c #Conflicts: 1481000 | #Constraints: 54467
940.09/943.24 c #Conflicts: 1482000 | #Constraints: 55467
940.09/943.24 c #Conflicts: 1483000 | #Constraints: 56467
940.09/943.24 c #Conflicts: 1484000 | #Constraints: 57467
940.09/943.24 c #Conflicts: 1485000 | #Constraints: 58467
940.09/943.24 c #Conflicts: 1486000 | #Constraints: 59467
940.09/943.24 c #Conflicts: 1487000 | #Constraints: 60467
940.09/943.24 c #Conflicts: 1488000 | #Constraints: 61467
940.09/943.24 c #Conflicts: 1489000 | #Constraints: 62467
940.09/943.24 c #Conflicts: 1490000 | #Constraints: 63467
940.09/943.24 c #Conflicts: 1491000 | #Constraints: 64467
940.09/943.24 c INPROCESSING
940.09/943.24 c GARBAGE COLLECT
940.09/943.24 c #Conflicts: 1492000 | #Constraints: 41236
940.09/943.24 c #Conflicts: 1493000 | #Constraints: 42236
940.09/943.24 c #Conflicts: 1494000 | #Constraints: 43236
940.09/943.24 c #Conflicts: 1495000 | #Constraints: 44236
940.09/943.24 c #Conflicts: 1496000 | #Constraints: 45236
940.09/943.24 c #Conflicts: 1497000 | #Constraints: 46236
940.09/943.24 c #Conflicts: 1498000 | #Constraints: 47236
940.09/943.24 c #Conflicts: 1499000 | #Constraints: 48236
940.09/943.24 c #Conflicts: 1500000 | #Constraints: 49236
940.09/943.24 c #Conflicts: 1501000 | #Constraints: 50236
940.09/943.24 c #Conflicts: 1502000 | #Constraints: 51236
940.09/943.24 c #Conflicts: 1503000 | #Constraints: 52236
940.09/943.24 c #Conflicts: 1504000 | #Constraints: 53236
940.09/943.24 c #Conflicts: 1505000 | #Constraints: 54236
940.09/943.24 c #Conflicts: 1506000 | #Constraints: 55236
940.09/943.24 c #Conflicts: 1507000 | #Constraints: 56236
940.09/943.24 c #Conflicts: 1508000 | #Constraints: 57236
940.09/943.24 c #Conflicts: 1509000 | #Constraints: 58236
940.09/943.24 c #Conflicts: 1510000 | #Constraints: 59236
940.09/943.24 c #Conflicts: 1511000 | #Constraints: 60236
940.09/943.24 c #Conflicts: 1512000 | #Constraints: 61236
940.09/943.24 c #Conflicts: 1513000 | #Constraints: 62236
940.09/943.24 c #Conflicts: 1514000 | #Constraints: 63236
940.09/943.24 c #Conflicts: 1515000 | #Constraints: 64236
940.09/943.24 c #Conflicts: 1516000 | #Constraints: 65236
940.09/943.24 c INPROCESSING
940.09/943.24 c GARBAGE COLLECT
940.09/943.24 c #Conflicts: 1517000 | #Constraints: 41840
940.09/943.24 c #Conflicts: 1518000 | #Constraints: 42840
940.09/943.24 c #Conflicts: 1519000 | #Constraints: 43840
940.09/943.24 c #Conflicts: 1520000 | #Constraints: 44840
940.09/943.24 c #Conflicts: 1521000 | #Constraints: 45840
940.09/943.24 c #Conflicts: 1522000 | #Constraints: 46840
940.09/943.24 c #Conflicts: 1523000 | #Constraints: 47840
940.09/943.24 c #Conflicts: 1524000 | #Constraints: 48840
940.09/943.24 c #Conflicts: 1525000 | #Constraints: 49840
940.09/943.24 c #Conflicts: 1526000 | #Constraints: 50840
940.09/943.24 c #Conflicts: 1527000 | #Constraints: 51840
940.09/943.24 c #Conflicts: 1528000 | #Constraints: 52840
940.09/943.24 c #Conflicts: 1529000 | #Constraints: 53840
940.09/943.24 c #Conflicts: 1530000 | #Constraints: 54840
940.09/943.24 c #Conflicts: 1531000 | #Constraints: 55840
940.09/943.24 c #Conflicts: 1532000 | #Constraints: 56840
940.09/943.24 c #Conflicts: 1533000 | #Constraints: 57840
940.09/943.24 c #Conflicts: 1534000 | #Constraints: 58840
940.09/943.24 c #Conflicts: 1535000 | #Constraints: 59840
940.09/943.24 c #Conflicts: 1536000 | #Constraints: 60840
940.09/943.24 c #Conflicts: 1537000 | #Constraints: 61840
940.09/943.24 c #Conflicts: 1538000 | #Constraints: 62840
940.09/943.24 c #Conflicts: 1539000 | #Constraints: 63840
940.09/943.24 c #Conflicts: 1540000 | #Constraints: 64840
940.09/943.24 c #Conflicts: 1541000 | #Constraints: 65840
940.09/943.24 c INPROCESSING
940.09/943.24 c GARBAGE COLLECT
940.09/943.24 c #Conflicts: 1542000 | #Constraints: 42235
940.09/943.24 c #Conflicts: 1543000 | #Constraints: 43235
940.09/943.24 c #Conflicts: 1544000 | #Constraints: 44235
940.09/943.24 c #Conflicts: 1545000 | #Constraints: 45235
940.09/943.24 c #Conflicts: 1546000 | #Constraints: 46235
940.09/943.24 c #Conflicts: 1547000 | #Constraints: 47235
940.09/943.24 c #Conflicts: 1548000 | #Constraints: 48235
940.09/943.24 c #Conflicts: 1549000 | #Constraints: 49235
940.09/943.24 c #Conflicts: 1550000 | #Constraints: 50235
940.09/943.24 c #Conflicts: 1551000 | #Constraints: 51235
940.09/943.24 c #Conflicts: 1552000 | #Constraints: 52235
940.09/943.24 c #Conflicts: 1553000 | #Constraints: 53235
940.09/943.24 c #Conflicts: 1554000 | #Constraints: 54235
940.09/943.24 c #Conflicts: 1555000 | #Constraints: 55235
940.09/943.24 c #Conflicts: 1556000 | #Constraints: 56235
940.09/943.24 c #Conflicts: 1557000 | #Constraints: 57235
1968.08/1974.58 c #Conflicts: 1558000 | #Constraints: 58235
1968.08/1974.58 c #Conflicts: 1559000 | #Constraints: 59235
1968.08/1974.58 c #Conflicts: 1560000 | #Constraints: 60235
1968.08/1974.58 c #Conflicts: 1561000 | #Constraints: 61235
1968.08/1974.58 c #Conflicts: 1562000 | #Constraints: 62235
1968.08/1974.58 c #Conflicts: 1563000 | #Constraints: 63235
1968.08/1974.58 c #Conflicts: 1564000 | #Constraints: 64235
1968.08/1974.58 c #Conflicts: 1565000 | #Constraints: 65235
1968.08/1974.58 c #Conflicts: 1566000 | #Constraints: 66235
1968.08/1974.58 c INPROCESSING
1968.08/1974.58 c GARBAGE COLLECT
1968.08/1974.58 c #Conflicts: 1567000 | #Constraints: 42439
1968.08/1974.58 c #Conflicts: 1568000 | #Constraints: 43439
1968.08/1974.58 c #Conflicts: 1569000 | #Constraints: 44439
1968.08/1974.58 c #Conflicts: 1570000 | #Constraints: 45439
1968.08/1974.58 c #Conflicts: 1571000 | #Constraints: 46439
1968.08/1974.58 c #Conflicts: 1572000 | #Constraints: 47439
1968.08/1974.58 c #Conflicts: 1573000 | #Constraints: 48439
1968.08/1974.58 c #Conflicts: 1574000 | #Constraints: 49439
1968.08/1974.58 c #Conflicts: 1575000 | #Constraints: 50439
1968.08/1974.58 c #Conflicts: 1576000 | #Constraints: 51439
1968.08/1974.58 c #Conflicts: 1577000 | #Constraints: 52439
1968.08/1974.58 c #Conflicts: 1578000 | #Constraints: 53439
1968.08/1974.58 c #Conflicts: 1579000 | #Constraints: 54439
1968.08/1974.58 c #Conflicts: 1580000 | #Constraints: 55439
1968.08/1974.58 c #Conflicts: 1581000 | #Constraints: 56439
1968.08/1974.58 c #Conflicts: 1582000 | #Constraints: 57439
1968.08/1974.58 c #Conflicts: 1583000 | #Constraints: 58439
1968.08/1974.58 c #Conflicts: 1584000 | #Constraints: 59439
1968.08/1974.58 c #Conflicts: 1585000 | #Constraints: 60439
1968.08/1974.58 c #Conflicts: 1586000 | #Constraints: 61439
1968.08/1974.58 c #Conflicts: 1587000 | #Constraints: 62439
1968.08/1974.58 c #Conflicts: 1588000 | #Constraints: 63439
1968.08/1974.58 c #Conflicts: 1589000 | #Constraints: 64439
1968.08/1974.58 c #Conflicts: 1590000 | #Constraints: 65439
1968.08/1974.58 c #Conflicts: 1591000 | #Constraints: 66439
1968.08/1974.58 c INPROCESSING
1968.08/1974.58 c GARBAGE COLLECT
1968.08/1974.58 c #Conflicts: 1592000 | #Constraints: 42446
1968.08/1974.58 c #Conflicts: 1593000 | #Constraints: 43446
1968.08/1974.58 c #Conflicts: 1594000 | #Constraints: 44446
1968.08/1974.58 c #Conflicts: 1595000 | #Constraints: 45446
1968.08/1974.58 c #Conflicts: 1596000 | #Constraints: 46446
1968.08/1974.58 c #Conflicts: 1597000 | #Constraints: 47446
1968.08/1974.58 c #Conflicts: 1598000 | #Constraints: 48446
1968.08/1974.58 c #Conflicts: 1599000 | #Constraints: 49446
1968.08/1974.58 c #Conflicts: 1600000 | #Constraints: 50446
1968.08/1974.58 c #Conflicts: 1601000 | #Constraints: 51446
1968.08/1974.58 c #Conflicts: 1602000 | #Constraints: 52446
1968.08/1974.58 c #Conflicts: 1603000 | #Constraints: 53446
1968.08/1974.58 c #Conflicts: 1604000 | #Constraints: 54446
1968.08/1974.58 c #Conflicts: 1605000 | #Constraints: 55446
1968.08/1974.58 c #Conflicts: 1606000 | #Constraints: 56446
1968.08/1974.58 c #Conflicts: 1607000 | #Constraints: 57446
1968.08/1974.58 c #Conflicts: 1608000 | #Constraints: 58446
1968.08/1974.58 c #Conflicts: 1609000 | #Constraints: 59446
1968.08/1974.58 c #Conflicts: 1610000 | #Constraints: 60446
1968.08/1974.58 c #Conflicts: 1611000 | #Constraints: 61446
1968.08/1974.58 c #Conflicts: 1612000 | #Constraints: 62446
1968.08/1974.58 c #Conflicts: 1613000 | #Constraints: 63446
1968.08/1974.58 c #Conflicts: 1614000 | #Constraints: 64446
1968.08/1974.58 c #Conflicts: 1615000 | #Constraints: 65446
1968.08/1974.58 c #Conflicts: 1616000 | #Constraints: 66446
1968.08/1974.58 c INPROCESSING
1968.08/1974.58 c GARBAGE COLLECT
1968.08/1974.58 c #Conflicts: 1617000 | #Constraints: 42251
1968.08/1974.58 c #Conflicts: 1618000 | #Constraints: 43251
1968.08/1974.58 c #Conflicts: 1619000 | #Constraints: 44251
1968.08/1974.58 c #Conflicts: 1620000 | #Constraints: 45251
1968.08/1974.58 c #Conflicts: 1621000 | #Constraints: 46251
1968.08/1974.58 c #Conflicts: 1622000 | #Constraints: 47251
1968.08/1974.58 c #Conflicts: 1623000 | #Constraints: 48251
1968.08/1974.58 c #Conflicts: 1624000 | #Constraints: 49251
1968.08/1974.58 c #Conflicts: 1625000 | #Constraints: 50251
1968.08/1974.58 c #Conflicts: 1626000 | #Constraints: 51251
1968.08/1974.58 c #Conflicts: 1627000 | #Constraints: 52251
1968.08/1974.58 c #Conflicts: 1628000 | #Constraints: 53251
1968.08/1974.58 c #Conflicts: 1629000 | #Constraints: 54251
1968.08/1974.58 c #Conflicts: 1630000 | #Constraints: 55251
1968.08/1974.58 c #Conflicts: 1631000 | #Constraints: 56251
1968.08/1974.58 c #Conflicts: 1632000 | #Constraints: 57251
1968.08/1974.58 c #Conflicts: 1633000 | #Constraints: 58251
1968.08/1974.58 c #Conflicts: 1634000 | #Constraints: 59251
3600.00/3611.30 c #Conflicts: 1635000 | #Constraints: 60251
3600.00/3611.30 c #Conflicts: 1636000 | #Constraints: 61251
3600.00/3611.30 c #Conflicts: 1637000 | #Constraints: 62251
3600.00/3611.30 c #Conflicts: 1638000 | #Constraints: 63251
3600.00/3611.30 c #Conflicts: 1639000 | #Constraints: 64251
3600.00/3611.30 c #Conflicts: 1640000 | #Constraints: 65251
3600.00/3611.30 c #Conflicts: 1641000 | #Constraints: 66251
3600.00/3611.30 c #Conflicts: 1642000 | #Constraints: 67251
3600.00/3611.30 c INPROCESSING
3600.00/3611.30 c GARBAGE COLLECT
3600.00/3611.30 c #Conflicts: 1643000 | #Constraints: 42858
3600.00/3611.30 c #Conflicts: 1644000 | #Constraints: 43858
3600.00/3611.30 c #Conflicts: 1645000 | #Constraints: 44858
3600.00/3611.30 c #Conflicts: 1646000 | #Constraints: 45858
3600.00/3611.30 c #Conflicts: 1647000 | #Constraints: 46858
3600.00/3611.30 c #Conflicts: 1648000 | #Constraints: 47858
3600.00/3611.30 c #Conflicts: 1649000 | #Constraints: 48858
3600.00/3611.30 c #Conflicts: 1650000 | #Constraints: 49858
3600.00/3611.30 c #Conflicts: 1651000 | #Constraints: 50858
3600.00/3611.30 c #Conflicts: 1652000 | #Constraints: 51858
3600.00/3611.30 c #Conflicts: 1653000 | #Constraints: 52858
3600.00/3611.30 c #Conflicts: 1654000 | #Constraints: 53858
3600.00/3611.30 c #Conflicts: 1655000 | #Constraints: 54858
3600.00/3611.30 c #Conflicts: 1656000 | #Constraints: 55858
3600.00/3611.30 c #Conflicts: 1657000 | #Constraints: 56858
3600.00/3611.30 c #Conflicts: 1658000 | #Constraints: 57858
3600.00/3611.30 c #Conflicts: 1659000 | #Constraints: 58858
3600.00/3611.30 c #Conflicts: 1660000 | #Constraints: 59858
3600.00/3611.30 c #Conflicts: 1661000 | #Constraints: 60858
3600.00/3611.30 c #Conflicts: 1662000 | #Constraints: 61858
3600.00/3611.30 c #Conflicts: 1663000 | #Constraints: 62858
3600.00/3611.30 c #Conflicts: 1664000 | #Constraints: 63858
3600.00/3611.30 c #Conflicts: 1665000 | #Constraints: 64858
3600.00/3611.30 c #Conflicts: 1666000 | #Constraints: 65858
3600.00/3611.30 c #Conflicts: 1667000 | #Constraints: 66858
3600.00/3611.30 c #Conflicts: 1668000 | #Constraints: 67858
3600.00/3611.30 c #Conflicts: 1669000 | #Constraints: 68858
3600.00/3611.30 c #Conflicts: 1670000 | #Constraints: 69858
3600.00/3611.30 c Program interrupted by user.
3600.00/3611.30 c cpu time 3588.75 s
3600.00/3611.30 c deterministic time 211814501391 2.12e+11
3600.00/3611.30 c optimization time 1399.69 s
3600.00/3611.30 c total solve time 1890.07 s
3600.00/3611.30 c core-guided solve time 1890.07 s
3600.00/3611.30 c propagation time 2903.17 s
3600.00/3611.30 c conflict analysis time 364.701 s
3600.00/3611.30 c propagations 309306996
3600.00/3611.30 c resolve steps 45766420
3600.00/3611.30 c decisions 6503277
3600.00/3611.30 c conflicts 1670632
3600.00/3611.30 c restarts 3177
3600.00/3611.30 c inprocessing phases 119
3600.00/3611.30 c input clauses 8488
3600.00/3611.30 c input cardinalities 497
3600.00/3611.30 c input general constraints 7422
3600.00/3611.30 c input average constraint length 6.36
3600.00/3611.30 c input average constraint degree 4.24
3600.00/3611.30 c learned clauses 1510902
3600.00/3611.30 c learned cardinalities 12514
3600.00/3611.30 c learned general constraints 147215
3600.00/3611.30 c learned average constraint length 184.97
3600.00/3611.30 c learned average constraint degree 33839.26
3600.00/3611.30 c watched constraints 121835
3600.00/3611.30 c counting constraints 32802
3600.00/3611.30 c gcd simplifications 716
3600.00/3611.30 c detected cardinalities 9
3600.00/3611.30 c weakened non-implied lits 43104978
3600.00/3611.30 c weakened non-implying lits 8150
3600.00/3611.30 c original variables 1344
3600.00/3611.30 c clausal propagations 147585474
3600.00/3611.30 c cardinality propagations 140028872
3600.00/3611.30 c watched propagations 7699669
3600.00/3611.30 c counting propagations 12371165
3600.00/3611.30 c watch lookups 69229939407
3600.00/3611.30 c watch backjump lookups 63838549098
3600.00/3611.30 c watch checks 69443704168
3600.00/3611.30 c propagation checks 7653626005
3600.00/3611.30 c constraint additions 1015392202
3600.00/3611.30 c trail pops 317480237
3600.00/3611.30 c formula constraints 16376
3600.00/3611.30 c learned constraints 1670631
3600.00/3611.30 c bound constraints 13
3600.00/3611.30 c core-guided constraints 18
3600.00/3611.30 c encountered formula constraints 20784659
3600.00/3611.30 c encountered learned constraints 26643700
3600.00/3611.30 c encountered bound constraints 705
3600.00/3611.30 c encountered core-guided constraints 7988
3600.00/3611.30 c LP total time 0 s
3600.00/3611.30 c LP solve time 0 s
3600.00/3611.30 c LP constraints added 0
3600.00/3611.30 c LP constraints removed 0
3600.00/3611.30 c LP pivots internal 0
3600.00/3611.30 c LP pivots root 0
3600.00/3611.30 c LP calls 0
3600.00/3611.30 c LP optimalities 0
3600.00/3611.30 c LP no pivot count 0
3600.00/3611.30 c LP infeasibilities 0
3600.00/3611.30 c LP valid Farkas constraints 0
3600.00/3611.30 c LP learned Farkas constraints 0
3600.00/3611.30 c LP basis resets 0
3600.00/3611.30 c LP cycling count 0
3600.00/3611.30 c LP singular count 0
3600.00/3611.30 c LP no primal count 0
3600.00/3611.30 c LP no farkas count 0
3600.00/3611.30 c LP other issue count 0
3600.00/3611.30 c LP Gomory cuts 0
3600.00/3611.30 c LP learned cuts 0
3600.00/3611.30 c LP deleted cuts 0
3600.00/3611.30 c LP encountered Gomory constraints 0
3600.00/3611.30 c LP encountered Farkas constraints 0
3600.00/3611.30 c LP encountered learned Farkas constraints 0
3600.00/3611.30 c CG auxiliary variables introduced 9
3600.00/3611.30 c CG solutions found 3
3600.00/3611.30 c CG cores constructed 9
3600.00/3611.30 c CG core cardinality constraints returned 0
3600.00/3611.30 c CG unit cores 0
3600.00/3611.30 c CG single cores 9
3600.00/3611.30 c CG blocks removed during cardinality reduction 0
3600.00/3611.30 c CG first core best 0
3600.00/3611.30 c CG decision core best 0
3600.00/3611.30 c CG core reduction tie 0
3600.00/3611.30 c CG core degree average 1.00
3600.00/3611.30 c CG core slack average 32.67
3600.00/3611.30 c CG exhausted 0
3600.00/3611.30 c CG exhaust time 1.06656 s
3600.00/3611.30 c CG trimmed 0
3600.00/3611.30 c CG trim time 0.000498 s
3600.00/3611.30 c CG minimized 0
3600.00/3611.30 c CG minimize time 0 s
3600.00/3611.30 c CG am1 prop time 0.000441 s
3600.00/3611.30 c CG # am1s reformulated 0
3600.00/3611.30 c CG lower bound derived from am1s 0
3600.00/3611.30 c CG # clausal cores 9
3600.00/3611.30 c CG # cardinality cores 0
3600.00/3611.30 c CG # pb cores 0
3600.00/3611.30 c CG # pb reforms 8
3600.00/3611.30 c CG # cores discarded because of pb reform 0
3600.00/3611.30 d LOWERBOUND 26
3600.00/3611.30 d NCORES 9
3600.00/3611.30 d NPBCORES 0
3600.00/3611.30 d NPBREFORM 8
3600.00/3611.30 d NTRIMMED 0
3600.00/3611.30 d NEXHAUSTED 0
3600.00/3611.30 d NAM1S 0
3600.00/3611.30 d AM1LB 0
3600.00/3611.30 c [STEP] postprocessing with Papilo
3600.00/3611.30 o 176
3600.00/3611.30 s SATISFIABLE
3600.00/3611.30 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: 63968 MiB (62890 MiB free)
memory of node 1: 64473 MiB (62861 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435436-1721074222/watcher-4435436-1721074222 -o /tmp/evaluation-result-4435436-1721074222/solver-4435436-1721074222 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821792 --watchdog 3760 mixed-bag HOME/instance-4435436-1721074222.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=822084, runsolver pid=822081
Current StackSize limit: 8192 KiB
[startup+0.102025 s]*
/proc/loadavg: 1.08 1.17 1.90 4/254 822099
/proc/meminfo: memFree=128750364/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=104956 memory=37344 CPUtime=0.1 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 6799 0 0 0 9 1 0 0 20 0 1 0 159588359 107474944 9336 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 26239 9336 3342 3002 0 9990 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 104956 KiB
Current children cumulated memory: 37344 KiB
[startup+0.205381 s]*
/proc/loadavg: 1.08 1.17 1.90 5/252 822117
/proc/meminfo: memFree=128731140/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=137864 memory=70900 CPUtime=0.19 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 16753 0 0 0 17 2 0 0 20 0 1 0 159588359 141172736 17725 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 34466 17725 3790 3002 0 18217 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 137864 KiB
Current children cumulated memory: 70900 KiB
[startup+0.305452 s]*
/proc/loadavg: 1.08 1.17 1.90 5/257 822131
/proc/meminfo: memFree=128699884/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=149332 memory=82308 CPUtime=0.29 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 19599 0 0 0 27 2 0 0 20 0 1 0 159588359 152915968 20577 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 37333 20577 3806 3002 0 21084 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149332 KiB
Current children cumulated memory: 82308 KiB
[startup+0.700208 s]
/proc/loadavg: 1.08 1.17 1.90 5/257 822131
/proc/meminfo: memFree=128644676/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=229644 memory=151660 CPUtime=0.69 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 29672 0 0 0 64 5 0 0 20 0 1 0 159588359 235155456 37915 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 57411 37915 3852 3002 0 41162 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 229644 KiB
Current children cumulated memory: 151660 KiB
[startup+1.50017 s]
/proc/loadavg: 1.32 1.22 1.91 5/257 822177
/proc/meminfo: memFree=128449152/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=279252 memory=200812 CPUtime=1.48 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 42017 0 0 0 142 6 0 0 20 0 1 0 159588359 285954048 50203 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 69813 50203 4028 3002 0 53564 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 279252 KiB
Current children cumulated memory: 200812 KiB
[startup+3.1053 s]
/proc/loadavg: 1.32 1.22 1.91 5/257 822179
/proc/meminfo: memFree=128077956/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=279252 memory=200812 CPUtime=3.09 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 42017 0 0 0 302 7 0 0 20 0 1 0 159588359 285954048 50203 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 69813 50203 4028 3002 0 53564 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 279252 KiB
Current children cumulated memory: 200812 KiB
[startup+6.30012 s]
/proc/loadavg: 1.53 1.26 1.92 5/258 822180
/proc/meminfo: memFree=127988156/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=279252 memory=200812 CPUtime=6.27 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 42018 0 0 0 620 7 0 0 20 0 1 0 159588359 285954048 50203 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 69813 50203 4028 3002 0 53564 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 279252 KiB
Current children cumulated memory: 200812 KiB
[startup+12.7001 s]
/proc/loadavg: 1.73 1.31 1.94 5/258 822180
/proc/meminfo: memFree=127791744/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=279252 memory=200812 CPUtime=12.65 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 42021 0 0 0 1257 8 0 0 20 0 1 0 159588359 285954048 50203 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 69813 50203 4028 3002 0 53564 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 279252 KiB
Current children cumulated memory: 200812 KiB
[startup+25.5001 s]
/proc/loadavg: 2.08 1.40 1.96 5/258 822183
/proc/meminfo: memFree=127613380/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=279252 memory=200812 CPUtime=25.41 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 42024 0 0 0 2532 9 0 0 20 0 1 0 159588359 285954048 50203 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 69813 50203 4028 3002 0 53564 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 279252 KiB
Current children cumulated memory: 200812 KiB
[startup+51.1054 s]
/proc/loadavg: 3.02 1.70 2.04 5/258 822186
/proc/meminfo: memFree=127524712/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=282408 memory=201372 CPUtime=50.93 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 42244 0 0 0 5083 10 0 0 20 0 1 0 159588359 289185792 50343 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 70602 50343 4044 3002 0 54353 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 282408 KiB
Current children cumulated memory: 201372 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.07 2.15 5/258 822240
/proc/meminfo: memFree=127839600/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=312816 memory=231868 CPUtime=101.95 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 49627 0 0 0 10182 13 0 0 20 0 1 0 159588359 320323584 57967 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 78204 57967 4044 3002 0 61955 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 312816 KiB
Current children cumulated memory: 231868 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.44 2.28 5/258 822253
/proc/meminfo: memFree=127799556/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=312816 memory=237144 CPUtime=161.75 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 49799 0 0 0 16162 13 0 0 20 0 1 0 159588359 320323584 59286 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 78204 59286 4044 3002 0 61955 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 312816 KiB
Current children cumulated memory: 237144 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.74 2.39 5/258 822263
/proc/meminfo: memFree=127481108/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=490552 memory=412016 CPUtime=221.55 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 94968 0 0 0 22136 19 0 0 20 0 1 0 159588359 502325248 103004 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 122638 103004 4074 3002 0 106389 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 490552 KiB
Current children cumulated memory: 412016 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.99 2.50 5/258 822274
/proc/meminfo: memFree=127477456/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=490552 memory=412224 CPUtime=281.36 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 95037 0 0 0 28117 19 0 0 20 0 1 0 159588359 502325248 103056 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 122638 103056 4074 3002 0 106389 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 490552 KiB
Current children cumulated memory: 412224 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.20 2.61 5/254 822285
/proc/meminfo: memFree=127519212/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=443876 memory=379116 CPUtime=341.18 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 96177 0 0 0 33998 120 0 0 20 0 1 0 159588359 454529024 94779 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 110969 94779 4217 3002 0 94720 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 443876 KiB
Current children cumulated memory: 379116 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.37 2.70 5/254 822295
/proc/meminfo: memFree=127486644/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=451056 memory=385708 CPUtime=400.99 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 96781 0 0 0 39890 209 0 0 20 0 1 0 159588359 461881344 96427 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 112764 96427 4217 3002 0 96515 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 451056 KiB
Current children cumulated memory: 385708 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 3.49 2.79 5/254 822306
/proc/meminfo: memFree=127452668/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=451056 memory=387080 CPUtime=460.8 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 97192 0 0 0 45783 297 0 0 20 0 1 0 159588359 461881344 96770 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 112764 96770 4217 3002 0 96515 0
################
# More data... #
################
Current children cumulated memory: 442896 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.17 4.07 5/259 823930
/proc/meminfo: memFree=127126512/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=512520 memory=444944 CPUtime=2913.07 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 101492 0 0 0 290252 1055 0 0 20 0 1 0 159588359 524820480 111236 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 128130 111236 4217 3002 0 111881 0
Current children cumulated CPU time: 2913.07 s
Current children cumulated vsize: 512520 KiB
Current children cumulated memory: 444944 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.15 4.07 5/260 823943
/proc/meminfo: memFree=127123856/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=512520 memory=446992 CPUtime=2972.88 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 101592 0 0 0 296228 1060 0 0 20 0 1 0 159588359 524820480 111748 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 128130 111748 4217 3002 0 111881 0
Current children cumulated CPU time: 2972.88 s
Current children cumulated vsize: 512520 KiB
Current children cumulated memory: 446992 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.07 5/258 823965
/proc/meminfo: memFree=127120100/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=512520 memory=449040 CPUtime=3032.7 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 101694 0 0 0 302204 1066 0 0 20 0 1 0 159588359 524820480 112260 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 128130 112260 4217 3002 0 111881 0
Current children cumulated CPU time: 3032.7 s
Current children cumulated vsize: 512520 KiB
Current children cumulated memory: 449040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/258 823975
/proc/meminfo: memFree=127115176/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=512520 memory=449040 CPUtime=3092.54 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 101794 0 0 0 308180 1074 0 0 20 0 1 0 159588359 524820480 112260 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 128130 112260 4217 3002 0 111881 0
Current children cumulated CPU time: 3092.54 s
Current children cumulated vsize: 512520 KiB
Current children cumulated memory: 449040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/258 823986
/proc/meminfo: memFree=127112564/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=512520 memory=451088 CPUtime=3152.36 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 101897 0 0 0 314157 1079 0 0 20 0 1 0 159588359 524820480 112772 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 128130 112772 4217 3002 0 111881 0
Current children cumulated CPU time: 3152.36 s
Current children cumulated vsize: 512520 KiB
Current children cumulated memory: 451088 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.07 5/255 823999
/proc/meminfo: memFree=127109912/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=512520 memory=453136 CPUtime=3212.18 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 102001 0 0 0 320135 1083 0 0 20 0 1 0 159588359 524820480 113284 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 128130 113284 4217 3002 0 111881 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 512520 KiB
Current children cumulated memory: 453136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/255 824009
/proc/meminfo: memFree=127107180/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=512520 memory=455184 CPUtime=3272 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 102106 0 0 0 326110 1090 0 0 20 0 1 0 159588359 524820480 113796 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 128130 113796 4217 3002 0 111881 0
Current children cumulated CPU time: 3272 s
Current children cumulated vsize: 512520 KiB
Current children cumulated memory: 455184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/255 824020
/proc/meminfo: memFree=127104636/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=512520 memory=457232 CPUtime=3331.83 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 102217 0 0 0 332087 1096 0 0 20 0 1 0 159588359 524820480 114308 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 128130 114308 4217 3002 0 111881 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 512520 KiB
Current children cumulated memory: 457232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/255 824031
/proc/meminfo: memFree=127103712/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=512520 memory=457480 CPUtime=3391.65 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 102403 0 0 0 338064 1101 0 0 20 0 1 0 159588359 524820480 114370 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 128130 114370 4217 3002 0 111881 0
Current children cumulated CPU time: 3391.65 s
Current children cumulated vsize: 512520 KiB
Current children cumulated memory: 457480 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/255 824043
/proc/meminfo: memFree=127093148/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=562608 memory=458996 CPUtime=3451.47 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 102873 0 0 0 344039 1108 0 0 20 0 1 0 159588359 576110592 114749 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 140652 114749 4217 3002 0 124403 0
Current children cumulated CPU time: 3451.47 s
Current children cumulated vsize: 562608 KiB
Current children cumulated memory: 458996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/255 824054
/proc/meminfo: memFree=127091300/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=562608 memory=460276 CPUtime=3511.28 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 103255 0 0 0 350013 1115 0 0 20 0 1 0 159588359 576110592 115069 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 140652 115069 4217 3002 0 124403 0
Current children cumulated CPU time: 3511.28 s
Current children cumulated vsize: 562608 KiB
Current children cumulated memory: 460276 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/257 824068
/proc/meminfo: memFree=127088416/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=562608 memory=462532 CPUtime=3571.08 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 103367 0 0 0 355986 1122 0 0 20 0 1 0 159588359 576110592 115633 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 140652 115633 4217 3002 0 124403 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 562608 KiB
Current children cumulated memory: 462532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.14 4.10 4.09 4/254 824121
/proc/meminfo: memFree=127466700/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=562608 memory=462532 CPUtime=3600 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 103368 0 0 0 358875 1125 0 0 20 0 1 0 159588359 576110592 115633 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 140652 115633 4217 3002 0 124403 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 562608 KiB
Current children cumulated memory: 462532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 822084 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.75 s, system=11.2585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.14 4.10 4.09 4/254 824121
/proc/meminfo: memFree=127466700/131524600 swapFree=131071996/131071996
[pid=822084] ppid=822081 vsize=562608 memory=462532 CPUtime=3600 cores=0,2
/proc/822084/stat : 822084 (mixed-bag) R 822081 822084 821782 0 -1 4194304 103368 0 0 0 358875 1125 0 0 20 0 1 0 159588359 576110592 115633 134679101440 4194304 16487941 140721642119776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 55742464 140721642128407 140721642128484 140721642128484 140721642135499 0
/proc/822084/statm: 140652 115633 4217 3002 0 124403 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 562608 KiB
Current children cumulated memory: 462532 KiB
Child status: 0
Real time (s): 3611.31
CPU time (s): 3600.01
CPU user time (s): 3588.75
CPU system time (s): 11.2585
CPU usage (%): 99.6873
Max. virtual memory (cumulated for all children) (KiB): 562608
Max. memory (cumulated for all children) (KiB): 462532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.75
system time used= 11.2585
maximum resident set size= 462532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103390
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= 66
involuntary context switches= 25204
# summary of solver processes directly reported to runsolver:
# pid: 822084
# total CPU time (s): 3600.01
# total CPU user time (s): 3588.75
# total CPU system time (s): 11.2585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93534 second user time and 16.2384 second system time
The end
Begin job on nodeC026 at 2024-07-15 22:10:35
IDJOB=4435436
IDBENCH=147017
IDSOLVER=3066
FILE ID=nodeC026/4435436-1721074222
RUNJOBID= nodeC026-1721074233-821792
SLURM_JOB_ID= 7505548
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435436-1721074222/watcher-4435436-1721074222 -o /tmp/evaluation-result-4435436-1721074222/solver-4435436-1721074222 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821792 --watchdog 3760 mixed-bag HOME/instance-4435436-1721074222.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=754978410
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.536
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3683.878
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3676.803
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
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 : 3666.820
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
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 : 3683.854
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.914
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128771048 kB
MemAvailable: 129608692 kB
Buffers: 378880 kB
Cached: 1293808 kB
SwapCached: 0 kB
Active: 681748 kB
Inactive: 1477492 kB
Active(anon): 1524 kB
Inactive(anon): 522400 kB
Active(file): 680224 kB
Inactive(file): 955092 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 72668 kB
Writeback: 0 kB
AnonPages: 483284 kB
Mapped: 117788 kB
Shmem: 37720 kB
KReclaimable: 84304 kB
Slab: 189008 kB
SReclaimable: 84304 kB
SUnreclaim: 104704 kB
KernelStack: 4048 kB
PageTables: 10364 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 829824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61312 kB
HardwareCorrupted: 0 kB
AnonHugePages: 210944 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC026 at 2024-07-15 23:10:46