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.09/0.20 c [STEP] preprocessing with Papilo
0.21/0.27 c Papilo could not simplify the problem
0.21/0.27 c [STEP] solving with SCIP
299.51/300.34 c [STEP] preprocessing done, loading into solver
299.51/300.37 c [STEP] solving
299.51/300.37 c #variables 1345 #constraints 16376
299.51/300.37 c SMALL=int, LARGE=long long
299.51/300.37 d SCIPUB 1025
299.51/300.37 c bounds - >= 0 @ 299.34
299.51/300.37 c stratification level: 3
299.61/300.48 c bounds - >= 3 @ 299.347
299.61/300.48 c bounds - >= 6 @ 299.359
299.61/300.48 c bounds - >= 9 @ 299.368
299.61/300.48 c #Conflicts: 1000 | #Constraints: 17378
299.61/300.48 c bounds - >= 12 @ 299.379
299.61/300.48 c bounds - >= 15 @ 299.395
299.61/300.48 c #Conflicts: 2000 | #Constraints: 18380
299.61/300.48 c INPROCESSING
299.61/300.48 c bounds - >= 18 @ 299.405
299.61/300.48 c bounds - >= 21 @ 299.414
299.61/300.48 c bounds - >= 24 @ 299.432
299.61/300.48 c #Conflicts: 3000 | #Constraints: 18390
299.61/300.48 c finalizing WCE round: reformulating cores
300.61/301.40 c #Conflicts: 4000 | #Constraints: 19396
300.61/301.40 c INPROCESSING
300.61/301.40 c GARBAGE COLLECT
300.61/301.40 c #Conflicts: 5000 | #Constraints: 18808
300.61/301.40 c #Conflicts: 6000 | #Constraints: 19810
300.61/301.40 c INPROCESSING
300.61/301.40 c GARBAGE COLLECT
300.61/301.40 c #Conflicts: 7000 | #Constraints: 18818
300.61/301.40 c #Conflicts: 8000 | #Constraints: 19820
300.61/301.40 c bounds 182 >= 24 @ 300.235
300.61/301.40 c #Conflicts: 9000 | #Constraints: 20822
300.61/301.40 c INPROCESSING
300.61/301.40 c GARBAGE COLLECT
300.61/301.40 c bounds 178 >= 24 @ 300.321
300.61/301.40 c stratification level: 2
308.59/309.42 c #Conflicts: 10000 | #Constraints: 19527
308.59/309.42 c #Conflicts: 11000 | #Constraints: 20527
308.59/309.42 c #Conflicts: 12000 | #Constraints: 21527
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 13000 | #Constraints: 19992
308.59/309.42 c #Conflicts: 14000 | #Constraints: 20992
308.59/309.42 c #Conflicts: 15000 | #Constraints: 21992
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 16000 | #Constraints: 20242
308.59/309.42 c #Conflicts: 17000 | #Constraints: 21242
308.59/309.42 c #Conflicts: 18000 | #Constraints: 22242
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 19000 | #Constraints: 20271
308.59/309.42 c #Conflicts: 20000 | #Constraints: 21271
308.59/309.42 c #Conflicts: 21000 | #Constraints: 22271
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 22000 | #Constraints: 20081
308.59/309.42 c #Conflicts: 23000 | #Constraints: 21081
308.59/309.42 c #Conflicts: 24000 | #Constraints: 22081
308.59/309.42 c #Conflicts: 25000 | #Constraints: 23081
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 26000 | #Constraints: 20685
308.59/309.42 c #Conflicts: 27000 | #Constraints: 21685
308.59/309.42 c #Conflicts: 28000 | #Constraints: 22685
308.59/309.42 c #Conflicts: 29000 | #Constraints: 23685
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 30000 | #Constraints: 21092
308.59/309.42 c #Conflicts: 31000 | #Constraints: 22092
308.59/309.42 c #Conflicts: 32000 | #Constraints: 23092
308.59/309.42 c #Conflicts: 33000 | #Constraints: 24092
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 34000 | #Constraints: 21297
308.59/309.42 c #Conflicts: 35000 | #Constraints: 22297
308.59/309.42 c #Conflicts: 36000 | #Constraints: 23297
308.59/309.42 c #Conflicts: 37000 | #Constraints: 24297
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 38000 | #Constraints: 21303
308.59/309.42 c #Conflicts: 39000 | #Constraints: 22303
308.59/309.42 c #Conflicts: 40000 | #Constraints: 23303
308.59/309.42 c #Conflicts: 41000 | #Constraints: 24303
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 42000 | #Constraints: 21125
308.59/309.42 c #Conflicts: 43000 | #Constraints: 22125
308.59/309.42 c #Conflicts: 44000 | #Constraints: 23125
308.59/309.42 c #Conflicts: 45000 | #Constraints: 24125
308.59/309.42 c #Conflicts: 46000 | #Constraints: 25125
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 47000 | #Constraints: 21712
308.59/309.42 c #Conflicts: 48000 | #Constraints: 22712
308.59/309.42 c #Conflicts: 49000 | #Constraints: 23712
308.59/309.42 c #Conflicts: 50000 | #Constraints: 24712
308.59/309.42 c #Conflicts: 51000 | #Constraints: 25712
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 52000 | #Constraints: 22126
308.59/309.42 c #Conflicts: 53000 | #Constraints: 23126
308.59/309.42 c #Conflicts: 54000 | #Constraints: 24126
308.59/309.42 c #Conflicts: 55000 | #Constraints: 25126
308.59/309.42 c #Conflicts: 56000 | #Constraints: 26126
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 57000 | #Constraints: 22333
308.59/309.42 c #Conflicts: 58000 | #Constraints: 23333
308.59/309.42 c #Conflicts: 59000 | #Constraints: 24333
308.59/309.42 c #Conflicts: 60000 | #Constraints: 25333
308.59/309.42 c #Conflicts: 61000 | #Constraints: 26333
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 62000 | #Constraints: 22343
308.59/309.42 c #Conflicts: 63000 | #Constraints: 23343
308.59/309.42 c #Conflicts: 64000 | #Constraints: 24343
308.59/309.42 c #Conflicts: 65000 | #Constraints: 25343
308.59/309.42 c #Conflicts: 66000 | #Constraints: 26343
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 67000 | #Constraints: 22146
308.59/309.42 c #Conflicts: 68000 | #Constraints: 23146
308.59/309.42 c #Conflicts: 69000 | #Constraints: 24146
308.59/309.42 c #Conflicts: 70000 | #Constraints: 25146
308.59/309.42 c #Conflicts: 71000 | #Constraints: 26146
308.59/309.42 c #Conflicts: 72000 | #Constraints: 27146
308.59/309.42 c INPROCESSING
308.59/309.42 c GARBAGE COLLECT
308.59/309.42 c #Conflicts: 73000 | #Constraints: 22735
308.59/309.42 c #Conflicts: 74000 | #Constraints: 23735
308.59/309.42 c #Conflicts: 75000 | #Constraints: 24735
308.59/309.42 c #Conflicts: 76000 | #Constraints: 25735
308.59/309.42 c #Conflicts: 77000 | #Constraints: 26735
308.59/309.42 c #Conflicts: 78000 | #Constraints: 27735
308.59/309.42 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 79000 | #Constraints: 23145
320.86/321.72 c #Conflicts: 80000 | #Constraints: 24145
320.86/321.72 c #Conflicts: 81000 | #Constraints: 25145
320.86/321.72 c #Conflicts: 82000 | #Constraints: 26145
320.86/321.72 c #Conflicts: 83000 | #Constraints: 27145
320.86/321.72 c #Conflicts: 84000 | #Constraints: 28145
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 85000 | #Constraints: 23350
320.86/321.72 c #Conflicts: 86000 | #Constraints: 24350
320.86/321.72 c #Conflicts: 87000 | #Constraints: 25350
320.86/321.72 c #Conflicts: 88000 | #Constraints: 26350
320.86/321.72 c #Conflicts: 89000 | #Constraints: 27350
320.86/321.72 c #Conflicts: 90000 | #Constraints: 28350
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 91000 | #Constraints: 23353
320.86/321.72 c #Conflicts: 92000 | #Constraints: 24353
320.86/321.72 c #Conflicts: 93000 | #Constraints: 25353
320.86/321.72 c #Conflicts: 94000 | #Constraints: 26353
320.86/321.72 c #Conflicts: 95000 | #Constraints: 27353
320.86/321.72 c #Conflicts: 96000 | #Constraints: 28353
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 97000 | #Constraints: 23147
320.86/321.72 c #Conflicts: 98000 | #Constraints: 24147
320.86/321.72 c #Conflicts: 99000 | #Constraints: 25147
320.86/321.72 c #Conflicts: 100000 | #Constraints: 26147
320.86/321.72 c #Conflicts: 101000 | #Constraints: 27147
320.86/321.72 c #Conflicts: 102000 | #Constraints: 28147
320.86/321.72 c #Conflicts: 103000 | #Constraints: 29147
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 104000 | #Constraints: 23740
320.86/321.72 c #Conflicts: 105000 | #Constraints: 24740
320.86/321.72 c #Conflicts: 106000 | #Constraints: 25740
320.86/321.72 c #Conflicts: 107000 | #Constraints: 26740
320.86/321.72 c #Conflicts: 108000 | #Constraints: 27740
320.86/321.72 c #Conflicts: 109000 | #Constraints: 28740
320.86/321.72 c #Conflicts: 110000 | #Constraints: 29740
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 111000 | #Constraints: 24146
320.86/321.72 c #Conflicts: 112000 | #Constraints: 25146
320.86/321.72 c #Conflicts: 113000 | #Constraints: 26146
320.86/321.72 c #Conflicts: 114000 | #Constraints: 27146
320.86/321.72 c #Conflicts: 115000 | #Constraints: 28146
320.86/321.72 c #Conflicts: 116000 | #Constraints: 29146
320.86/321.72 c #Conflicts: 117000 | #Constraints: 30146
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 118000 | #Constraints: 24350
320.86/321.72 c #Conflicts: 119000 | #Constraints: 25350
320.86/321.72 c #Conflicts: 120000 | #Constraints: 26350
320.86/321.72 c #Conflicts: 121000 | #Constraints: 27350
320.86/321.72 c #Conflicts: 122000 | #Constraints: 28350
320.86/321.72 c #Conflicts: 123000 | #Constraints: 29350
320.86/321.72 c #Conflicts: 124000 | #Constraints: 30350
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 125000 | #Constraints: 24356
320.86/321.72 c #Conflicts: 126000 | #Constraints: 25356
320.86/321.72 c #Conflicts: 127000 | #Constraints: 26356
320.86/321.72 c #Conflicts: 128000 | #Constraints: 27356
320.86/321.72 c #Conflicts: 129000 | #Constraints: 28356
320.86/321.72 c #Conflicts: 130000 | #Constraints: 29356
320.86/321.72 c #Conflicts: 131000 | #Constraints: 30356
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 132000 | #Constraints: 24147
320.86/321.72 c #Conflicts: 133000 | #Constraints: 25147
320.86/321.72 c #Conflicts: 134000 | #Constraints: 26147
320.86/321.72 c #Conflicts: 135000 | #Constraints: 27147
320.86/321.72 c #Conflicts: 136000 | #Constraints: 28147
320.86/321.72 c #Conflicts: 137000 | #Constraints: 29147
320.86/321.72 c #Conflicts: 138000 | #Constraints: 30147
320.86/321.72 c #Conflicts: 139000 | #Constraints: 31147
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 140000 | #Constraints: 24740
320.86/321.72 c #Conflicts: 141000 | #Constraints: 25740
320.86/321.72 c #Conflicts: 142000 | #Constraints: 26740
320.86/321.72 c #Conflicts: 143000 | #Constraints: 27740
320.86/321.72 c #Conflicts: 144000 | #Constraints: 28740
320.86/321.72 c #Conflicts: 145000 | #Constraints: 29740
320.86/321.72 c #Conflicts: 146000 | #Constraints: 30740
320.86/321.72 c #Conflicts: 147000 | #Constraints: 31740
320.86/321.72 c INPROCESSING
320.86/321.72 c GARBAGE COLLECT
320.86/321.72 c #Conflicts: 148000 | #Constraints: 25153
320.86/321.72 c #Conflicts: 149000 | #Constraints: 26153
320.86/321.72 c #Conflicts: 150000 | #Constraints: 27153
320.86/321.72 c #Conflicts: 151000 | #Constraints: 28153
334.53/335.44 c #Conflicts: 152000 | #Constraints: 29153
334.53/335.44 c #Conflicts: 153000 | #Constraints: 30153
334.53/335.44 c #Conflicts: 154000 | #Constraints: 31153
334.53/335.44 c #Conflicts: 155000 | #Constraints: 32153
334.53/335.44 c INPROCESSING
334.53/335.44 c GARBAGE COLLECT
334.53/335.44 c #Conflicts: 156000 | #Constraints: 25355
334.53/335.44 c #Conflicts: 157000 | #Constraints: 26355
334.53/335.44 c #Conflicts: 158000 | #Constraints: 27355
334.53/335.44 c #Conflicts: 159000 | #Constraints: 28355
334.53/335.44 c #Conflicts: 160000 | #Constraints: 29355
334.53/335.44 c #Conflicts: 161000 | #Constraints: 30355
334.53/335.44 c #Conflicts: 162000 | #Constraints: 31355
334.53/335.44 c #Conflicts: 163000 | #Constraints: 32355
334.53/335.44 c INPROCESSING
334.53/335.44 c GARBAGE COLLECT
334.53/335.44 c #Conflicts: 164000 | #Constraints: 25359
334.53/335.44 c #Conflicts: 165000 | #Constraints: 26359
334.53/335.44 c #Conflicts: 166000 | #Constraints: 27359
334.53/335.44 c #Conflicts: 167000 | #Constraints: 28359
334.53/335.44 c #Conflicts: 168000 | #Constraints: 29359
334.53/335.44 c #Conflicts: 169000 | #Constraints: 30359
334.53/335.44 c #Conflicts: 170000 | #Constraints: 31359
334.53/335.44 c #Conflicts: 171000 | #Constraints: 32359
334.53/335.44 c INPROCESSING
334.53/335.44 c GARBAGE COLLECT
334.53/335.44 c #Conflicts: 172000 | #Constraints: 25155
334.53/335.44 c #Conflicts: 173000 | #Constraints: 26155
334.53/335.44 c #Conflicts: 174000 | #Constraints: 27155
334.53/335.44 c #Conflicts: 175000 | #Constraints: 28155
334.53/335.44 c #Conflicts: 176000 | #Constraints: 29155
334.53/335.44 c #Conflicts: 177000 | #Constraints: 30155
334.53/335.44 c #Conflicts: 178000 | #Constraints: 31155
334.53/335.44 c #Conflicts: 179000 | #Constraints: 32155
334.53/335.44 c #Conflicts: 180000 | #Constraints: 33155
334.53/335.44 c INPROCESSING
334.53/335.44 c GARBAGE COLLECT
334.53/335.44 c #Conflicts: 181000 | #Constraints: 25761
334.53/335.44 c #Conflicts: 182000 | #Constraints: 26761
334.53/335.44 c #Conflicts: 183000 | #Constraints: 27761
334.53/335.44 c #Conflicts: 184000 | #Constraints: 28761
334.53/335.44 c #Conflicts: 185000 | #Constraints: 29761
334.53/335.44 c #Conflicts: 186000 | #Constraints: 30761
334.53/335.44 c #Conflicts: 187000 | #Constraints: 31761
334.53/335.44 c #Conflicts: 188000 | #Constraints: 32761
334.53/335.44 c #Conflicts: 189000 | #Constraints: 33761
334.53/335.44 c INPROCESSING
334.53/335.44 c GARBAGE COLLECT
334.53/335.44 c #Conflicts: 190000 | #Constraints: 26161
334.53/335.44 c #Conflicts: 191000 | #Constraints: 27161
334.53/335.44 c #Conflicts: 192000 | #Constraints: 28161
334.53/335.44 c #Conflicts: 193000 | #Constraints: 29161
334.53/335.44 c #Conflicts: 194000 | #Constraints: 30161
334.53/335.44 c #Conflicts: 195000 | #Constraints: 31161
334.53/335.44 c #Conflicts: 196000 | #Constraints: 32161
334.53/335.44 c #Conflicts: 197000 | #Constraints: 33161
334.53/335.44 c #Conflicts: 198000 | #Constraints: 34161
334.53/335.44 c INPROCESSING
334.53/335.44 c GARBAGE COLLECT
334.53/335.44 c #Conflicts: 199000 | #Constraints: 26375
334.53/335.44 c #Conflicts: 200000 | #Constraints: 27375
334.53/335.44 c #Conflicts: 201000 | #Constraints: 28375
334.53/335.44 c #Conflicts: 202000 | #Constraints: 29375
334.53/335.44 c #Conflicts: 203000 | #Constraints: 30375
334.53/335.44 c #Conflicts: 204000 | #Constraints: 31375
334.53/335.44 c #Conflicts: 205000 | #Constraints: 32375
334.53/335.44 c #Conflicts: 206000 | #Constraints: 33375
334.53/335.44 c #Conflicts: 207000 | #Constraints: 34375
334.53/335.44 c INPROCESSING
334.53/335.44 c GARBAGE COLLECT
334.53/335.44 c #Conflicts: 208000 | #Constraints: 26368
334.53/335.44 c #Conflicts: 209000 | #Constraints: 27368
334.53/335.44 c #Conflicts: 210000 | #Constraints: 28368
334.53/335.44 c #Conflicts: 211000 | #Constraints: 29368
334.53/335.44 c #Conflicts: 212000 | #Constraints: 30368
334.53/335.44 c #Conflicts: 213000 | #Constraints: 31368
334.53/335.44 c #Conflicts: 214000 | #Constraints: 32368
334.53/335.44 c #Conflicts: 215000 | #Constraints: 33368
334.53/335.44 c #Conflicts: 216000 | #Constraints: 34368
334.53/335.44 c INPROCESSING
334.53/335.44 c GARBAGE COLLECT
334.53/335.44 c #Conflicts: 217000 | #Constraints: 26167
334.53/335.44 c #Conflicts: 218000 | #Constraints: 27167
334.53/335.44 c #Conflicts: 219000 | #Constraints: 28167
334.53/335.44 c #Conflicts: 220000 | #Constraints: 29167
334.53/335.44 c #Conflicts: 221000 | #Constraints: 30167
334.53/335.44 c #Conflicts: 222000 | #Constraints: 31167
334.53/335.44 c #Conflicts: 223000 | #Constraints: 32167
334.53/335.44 c #Conflicts: 224000 | #Constraints: 33167
349.49/350.49 c #Conflicts: 225000 | #Constraints: 34167
349.49/350.49 c #Conflicts: 226000 | #Constraints: 35167
349.49/350.49 c INPROCESSING
349.49/350.49 c GARBAGE COLLECT
349.49/350.49 c #Conflicts: 227000 | #Constraints: 26776
349.49/350.49 c #Conflicts: 228000 | #Constraints: 27776
349.49/350.49 c #Conflicts: 229000 | #Constraints: 28776
349.49/350.49 c #Conflicts: 230000 | #Constraints: 29776
349.49/350.49 c #Conflicts: 231000 | #Constraints: 30776
349.49/350.49 c #Conflicts: 232000 | #Constraints: 31776
349.49/350.49 c #Conflicts: 233000 | #Constraints: 32776
349.49/350.49 c #Conflicts: 234000 | #Constraints: 33776
349.49/350.49 c #Conflicts: 235000 | #Constraints: 34776
349.49/350.49 c #Conflicts: 236000 | #Constraints: 35776
349.49/350.49 c INPROCESSING
349.49/350.49 c GARBAGE COLLECT
349.49/350.49 c #Conflicts: 237000 | #Constraints: 27173
349.49/350.49 c #Conflicts: 238000 | #Constraints: 28173
349.49/350.49 c #Conflicts: 239000 | #Constraints: 29173
349.49/350.49 c #Conflicts: 240000 | #Constraints: 30173
349.49/350.49 c #Conflicts: 241000 | #Constraints: 31173
349.49/350.49 c #Conflicts: 242000 | #Constraints: 32173
349.49/350.49 c #Conflicts: 243000 | #Constraints: 33173
349.49/350.49 c #Conflicts: 244000 | #Constraints: 34173
349.49/350.49 c #Conflicts: 245000 | #Constraints: 35173
349.49/350.49 c #Conflicts: 246000 | #Constraints: 36173
349.49/350.49 c INPROCESSING
349.49/350.49 c GARBAGE COLLECT
349.49/350.49 c #Conflicts: 247000 | #Constraints: 27368
349.49/350.49 c #Conflicts: 248000 | #Constraints: 28368
349.49/350.49 c #Conflicts: 249000 | #Constraints: 29368
349.49/350.49 c #Conflicts: 250000 | #Constraints: 30368
349.49/350.49 c #Conflicts: 251000 | #Constraints: 31368
349.49/350.49 c #Conflicts: 252000 | #Constraints: 32368
349.49/350.49 c #Conflicts: 253000 | #Constraints: 33368
349.49/350.49 c #Conflicts: 254000 | #Constraints: 34368
349.49/350.49 c #Conflicts: 255000 | #Constraints: 35368
349.49/350.49 c #Conflicts: 256000 | #Constraints: 36368
349.49/350.49 c INPROCESSING
349.49/350.49 c GARBAGE COLLECT
349.49/350.49 c #Conflicts: 257000 | #Constraints: 27370
349.49/350.49 c #Conflicts: 258000 | #Constraints: 28370
349.49/350.49 c #Conflicts: 259000 | #Constraints: 29370
349.49/350.49 c #Conflicts: 260000 | #Constraints: 30370
349.49/350.49 c #Conflicts: 261000 | #Constraints: 31370
349.49/350.49 c #Conflicts: 262000 | #Constraints: 32370
349.49/350.49 c #Conflicts: 263000 | #Constraints: 33370
349.49/350.49 c #Conflicts: 264000 | #Constraints: 34370
349.49/350.49 c #Conflicts: 265000 | #Constraints: 35370
349.49/350.49 c #Conflicts: 266000 | #Constraints: 36370
349.49/350.49 c INPROCESSING
349.49/350.49 c GARBAGE COLLECT
349.49/350.49 c #Conflicts: 267000 | #Constraints: 27178
349.49/350.49 c #Conflicts: 268000 | #Constraints: 28178
349.49/350.49 c #Conflicts: 269000 | #Constraints: 29178
349.49/350.49 c #Conflicts: 270000 | #Constraints: 30178
349.49/350.49 c #Conflicts: 271000 | #Constraints: 31178
349.49/350.49 c #Conflicts: 272000 | #Constraints: 32178
349.49/350.49 c #Conflicts: 273000 | #Constraints: 33178
349.49/350.49 c #Conflicts: 274000 | #Constraints: 34178
349.49/350.49 c #Conflicts: 275000 | #Constraints: 35178
349.49/350.49 c #Conflicts: 276000 | #Constraints: 36178
349.49/350.49 c #Conflicts: 277000 | #Constraints: 37178
349.49/350.49 c INPROCESSING
349.49/350.49 c GARBAGE COLLECT
349.49/350.49 c #Conflicts: 278000 | #Constraints: 27766
349.49/350.49 c #Conflicts: 279000 | #Constraints: 28766
349.49/350.49 c #Conflicts: 280000 | #Constraints: 29766
349.49/350.49 c #Conflicts: 281000 | #Constraints: 30766
349.49/350.49 c #Conflicts: 282000 | #Constraints: 31766
349.49/350.49 c #Conflicts: 283000 | #Constraints: 32766
349.49/350.49 c #Conflicts: 284000 | #Constraints: 33766
349.49/350.49 c #Conflicts: 285000 | #Constraints: 34766
349.49/350.49 c #Conflicts: 286000 | #Constraints: 35766
349.49/350.49 c #Conflicts: 287000 | #Constraints: 36766
349.49/350.49 c #Conflicts: 288000 | #Constraints: 37766
349.49/350.49 c INPROCESSING
349.49/350.49 c GARBAGE COLLECT
349.49/350.49 c #Conflicts: 289000 | #Constraints: 28164
349.49/350.49 c #Conflicts: 290000 | #Constraints: 29164
349.49/350.49 c #Conflicts: 291000 | #Constraints: 30164
349.49/350.49 c #Conflicts: 292000 | #Constraints: 31164
349.49/350.49 c #Conflicts: 293000 | #Constraints: 32164
349.49/350.49 c #Conflicts: 294000 | #Constraints: 33164
349.49/350.49 c #Conflicts: 295000 | #Constraints: 34164
349.49/350.49 c #Conflicts: 296000 | #Constraints: 35164
349.49/350.49 c #Conflicts: 297000 | #Constraints: 36164
349.49/350.49 c #Conflicts: 298000 | #Constraints: 37164
349.49/350.49 c #Conflicts: 299000 | #Constraints: 38164
365.85/366.86 c INPROCESSING
365.85/366.86 c GARBAGE COLLECT
365.85/366.86 c #Conflicts: 300000 | #Constraints: 28381
365.85/366.86 c #Conflicts: 301000 | #Constraints: 29381
365.85/366.86 c #Conflicts: 302000 | #Constraints: 30381
365.85/366.86 c #Conflicts: 303000 | #Constraints: 31381
365.85/366.86 c #Conflicts: 304000 | #Constraints: 32381
365.85/366.86 c #Conflicts: 305000 | #Constraints: 33381
365.85/366.86 c #Conflicts: 306000 | #Constraints: 34381
365.85/366.86 c #Conflicts: 307000 | #Constraints: 35381
365.85/366.86 c #Conflicts: 308000 | #Constraints: 36381
365.85/366.86 c #Conflicts: 309000 | #Constraints: 37381
365.85/366.86 c #Conflicts: 310000 | #Constraints: 38381
365.85/366.86 c INPROCESSING
365.85/366.86 c GARBAGE COLLECT
365.85/366.86 c #Conflicts: 311000 | #Constraints: 28379
365.85/366.86 c #Conflicts: 312000 | #Constraints: 29379
365.85/366.86 c #Conflicts: 313000 | #Constraints: 30379
365.85/366.86 c #Conflicts: 314000 | #Constraints: 31379
365.85/366.86 c #Conflicts: 315000 | #Constraints: 32379
365.85/366.86 c #Conflicts: 316000 | #Constraints: 33379
365.85/366.86 c #Conflicts: 317000 | #Constraints: 34379
365.85/366.86 c #Conflicts: 318000 | #Constraints: 35379
365.85/366.86 c #Conflicts: 319000 | #Constraints: 36379
365.85/366.86 c #Conflicts: 320000 | #Constraints: 37379
365.85/366.86 c #Conflicts: 321000 | #Constraints: 38379
365.85/366.86 c INPROCESSING
365.85/366.86 c GARBAGE COLLECT
365.85/366.86 c #Conflicts: 322000 | #Constraints: 28171
365.85/366.86 c #Conflicts: 323000 | #Constraints: 29171
365.85/366.86 c #Conflicts: 324000 | #Constraints: 30171
365.85/366.86 c #Conflicts: 325000 | #Constraints: 31171
365.85/366.86 c #Conflicts: 326000 | #Constraints: 32171
365.85/366.86 c #Conflicts: 327000 | #Constraints: 33171
365.85/366.86 c #Conflicts: 328000 | #Constraints: 34171
365.85/366.86 c #Conflicts: 329000 | #Constraints: 35171
365.85/366.86 c #Conflicts: 330000 | #Constraints: 36171
365.85/366.86 c #Conflicts: 331000 | #Constraints: 37171
365.85/366.86 c #Conflicts: 332000 | #Constraints: 38171
365.85/366.86 c #Conflicts: 333000 | #Constraints: 39171
365.85/366.86 c INPROCESSING
365.85/366.86 c GARBAGE COLLECT
365.85/366.86 c #Conflicts: 334000 | #Constraints: 28770
365.85/366.86 c #Conflicts: 335000 | #Constraints: 29770
365.85/366.86 c #Conflicts: 336000 | #Constraints: 30770
365.85/366.86 c #Conflicts: 337000 | #Constraints: 31770
365.85/366.86 c #Conflicts: 338000 | #Constraints: 32770
365.85/366.86 c #Conflicts: 339000 | #Constraints: 33770
365.85/366.86 c #Conflicts: 340000 | #Constraints: 34770
365.85/366.86 c #Conflicts: 341000 | #Constraints: 35770
365.85/366.86 c #Conflicts: 342000 | #Constraints: 36770
365.85/366.86 c #Conflicts: 343000 | #Constraints: 37770
365.85/366.86 c #Conflicts: 344000 | #Constraints: 38770
365.85/366.86 c #Conflicts: 345000 | #Constraints: 39770
365.85/366.86 c INPROCESSING
365.85/366.86 c GARBAGE COLLECT
365.85/366.86 c #Conflicts: 346000 | #Constraints: 29182
365.85/366.86 c #Conflicts: 347000 | #Constraints: 30182
365.85/366.86 c #Conflicts: 348000 | #Constraints: 31182
365.85/366.86 c #Conflicts: 349000 | #Constraints: 32182
365.85/366.86 c #Conflicts: 350000 | #Constraints: 33182
365.85/366.86 c #Conflicts: 351000 | #Constraints: 34182
365.85/366.86 c #Conflicts: 352000 | #Constraints: 35182
365.85/366.86 c #Conflicts: 353000 | #Constraints: 36182
365.85/366.86 c #Conflicts: 354000 | #Constraints: 37182
365.85/366.86 c #Conflicts: 355000 | #Constraints: 38182
365.85/366.86 c #Conflicts: 356000 | #Constraints: 39182
365.85/366.86 c #Conflicts: 357000 | #Constraints: 40182
365.85/366.86 c INPROCESSING
365.85/366.86 c GARBAGE COLLECT
365.85/366.86 c #Conflicts: 358000 | #Constraints: 29383
365.85/366.86 c #Conflicts: 359000 | #Constraints: 30383
365.85/366.86 c #Conflicts: 360000 | #Constraints: 31383
365.85/366.86 c #Conflicts: 361000 | #Constraints: 32383
365.85/366.86 c #Conflicts: 362000 | #Constraints: 33383
365.85/366.86 c #Conflicts: 363000 | #Constraints: 34383
365.85/366.86 c #Conflicts: 364000 | #Constraints: 35383
365.85/366.86 c #Conflicts: 365000 | #Constraints: 36383
365.85/366.86 c #Conflicts: 366000 | #Constraints: 37383
365.85/366.86 c #Conflicts: 367000 | #Constraints: 38383
365.85/366.86 c #Conflicts: 368000 | #Constraints: 39383
365.85/366.86 c #Conflicts: 369000 | #Constraints: 40383
365.85/366.86 c INPROCESSING
365.85/366.86 c GARBAGE COLLECT
365.85/366.86 c #Conflicts: 370000 | #Constraints: 29393
365.85/366.86 c #Conflicts: 371000 | #Constraints: 30393
365.85/366.86 c #Conflicts: 372000 | #Constraints: 31393
365.85/366.86 c #Conflicts: 373000 | #Constraints: 32393
384.02/385.08 c #Conflicts: 374000 | #Constraints: 33393
384.02/385.08 c #Conflicts: 375000 | #Constraints: 34393
384.02/385.08 c #Conflicts: 376000 | #Constraints: 35393
384.02/385.08 c #Conflicts: 377000 | #Constraints: 36393
384.02/385.08 c #Conflicts: 378000 | #Constraints: 37393
384.02/385.08 c #Conflicts: 379000 | #Constraints: 38393
384.02/385.08 c #Conflicts: 380000 | #Constraints: 39393
384.02/385.08 c #Conflicts: 381000 | #Constraints: 40393
384.02/385.08 c INPROCESSING
384.02/385.08 c GARBAGE COLLECT
384.02/385.08 c #Conflicts: 382000 | #Constraints: 29199
384.02/385.08 c #Conflicts: 383000 | #Constraints: 30199
384.02/385.08 c #Conflicts: 384000 | #Constraints: 31199
384.02/385.08 c #Conflicts: 385000 | #Constraints: 32199
384.02/385.08 c #Conflicts: 386000 | #Constraints: 33199
384.02/385.08 c #Conflicts: 387000 | #Constraints: 34199
384.02/385.08 c #Conflicts: 388000 | #Constraints: 35199
384.02/385.08 c #Conflicts: 389000 | #Constraints: 36199
384.02/385.08 c #Conflicts: 390000 | #Constraints: 37199
384.02/385.08 c #Conflicts: 391000 | #Constraints: 38199
384.02/385.08 c #Conflicts: 392000 | #Constraints: 39199
384.02/385.08 c #Conflicts: 393000 | #Constraints: 40199
384.02/385.08 c #Conflicts: 394000 | #Constraints: 41199
384.02/385.08 c INPROCESSING
384.02/385.08 c GARBAGE COLLECT
384.02/385.08 c #Conflicts: 395000 | #Constraints: 29796
384.02/385.08 c #Conflicts: 396000 | #Constraints: 30796
384.02/385.08 c #Conflicts: 397000 | #Constraints: 31796
384.02/385.08 c #Conflicts: 398000 | #Constraints: 32796
384.02/385.08 c #Conflicts: 399000 | #Constraints: 33796
384.02/385.08 c #Conflicts: 400000 | #Constraints: 34796
384.02/385.08 c #Conflicts: 401000 | #Constraints: 35796
384.02/385.08 c #Conflicts: 402000 | #Constraints: 36796
384.02/385.08 c #Conflicts: 403000 | #Constraints: 37796
384.02/385.08 c #Conflicts: 404000 | #Constraints: 38796
384.02/385.08 c #Conflicts: 405000 | #Constraints: 39796
384.02/385.08 c #Conflicts: 406000 | #Constraints: 40796
384.02/385.08 c #Conflicts: 407000 | #Constraints: 41796
384.02/385.08 c INPROCESSING
384.02/385.08 c GARBAGE COLLECT
384.02/385.08 c #Conflicts: 408000 | #Constraints: 30197
384.02/385.08 c #Conflicts: 409000 | #Constraints: 31197
384.02/385.08 c #Conflicts: 410000 | #Constraints: 32197
384.02/385.08 c #Conflicts: 411000 | #Constraints: 33197
384.02/385.08 c #Conflicts: 412000 | #Constraints: 34197
384.02/385.08 c #Conflicts: 413000 | #Constraints: 35197
384.02/385.08 c #Conflicts: 414000 | #Constraints: 36197
384.02/385.08 c #Conflicts: 415000 | #Constraints: 37197
384.02/385.08 c #Conflicts: 416000 | #Constraints: 38197
384.02/385.08 c #Conflicts: 417000 | #Constraints: 39197
384.02/385.08 c #Conflicts: 418000 | #Constraints: 40197
384.02/385.08 c #Conflicts: 419000 | #Constraints: 41197
384.02/385.08 c #Conflicts: 420000 | #Constraints: 42197
384.02/385.08 c INPROCESSING
384.02/385.08 c GARBAGE COLLECT
384.02/385.08 c #Conflicts: 421000 | #Constraints: 30409
384.02/385.08 c #Conflicts: 422000 | #Constraints: 31409
384.02/385.08 c #Conflicts: 423000 | #Constraints: 32409
384.02/385.08 c #Conflicts: 424000 | #Constraints: 33409
384.02/385.08 c #Conflicts: 425000 | #Constraints: 34409
384.02/385.08 c #Conflicts: 426000 | #Constraints: 35409
384.02/385.08 c #Conflicts: 427000 | #Constraints: 36409
384.02/385.08 c #Conflicts: 428000 | #Constraints: 37409
384.02/385.08 c #Conflicts: 429000 | #Constraints: 38409
384.02/385.08 c #Conflicts: 430000 | #Constraints: 39409
384.02/385.08 c #Conflicts: 431000 | #Constraints: 40409
384.02/385.08 c #Conflicts: 432000 | #Constraints: 41409
384.02/385.08 c #Conflicts: 433000 | #Constraints: 42409
384.02/385.08 c INPROCESSING
384.02/385.08 c GARBAGE COLLECT
384.02/385.08 c #Conflicts: 434000 | #Constraints: 30409
384.02/385.08 c #Conflicts: 435000 | #Constraints: 31409
384.02/385.08 c #Conflicts: 436000 | #Constraints: 32409
384.02/385.08 c #Conflicts: 437000 | #Constraints: 33409
384.02/385.08 c #Conflicts: 438000 | #Constraints: 34409
384.02/385.08 c #Conflicts: 439000 | #Constraints: 35409
384.02/385.08 c #Conflicts: 440000 | #Constraints: 36409
384.02/385.08 c #Conflicts: 441000 | #Constraints: 37409
384.02/385.08 c #Conflicts: 442000 | #Constraints: 38409
384.02/385.08 c #Conflicts: 443000 | #Constraints: 39409
384.02/385.08 c #Conflicts: 444000 | #Constraints: 40409
384.02/385.08 c #Conflicts: 445000 | #Constraints: 41409
384.02/385.08 c #Conflicts: 446000 | #Constraints: 42409
384.02/385.08 c INPROCESSING
384.02/385.08 c GARBAGE COLLECT
384.02/385.08 c #Conflicts: 447000 | #Constraints: 30200
384.02/385.08 c #Conflicts: 448000 | #Constraints: 31200
404.46/405.50 c #Conflicts: 449000 | #Constraints: 32200
404.46/405.50 c #Conflicts: 450000 | #Constraints: 33200
404.46/405.50 c #Conflicts: 451000 | #Constraints: 34200
404.46/405.50 c #Conflicts: 452000 | #Constraints: 35200
404.46/405.50 c #Conflicts: 453000 | #Constraints: 36200
404.46/405.50 c #Conflicts: 454000 | #Constraints: 37200
404.46/405.50 c #Conflicts: 455000 | #Constraints: 38200
404.46/405.50 c #Conflicts: 456000 | #Constraints: 39200
404.46/405.50 c #Conflicts: 457000 | #Constraints: 40200
404.46/405.50 c #Conflicts: 458000 | #Constraints: 41200
404.46/405.50 c #Conflicts: 459000 | #Constraints: 42200
404.46/405.50 c #Conflicts: 460000 | #Constraints: 43200
404.46/405.50 c INPROCESSING
404.46/405.50 c GARBAGE COLLECT
404.46/405.50 c #Conflicts: 461000 | #Constraints: 30794
404.46/405.50 c #Conflicts: 462000 | #Constraints: 31794
404.46/405.50 c #Conflicts: 463000 | #Constraints: 32794
404.46/405.50 c #Conflicts: 464000 | #Constraints: 33794
404.46/405.50 c #Conflicts: 465000 | #Constraints: 34794
404.46/405.50 c #Conflicts: 466000 | #Constraints: 35794
404.46/405.50 c #Conflicts: 467000 | #Constraints: 36794
404.46/405.50 c #Conflicts: 468000 | #Constraints: 37794
404.46/405.50 c #Conflicts: 469000 | #Constraints: 38794
404.46/405.50 c #Conflicts: 470000 | #Constraints: 39794
404.46/405.50 c #Conflicts: 471000 | #Constraints: 40794
404.46/405.50 c #Conflicts: 472000 | #Constraints: 41794
404.46/405.50 c #Conflicts: 473000 | #Constraints: 42794
404.46/405.50 c #Conflicts: 474000 | #Constraints: 43794
404.46/405.50 c INPROCESSING
404.46/405.50 c GARBAGE COLLECT
404.46/405.50 c #Conflicts: 475000 | #Constraints: 31193
404.46/405.50 c #Conflicts: 476000 | #Constraints: 32193
404.46/405.50 c #Conflicts: 477000 | #Constraints: 33193
404.46/405.50 c #Conflicts: 478000 | #Constraints: 34193
404.46/405.50 c #Conflicts: 479000 | #Constraints: 35193
404.46/405.50 c #Conflicts: 480000 | #Constraints: 36193
404.46/405.50 c #Conflicts: 481000 | #Constraints: 37193
404.46/405.50 c #Conflicts: 482000 | #Constraints: 38193
404.46/405.50 c #Conflicts: 483000 | #Constraints: 39193
404.46/405.50 c #Conflicts: 484000 | #Constraints: 40193
404.46/405.50 c #Conflicts: 485000 | #Constraints: 41193
404.46/405.50 c #Conflicts: 486000 | #Constraints: 42193
404.46/405.50 c #Conflicts: 487000 | #Constraints: 43193
404.46/405.50 c #Conflicts: 488000 | #Constraints: 44193
404.46/405.50 c INPROCESSING
404.46/405.50 c GARBAGE COLLECT
404.46/405.50 c #Conflicts: 489000 | #Constraints: 31401
404.46/405.50 c #Conflicts: 490000 | #Constraints: 32401
404.46/405.50 c #Conflicts: 491000 | #Constraints: 33401
404.46/405.50 c #Conflicts: 492000 | #Constraints: 34401
404.46/405.50 c #Conflicts: 493000 | #Constraints: 35401
404.46/405.50 c #Conflicts: 494000 | #Constraints: 36401
404.46/405.50 c #Conflicts: 495000 | #Constraints: 37401
404.46/405.50 c #Conflicts: 496000 | #Constraints: 38401
404.46/405.50 c #Conflicts: 497000 | #Constraints: 39401
404.46/405.50 c #Conflicts: 498000 | #Constraints: 40401
404.46/405.50 c #Conflicts: 499000 | #Constraints: 41401
404.46/405.50 c #Conflicts: 500000 | #Constraints: 42401
404.46/405.50 c #Conflicts: 501000 | #Constraints: 43401
404.46/405.50 c #Conflicts: 502000 | #Constraints: 44401
404.46/405.50 c INPROCESSING
404.46/405.50 c GARBAGE COLLECT
404.46/405.50 c #Conflicts: 503000 | #Constraints: 31405
404.46/405.50 c #Conflicts: 504000 | #Constraints: 32405
404.46/405.50 c #Conflicts: 505000 | #Constraints: 33405
404.46/405.50 c #Conflicts: 506000 | #Constraints: 34405
404.46/405.50 c #Conflicts: 507000 | #Constraints: 35405
404.46/405.50 c #Conflicts: 508000 | #Constraints: 36405
404.46/405.50 c #Conflicts: 509000 | #Constraints: 37405
404.46/405.50 c #Conflicts: 510000 | #Constraints: 38405
404.46/405.50 c #Conflicts: 511000 | #Constraints: 39405
404.46/405.50 c #Conflicts: 512000 | #Constraints: 40405
404.46/405.50 c #Conflicts: 513000 | #Constraints: 41405
404.46/405.50 c #Conflicts: 514000 | #Constraints: 42405
404.46/405.50 c #Conflicts: 515000 | #Constraints: 43405
404.46/405.50 c #Conflicts: 516000 | #Constraints: 44405
404.46/405.50 c INPROCESSING
404.46/405.50 c GARBAGE COLLECT
404.46/405.50 c #Conflicts: 517000 | #Constraints: 31191
404.46/405.50 c #Conflicts: 518000 | #Constraints: 32191
404.46/405.50 c #Conflicts: 519000 | #Constraints: 33191
404.46/405.50 c #Conflicts: 520000 | #Constraints: 34191
404.46/405.50 c #Conflicts: 521000 | #Constraints: 35191
404.46/405.50 c #Conflicts: 522000 | #Constraints: 36191
404.46/405.50 c #Conflicts: 523000 | #Constraints: 37191
423.61/424.77 c #Conflicts: 524000 | #Constraints: 38191
423.61/424.77 c #Conflicts: 525000 | #Constraints: 39191
423.61/424.77 c #Conflicts: 526000 | #Constraints: 40191
423.61/424.77 c #Conflicts: 527000 | #Constraints: 41191
423.61/424.77 c #Conflicts: 528000 | #Constraints: 42191
423.61/424.77 c #Conflicts: 529000 | #Constraints: 43191
423.61/424.77 c #Conflicts: 530000 | #Constraints: 44191
423.61/424.77 c #Conflicts: 531000 | #Constraints: 45191
423.61/424.77 c INPROCESSING
423.61/424.77 c GARBAGE COLLECT
423.61/424.77 c #Conflicts: 532000 | #Constraints: 31803
423.61/424.77 c #Conflicts: 533000 | #Constraints: 32803
423.61/424.77 c #Conflicts: 534000 | #Constraints: 33803
423.61/424.77 c #Conflicts: 535000 | #Constraints: 34803
423.61/424.77 c #Conflicts: 536000 | #Constraints: 35803
423.61/424.77 c #Conflicts: 537000 | #Constraints: 36803
423.61/424.77 c #Conflicts: 538000 | #Constraints: 37803
423.61/424.77 c #Conflicts: 539000 | #Constraints: 38803
423.61/424.77 c #Conflicts: 540000 | #Constraints: 39803
423.61/424.77 c #Conflicts: 541000 | #Constraints: 40803
423.61/424.77 c #Conflicts: 542000 | #Constraints: 41803
423.61/424.77 c #Conflicts: 543000 | #Constraints: 42803
423.61/424.77 c #Conflicts: 544000 | #Constraints: 43803
423.61/424.77 c #Conflicts: 545000 | #Constraints: 44803
423.61/424.77 c #Conflicts: 546000 | #Constraints: 45803
423.61/424.77 c INPROCESSING
423.61/424.77 c GARBAGE COLLECT
423.61/424.77 c #Conflicts: 547000 | #Constraints: 32206
423.61/424.77 c #Conflicts: 548000 | #Constraints: 33206
423.61/424.77 c #Conflicts: 549000 | #Constraints: 34206
423.61/424.77 c #Conflicts: 550000 | #Constraints: 35206
423.61/424.77 c #Conflicts: 551000 | #Constraints: 36206
423.61/424.77 c #Conflicts: 552000 | #Constraints: 37206
423.61/424.77 c #Conflicts: 553000 | #Constraints: 38206
423.61/424.77 c #Conflicts: 554000 | #Constraints: 39206
423.61/424.77 c #Conflicts: 555000 | #Constraints: 40206
423.61/424.77 c #Conflicts: 556000 | #Constraints: 41206
423.61/424.77 c #Conflicts: 557000 | #Constraints: 42206
423.61/424.77 c #Conflicts: 558000 | #Constraints: 43206
423.61/424.77 c #Conflicts: 559000 | #Constraints: 44206
423.61/424.77 c #Conflicts: 560000 | #Constraints: 45206
423.61/424.77 c #Conflicts: 561000 | #Constraints: 46206
423.61/424.77 c INPROCESSING
423.61/424.77 c GARBAGE COLLECT
423.61/424.77 c #Conflicts: 562000 | #Constraints: 32406
423.61/424.77 c #Conflicts: 563000 | #Constraints: 33406
423.61/424.77 c #Conflicts: 564000 | #Constraints: 34406
423.61/424.77 c #Conflicts: 565000 | #Constraints: 35406
423.61/424.77 c #Conflicts: 566000 | #Constraints: 36406
423.61/424.77 c #Conflicts: 567000 | #Constraints: 37406
423.61/424.77 c #Conflicts: 568000 | #Constraints: 38406
423.61/424.77 c #Conflicts: 569000 | #Constraints: 39406
423.61/424.77 c #Conflicts: 570000 | #Constraints: 40406
423.61/424.77 c #Conflicts: 571000 | #Constraints: 41406
423.61/424.77 c #Conflicts: 572000 | #Constraints: 42406
423.61/424.77 c #Conflicts: 573000 | #Constraints: 43406
423.61/424.77 c #Conflicts: 574000 | #Constraints: 44406
423.61/424.77 c #Conflicts: 575000 | #Constraints: 45406
423.61/424.77 c #Conflicts: 576000 | #Constraints: 46406
423.61/424.77 c INPROCESSING
423.61/424.77 c GARBAGE COLLECT
423.61/424.77 c #Conflicts: 577000 | #Constraints: 32408
423.61/424.77 c #Conflicts: 578000 | #Constraints: 33408
423.61/424.77 c #Conflicts: 579000 | #Constraints: 34408
423.61/424.77 c #Conflicts: 580000 | #Constraints: 35408
423.61/424.77 c #Conflicts: 581000 | #Constraints: 36408
423.61/424.77 c #Conflicts: 582000 | #Constraints: 37408
423.61/424.77 c #Conflicts: 583000 | #Constraints: 38408
423.61/424.77 c #Conflicts: 584000 | #Constraints: 39408
423.61/424.77 c #Conflicts: 585000 | #Constraints: 40408
423.61/424.77 c #Conflicts: 586000 | #Constraints: 41408
423.61/424.77 c #Conflicts: 587000 | #Constraints: 42408
423.61/424.77 c #Conflicts: 588000 | #Constraints: 43408
423.61/424.77 c #Conflicts: 589000 | #Constraints: 44408
423.61/424.77 c #Conflicts: 590000 | #Constraints: 45408
423.61/424.77 c #Conflicts: 591000 | #Constraints: 46408
423.61/424.77 c INPROCESSING
423.61/424.77 c GARBAGE COLLECT
423.61/424.77 c #Conflicts: 592000 | #Constraints: 32217
423.61/424.77 c #Conflicts: 593000 | #Constraints: 33217
423.61/424.77 c #Conflicts: 594000 | #Constraints: 34217
423.61/424.77 c #Conflicts: 595000 | #Constraints: 35217
423.61/424.77 c #Conflicts: 596000 | #Constraints: 36217
423.61/424.77 c #Conflicts: 597000 | #Constraints: 37217
423.61/424.77 c #Conflicts: 598000 | #Constraints: 38217
423.61/424.77 c #Conflicts: 599000 | #Constraints: 39217
443.87/445.06 c #Conflicts: 600000 | #Constraints: 40217
443.87/445.06 c #Conflicts: 601000 | #Constraints: 41217
443.87/445.06 c #Conflicts: 602000 | #Constraints: 42217
443.87/445.06 c #Conflicts: 603000 | #Constraints: 43217
443.87/445.06 c #Conflicts: 604000 | #Constraints: 44217
443.87/445.06 c #Conflicts: 605000 | #Constraints: 45217
443.87/445.06 c #Conflicts: 606000 | #Constraints: 46217
443.87/445.06 c #Conflicts: 607000 | #Constraints: 47217
443.87/445.06 c INPROCESSING
443.87/445.06 c GARBAGE COLLECT
443.87/445.06 c #Conflicts: 608000 | #Constraints: 32812
443.87/445.06 c #Conflicts: 609000 | #Constraints: 33812
443.87/445.06 c #Conflicts: 610000 | #Constraints: 34812
443.87/445.06 c #Conflicts: 611000 | #Constraints: 35812
443.87/445.06 c #Conflicts: 612000 | #Constraints: 36812
443.87/445.06 c #Conflicts: 613000 | #Constraints: 37812
443.87/445.06 c #Conflicts: 614000 | #Constraints: 38812
443.87/445.06 c #Conflicts: 615000 | #Constraints: 39812
443.87/445.06 c #Conflicts: 616000 | #Constraints: 40812
443.87/445.06 c #Conflicts: 617000 | #Constraints: 41812
443.87/445.06 c #Conflicts: 618000 | #Constraints: 42812
443.87/445.06 c #Conflicts: 619000 | #Constraints: 43812
443.87/445.06 c #Conflicts: 620000 | #Constraints: 44812
443.87/445.06 c #Conflicts: 621000 | #Constraints: 45812
443.87/445.06 c #Conflicts: 622000 | #Constraints: 46812
443.87/445.06 c #Conflicts: 623000 | #Constraints: 47812
443.87/445.06 c INPROCESSING
443.87/445.06 c GARBAGE COLLECT
443.87/445.06 c #Conflicts: 624000 | #Constraints: 33203
443.87/445.06 c #Conflicts: 625000 | #Constraints: 34203
443.87/445.06 c #Conflicts: 626000 | #Constraints: 35203
443.87/445.06 c #Conflicts: 627000 | #Constraints: 36203
443.87/445.06 c #Conflicts: 628000 | #Constraints: 37203
443.87/445.06 c #Conflicts: 629000 | #Constraints: 38203
443.87/445.06 c #Conflicts: 630000 | #Constraints: 39203
443.87/445.06 c #Conflicts: 631000 | #Constraints: 40203
443.87/445.06 c #Conflicts: 632000 | #Constraints: 41203
443.87/445.06 c #Conflicts: 633000 | #Constraints: 42203
443.87/445.06 c #Conflicts: 634000 | #Constraints: 43203
443.87/445.06 c #Conflicts: 635000 | #Constraints: 44203
443.87/445.06 c #Conflicts: 636000 | #Constraints: 45203
443.87/445.06 c #Conflicts: 637000 | #Constraints: 46203
443.87/445.06 c #Conflicts: 638000 | #Constraints: 47203
443.87/445.06 c #Conflicts: 639000 | #Constraints: 48203
443.87/445.06 c INPROCESSING
443.87/445.06 c GARBAGE COLLECT
443.87/445.06 c #Conflicts: 640000 | #Constraints: 33394
443.87/445.06 c #Conflicts: 641000 | #Constraints: 34394
443.87/445.06 c #Conflicts: 642000 | #Constraints: 35394
443.87/445.06 c #Conflicts: 643000 | #Constraints: 36394
443.87/445.06 c #Conflicts: 644000 | #Constraints: 37394
443.87/445.06 c #Conflicts: 645000 | #Constraints: 38394
443.87/445.06 c #Conflicts: 646000 | #Constraints: 39394
443.87/445.06 c #Conflicts: 647000 | #Constraints: 40394
443.87/445.06 c #Conflicts: 648000 | #Constraints: 41394
443.87/445.06 c #Conflicts: 649000 | #Constraints: 42394
443.87/445.06 c #Conflicts: 650000 | #Constraints: 43394
443.87/445.06 c #Conflicts: 651000 | #Constraints: 44394
443.87/445.06 c #Conflicts: 652000 | #Constraints: 45394
443.87/445.06 c #Conflicts: 653000 | #Constraints: 46394
443.87/445.06 c #Conflicts: 654000 | #Constraints: 47394
443.87/445.06 c #Conflicts: 655000 | #Constraints: 48394
443.87/445.06 c INPROCESSING
443.87/445.06 c GARBAGE COLLECT
443.87/445.06 c #Conflicts: 656000 | #Constraints: 33394
443.87/445.06 c #Conflicts: 657000 | #Constraints: 34394
443.87/445.06 c #Conflicts: 658000 | #Constraints: 35394
443.87/445.06 c #Conflicts: 659000 | #Constraints: 36394
443.87/445.06 c #Conflicts: 660000 | #Constraints: 37394
443.87/445.06 c #Conflicts: 661000 | #Constraints: 38394
443.87/445.06 c #Conflicts: 662000 | #Constraints: 39394
443.87/445.06 c #Conflicts: 663000 | #Constraints: 40394
443.87/445.06 c #Conflicts: 664000 | #Constraints: 41394
443.87/445.06 c #Conflicts: 665000 | #Constraints: 42394
443.87/445.06 c #Conflicts: 666000 | #Constraints: 43394
443.87/445.06 c #Conflicts: 667000 | #Constraints: 44394
443.87/445.06 c #Conflicts: 668000 | #Constraints: 45394
443.87/445.06 c #Conflicts: 669000 | #Constraints: 46394
443.87/445.06 c #Conflicts: 670000 | #Constraints: 47394
443.87/445.06 c #Conflicts: 671000 | #Constraints: 48394
443.87/445.06 c INPROCESSING
443.87/445.06 c GARBAGE COLLECT
443.87/445.06 c #Conflicts: 672000 | #Constraints: 33188
443.87/445.06 c #Conflicts: 673000 | #Constraints: 34188
443.87/445.06 c #Conflicts: 674000 | #Constraints: 35188
443.87/445.06 c #Conflicts: 675000 | #Constraints: 36188
466.00/467.30 c #Conflicts: 676000 | #Constraints: 37188
466.00/467.30 c #Conflicts: 677000 | #Constraints: 38188
466.00/467.30 c #Conflicts: 678000 | #Constraints: 39188
466.00/467.30 c #Conflicts: 679000 | #Constraints: 40188
466.00/467.30 c #Conflicts: 680000 | #Constraints: 41188
466.00/467.30 c #Conflicts: 681000 | #Constraints: 42188
466.00/467.30 c #Conflicts: 682000 | #Constraints: 43188
466.00/467.30 c #Conflicts: 683000 | #Constraints: 44188
466.00/467.30 c #Conflicts: 684000 | #Constraints: 45188
466.00/467.30 c #Conflicts: 685000 | #Constraints: 46188
466.00/467.30 c #Conflicts: 686000 | #Constraints: 47188
466.00/467.30 c #Conflicts: 687000 | #Constraints: 48188
466.00/467.30 c #Conflicts: 688000 | #Constraints: 49188
466.00/467.30 c INPROCESSING
466.00/467.30 c GARBAGE COLLECT
466.00/467.30 c #Conflicts: 689000 | #Constraints: 33807
466.00/467.30 c #Conflicts: 690000 | #Constraints: 34807
466.00/467.30 c #Conflicts: 691000 | #Constraints: 35807
466.00/467.30 c #Conflicts: 692000 | #Constraints: 36807
466.00/467.30 c #Conflicts: 693000 | #Constraints: 37807
466.00/467.30 c #Conflicts: 694000 | #Constraints: 38807
466.00/467.30 c #Conflicts: 695000 | #Constraints: 39807
466.00/467.30 c #Conflicts: 696000 | #Constraints: 40807
466.00/467.30 c #Conflicts: 697000 | #Constraints: 41807
466.00/467.30 c #Conflicts: 698000 | #Constraints: 42807
466.00/467.30 c #Conflicts: 699000 | #Constraints: 43807
466.00/467.30 c #Conflicts: 700000 | #Constraints: 44807
466.00/467.30 c #Conflicts: 701000 | #Constraints: 45807
466.00/467.30 c #Conflicts: 702000 | #Constraints: 46807
466.00/467.30 c #Conflicts: 703000 | #Constraints: 47807
466.00/467.30 c #Conflicts: 704000 | #Constraints: 48807
466.00/467.30 c #Conflicts: 705000 | #Constraints: 49807
466.00/467.30 c INPROCESSING
466.00/467.30 c GARBAGE COLLECT
466.00/467.30 c #Conflicts: 706000 | #Constraints: 34209
466.00/467.30 c #Conflicts: 707000 | #Constraints: 35209
466.00/467.30 c #Conflicts: 708000 | #Constraints: 36209
466.00/467.30 c #Conflicts: 709000 | #Constraints: 37209
466.00/467.30 c #Conflicts: 710000 | #Constraints: 38209
466.00/467.30 c #Conflicts: 711000 | #Constraints: 39209
466.00/467.30 c #Conflicts: 712000 | #Constraints: 40209
466.00/467.30 c #Conflicts: 713000 | #Constraints: 41209
466.00/467.30 c #Conflicts: 714000 | #Constraints: 42209
466.00/467.30 c #Conflicts: 715000 | #Constraints: 43209
466.00/467.30 c #Conflicts: 716000 | #Constraints: 44209
466.00/467.30 c #Conflicts: 717000 | #Constraints: 45209
466.00/467.30 c #Conflicts: 718000 | #Constraints: 46209
466.00/467.30 c #Conflicts: 719000 | #Constraints: 47209
466.00/467.30 c #Conflicts: 720000 | #Constraints: 48209
466.00/467.30 c #Conflicts: 721000 | #Constraints: 49209
466.00/467.30 c #Conflicts: 722000 | #Constraints: 50209
466.00/467.30 c INPROCESSING
466.00/467.30 c GARBAGE COLLECT
466.00/467.30 c #Conflicts: 723000 | #Constraints: 34407
466.00/467.30 c #Conflicts: 724000 | #Constraints: 35407
466.00/467.30 c #Conflicts: 725000 | #Constraints: 36407
466.00/467.30 c #Conflicts: 726000 | #Constraints: 37407
466.00/467.30 c #Conflicts: 727000 | #Constraints: 38407
466.00/467.30 c #Conflicts: 728000 | #Constraints: 39407
466.00/467.30 c #Conflicts: 729000 | #Constraints: 40407
466.00/467.30 c #Conflicts: 730000 | #Constraints: 41407
466.00/467.30 c #Conflicts: 731000 | #Constraints: 42407
466.00/467.30 c #Conflicts: 732000 | #Constraints: 43407
466.00/467.30 c #Conflicts: 733000 | #Constraints: 44407
466.00/467.30 c #Conflicts: 734000 | #Constraints: 45407
466.00/467.30 c #Conflicts: 735000 | #Constraints: 46407
466.00/467.30 c #Conflicts: 736000 | #Constraints: 47407
466.00/467.30 c #Conflicts: 737000 | #Constraints: 48407
466.00/467.30 c #Conflicts: 738000 | #Constraints: 49407
466.00/467.30 c #Conflicts: 739000 | #Constraints: 50407
466.00/467.30 c INPROCESSING
466.00/467.30 c GARBAGE COLLECT
466.00/467.30 c #Conflicts: 740000 | #Constraints: 34420
466.00/467.30 c #Conflicts: 741000 | #Constraints: 35420
466.00/467.30 c #Conflicts: 742000 | #Constraints: 36420
466.00/467.30 c #Conflicts: 743000 | #Constraints: 37420
466.00/467.30 c #Conflicts: 744000 | #Constraints: 38420
466.00/467.30 c #Conflicts: 745000 | #Constraints: 39420
466.00/467.30 c #Conflicts: 746000 | #Constraints: 40420
466.00/467.30 c #Conflicts: 747000 | #Constraints: 41420
466.00/467.30 c #Conflicts: 748000 | #Constraints: 42420
466.00/467.30 c #Conflicts: 749000 | #Constraints: 43420
466.00/467.30 c #Conflicts: 750000 | #Constraints: 44420
466.00/467.30 c #Conflicts: 751000 | #Constraints: 45420
488.15/489.49 c #Conflicts: 752000 | #Constraints: 46420
488.15/489.49 c #Conflicts: 753000 | #Constraints: 47420
488.15/489.49 c #Conflicts: 754000 | #Constraints: 48420
488.15/489.49 c #Conflicts: 755000 | #Constraints: 49420
488.15/489.49 c #Conflicts: 756000 | #Constraints: 50420
488.15/489.49 c INPROCESSING
488.15/489.49 c GARBAGE COLLECT
488.15/489.49 c #Conflicts: 757000 | #Constraints: 34209
488.15/489.49 c #Conflicts: 758000 | #Constraints: 35209
488.15/489.49 c #Conflicts: 759000 | #Constraints: 36209
488.15/489.49 c #Conflicts: 760000 | #Constraints: 37209
488.15/489.49 c #Conflicts: 761000 | #Constraints: 38209
488.15/489.49 c #Conflicts: 762000 | #Constraints: 39209
488.15/489.49 c #Conflicts: 763000 | #Constraints: 40209
488.15/489.49 c #Conflicts: 764000 | #Constraints: 41209
488.15/489.49 c #Conflicts: 765000 | #Constraints: 42209
488.15/489.49 c #Conflicts: 766000 | #Constraints: 43209
488.15/489.49 c #Conflicts: 767000 | #Constraints: 44209
488.15/489.49 c #Conflicts: 768000 | #Constraints: 45209
488.15/489.49 c #Conflicts: 769000 | #Constraints: 46209
488.15/489.49 c #Conflicts: 770000 | #Constraints: 47209
488.15/489.49 c #Conflicts: 771000 | #Constraints: 48209
488.15/489.49 c #Conflicts: 772000 | #Constraints: 49209
488.15/489.49 c #Conflicts: 773000 | #Constraints: 50209
488.15/489.49 c #Conflicts: 774000 | #Constraints: 51209
488.15/489.49 c INPROCESSING
488.15/489.49 c GARBAGE COLLECT
488.15/489.49 c #Conflicts: 775000 | #Constraints: 34823
488.15/489.49 c #Conflicts: 776000 | #Constraints: 35823
488.15/489.49 c #Conflicts: 777000 | #Constraints: 36823
488.15/489.49 c #Conflicts: 778000 | #Constraints: 37823
488.15/489.49 c #Conflicts: 779000 | #Constraints: 38823
488.15/489.49 c #Conflicts: 780000 | #Constraints: 39823
488.15/489.49 c #Conflicts: 781000 | #Constraints: 40823
488.15/489.49 c #Conflicts: 782000 | #Constraints: 41823
488.15/489.49 c #Conflicts: 783000 | #Constraints: 42823
488.15/489.49 c #Conflicts: 784000 | #Constraints: 43823
488.15/489.49 c #Conflicts: 785000 | #Constraints: 44823
488.15/489.49 c #Conflicts: 786000 | #Constraints: 45823
488.15/489.49 c #Conflicts: 787000 | #Constraints: 46823
488.15/489.49 c #Conflicts: 788000 | #Constraints: 47823
488.15/489.49 c #Conflicts: 789000 | #Constraints: 48823
488.15/489.49 c #Conflicts: 790000 | #Constraints: 49823
488.15/489.49 c #Conflicts: 791000 | #Constraints: 50823
488.15/489.49 c #Conflicts: 792000 | #Constraints: 51823
488.15/489.49 c INPROCESSING
488.15/489.49 c GARBAGE COLLECT
488.15/489.49 c #Conflicts: 793000 | #Constraints: 35220
488.15/489.49 c #Conflicts: 794000 | #Constraints: 36220
488.15/489.49 c #Conflicts: 795000 | #Constraints: 37220
488.15/489.49 c #Conflicts: 796000 | #Constraints: 38220
488.15/489.49 c #Conflicts: 797000 | #Constraints: 39220
488.15/489.49 c #Conflicts: 798000 | #Constraints: 40220
488.15/489.49 c #Conflicts: 799000 | #Constraints: 41220
488.15/489.49 c #Conflicts: 800000 | #Constraints: 42220
488.15/489.49 c #Conflicts: 801000 | #Constraints: 43220
488.15/489.49 c #Conflicts: 802000 | #Constraints: 44220
488.15/489.49 c #Conflicts: 803000 | #Constraints: 45220
488.15/489.49 c #Conflicts: 804000 | #Constraints: 46220
488.15/489.49 c #Conflicts: 805000 | #Constraints: 47220
488.15/489.49 c #Conflicts: 806000 | #Constraints: 48220
488.15/489.49 c #Conflicts: 807000 | #Constraints: 49220
488.15/489.49 c #Conflicts: 808000 | #Constraints: 50220
488.15/489.49 c #Conflicts: 809000 | #Constraints: 51220
488.15/489.49 c #Conflicts: 810000 | #Constraints: 52220
488.15/489.49 c INPROCESSING
488.15/489.49 c GARBAGE COLLECT
488.15/489.49 c #Conflicts: 811000 | #Constraints: 35408
488.15/489.49 c #Conflicts: 812000 | #Constraints: 36408
488.15/489.49 c #Conflicts: 813000 | #Constraints: 37408
488.15/489.49 c #Conflicts: 814000 | #Constraints: 38408
488.15/489.49 c #Conflicts: 815000 | #Constraints: 39408
488.15/489.49 c #Conflicts: 816000 | #Constraints: 40408
488.15/489.49 c #Conflicts: 817000 | #Constraints: 41408
488.15/489.49 c #Conflicts: 818000 | #Constraints: 42408
488.15/489.49 c #Conflicts: 819000 | #Constraints: 43408
488.15/489.49 c #Conflicts: 820000 | #Constraints: 44408
488.15/489.49 c #Conflicts: 821000 | #Constraints: 45408
488.15/489.49 c #Conflicts: 822000 | #Constraints: 46408
488.15/489.49 c #Conflicts: 823000 | #Constraints: 47408
488.15/489.49 c #Conflicts: 824000 | #Constraints: 48408
488.15/489.49 c #Conflicts: 825000 | #Constraints: 49408
488.15/489.49 c #Conflicts: 826000 | #Constraints: 50408
488.15/489.49 c #Conflicts: 827000 | #Constraints: 51408
510.89/512.26 c #Conflicts: 828000 | #Constraints: 52408
510.89/512.26 c INPROCESSING
510.89/512.26 c GARBAGE COLLECT
510.89/512.26 c #Conflicts: 829000 | #Constraints: 35425
510.89/512.26 c #Conflicts: 830000 | #Constraints: 36425
510.89/512.26 c #Conflicts: 831000 | #Constraints: 37425
510.89/512.26 c #Conflicts: 832000 | #Constraints: 38425
510.89/512.26 c #Conflicts: 833000 | #Constraints: 39425
510.89/512.26 c #Conflicts: 834000 | #Constraints: 40425
510.89/512.26 c #Conflicts: 835000 | #Constraints: 41425
510.89/512.26 c #Conflicts: 836000 | #Constraints: 42425
510.89/512.26 c #Conflicts: 837000 | #Constraints: 43425
510.89/512.26 c #Conflicts: 838000 | #Constraints: 44425
510.89/512.26 c #Conflicts: 839000 | #Constraints: 45425
510.89/512.26 c #Conflicts: 840000 | #Constraints: 46425
510.89/512.26 c #Conflicts: 841000 | #Constraints: 47425
510.89/512.26 c #Conflicts: 842000 | #Constraints: 48425
510.89/512.26 c #Conflicts: 843000 | #Constraints: 49425
510.89/512.26 c #Conflicts: 844000 | #Constraints: 50425
510.89/512.26 c #Conflicts: 845000 | #Constraints: 51425
510.89/512.26 c #Conflicts: 846000 | #Constraints: 52425
510.89/512.26 c INPROCESSING
510.89/512.26 c GARBAGE COLLECT
510.89/512.26 c #Conflicts: 847000 | #Constraints: 35227
510.89/512.26 c #Conflicts: 848000 | #Constraints: 36227
510.89/512.26 c #Conflicts: 849000 | #Constraints: 37227
510.89/512.26 c #Conflicts: 850000 | #Constraints: 38227
510.89/512.26 c #Conflicts: 851000 | #Constraints: 39227
510.89/512.26 c #Conflicts: 852000 | #Constraints: 40227
510.89/512.26 c #Conflicts: 853000 | #Constraints: 41227
510.89/512.26 c #Conflicts: 854000 | #Constraints: 42227
510.89/512.26 c #Conflicts: 855000 | #Constraints: 43227
510.89/512.26 c #Conflicts: 856000 | #Constraints: 44227
510.89/512.26 c #Conflicts: 857000 | #Constraints: 45227
510.89/512.26 c #Conflicts: 858000 | #Constraints: 46227
510.89/512.26 c #Conflicts: 859000 | #Constraints: 47227
510.89/512.26 c #Conflicts: 860000 | #Constraints: 48227
510.89/512.26 c #Conflicts: 861000 | #Constraints: 49227
510.89/512.26 c #Conflicts: 862000 | #Constraints: 50227
510.89/512.26 c #Conflicts: 863000 | #Constraints: 51227
510.89/512.26 c #Conflicts: 864000 | #Constraints: 52227
510.89/512.26 c #Conflicts: 865000 | #Constraints: 53227
510.89/512.26 c INPROCESSING
510.89/512.26 c GARBAGE COLLECT
510.89/512.26 c #Conflicts: 866000 | #Constraints: 35825
510.89/512.26 c #Conflicts: 867000 | #Constraints: 36825
510.89/512.26 c #Conflicts: 868000 | #Constraints: 37825
510.89/512.26 c #Conflicts: 869000 | #Constraints: 38825
510.89/512.26 c #Conflicts: 870000 | #Constraints: 39825
510.89/512.26 c #Conflicts: 871000 | #Constraints: 40825
510.89/512.26 c #Conflicts: 872000 | #Constraints: 41825
510.89/512.26 c #Conflicts: 873000 | #Constraints: 42825
510.89/512.26 c #Conflicts: 874000 | #Constraints: 43825
510.89/512.26 c #Conflicts: 875000 | #Constraints: 44825
510.89/512.26 c #Conflicts: 876000 | #Constraints: 45825
510.89/512.26 c #Conflicts: 877000 | #Constraints: 46825
510.89/512.26 c #Conflicts: 878000 | #Constraints: 47825
510.89/512.26 c #Conflicts: 879000 | #Constraints: 48825
510.89/512.26 c #Conflicts: 880000 | #Constraints: 49825
510.89/512.26 c #Conflicts: 881000 | #Constraints: 50825
510.89/512.26 c #Conflicts: 882000 | #Constraints: 51825
510.89/512.26 c #Conflicts: 883000 | #Constraints: 52825
510.89/512.26 c #Conflicts: 884000 | #Constraints: 53825
510.89/512.26 c INPROCESSING
510.89/512.26 c GARBAGE COLLECT
510.89/512.26 c #Conflicts: 885000 | #Constraints: 36220
510.89/512.26 c #Conflicts: 886000 | #Constraints: 37220
510.89/512.26 c #Conflicts: 887000 | #Constraints: 38220
510.89/512.26 c #Conflicts: 888000 | #Constraints: 39220
510.89/512.26 c #Conflicts: 889000 | #Constraints: 40220
510.89/512.26 c #Conflicts: 890000 | #Constraints: 41220
510.89/512.26 c #Conflicts: 891000 | #Constraints: 42220
510.89/512.26 c #Conflicts: 892000 | #Constraints: 43220
510.89/512.26 c #Conflicts: 893000 | #Constraints: 44220
510.89/512.26 c #Conflicts: 894000 | #Constraints: 45220
510.89/512.26 c #Conflicts: 895000 | #Constraints: 46220
510.89/512.26 c #Conflicts: 896000 | #Constraints: 47220
510.89/512.26 c #Conflicts: 897000 | #Constraints: 48220
510.89/512.26 c #Conflicts: 898000 | #Constraints: 49220
510.89/512.26 c #Conflicts: 899000 | #Constraints: 50220
510.89/512.26 c #Conflicts: 900000 | #Constraints: 51220
510.89/512.26 c #Conflicts: 901000 | #Constraints: 52220
510.89/512.26 c #Conflicts: 902000 | #Constraints: 53220
510.89/512.26 c #Conflicts: 903000 | #Constraints: 54220
535.13/536.54 c INPROCESSING
535.13/536.54 c GARBAGE COLLECT
535.13/536.54 c #Conflicts: 904000 | #Constraints: 36423
535.13/536.54 c #Conflicts: 905000 | #Constraints: 37423
535.13/536.54 c #Conflicts: 906000 | #Constraints: 38423
535.13/536.54 c #Conflicts: 907000 | #Constraints: 39423
535.13/536.54 c #Conflicts: 908000 | #Constraints: 40423
535.13/536.54 c #Conflicts: 909000 | #Constraints: 41423
535.13/536.54 c #Conflicts: 910000 | #Constraints: 42423
535.13/536.54 c #Conflicts: 911000 | #Constraints: 43423
535.13/536.54 c #Conflicts: 912000 | #Constraints: 44423
535.13/536.54 c #Conflicts: 913000 | #Constraints: 45423
535.13/536.54 c #Conflicts: 914000 | #Constraints: 46423
535.13/536.54 c #Conflicts: 915000 | #Constraints: 47423
535.13/536.54 c #Conflicts: 916000 | #Constraints: 48423
535.13/536.54 c #Conflicts: 917000 | #Constraints: 49423
535.13/536.54 c #Conflicts: 918000 | #Constraints: 50423
535.13/536.54 c #Conflicts: 919000 | #Constraints: 51423
535.13/536.54 c #Conflicts: 920000 | #Constraints: 52423
535.13/536.54 c #Conflicts: 921000 | #Constraints: 53423
535.13/536.54 c #Conflicts: 922000 | #Constraints: 54423
535.13/536.54 c INPROCESSING
535.13/536.54 c GARBAGE COLLECT
535.13/536.54 c #Conflicts: 923000 | #Constraints: 36414
535.13/536.54 c #Conflicts: 924000 | #Constraints: 37414
535.13/536.54 c #Conflicts: 925000 | #Constraints: 38414
535.13/536.54 c #Conflicts: 926000 | #Constraints: 39414
535.13/536.54 c #Conflicts: 927000 | #Constraints: 40414
535.13/536.54 c #Conflicts: 928000 | #Constraints: 41414
535.13/536.54 c #Conflicts: 929000 | #Constraints: 42414
535.13/536.54 c #Conflicts: 930000 | #Constraints: 43414
535.13/536.54 c #Conflicts: 931000 | #Constraints: 44414
535.13/536.54 c #Conflicts: 932000 | #Constraints: 45414
535.13/536.54 c #Conflicts: 933000 | #Constraints: 46414
535.13/536.54 c #Conflicts: 934000 | #Constraints: 47414
535.13/536.54 c #Conflicts: 935000 | #Constraints: 48414
535.13/536.54 c #Conflicts: 936000 | #Constraints: 49414
535.13/536.54 c #Conflicts: 937000 | #Constraints: 50414
535.13/536.54 c #Conflicts: 938000 | #Constraints: 51414
535.13/536.54 c #Conflicts: 939000 | #Constraints: 52414
535.13/536.54 c #Conflicts: 940000 | #Constraints: 53414
535.13/536.54 c #Conflicts: 941000 | #Constraints: 54414
535.13/536.54 c INPROCESSING
535.13/536.54 c GARBAGE COLLECT
535.13/536.54 c #Conflicts: 942000 | #Constraints: 36220
535.13/536.54 c #Conflicts: 943000 | #Constraints: 37220
535.13/536.54 c #Conflicts: 944000 | #Constraints: 38220
535.13/536.54 c #Conflicts: 945000 | #Constraints: 39220
535.13/536.54 c #Conflicts: 946000 | #Constraints: 40220
535.13/536.54 c #Conflicts: 947000 | #Constraints: 41220
535.13/536.54 c #Conflicts: 948000 | #Constraints: 42220
535.13/536.54 c #Conflicts: 949000 | #Constraints: 43220
535.13/536.54 c #Conflicts: 950000 | #Constraints: 44220
535.13/536.54 c #Conflicts: 951000 | #Constraints: 45220
535.13/536.54 c #Conflicts: 952000 | #Constraints: 46220
535.13/536.54 c #Conflicts: 953000 | #Constraints: 47220
535.13/536.54 c #Conflicts: 954000 | #Constraints: 48220
535.13/536.54 c #Conflicts: 955000 | #Constraints: 49220
535.13/536.54 c #Conflicts: 956000 | #Constraints: 50220
535.13/536.54 c #Conflicts: 957000 | #Constraints: 51220
535.13/536.54 c #Conflicts: 958000 | #Constraints: 52220
535.13/536.54 c #Conflicts: 959000 | #Constraints: 53220
535.13/536.54 c #Conflicts: 960000 | #Constraints: 54220
535.13/536.54 c #Conflicts: 961000 | #Constraints: 55220
535.13/536.54 c INPROCESSING
535.13/536.54 c GARBAGE COLLECT
535.13/536.54 c #Conflicts: 962000 | #Constraints: 36832
535.13/536.54 c #Conflicts: 963000 | #Constraints: 37832
535.13/536.54 c #Conflicts: 964000 | #Constraints: 38832
535.13/536.54 c #Conflicts: 965000 | #Constraints: 39832
535.13/536.54 c #Conflicts: 966000 | #Constraints: 40832
535.13/536.54 c #Conflicts: 967000 | #Constraints: 41832
535.13/536.54 c #Conflicts: 968000 | #Constraints: 42832
535.13/536.54 c #Conflicts: 969000 | #Constraints: 43832
535.13/536.54 c #Conflicts: 970000 | #Constraints: 44832
535.13/536.54 c #Conflicts: 971000 | #Constraints: 45832
535.13/536.54 c #Conflicts: 972000 | #Constraints: 46832
535.13/536.54 c #Conflicts: 973000 | #Constraints: 47832
535.13/536.54 c #Conflicts: 974000 | #Constraints: 48832
535.13/536.54 c #Conflicts: 975000 | #Constraints: 49832
535.13/536.54 c #Conflicts: 976000 | #Constraints: 50832
535.13/536.54 c #Conflicts: 977000 | #Constraints: 51832
535.13/536.54 c #Conflicts: 978000 | #Constraints: 52832
535.13/536.54 c #Conflicts: 979000 | #Constraints: 53832
535.13/536.54 c #Conflicts: 980000 | #Constraints: 54832
560.46/561.92 c #Conflicts: 981000 | #Constraints: 55832
560.46/561.92 c INPROCESSING
560.46/561.92 c GARBAGE COLLECT
560.46/561.92 c #Conflicts: 982000 | #Constraints: 37222
560.46/561.92 c #Conflicts: 983000 | #Constraints: 38222
560.46/561.92 c #Conflicts: 984000 | #Constraints: 39222
560.46/561.92 c #Conflicts: 985000 | #Constraints: 40222
560.46/561.92 c #Conflicts: 986000 | #Constraints: 41222
560.46/561.92 c #Conflicts: 987000 | #Constraints: 42222
560.46/561.92 c #Conflicts: 988000 | #Constraints: 43222
560.46/561.92 c #Conflicts: 989000 | #Constraints: 44222
560.46/561.92 c #Conflicts: 990000 | #Constraints: 45222
560.46/561.92 c #Conflicts: 991000 | #Constraints: 46222
560.46/561.92 c #Conflicts: 992000 | #Constraints: 47222
560.46/561.92 c #Conflicts: 993000 | #Constraints: 48222
560.46/561.92 c #Conflicts: 994000 | #Constraints: 49222
560.46/561.92 c #Conflicts: 995000 | #Constraints: 50222
560.46/561.92 c #Conflicts: 996000 | #Constraints: 51222
560.46/561.92 c #Conflicts: 997000 | #Constraints: 52222
560.46/561.92 c #Conflicts: 998000 | #Constraints: 53222
560.46/561.92 c #Conflicts: 999000 | #Constraints: 54222
560.46/561.92 c #Conflicts: 1000000 | #Constraints: 55222
560.46/561.92 c #Conflicts: 1001000 | #Constraints: 56222
560.46/561.92 c INPROCESSING
560.46/561.92 c GARBAGE COLLECT
560.46/561.92 c #Conflicts: 1002000 | #Constraints: 37419
560.46/561.92 c #Conflicts: 1003000 | #Constraints: 38419
560.46/561.92 c #Conflicts: 1004000 | #Constraints: 39419
560.46/561.92 c #Conflicts: 1005000 | #Constraints: 40419
560.46/561.92 c #Conflicts: 1006000 | #Constraints: 41419
560.46/561.92 c #Conflicts: 1007000 | #Constraints: 42419
560.46/561.92 c #Conflicts: 1008000 | #Constraints: 43419
560.46/561.92 c #Conflicts: 1009000 | #Constraints: 44419
560.46/561.92 c #Conflicts: 1010000 | #Constraints: 45419
560.46/561.92 c #Conflicts: 1011000 | #Constraints: 46419
560.46/561.92 c #Conflicts: 1012000 | #Constraints: 47419
560.46/561.92 c #Conflicts: 1013000 | #Constraints: 48419
560.46/561.92 c #Conflicts: 1014000 | #Constraints: 49419
560.46/561.92 c #Conflicts: 1015000 | #Constraints: 50419
560.46/561.92 c #Conflicts: 1016000 | #Constraints: 51419
560.46/561.92 c #Conflicts: 1017000 | #Constraints: 52419
560.46/561.92 c #Conflicts: 1018000 | #Constraints: 53419
560.46/561.92 c #Conflicts: 1019000 | #Constraints: 54419
560.46/561.92 c #Conflicts: 1020000 | #Constraints: 55419
560.46/561.92 c #Conflicts: 1021000 | #Constraints: 56419
560.46/561.92 c INPROCESSING
560.46/561.92 c GARBAGE COLLECT
560.46/561.92 c #Conflicts: 1022000 | #Constraints: 37430
560.46/561.92 c #Conflicts: 1023000 | #Constraints: 38430
560.46/561.92 c #Conflicts: 1024000 | #Constraints: 39430
560.46/561.92 c #Conflicts: 1025000 | #Constraints: 40430
560.46/561.92 c #Conflicts: 1026000 | #Constraints: 41430
560.46/561.92 c #Conflicts: 1027000 | #Constraints: 42430
560.46/561.92 c #Conflicts: 1028000 | #Constraints: 43430
560.46/561.92 c #Conflicts: 1029000 | #Constraints: 44430
560.46/561.92 c #Conflicts: 1030000 | #Constraints: 45430
560.46/561.92 c #Conflicts: 1031000 | #Constraints: 46430
560.46/561.92 c #Conflicts: 1032000 | #Constraints: 47430
560.46/561.92 c #Conflicts: 1033000 | #Constraints: 48430
560.46/561.92 c #Conflicts: 1034000 | #Constraints: 49430
560.46/561.92 c #Conflicts: 1035000 | #Constraints: 50430
560.46/561.92 c #Conflicts: 1036000 | #Constraints: 51430
560.46/561.92 c #Conflicts: 1037000 | #Constraints: 52430
560.46/561.92 c #Conflicts: 1038000 | #Constraints: 53430
560.46/561.92 c #Conflicts: 1039000 | #Constraints: 54430
560.46/561.92 c #Conflicts: 1040000 | #Constraints: 55430
560.46/561.92 c #Conflicts: 1041000 | #Constraints: 56430
560.46/561.92 c INPROCESSING
560.46/561.92 c GARBAGE COLLECT
560.46/561.92 c #Conflicts: 1042000 | #Constraints: 37234
560.46/561.92 c #Conflicts: 1043000 | #Constraints: 38234
560.46/561.92 c #Conflicts: 1044000 | #Constraints: 39234
560.46/561.92 c #Conflicts: 1045000 | #Constraints: 40234
560.46/561.92 c #Conflicts: 1046000 | #Constraints: 41234
560.46/561.92 c #Conflicts: 1047000 | #Constraints: 42234
560.46/561.92 c #Conflicts: 1048000 | #Constraints: 43234
560.46/561.92 c #Conflicts: 1049000 | #Constraints: 44234
560.46/561.92 c #Conflicts: 1050000 | #Constraints: 45234
560.46/561.92 c #Conflicts: 1051000 | #Constraints: 46234
560.46/561.92 c #Conflicts: 1052000 | #Constraints: 47234
560.46/561.92 c #Conflicts: 1053000 | #Constraints: 48234
560.46/561.92 c #Conflicts: 1054000 | #Constraints: 49234
560.46/561.92 c #Conflicts: 1055000 | #Constraints: 50234
560.46/561.92 c #Conflicts: 1056000 | #Constraints: 51234
586.99/588.52 c #Conflicts: 1057000 | #Constraints: 52234
586.99/588.52 c #Conflicts: 1058000 | #Constraints: 53234
586.99/588.52 c #Conflicts: 1059000 | #Constraints: 54234
586.99/588.52 c #Conflicts: 1060000 | #Constraints: 55234
586.99/588.52 c #Conflicts: 1061000 | #Constraints: 56234
586.99/588.52 c #Conflicts: 1062000 | #Constraints: 57234
586.99/588.52 c INPROCESSING
586.99/588.52 c GARBAGE COLLECT
586.99/588.52 c #Conflicts: 1063000 | #Constraints: 37827
586.99/588.52 c #Conflicts: 1064000 | #Constraints: 38827
586.99/588.52 c #Conflicts: 1065000 | #Constraints: 39827
586.99/588.52 c #Conflicts: 1066000 | #Constraints: 40827
586.99/588.52 c #Conflicts: 1067000 | #Constraints: 41827
586.99/588.52 c #Conflicts: 1068000 | #Constraints: 42827
586.99/588.52 c #Conflicts: 1069000 | #Constraints: 43827
586.99/588.52 c #Conflicts: 1070000 | #Constraints: 44827
586.99/588.52 c #Conflicts: 1071000 | #Constraints: 45827
586.99/588.52 c #Conflicts: 1072000 | #Constraints: 46827
586.99/588.52 c #Conflicts: 1073000 | #Constraints: 47827
586.99/588.52 c #Conflicts: 1074000 | #Constraints: 48827
586.99/588.52 c #Conflicts: 1075000 | #Constraints: 49827
586.99/588.52 c #Conflicts: 1076000 | #Constraints: 50827
586.99/588.52 c #Conflicts: 1077000 | #Constraints: 51827
586.99/588.52 c #Conflicts: 1078000 | #Constraints: 52827
586.99/588.52 c #Conflicts: 1079000 | #Constraints: 53827
586.99/588.52 c #Conflicts: 1080000 | #Constraints: 54827
586.99/588.52 c #Conflicts: 1081000 | #Constraints: 55827
586.99/588.52 c #Conflicts: 1082000 | #Constraints: 56827
586.99/588.52 c #Conflicts: 1083000 | #Constraints: 57827
586.99/588.52 c INPROCESSING
586.99/588.52 c GARBAGE COLLECT
586.99/588.52 c #Conflicts: 1084000 | #Constraints: 38240
586.99/588.52 c #Conflicts: 1085000 | #Constraints: 39240
586.99/588.52 c #Conflicts: 1086000 | #Constraints: 40240
586.99/588.52 c #Conflicts: 1087000 | #Constraints: 41240
586.99/588.52 c #Conflicts: 1088000 | #Constraints: 42240
586.99/588.52 c #Conflicts: 1089000 | #Constraints: 43240
586.99/588.52 c #Conflicts: 1090000 | #Constraints: 44240
586.99/588.52 c #Conflicts: 1091000 | #Constraints: 45240
586.99/588.52 c #Conflicts: 1092000 | #Constraints: 46240
586.99/588.52 c #Conflicts: 1093000 | #Constraints: 47240
586.99/588.52 c #Conflicts: 1094000 | #Constraints: 48240
586.99/588.52 c #Conflicts: 1095000 | #Constraints: 49240
586.99/588.52 c #Conflicts: 1096000 | #Constraints: 50240
586.99/588.52 c #Conflicts: 1097000 | #Constraints: 51240
586.99/588.52 c #Conflicts: 1098000 | #Constraints: 52240
586.99/588.52 c #Conflicts: 1099000 | #Constraints: 53240
586.99/588.52 c #Conflicts: 1100000 | #Constraints: 54240
586.99/588.52 c #Conflicts: 1101000 | #Constraints: 55240
586.99/588.52 c #Conflicts: 1102000 | #Constraints: 56240
586.99/588.52 c #Conflicts: 1103000 | #Constraints: 57240
586.99/588.52 c #Conflicts: 1104000 | #Constraints: 58240
586.99/588.52 c INPROCESSING
586.99/588.52 c GARBAGE COLLECT
586.99/588.52 c #Conflicts: 1105000 | #Constraints: 38446
586.99/588.52 c #Conflicts: 1106000 | #Constraints: 39446
586.99/588.52 c #Conflicts: 1107000 | #Constraints: 40446
586.99/588.52 c #Conflicts: 1108000 | #Constraints: 41446
586.99/588.52 c #Conflicts: 1109000 | #Constraints: 42446
586.99/588.52 c #Conflicts: 1110000 | #Constraints: 43446
586.99/588.52 c #Conflicts: 1111000 | #Constraints: 44446
586.99/588.52 c #Conflicts: 1112000 | #Constraints: 45446
586.99/588.52 c #Conflicts: 1113000 | #Constraints: 46446
586.99/588.52 c #Conflicts: 1114000 | #Constraints: 47446
586.99/588.52 c #Conflicts: 1115000 | #Constraints: 48446
586.99/588.52 c #Conflicts: 1116000 | #Constraints: 49446
586.99/588.52 c #Conflicts: 1117000 | #Constraints: 50446
586.99/588.52 c #Conflicts: 1118000 | #Constraints: 51446
586.99/588.52 c #Conflicts: 1119000 | #Constraints: 52446
586.99/588.52 c #Conflicts: 1120000 | #Constraints: 53446
586.99/588.52 c #Conflicts: 1121000 | #Constraints: 54446
586.99/588.52 c #Conflicts: 1122000 | #Constraints: 55446
586.99/588.52 c #Conflicts: 1123000 | #Constraints: 56446
586.99/588.52 c #Conflicts: 1124000 | #Constraints: 57446
586.99/588.52 c #Conflicts: 1125000 | #Constraints: 58446
586.99/588.52 c INPROCESSING
586.99/588.52 c GARBAGE COLLECT
586.99/588.52 c #Conflicts: 1126000 | #Constraints: 38438
586.99/588.52 c #Conflicts: 1127000 | #Constraints: 39438
586.99/588.52 c #Conflicts: 1128000 | #Constraints: 40438
586.99/588.52 c #Conflicts: 1129000 | #Constraints: 41438
586.99/588.52 c #Conflicts: 1130000 | #Constraints: 42438
586.99/588.52 c #Conflicts: 1131000 | #Constraints: 43438
586.99/588.52 c #Conflicts: 1132000 | #Constraints: 44438
614.62/616.28 c #Conflicts: 1133000 | #Constraints: 45438
614.62/616.28 c #Conflicts: 1134000 | #Constraints: 46438
614.62/616.28 c #Conflicts: 1135000 | #Constraints: 47438
614.62/616.28 c #Conflicts: 1136000 | #Constraints: 48438
614.62/616.28 c #Conflicts: 1137000 | #Constraints: 49438
614.62/616.28 c #Conflicts: 1138000 | #Constraints: 50438
614.62/616.28 c #Conflicts: 1139000 | #Constraints: 51438
614.62/616.28 c #Conflicts: 1140000 | #Constraints: 52438
614.62/616.28 c #Conflicts: 1141000 | #Constraints: 53438
614.62/616.28 c #Conflicts: 1142000 | #Constraints: 54438
614.62/616.28 c #Conflicts: 1143000 | #Constraints: 55438
614.62/616.28 c #Conflicts: 1144000 | #Constraints: 56438
614.62/616.28 c #Conflicts: 1145000 | #Constraints: 57438
614.62/616.28 c #Conflicts: 1146000 | #Constraints: 58438
614.62/616.28 c INPROCESSING
614.62/616.28 c GARBAGE COLLECT
614.62/616.28 c #Conflicts: 1147000 | #Constraints: 38236
614.62/616.28 c #Conflicts: 1148000 | #Constraints: 39236
614.62/616.28 c #Conflicts: 1149000 | #Constraints: 40236
614.62/616.28 c #Conflicts: 1150000 | #Constraints: 41236
614.62/616.28 c #Conflicts: 1151000 | #Constraints: 42236
614.62/616.28 c #Conflicts: 1152000 | #Constraints: 43236
614.62/616.28 c #Conflicts: 1153000 | #Constraints: 44236
614.62/616.28 c #Conflicts: 1154000 | #Constraints: 45236
614.62/616.28 c #Conflicts: 1155000 | #Constraints: 46236
614.62/616.28 c #Conflicts: 1156000 | #Constraints: 47236
614.62/616.28 c #Conflicts: 1157000 | #Constraints: 48236
614.62/616.28 c #Conflicts: 1158000 | #Constraints: 49236
614.62/616.28 c #Conflicts: 1159000 | #Constraints: 50236
614.62/616.28 c #Conflicts: 1160000 | #Constraints: 51236
614.62/616.28 c #Conflicts: 1161000 | #Constraints: 52236
614.62/616.28 c #Conflicts: 1162000 | #Constraints: 53236
614.62/616.28 c #Conflicts: 1163000 | #Constraints: 54236
614.62/616.28 c #Conflicts: 1164000 | #Constraints: 55236
614.62/616.28 c #Conflicts: 1165000 | #Constraints: 56236
614.62/616.28 c #Conflicts: 1166000 | #Constraints: 57236
614.62/616.28 c #Conflicts: 1167000 | #Constraints: 58236
614.62/616.28 c #Conflicts: 1168000 | #Constraints: 59236
614.62/616.28 c INPROCESSING
614.62/616.28 c GARBAGE COLLECT
614.62/616.28 c #Conflicts: 1169000 | #Constraints: 38835
614.62/616.28 c #Conflicts: 1170000 | #Constraints: 39835
614.62/616.28 c #Conflicts: 1171000 | #Constraints: 40835
614.62/616.28 c #Conflicts: 1172000 | #Constraints: 41835
614.62/616.28 c #Conflicts: 1173000 | #Constraints: 42835
614.62/616.28 c #Conflicts: 1174000 | #Constraints: 43835
614.62/616.28 c #Conflicts: 1175000 | #Constraints: 44835
614.62/616.28 c #Conflicts: 1176000 | #Constraints: 45835
614.62/616.28 c #Conflicts: 1177000 | #Constraints: 46835
614.62/616.28 c #Conflicts: 1178000 | #Constraints: 47835
614.62/616.28 c #Conflicts: 1179000 | #Constraints: 48835
614.62/616.28 c #Conflicts: 1180000 | #Constraints: 49835
614.62/616.28 c #Conflicts: 1181000 | #Constraints: 50835
614.62/616.28 c #Conflicts: 1182000 | #Constraints: 51835
614.62/616.28 c #Conflicts: 1183000 | #Constraints: 52835
614.62/616.28 c #Conflicts: 1184000 | #Constraints: 53835
614.62/616.28 c #Conflicts: 1185000 | #Constraints: 54835
614.62/616.28 c #Conflicts: 1186000 | #Constraints: 55835
614.62/616.28 c #Conflicts: 1187000 | #Constraints: 56835
614.62/616.28 c #Conflicts: 1188000 | #Constraints: 57835
614.62/616.28 c #Conflicts: 1189000 | #Constraints: 58835
614.62/616.28 c #Conflicts: 1190000 | #Constraints: 59835
614.62/616.28 c INPROCESSING
614.62/616.28 c GARBAGE COLLECT
614.62/616.28 c #Conflicts: 1191000 | #Constraints: 39250
614.62/616.28 c #Conflicts: 1192000 | #Constraints: 40250
614.62/616.28 c #Conflicts: 1193000 | #Constraints: 41250
614.62/616.28 c #Conflicts: 1194000 | #Constraints: 42250
614.62/616.28 c #Conflicts: 1195000 | #Constraints: 43250
614.62/616.28 c #Conflicts: 1196000 | #Constraints: 44250
614.62/616.28 c #Conflicts: 1197000 | #Constraints: 45250
614.62/616.28 c #Conflicts: 1198000 | #Constraints: 46250
614.62/616.28 c #Conflicts: 1199000 | #Constraints: 47250
614.62/616.28 c #Conflicts: 1200000 | #Constraints: 48250
614.62/616.28 c #Conflicts: 1201000 | #Constraints: 49250
614.62/616.28 c #Conflicts: 1202000 | #Constraints: 50250
614.62/616.28 c #Conflicts: 1203000 | #Constraints: 51250
614.62/616.28 c #Conflicts: 1204000 | #Constraints: 52250
614.62/616.28 c #Conflicts: 1205000 | #Constraints: 53250
614.62/616.28 c #Conflicts: 1206000 | #Constraints: 54250
614.62/616.28 c #Conflicts: 1207000 | #Constraints: 55250
614.62/616.28 c #Conflicts: 1208000 | #Constraints: 56250
614.62/616.28 c #Conflicts: 1209000 | #Constraints: 57250
642.46/644.18 c #Conflicts: 1210000 | #Constraints: 58250
642.46/644.18 c #Conflicts: 1211000 | #Constraints: 59250
642.46/644.18 c #Conflicts: 1212000 | #Constraints: 60250
642.46/644.18 c INPROCESSING
642.46/644.18 c GARBAGE COLLECT
642.46/644.18 c #Conflicts: 1213000 | #Constraints: 39445
642.46/644.18 c #Conflicts: 1214000 | #Constraints: 40445
642.46/644.18 c #Conflicts: 1215000 | #Constraints: 41445
642.46/644.18 c #Conflicts: 1216000 | #Constraints: 42445
642.46/644.18 c #Conflicts: 1217000 | #Constraints: 43445
642.46/644.18 c #Conflicts: 1218000 | #Constraints: 44445
642.46/644.18 c #Conflicts: 1219000 | #Constraints: 45445
642.46/644.18 c #Conflicts: 1220000 | #Constraints: 46445
642.46/644.18 c #Conflicts: 1221000 | #Constraints: 47445
642.46/644.18 c #Conflicts: 1222000 | #Constraints: 48445
642.46/644.18 c #Conflicts: 1223000 | #Constraints: 49445
642.46/644.18 c #Conflicts: 1224000 | #Constraints: 50445
642.46/644.18 c #Conflicts: 1225000 | #Constraints: 51445
642.46/644.18 c #Conflicts: 1226000 | #Constraints: 52445
642.46/644.18 c #Conflicts: 1227000 | #Constraints: 53445
642.46/644.18 c #Conflicts: 1228000 | #Constraints: 54445
642.46/644.18 c #Conflicts: 1229000 | #Constraints: 55445
642.46/644.18 c #Conflicts: 1230000 | #Constraints: 56445
642.46/644.18 c #Conflicts: 1231000 | #Constraints: 57445
642.46/644.18 c #Conflicts: 1232000 | #Constraints: 58445
642.46/644.18 c #Conflicts: 1233000 | #Constraints: 59445
642.46/644.18 c #Conflicts: 1234000 | #Constraints: 60445
642.46/644.18 c INPROCESSING
642.46/644.18 c GARBAGE COLLECT
642.46/644.18 c #Conflicts: 1235000 | #Constraints: 39444
642.46/644.18 c #Conflicts: 1236000 | #Constraints: 40444
642.46/644.18 c #Conflicts: 1237000 | #Constraints: 41444
642.46/644.18 c #Conflicts: 1238000 | #Constraints: 42444
642.46/644.18 c #Conflicts: 1239000 | #Constraints: 43444
642.46/644.18 c #Conflicts: 1240000 | #Constraints: 44444
642.46/644.18 c #Conflicts: 1241000 | #Constraints: 45444
642.46/644.18 c #Conflicts: 1242000 | #Constraints: 46444
642.46/644.18 c #Conflicts: 1243000 | #Constraints: 47444
642.46/644.18 c #Conflicts: 1244000 | #Constraints: 48444
642.46/644.18 c #Conflicts: 1245000 | #Constraints: 49444
642.46/644.18 c #Conflicts: 1246000 | #Constraints: 50444
642.46/644.18 c #Conflicts: 1247000 | #Constraints: 51444
642.46/644.18 c #Conflicts: 1248000 | #Constraints: 52444
642.46/644.18 c #Conflicts: 1249000 | #Constraints: 53444
642.46/644.18 c #Conflicts: 1250000 | #Constraints: 54444
642.46/644.18 c #Conflicts: 1251000 | #Constraints: 55444
642.46/644.18 c #Conflicts: 1252000 | #Constraints: 56444
642.46/644.18 c #Conflicts: 1253000 | #Constraints: 57444
642.46/644.18 c #Conflicts: 1254000 | #Constraints: 58444
642.46/644.18 c #Conflicts: 1255000 | #Constraints: 59444
642.46/644.18 c #Conflicts: 1256000 | #Constraints: 60444
642.46/644.18 c INPROCESSING
642.46/644.18 c GARBAGE COLLECT
642.46/644.18 c #Conflicts: 1257000 | #Constraints: 39244
642.46/644.18 c #Conflicts: 1258000 | #Constraints: 40244
642.46/644.18 c #Conflicts: 1259000 | #Constraints: 41244
642.46/644.18 c #Conflicts: 1260000 | #Constraints: 42244
642.46/644.18 c #Conflicts: 1261000 | #Constraints: 43244
642.46/644.18 c #Conflicts: 1262000 | #Constraints: 44244
642.46/644.18 c #Conflicts: 1263000 | #Constraints: 45244
642.46/644.18 c #Conflicts: 1264000 | #Constraints: 46244
642.46/644.18 c #Conflicts: 1265000 | #Constraints: 47244
642.46/644.18 c #Conflicts: 1266000 | #Constraints: 48244
642.46/644.18 c #Conflicts: 1267000 | #Constraints: 49244
642.46/644.18 c #Conflicts: 1268000 | #Constraints: 50244
642.46/644.18 c #Conflicts: 1269000 | #Constraints: 51244
642.46/644.18 c #Conflicts: 1270000 | #Constraints: 52244
642.46/644.18 c #Conflicts: 1271000 | #Constraints: 53244
642.46/644.18 c #Conflicts: 1272000 | #Constraints: 54244
642.46/644.18 c #Conflicts: 1273000 | #Constraints: 55244
642.46/644.18 c #Conflicts: 1274000 | #Constraints: 56244
642.46/644.18 c #Conflicts: 1275000 | #Constraints: 57244
642.46/644.18 c #Conflicts: 1276000 | #Constraints: 58244
642.46/644.18 c #Conflicts: 1277000 | #Constraints: 59244
642.46/644.18 c #Conflicts: 1278000 | #Constraints: 60244
642.46/644.18 c #Conflicts: 1279000 | #Constraints: 61244
642.46/644.18 c INPROCESSING
642.46/644.18 c GARBAGE COLLECT
642.46/644.18 c #Conflicts: 1280000 | #Constraints: 39828
642.46/644.18 c #Conflicts: 1281000 | #Constraints: 40828
642.46/644.18 c #Conflicts: 1282000 | #Constraints: 41828
642.46/644.18 c #Conflicts: 1283000 | #Constraints: 42828
642.46/644.18 c #Conflicts: 1284000 | #Constraints: 43828
642.46/644.18 c #Conflicts: 1285000 | #Constraints: 44828
671.68/673.41 c #Conflicts: 1286000 | #Constraints: 45828
671.68/673.41 c #Conflicts: 1287000 | #Constraints: 46828
671.68/673.41 c #Conflicts: 1288000 | #Constraints: 47828
671.68/673.41 c #Conflicts: 1289000 | #Constraints: 48828
671.68/673.41 c #Conflicts: 1290000 | #Constraints: 49828
671.68/673.41 c #Conflicts: 1291000 | #Constraints: 50828
671.68/673.41 c #Conflicts: 1292000 | #Constraints: 51828
671.68/673.41 c #Conflicts: 1293000 | #Constraints: 52828
671.68/673.41 c #Conflicts: 1294000 | #Constraints: 53828
671.68/673.41 c #Conflicts: 1295000 | #Constraints: 54828
671.68/673.41 c #Conflicts: 1296000 | #Constraints: 55828
671.68/673.41 c #Conflicts: 1297000 | #Constraints: 56828
671.68/673.41 c #Conflicts: 1298000 | #Constraints: 57828
671.68/673.41 c #Conflicts: 1299000 | #Constraints: 58828
671.68/673.41 c #Conflicts: 1300000 | #Constraints: 59828
671.68/673.41 c #Conflicts: 1301000 | #Constraints: 60828
671.68/673.41 c #Conflicts: 1302000 | #Constraints: 61828
671.68/673.41 c INPROCESSING
671.68/673.41 c GARBAGE COLLECT
671.68/673.41 c #Conflicts: 1303000 | #Constraints: 40238
671.68/673.41 c #Conflicts: 1304000 | #Constraints: 41238
671.68/673.41 c #Conflicts: 1305000 | #Constraints: 42238
671.68/673.41 c #Conflicts: 1306000 | #Constraints: 43238
671.68/673.41 c #Conflicts: 1307000 | #Constraints: 44238
671.68/673.41 c #Conflicts: 1308000 | #Constraints: 45238
671.68/673.41 c #Conflicts: 1309000 | #Constraints: 46238
671.68/673.41 c #Conflicts: 1310000 | #Constraints: 47238
671.68/673.41 c #Conflicts: 1311000 | #Constraints: 48238
671.68/673.41 c #Conflicts: 1312000 | #Constraints: 49238
671.68/673.41 c #Conflicts: 1313000 | #Constraints: 50238
671.68/673.41 c #Conflicts: 1314000 | #Constraints: 51238
671.68/673.41 c #Conflicts: 1315000 | #Constraints: 52238
671.68/673.41 c #Conflicts: 1316000 | #Constraints: 53238
671.68/673.41 c #Conflicts: 1317000 | #Constraints: 54238
671.68/673.41 c #Conflicts: 1318000 | #Constraints: 55238
671.68/673.41 c #Conflicts: 1319000 | #Constraints: 56238
671.68/673.41 c #Conflicts: 1320000 | #Constraints: 57238
671.68/673.41 c #Conflicts: 1321000 | #Constraints: 58238
671.68/673.41 c #Conflicts: 1322000 | #Constraints: 59238
671.68/673.41 c #Conflicts: 1323000 | #Constraints: 60238
671.68/673.41 c #Conflicts: 1324000 | #Constraints: 61238
671.68/673.41 c #Conflicts: 1325000 | #Constraints: 62238
671.68/673.41 c INPROCESSING
671.68/673.41 c GARBAGE COLLECT
671.68/673.41 c #Conflicts: 1326000 | #Constraints: 40441
671.68/673.41 c #Conflicts: 1327000 | #Constraints: 41441
671.68/673.41 c #Conflicts: 1328000 | #Constraints: 42441
671.68/673.41 c #Conflicts: 1329000 | #Constraints: 43441
671.68/673.41 c #Conflicts: 1330000 | #Constraints: 44441
671.68/673.41 c #Conflicts: 1331000 | #Constraints: 45441
671.68/673.41 c #Conflicts: 1332000 | #Constraints: 46441
671.68/673.41 c #Conflicts: 1333000 | #Constraints: 47441
671.68/673.41 c #Conflicts: 1334000 | #Constraints: 48441
671.68/673.41 c #Conflicts: 1335000 | #Constraints: 49441
671.68/673.41 c #Conflicts: 1336000 | #Constraints: 50441
671.68/673.41 c #Conflicts: 1337000 | #Constraints: 51441
671.68/673.41 c #Conflicts: 1338000 | #Constraints: 52441
671.68/673.41 c #Conflicts: 1339000 | #Constraints: 53441
671.68/673.41 c #Conflicts: 1340000 | #Constraints: 54441
671.68/673.41 c #Conflicts: 1341000 | #Constraints: 55441
671.68/673.41 c #Conflicts: 1342000 | #Constraints: 56441
671.68/673.41 c #Conflicts: 1343000 | #Constraints: 57441
671.68/673.41 c #Conflicts: 1344000 | #Constraints: 58441
671.68/673.41 c #Conflicts: 1345000 | #Constraints: 59441
671.68/673.41 c #Conflicts: 1346000 | #Constraints: 60441
671.68/673.41 c #Conflicts: 1347000 | #Constraints: 61441
671.68/673.41 c #Conflicts: 1348000 | #Constraints: 62441
671.68/673.41 c INPROCESSING
671.68/673.41 c GARBAGE COLLECT
671.68/673.41 c #Conflicts: 1349000 | #Constraints: 40419
671.68/673.41 c #Conflicts: 1350000 | #Constraints: 41419
671.68/673.41 c #Conflicts: 1351000 | #Constraints: 42419
671.68/673.41 c #Conflicts: 1352000 | #Constraints: 43419
671.68/673.41 c #Conflicts: 1353000 | #Constraints: 44419
671.68/673.41 c #Conflicts: 1354000 | #Constraints: 45419
671.68/673.41 c #Conflicts: 1355000 | #Constraints: 46419
671.68/673.41 c #Conflicts: 1356000 | #Constraints: 47419
671.68/673.41 c #Conflicts: 1357000 | #Constraints: 48419
671.68/673.41 c #Conflicts: 1358000 | #Constraints: 49419
671.68/673.41 c #Conflicts: 1359000 | #Constraints: 50419
671.68/673.41 c #Conflicts: 1360000 | #Constraints: 51419
671.68/673.41 c #Conflicts: 1361000 | #Constraints: 52419
671.68/673.41 c #Conflicts: 1362000 | #Constraints: 53419
702.50/704.39 c #Conflicts: 1363000 | #Constraints: 54419
702.50/704.39 c #Conflicts: 1364000 | #Constraints: 55419
702.50/704.39 c #Conflicts: 1365000 | #Constraints: 56419
702.50/704.39 c #Conflicts: 1366000 | #Constraints: 57419
702.50/704.39 c #Conflicts: 1367000 | #Constraints: 58419
702.50/704.39 c #Conflicts: 1368000 | #Constraints: 59419
702.50/704.39 c #Conflicts: 1369000 | #Constraints: 60419
702.50/704.39 c #Conflicts: 1370000 | #Constraints: 61419
702.50/704.39 c #Conflicts: 1371000 | #Constraints: 62419
702.50/704.39 c INPROCESSING
702.50/704.39 c GARBAGE COLLECT
702.50/704.39 c #Conflicts: 1372000 | #Constraints: 40240
702.50/704.39 c #Conflicts: 1373000 | #Constraints: 41240
702.50/704.39 c #Conflicts: 1374000 | #Constraints: 42240
702.50/704.39 c #Conflicts: 1375000 | #Constraints: 43240
702.50/704.39 c #Conflicts: 1376000 | #Constraints: 44240
702.50/704.39 c #Conflicts: 1377000 | #Constraints: 45240
702.50/704.39 c #Conflicts: 1378000 | #Constraints: 46240
702.50/704.39 c #Conflicts: 1379000 | #Constraints: 47240
702.50/704.39 c #Conflicts: 1380000 | #Constraints: 48240
702.50/704.39 c #Conflicts: 1381000 | #Constraints: 49240
702.50/704.39 c #Conflicts: 1382000 | #Constraints: 50240
702.50/704.39 c #Conflicts: 1383000 | #Constraints: 51240
702.50/704.39 c #Conflicts: 1384000 | #Constraints: 52240
702.50/704.39 c #Conflicts: 1385000 | #Constraints: 53240
702.50/704.39 c #Conflicts: 1386000 | #Constraints: 54240
702.50/704.39 c #Conflicts: 1387000 | #Constraints: 55240
702.50/704.39 c #Conflicts: 1388000 | #Constraints: 56240
702.50/704.39 c #Conflicts: 1389000 | #Constraints: 57240
702.50/704.39 c #Conflicts: 1390000 | #Constraints: 58240
702.50/704.39 c #Conflicts: 1391000 | #Constraints: 59240
702.50/704.39 c #Conflicts: 1392000 | #Constraints: 60240
702.50/704.39 c #Conflicts: 1393000 | #Constraints: 61240
702.50/704.39 c #Conflicts: 1394000 | #Constraints: 62240
702.50/704.39 c #Conflicts: 1395000 | #Constraints: 63240
702.50/704.39 c INPROCESSING
702.50/704.39 c GARBAGE COLLECT
702.50/704.39 c #Conflicts: 1396000 | #Constraints: 40854
702.50/704.39 c #Conflicts: 1397000 | #Constraints: 41854
702.50/704.39 c #Conflicts: 1398000 | #Constraints: 42854
702.50/704.39 c #Conflicts: 1399000 | #Constraints: 43854
702.50/704.39 c #Conflicts: 1400000 | #Constraints: 44854
702.50/704.39 c #Conflicts: 1401000 | #Constraints: 45854
702.50/704.39 c #Conflicts: 1402000 | #Constraints: 46854
702.50/704.39 c #Conflicts: 1403000 | #Constraints: 47854
702.50/704.39 c #Conflicts: 1404000 | #Constraints: 48854
702.50/704.39 c #Conflicts: 1405000 | #Constraints: 49854
702.50/704.39 c #Conflicts: 1406000 | #Constraints: 50854
702.50/704.39 c #Conflicts: 1407000 | #Constraints: 51854
702.50/704.39 c #Conflicts: 1408000 | #Constraints: 52854
702.50/704.39 c #Conflicts: 1409000 | #Constraints: 53854
702.50/704.39 c #Conflicts: 1410000 | #Constraints: 54854
702.50/704.39 c #Conflicts: 1411000 | #Constraints: 55854
702.50/704.39 c #Conflicts: 1412000 | #Constraints: 56854
702.50/704.39 c #Conflicts: 1413000 | #Constraints: 57854
702.50/704.39 c #Conflicts: 1414000 | #Constraints: 58854
702.50/704.39 c #Conflicts: 1415000 | #Constraints: 59854
702.50/704.39 c #Conflicts: 1416000 | #Constraints: 60854
702.50/704.39 c #Conflicts: 1417000 | #Constraints: 61854
702.50/704.39 c #Conflicts: 1418000 | #Constraints: 62854
702.50/704.39 c #Conflicts: 1419000 | #Constraints: 63854
702.50/704.39 c INPROCESSING
702.50/704.39 c GARBAGE COLLECT
702.50/704.39 c #Conflicts: 1420000 | #Constraints: 41261
702.50/704.39 c #Conflicts: 1421000 | #Constraints: 42261
702.50/704.39 c #Conflicts: 1422000 | #Constraints: 43261
702.50/704.39 c #Conflicts: 1423000 | #Constraints: 44261
702.50/704.39 c #Conflicts: 1424000 | #Constraints: 45261
702.50/704.39 c #Conflicts: 1425000 | #Constraints: 46261
702.50/704.39 c #Conflicts: 1426000 | #Constraints: 47261
702.50/704.39 c #Conflicts: 1427000 | #Constraints: 48261
702.50/704.39 c #Conflicts: 1428000 | #Constraints: 49261
702.50/704.39 c #Conflicts: 1429000 | #Constraints: 50261
702.50/704.39 c #Conflicts: 1430000 | #Constraints: 51261
702.50/704.39 c #Conflicts: 1431000 | #Constraints: 52261
702.50/704.39 c #Conflicts: 1432000 | #Constraints: 53261
702.50/704.39 c #Conflicts: 1433000 | #Constraints: 54261
702.50/704.39 c #Conflicts: 1434000 | #Constraints: 55261
702.50/704.39 c #Conflicts: 1435000 | #Constraints: 56261
702.50/704.39 c #Conflicts: 1436000 | #Constraints: 57261
702.50/704.39 c #Conflicts: 1437000 | #Constraints: 58261
702.50/704.39 c #Conflicts: 1438000 | #Constraints: 59261
702.50/704.39 c #Conflicts: 1439000 | #Constraints: 60261
719.27/721.19 c #Conflicts: 1440000 | #Constraints: 61261
719.27/721.19 c #Conflicts: 1441000 | #Constraints: 62261
719.27/721.19 c #Conflicts: 1442000 | #Constraints: 63261
719.27/721.19 c #Conflicts: 1443000 | #Constraints: 64261
719.27/721.19 c INPROCESSING
719.27/721.19 c GARBAGE COLLECT
719.27/721.19 c #Conflicts: 1444000 | #Constraints: 41446
719.27/721.19 c #Conflicts: 1445000 | #Constraints: 42446
719.27/721.19 c #Conflicts: 1446000 | #Constraints: 43446
719.27/721.19 c #Conflicts: 1447000 | #Constraints: 44446
719.27/721.19 c #Conflicts: 1448000 | #Constraints: 45446
719.27/721.19 c #Conflicts: 1449000 | #Constraints: 46446
719.27/721.19 c #Conflicts: 1450000 | #Constraints: 47446
719.27/721.19 c #Conflicts: 1451000 | #Constraints: 48446
719.27/721.19 c #Conflicts: 1452000 | #Constraints: 49446
719.27/721.19 c #Conflicts: 1453000 | #Constraints: 50446
719.27/721.19 c #Conflicts: 1454000 | #Constraints: 51446
719.27/721.19 c #Conflicts: 1455000 | #Constraints: 52446
719.27/721.19 c #Conflicts: 1456000 | #Constraints: 53446
719.27/721.19 c #Conflicts: 1457000 | #Constraints: 54446
719.27/721.19 c #Conflicts: 1458000 | #Constraints: 55446
719.27/721.19 c #Conflicts: 1459000 | #Constraints: 56446
719.27/721.19 c #Conflicts: 1460000 | #Constraints: 57446
719.27/721.19 c #Conflicts: 1461000 | #Constraints: 58446
719.27/721.19 c #Conflicts: 1462000 | #Constraints: 59446
719.27/721.19 c #Conflicts: 1463000 | #Constraints: 60446
719.27/721.19 c #Conflicts: 1464000 | #Constraints: 61446
719.27/721.19 c #Conflicts: 1465000 | #Constraints: 62446
719.27/721.19 c #Conflicts: 1466000 | #Constraints: 63446
719.27/721.19 c #Conflicts: 1467000 | #Constraints: 64446
719.27/721.19 c INPROCESSING
719.27/721.19 c GARBAGE COLLECT
719.27/721.19 c #Conflicts: 1468000 | #Constraints: 41463
719.27/721.19 c #Conflicts: 1469000 | #Constraints: 42463
719.27/721.19 c #Conflicts: 1470000 | #Constraints: 43463
719.27/721.19 c #Conflicts: 1471000 | #Constraints: 44463
719.27/721.19 c #Conflicts: 1472000 | #Constraints: 45463
719.27/721.19 c #Conflicts: 1473000 | #Constraints: 46463
719.27/721.19 c #Conflicts: 1474000 | #Constraints: 47463
719.27/721.19 c #Conflicts: 1475000 | #Constraints: 48463
719.27/721.19 c #Conflicts: 1476000 | #Constraints: 49463
719.27/721.19 c #Conflicts: 1477000 | #Constraints: 50463
719.27/721.19 c #Conflicts: 1478000 | #Constraints: 51463
719.27/721.19 c #Conflicts: 1479000 | #Constraints: 52463
719.27/721.19 c bounds 178 >= 26 @ 713.075
719.27/721.19 c #Conflicts: 1480000 | #Constraints: 53464
719.27/721.19 c finalizing WCE round: reformulating cores
975.01/977.50 c bounds 176 >= 26 @ 713.633
975.01/977.50 c #Conflicts: 1481000 | #Constraints: 54467
975.01/977.50 c #Conflicts: 1482000 | #Constraints: 55467
975.01/977.50 c #Conflicts: 1483000 | #Constraints: 56467
975.01/977.50 c #Conflicts: 1484000 | #Constraints: 57467
975.01/977.50 c #Conflicts: 1485000 | #Constraints: 58467
975.01/977.50 c #Conflicts: 1486000 | #Constraints: 59467
975.01/977.50 c #Conflicts: 1487000 | #Constraints: 60467
975.01/977.50 c #Conflicts: 1488000 | #Constraints: 61467
975.01/977.50 c #Conflicts: 1489000 | #Constraints: 62467
975.01/977.50 c #Conflicts: 1490000 | #Constraints: 63467
975.01/977.50 c #Conflicts: 1491000 | #Constraints: 64467
975.01/977.50 c INPROCESSING
975.01/977.50 c GARBAGE COLLECT
975.01/977.50 c #Conflicts: 1492000 | #Constraints: 41236
975.01/977.50 c #Conflicts: 1493000 | #Constraints: 42236
975.01/977.50 c #Conflicts: 1494000 | #Constraints: 43236
975.01/977.50 c #Conflicts: 1495000 | #Constraints: 44236
975.01/977.50 c #Conflicts: 1496000 | #Constraints: 45236
975.01/977.50 c #Conflicts: 1497000 | #Constraints: 46236
975.01/977.50 c #Conflicts: 1498000 | #Constraints: 47236
975.01/977.50 c #Conflicts: 1499000 | #Constraints: 48236
975.01/977.51 c #Conflicts: 1500000 | #Constraints: 49236
975.01/977.51 c #Conflicts: 1501000 | #Constraints: 50236
975.01/977.51 c #Conflicts: 1502000 | #Constraints: 51236
975.01/977.51 c #Conflicts: 1503000 | #Constraints: 52236
975.01/977.51 c #Conflicts: 1504000 | #Constraints: 53236
975.01/977.51 c #Conflicts: 1505000 | #Constraints: 54236
975.01/977.51 c #Conflicts: 1506000 | #Constraints: 55236
975.01/977.51 c #Conflicts: 1507000 | #Constraints: 56236
975.01/977.51 c #Conflicts: 1508000 | #Constraints: 57236
975.01/977.51 c #Conflicts: 1509000 | #Constraints: 58236
975.01/977.51 c #Conflicts: 1510000 | #Constraints: 59236
975.01/977.51 c #Conflicts: 1511000 | #Constraints: 60236
975.01/977.51 c #Conflicts: 1512000 | #Constraints: 61236
975.01/977.51 c #Conflicts: 1513000 | #Constraints: 62236
975.01/977.51 c #Conflicts: 1514000 | #Constraints: 63236
975.01/977.51 c #Conflicts: 1515000 | #Constraints: 64236
975.01/977.51 c #Conflicts: 1516000 | #Constraints: 65236
975.01/977.51 c INPROCESSING
975.01/977.51 c GARBAGE COLLECT
975.01/977.51 c #Conflicts: 1517000 | #Constraints: 41840
975.01/977.51 c #Conflicts: 1518000 | #Constraints: 42840
975.01/977.51 c #Conflicts: 1519000 | #Constraints: 43840
975.01/977.51 c #Conflicts: 1520000 | #Constraints: 44840
975.01/977.51 c #Conflicts: 1521000 | #Constraints: 45840
975.01/977.51 c #Conflicts: 1522000 | #Constraints: 46840
975.01/977.51 c #Conflicts: 1523000 | #Constraints: 47840
975.01/977.51 c #Conflicts: 1524000 | #Constraints: 48840
975.01/977.51 c #Conflicts: 1525000 | #Constraints: 49840
975.01/977.51 c #Conflicts: 1526000 | #Constraints: 50840
975.01/977.51 c #Conflicts: 1527000 | #Constraints: 51840
975.01/977.51 c #Conflicts: 1528000 | #Constraints: 52840
975.01/977.51 c #Conflicts: 1529000 | #Constraints: 53840
975.01/977.51 c #Conflicts: 1530000 | #Constraints: 54840
975.01/977.51 c #Conflicts: 1531000 | #Constraints: 55840
975.01/977.51 c #Conflicts: 1532000 | #Constraints: 56840
975.01/977.51 c #Conflicts: 1533000 | #Constraints: 57840
975.01/977.51 c #Conflicts: 1534000 | #Constraints: 58840
975.01/977.51 c #Conflicts: 1535000 | #Constraints: 59840
975.01/977.51 c #Conflicts: 1536000 | #Constraints: 60840
975.01/977.51 c #Conflicts: 1537000 | #Constraints: 61840
975.01/977.51 c #Conflicts: 1538000 | #Constraints: 62840
975.01/977.51 c #Conflicts: 1539000 | #Constraints: 63840
975.01/977.51 c #Conflicts: 1540000 | #Constraints: 64840
975.01/977.51 c #Conflicts: 1541000 | #Constraints: 65840
975.01/977.51 c INPROCESSING
975.01/977.51 c GARBAGE COLLECT
975.01/977.51 c #Conflicts: 1542000 | #Constraints: 42235
975.01/977.51 c #Conflicts: 1543000 | #Constraints: 43235
975.01/977.51 c #Conflicts: 1544000 | #Constraints: 44235
975.01/977.51 c #Conflicts: 1545000 | #Constraints: 45235
975.01/977.51 c #Conflicts: 1546000 | #Constraints: 46235
975.01/977.51 c #Conflicts: 1547000 | #Constraints: 47235
975.01/977.51 c #Conflicts: 1548000 | #Constraints: 48235
975.01/977.51 c #Conflicts: 1549000 | #Constraints: 49235
975.01/977.51 c #Conflicts: 1550000 | #Constraints: 50235
975.01/977.51 c #Conflicts: 1551000 | #Constraints: 51235
975.01/977.51 c #Conflicts: 1552000 | #Constraints: 52235
975.01/977.51 c #Conflicts: 1553000 | #Constraints: 53235
975.01/977.51 c #Conflicts: 1554000 | #Constraints: 54235
975.01/977.51 c #Conflicts: 1555000 | #Constraints: 55235
975.01/977.51 c #Conflicts: 1556000 | #Constraints: 56235
975.01/977.51 c #Conflicts: 1557000 | #Constraints: 57235
2076.11/2081.85 c #Conflicts: 1558000 | #Constraints: 58235
2076.11/2081.85 c #Conflicts: 1559000 | #Constraints: 59235
2076.11/2081.85 c #Conflicts: 1560000 | #Constraints: 60235
2076.11/2081.85 c #Conflicts: 1561000 | #Constraints: 61235
2076.11/2081.85 c #Conflicts: 1562000 | #Constraints: 62235
2076.11/2081.85 c #Conflicts: 1563000 | #Constraints: 63235
2076.11/2081.85 c #Conflicts: 1564000 | #Constraints: 64235
2076.11/2081.85 c #Conflicts: 1565000 | #Constraints: 65235
2076.11/2081.85 c #Conflicts: 1566000 | #Constraints: 66235
2076.11/2081.85 c INPROCESSING
2076.11/2081.85 c GARBAGE COLLECT
2076.11/2081.85 c #Conflicts: 1567000 | #Constraints: 42439
2076.11/2081.85 c #Conflicts: 1568000 | #Constraints: 43439
2076.11/2081.85 c #Conflicts: 1569000 | #Constraints: 44439
2076.11/2081.85 c #Conflicts: 1570000 | #Constraints: 45439
2076.11/2081.85 c #Conflicts: 1571000 | #Constraints: 46439
2076.11/2081.85 c #Conflicts: 1572000 | #Constraints: 47439
2076.11/2081.85 c #Conflicts: 1573000 | #Constraints: 48439
2076.11/2081.85 c #Conflicts: 1574000 | #Constraints: 49439
2076.11/2081.85 c #Conflicts: 1575000 | #Constraints: 50439
2076.11/2081.85 c #Conflicts: 1576000 | #Constraints: 51439
2076.11/2081.85 c #Conflicts: 1577000 | #Constraints: 52439
2076.11/2081.85 c #Conflicts: 1578000 | #Constraints: 53439
2076.11/2081.85 c #Conflicts: 1579000 | #Constraints: 54439
2076.11/2081.85 c #Conflicts: 1580000 | #Constraints: 55439
2076.11/2081.85 c #Conflicts: 1581000 | #Constraints: 56439
2076.11/2081.85 c #Conflicts: 1582000 | #Constraints: 57439
2076.11/2081.85 c #Conflicts: 1583000 | #Constraints: 58439
2076.11/2081.85 c #Conflicts: 1584000 | #Constraints: 59439
2076.11/2081.85 c #Conflicts: 1585000 | #Constraints: 60439
2076.11/2081.85 c #Conflicts: 1586000 | #Constraints: 61439
2076.11/2081.85 c #Conflicts: 1587000 | #Constraints: 62439
2076.11/2081.85 c #Conflicts: 1588000 | #Constraints: 63439
2076.11/2081.85 c #Conflicts: 1589000 | #Constraints: 64439
2076.11/2081.85 c #Conflicts: 1590000 | #Constraints: 65439
2076.11/2081.85 c #Conflicts: 1591000 | #Constraints: 66439
2076.11/2081.85 c INPROCESSING
2076.11/2081.85 c GARBAGE COLLECT
2076.11/2081.85 c #Conflicts: 1592000 | #Constraints: 42446
2076.11/2081.85 c #Conflicts: 1593000 | #Constraints: 43446
2076.11/2081.85 c #Conflicts: 1594000 | #Constraints: 44446
2076.11/2081.85 c #Conflicts: 1595000 | #Constraints: 45446
2076.11/2081.85 c #Conflicts: 1596000 | #Constraints: 46446
2076.11/2081.85 c #Conflicts: 1597000 | #Constraints: 47446
2076.11/2081.85 c #Conflicts: 1598000 | #Constraints: 48446
2076.11/2081.85 c #Conflicts: 1599000 | #Constraints: 49446
2076.11/2081.85 c #Conflicts: 1600000 | #Constraints: 50446
2076.11/2081.85 c #Conflicts: 1601000 | #Constraints: 51446
2076.11/2081.85 c #Conflicts: 1602000 | #Constraints: 52446
2076.11/2081.85 c #Conflicts: 1603000 | #Constraints: 53446
2076.11/2081.85 c #Conflicts: 1604000 | #Constraints: 54446
2076.11/2081.85 c #Conflicts: 1605000 | #Constraints: 55446
2076.11/2081.85 c #Conflicts: 1606000 | #Constraints: 56446
2076.11/2081.85 c #Conflicts: 1607000 | #Constraints: 57446
2076.11/2081.85 c #Conflicts: 1608000 | #Constraints: 58446
2076.11/2081.85 c #Conflicts: 1609000 | #Constraints: 59446
2076.11/2081.85 c #Conflicts: 1610000 | #Constraints: 60446
2076.11/2081.85 c #Conflicts: 1611000 | #Constraints: 61446
2076.11/2081.85 c #Conflicts: 1612000 | #Constraints: 62446
2076.11/2081.85 c #Conflicts: 1613000 | #Constraints: 63446
2076.11/2081.85 c #Conflicts: 1614000 | #Constraints: 64446
2076.11/2081.85 c #Conflicts: 1615000 | #Constraints: 65446
2076.11/2081.85 c #Conflicts: 1616000 | #Constraints: 66446
2076.11/2081.85 c INPROCESSING
2076.11/2081.85 c GARBAGE COLLECT
2076.11/2081.85 c #Conflicts: 1617000 | #Constraints: 42251
2076.11/2081.85 c #Conflicts: 1618000 | #Constraints: 43251
2076.11/2081.85 c #Conflicts: 1619000 | #Constraints: 44251
2076.11/2081.85 c #Conflicts: 1620000 | #Constraints: 45251
2076.11/2081.85 c #Conflicts: 1621000 | #Constraints: 46251
2076.11/2081.85 c #Conflicts: 1622000 | #Constraints: 47251
2076.11/2081.85 c #Conflicts: 1623000 | #Constraints: 48251
2076.11/2081.85 c #Conflicts: 1624000 | #Constraints: 49251
2076.11/2081.85 c #Conflicts: 1625000 | #Constraints: 50251
2076.11/2081.85 c #Conflicts: 1626000 | #Constraints: 51251
2076.11/2081.85 c #Conflicts: 1627000 | #Constraints: 52251
2076.11/2081.85 c #Conflicts: 1628000 | #Constraints: 53251
2076.11/2081.85 c #Conflicts: 1629000 | #Constraints: 54251
2076.11/2081.85 c #Conflicts: 1630000 | #Constraints: 55251
2076.11/2081.85 c #Conflicts: 1631000 | #Constraints: 56251
2076.11/2081.85 c #Conflicts: 1632000 | #Constraints: 57251
2076.11/2081.85 c #Conflicts: 1633000 | #Constraints: 58251
2076.11/2081.85 c #Conflicts: 1634000 | #Constraints: 59251
3600.08/3610.12 c #Conflicts: 1635000 | #Constraints: 60251
3600.08/3610.12 c #Conflicts: 1636000 | #Constraints: 61251
3600.08/3610.12 c #Conflicts: 1637000 | #Constraints: 62251
3600.08/3610.12 c #Conflicts: 1638000 | #Constraints: 63251
3600.08/3610.12 c #Conflicts: 1639000 | #Constraints: 64251
3600.08/3610.12 c #Conflicts: 1640000 | #Constraints: 65251
3600.08/3610.12 c #Conflicts: 1641000 | #Constraints: 66251
3600.08/3610.12 c #Conflicts: 1642000 | #Constraints: 67251
3600.08/3610.12 c INPROCESSING
3600.08/3610.12 c GARBAGE COLLECT
3600.08/3610.12 c #Conflicts: 1643000 | #Constraints: 42858
3600.08/3610.12 c #Conflicts: 1644000 | #Constraints: 43858
3600.08/3610.12 c #Conflicts: 1645000 | #Constraints: 44858
3600.08/3610.12 c #Conflicts: 1646000 | #Constraints: 45858
3600.08/3610.12 c #Conflicts: 1647000 | #Constraints: 46858
3600.08/3610.12 c #Conflicts: 1648000 | #Constraints: 47858
3600.08/3610.12 c #Conflicts: 1649000 | #Constraints: 48858
3600.08/3610.12 c #Conflicts: 1650000 | #Constraints: 49858
3600.08/3610.12 c #Conflicts: 1651000 | #Constraints: 50858
3600.08/3610.12 c #Conflicts: 1652000 | #Constraints: 51858
3600.08/3610.12 c #Conflicts: 1653000 | #Constraints: 52858
3600.08/3610.12 c #Conflicts: 1654000 | #Constraints: 53858
3600.08/3610.12 c #Conflicts: 1655000 | #Constraints: 54858
3600.08/3610.12 c #Conflicts: 1656000 | #Constraints: 55858
3600.08/3610.12 c #Conflicts: 1657000 | #Constraints: 56858
3600.08/3610.12 c #Conflicts: 1658000 | #Constraints: 57858
3600.08/3610.12 c #Conflicts: 1659000 | #Constraints: 58858
3600.08/3610.12 c #Conflicts: 1660000 | #Constraints: 59858
3600.08/3610.12 c #Conflicts: 1661000 | #Constraints: 60858
3600.08/3610.12 c #Conflicts: 1662000 | #Constraints: 61858
3600.08/3610.12 c #Conflicts: 1663000 | #Constraints: 62858
3600.08/3610.12 c #Conflicts: 1664000 | #Constraints: 63858
3600.08/3610.12 c #Conflicts: 1665000 | #Constraints: 64858
3600.08/3610.12 c #Conflicts: 1666000 | #Constraints: 65858
3600.08/3610.12 c #Conflicts: 1667000 | #Constraints: 66858
3600.08/3610.12 c Program interrupted by user.
3600.08/3610.12 c cpu time 3588.26 s
3600.08/3610.12 c deterministic time 201302344455 2.01e+11
3600.08/3610.12 c optimization time 1278.96 s
3600.08/3610.12 c total solve time 2009.96 s
3600.08/3610.12 c core-guided solve time 2009.96 s
3600.08/3610.12 c propagation time 2901.26 s
3600.08/3610.12 c conflict analysis time 365.025 s
3600.08/3610.12 c propagations 308167580
3600.08/3610.12 c resolve steps 45701517
3600.08/3610.12 c decisions 6388725
3600.08/3610.12 c conflicts 1667964
3600.08/3610.12 c restarts 3163
3600.08/3610.12 c inprocessing phases 119
3600.08/3610.12 c input clauses 8488
3600.08/3610.12 c input cardinalities 497
3600.08/3610.12 c input general constraints 7422
3600.08/3610.12 c input average constraint length 6.36
3600.08/3610.12 c input average constraint degree 4.24
3600.08/3610.12 c learned clauses 1510034
3600.08/3610.12 c learned cardinalities 12500
3600.08/3610.12 c learned general constraints 145430
3600.08/3610.12 c learned average constraint length 184.90
3600.08/3610.12 c learned average constraint degree 33739.21
3600.08/3610.12 c watched constraints 120831
3600.08/3610.12 c counting constraints 32021
3600.08/3610.12 c gcd simplifications 716
3600.08/3610.12 c detected cardinalities 9
3600.08/3610.12 c weakened non-implied lits 43069878
3600.08/3610.12 c weakened non-implying lits 8148
3600.08/3610.12 c original variables 1344
3600.08/3610.12 c clausal propagations 147079027
3600.08/3610.12 c cardinality propagations 139552324
3600.08/3610.12 c watched propagations 7677564
3600.08/3610.12 c counting propagations 12237873
3600.08/3610.12 c watch lookups 65608284364
3600.08/3610.12 c watch backjump lookups 60292252541
3600.08/3610.12 c watch checks 66282041288
3600.08/3610.12 c propagation checks 7475602814
3600.08/3610.12 c constraint additions 1013383237
3600.08/3610.12 c trail pops 316223905
3600.08/3610.12 c formula constraints 16376
3600.08/3610.12 c learned constraints 1667964
3600.08/3610.12 c bound constraints 13
3600.08/3610.12 c core-guided constraints 18
3600.08/3610.12 c encountered formula constraints 20754035
3600.08/3610.12 c encountered learned constraints 26606767
3600.08/3610.12 c encountered bound constraints 705
3600.08/3610.12 c encountered core-guided constraints 7974
3600.08/3610.12 c LP total time 0 s
3600.08/3610.12 c LP solve time 0 s
3600.08/3610.12 c LP constraints added 0
3600.08/3610.12 c LP constraints removed 0
3600.08/3610.12 c LP pivots internal 0
3600.08/3610.12 c LP pivots root 0
3600.08/3610.12 c LP calls 0
3600.08/3610.12 c LP optimalities 0
3600.08/3610.12 c LP no pivot count 0
3600.08/3610.12 c LP infeasibilities 0
3600.08/3610.12 c LP valid Farkas constraints 0
3600.08/3610.12 c LP learned Farkas constraints 0
3600.08/3610.12 c LP basis resets 0
3600.08/3610.12 c LP cycling count 0
3600.08/3610.12 c LP singular count 0
3600.08/3610.12 c LP no primal count 0
3600.08/3610.12 c LP no farkas count 0
3600.08/3610.12 c LP other issue count 0
3600.08/3610.12 c LP Gomory cuts 0
3600.08/3610.12 c LP learned cuts 0
3600.08/3610.12 c LP deleted cuts 0
3600.08/3610.12 c LP encountered Gomory constraints 0
3600.08/3610.12 c LP encountered Farkas constraints 0
3600.08/3610.12 c LP encountered learned Farkas constraints 0
3600.08/3610.12 c CG auxiliary variables introduced 9
3600.08/3610.12 c CG solutions found 3
3600.08/3610.12 c CG cores constructed 9
3600.08/3610.12 c CG core cardinality constraints returned 0
3600.08/3610.12 c CG unit cores 0
3600.08/3610.12 c CG single cores 9
3600.08/3610.12 c CG blocks removed during cardinality reduction 0
3600.08/3610.12 c CG first core best 0
3600.08/3610.12 c CG decision core best 0
3600.08/3610.12 c CG core reduction tie 0
3600.08/3610.12 c CG core degree average 1.00
3600.08/3610.12 c CG core slack average 32.67
3600.08/3610.12 c CG exhausted 0
3600.08/3610.12 c CG exhaust time 1.07456 s
3600.08/3610.12 c CG trimmed 0
3600.08/3610.12 c CG trim time 0.000435 s
3600.08/3610.12 c CG minimized 0
3600.08/3610.12 c CG minimize time 0 s
3600.08/3610.12 c CG am1 prop time 0.000696 s
3600.08/3610.12 c CG # am1s reformulated 0
3600.08/3610.12 c CG lower bound derived from am1s 0
3600.08/3610.12 c CG # clausal cores 9
3600.08/3610.12 c CG # cardinality cores 0
3600.08/3610.12 c CG # pb cores 0
3600.08/3610.12 c CG # pb reforms 8
3600.08/3610.12 c CG # cores discarded because of pb reform 0
3600.08/3610.12 d LOWERBOUND 26
3600.08/3610.12 d NCORES 9
3600.08/3610.12 d NPBCORES 0
3600.08/3610.12 d NPBREFORM 8
3600.08/3610.12 d NTRIMMED 0
3600.08/3610.12 d NEXHAUSTED 0
3600.08/3610.12 d NAM1S 0
3600.08/3610.12 d AM1LB 0
3600.08/3610.12 c [Papilo Statistics]
3600.08/3610.12 c prepro time 0.0668037s
3600.08/3610.12 c # tsx applied 0
3600.08/3610.12 c # tsx conflicts 0
3600.08/3610.12 c # bound changes 0
3600.08/3610.12 c # side changes 0
3600.08/3610.12 c # coef changes 0
3600.08/3610.12 c # rounds 1
3600.08/3610.12 c # deted vars 0
3600.08/3610.12 c # deted constrs 0
3600.08/3610.12 c # consecutive rounds of only bound changes 0
3600.08/3610.12 c [STEP] postprocessing with Papilo
3600.08/3610.12 o 176
3600.08/3610.12 s SATISFIABLE
3600.08/3610.12 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: 64059 MiB (61468 MiB free)
memory of node 1: 64510 MiB (60053 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454694-1721448459/watcher-4454694-1721448459 -o /tmp/evaluation-result-4454694-1721448459/solver-4454694-1721448459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032730 --watchdog 3760 mixed-bag HOME/instance-4454694-1721448459.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1035066, runsolver pid=1035063
[startup+0.100792 s]*
/proc/loadavg: 4.14 4.11 4.09 5/235 1035070
/proc/meminfo: memFree=124418404/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=76348 memory=9736 CPUtime=0.09 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 1518 0 0 0 9 0 0 0 20 0 1 0 197005134 78180352 2434 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 19087 2434 1622 3002 0 3375 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76348 KiB
Current children cumulated memory: 9736 KiB
[startup+0.212645 s]*
/proc/loadavg: 4.14 4.11 4.09 5/241 1035080
/proc/meminfo: memFree=124396548/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=99948 memory=24648 CPUtime=0.21 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 5169 0 0 0 19 2 0 0 20 0 1 0 197005134 102346752 6162 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 24987 6162 1729 3002 0 8736 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 99948 KiB
Current children cumulated memory: 24648 KiB
[startup+0.313142 s]*
/proc/loadavg: 4.14 4.11 4.09 6/241 1035080
/proc/meminfo: memFree=124307044/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=116172 memory=48408 CPUtime=0.31 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 9288 0 0 0 28 3 0 0 20 0 1 0 197005134 118960128 12102 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 29043 12102 3631 3002 0 12792 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 116172 KiB
Current children cumulated memory: 48408 KiB
[startup+0.7003 s]
/proc/loadavg: 4.14 4.11 4.09 4/239 1035080
/proc/meminfo: memFree=124265876/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=149340 memory=81088 CPUtime=0.68 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 19831 0 0 0 62 6 0 0 20 0 1 0 197005134 152924160 20272 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 37335 20272 3775 3002 0 21084 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149340 KiB
Current children cumulated memory: 81088 KiB
[startup+1.50035 s]
/proc/loadavg: 4.14 4.11 4.09 6/238 1035120
/proc/meminfo: memFree=124226540/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=250728 memory=171268 CPUtime=1.47 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 35523 0 0 0 137 10 0 0 20 0 1 0 197005134 256745472 42817 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 62682 42817 3869 3002 0 46431 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 250728 KiB
Current children cumulated memory: 171268 KiB
[startup+3.11352 s]
/proc/loadavg: 4.13 4.11 4.09 5/241 1035126
/proc/meminfo: memFree=123821112/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=279260 memory=199972 CPUtime=3.08 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 42663 0 0 0 296 12 0 0 20 0 1 0 197005134 285962240 49993 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 69815 49993 3997 3002 0 53564 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 279260 KiB
Current children cumulated memory: 199972 KiB
[startup+6.3003 s]
/proc/loadavg: 4.13 4.11 4.09 5/241 1035126
/proc/meminfo: memFree=123579772/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=279260 memory=199972 CPUtime=6.26 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 42664 0 0 0 614 12 0 0 20 0 1 0 197005134 285962240 49993 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 69815 49993 3997 3002 0 53564 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 279260 KiB
Current children cumulated memory: 199972 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 4.09 5/241 1035127
/proc/meminfo: memFree=123409292/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=279260 memory=199972 CPUtime=12.64 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 42676 0 0 0 1252 12 0 0 20 0 1 0 197005134 285962240 49993 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 69815 49993 3997 3002 0 53564 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 279260 KiB
Current children cumulated memory: 199972 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 1035129
/proc/meminfo: memFree=123188896/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=279260 memory=199972 CPUtime=25.42 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 42678 0 0 0 2529 13 0 0 20 0 1 0 197005134 285962240 49993 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 69815 49993 3997 3002 0 53564 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 279260 KiB
Current children cumulated memory: 199972 KiB
[startup+51.1127 s]
/proc/loadavg: 4.26 4.14 4.10 5/241 1035133
/proc/meminfo: memFree=123114648/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=282416 memory=200524 CPUtime=50.96 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 42824 0 0 0 5082 14 0 0 20 0 1 0 197005134 289193984 50131 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 70604 50131 4013 3002 0 54353 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 282416 KiB
Current children cumulated memory: 200524 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/241 1035189
/proc/meminfo: memFree=123412872/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=312808 memory=231004 CPUtime=102.02 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 50223 0 0 0 10186 16 0 0 20 0 1 0 197005134 320315392 57751 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 78202 57751 4013 3002 0 61951 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 312808 KiB
Current children cumulated memory: 231004 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/244 1035204
/proc/meminfo: memFree=123374128/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=312808 memory=236188 CPUtime=161.85 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 50377 0 0 0 16169 16 0 0 20 0 1 0 197005134 320315392 59047 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 78202 59047 4013 3002 0 61951 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 312808 KiB
Current children cumulated memory: 236188 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/244 1035214
/proc/meminfo: memFree=123054012/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=490204 memory=410892 CPUtime=221.7 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 96026 0 0 0 22146 24 0 0 20 0 1 0 197005134 501968896 102723 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 122551 102723 4043 3002 0 106300 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 490204 KiB
Current children cumulated memory: 410892 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/244 1035225
/proc/meminfo: memFree=123050684/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=490204 memory=411104 CPUtime=281.55 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 96071 0 0 0 28131 24 0 0 20 0 1 0 197005134 501968896 102776 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 122551 102776 4043 3002 0 106300 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 490204 KiB
Current children cumulated memory: 411104 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/244 1035235
/proc/meminfo: memFree=123170584/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=443528 memory=379192 CPUtime=341.4 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 97803 0 0 0 34022 118 0 0 20 0 1 0 197005134 454172672 94798 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 110882 94798 4186 3002 0 94631 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 443528 KiB
Current children cumulated memory: 379192 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/244 1035246
/proc/meminfo: memFree=123140764/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=450708 memory=385496 CPUtime=401.26 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 98421 0 0 0 39914 212 0 0 20 0 1 0 197005134 461524992 96374 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 112677 96374 4186 3002 0 96426 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 450708 KiB
Current children cumulated memory: 385496 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/244 1035256
/proc/meminfo: memFree=123111228/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=450708 memory=386652 CPUtime=461.11 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 98731 0 0 0 45815 296 0 0 20 0 1 0 197005134 461524992 96663 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 112677 96663 4186 3002 0 96426 0
################
# More data... #
################
Current children cumulated memory: 440252 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/243 1036689
/proc/meminfo: memFree=122819988/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=440252 CPUtime=2914.13 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 102775 0 0 0 290307 1106 0 0 20 0 1 0 197005134 524464128 110063 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 110063 4186 3002 0 111792 0
Current children cumulated CPU time: 2914.13 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 440252 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/243 1036699
/proc/meminfo: memFree=122819760/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=440252 CPUtime=2973.98 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 102867 0 0 0 296284 1114 0 0 20 0 1 0 197005134 524464128 110063 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 110063 4186 3002 0 111792 0
Current children cumulated CPU time: 2973.98 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 440252 KiB
[startup+3042.3 s]
/proc/loadavg: 4.57 4.25 4.19 5/245 1036879
/proc/meminfo: memFree=122816852/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=442300 CPUtime=3033.82 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 102960 0 0 0 302260 1122 0 0 20 0 1 0 197005134 524464128 110575 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 110575 4186 3002 0 111792 0
Current children cumulated CPU time: 3033.82 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 442300 KiB
[startup+3102.3 s]
/proc/loadavg: 4.51 4.30 4.21 5/245 1036890
/proc/meminfo: memFree=122815188/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=444348 CPUtime=3093.66 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103054 0 0 0 308237 1129 0 0 20 0 1 0 197005134 524464128 111087 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 111087 4186 3002 0 111792 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 444348 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.26 4.20 5/245 1036902
/proc/meminfo: memFree=122805184/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=446396 CPUtime=3153.49 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103149 0 0 0 314213 1136 0 0 20 0 1 0 197005134 524464128 111599 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 111599 4186 3002 0 111792 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 446396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.24 4.20 5/243 1036923
/proc/meminfo: memFree=122804836/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=446396 CPUtime=3213.34 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103244 0 0 0 320192 1142 0 0 20 0 1 0 197005134 524464128 111599 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 111599 4186 3002 0 111792 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 446396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.23 4.19 5/243 1036934
/proc/meminfo: memFree=122802592/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=448444 CPUtime=3273.17 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103340 0 0 0 326169 1148 0 0 20 0 1 0 197005134 524464128 112111 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 112111 4186 3002 0 111792 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 448444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/242 1036944
/proc/meminfo: memFree=122800180/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=450492 CPUtime=3333.01 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103437 0 0 0 332146 1155 0 0 20 0 1 0 197005134 524464128 112623 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 112623 4186 3002 0 111792 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 450492 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/242 1036955
/proc/meminfo: memFree=122797800/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=452540 CPUtime=3392.85 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103537 0 0 0 338123 1162 0 0 20 0 1 0 197005134 524464128 113135 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 113135 4186 3002 0 111792 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 452540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/241 1036965
/proc/meminfo: memFree=122795412/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=454588 CPUtime=3452.68 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103639 0 0 0 344100 1168 0 0 20 0 1 0 197005134 524464128 113647 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 113647 4186 3002 0 111792 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 454588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/241 1036976
/proc/meminfo: memFree=122795164/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=454588 CPUtime=3512.51 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103746 0 0 0 350076 1175 0 0 20 0 1 0 197005134 524464128 113647 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 113647 4186 3002 0 111792 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 454588 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/241 1036986
/proc/meminfo: memFree=122784644/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=456636 CPUtime=3572.35 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103857 0 0 0 356054 1181 0 0 20 0 1 0 197005134 524464128 114159 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 114159 4186 3002 0 111792 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 456636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.15 4.16 4.17 5/241 1036990
/proc/meminfo: memFree=122784172/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=456652 CPUtime=3600.08 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103947 0 0 0 358824 1184 0 0 20 0 1 0 197005134 524464128 114163 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 114163 4186 3002 0 111792 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 456652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.13 s]
# the end of solver process 1035066 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.26 s, system=11.847 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.15 4.16 4.17 5/241 1036990
/proc/meminfo: memFree=122784172/131655788 swapFree=131071996/131071996
[pid=1035066] ppid=1035063 vsize=512172 memory=456652 CPUtime=3600.08 cores=5,7
/proc/1035066/stat : 1035066 (mixed-bag) R 1035063 1035066 1032717 0 -1 4194304 103947 0 0 0 358824 1184 0 0 20 0 1 0 197005134 524464128 114163 134679101440 4194304 16488053 140733400376224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 48840704 140733400384533 140733400384610 140733400384610 140733400391627 0
/proc/1035066/statm: 128043 114163 4186 3002 0 111792 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 512172 KiB
Current children cumulated memory: 456652 KiB
Child status: 0
Real time (s): 3610.13
CPU time (s): 3600.11
CPU user time (s): 3588.26
CPU system time (s): 11.847
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 514368
Max. memory (cumulated for all children) (KiB): 456652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.26
system time used= 11.847
maximum resident set size= 456688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103971
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= 63
involuntary context switches= 1202
# summary of solver processes directly reported to runsolver:
# pid: 1035066
# total CPU time (s): 3600.11
# total CPU user time (s): 3588.26
# total CPU system time (s): 11.847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4778 second user time and 36.3414 second system time
The end
Begin job on nodeC010 at 2024-07-20 06:07:50
IDJOB=4454694
IDBENCH=147017
IDSOLVER=3083
FILE ID=nodeC010/4454694-1721448459
RUNJOBID= nodeC010-1721444855-1032730
SLURM_JOB_ID= 7545660
Free space on /tmp= 723728 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454694-1721448459/watcher-4454694-1721448459 -o /tmp/evaluation-result-4454694-1721448459/solver-4454694-1721448459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032730 --watchdog 3760 mixed-bag HOME/instance-4454694-1721448459.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=1353836191
nodeC010.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 : 0xb00001f
cpu MHz : 1396.702
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
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 : 0xb00001f
cpu MHz : 3491.755
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1297.192
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
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 : 0xb00001f
cpu MHz : 1197.233
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1895.528
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
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 : 0xb00001f
cpu MHz : 3491.755
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.187
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
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 : 0xb00001f
cpu MHz : 1197.386
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124442616 kB
MemAvailable: 129776352 kB
Buffers: 540500 kB
Cached: 5579608 kB
SwapCached: 0 kB
Active: 1074360 kB
Inactive: 5454708 kB
Active(anon): 1432 kB
Inactive(anon): 452776 kB
Active(file): 1072928 kB
Inactive(file): 5001932 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56960 kB
Writeback: 8 kB
AnonPages: 408468 kB
Mapped: 120984 kB
Shmem: 45896 kB
KReclaimable: 197816 kB
Slab: 313580 kB
SReclaimable: 197816 kB
SUnreclaim: 115764 kB
KernelStack: 3880 kB
PageTables: 10392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 768416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC010 at 2024-07-20 07:08:01