0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.07/0.14 c #variables 6868 #constraints 7072
40.24/40.45 c #Conflicts: 1000 | #Constraints: 8071
40.24/40.45 c #Conflicts: 2000 | #Constraints: 9071
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 3000 | #Constraints: 8755
40.24/40.45 c #Conflicts: 4000 | #Constraints: 9755
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 5000 | #Constraints: 9223
40.24/40.45 c #Conflicts: 6000 | #Constraints: 10223
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 7000 | #Constraints: 9284
40.24/40.45 c #Conflicts: 8000 | #Constraints: 10284
40.24/40.45 c #Conflicts: 9000 | #Constraints: 11284
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 10000 | #Constraints: 10034
40.24/40.45 c #Conflicts: 11000 | #Constraints: 11034
40.24/40.45 c #Conflicts: 12000 | #Constraints: 12034
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 13000 | #Constraints: 10507
40.24/40.45 c #Conflicts: 14000 | #Constraints: 11507
40.24/40.45 c #Conflicts: 15000 | #Constraints: 12507
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 16000 | #Constraints: 10760
40.24/40.45 c #Conflicts: 17000 | #Constraints: 11760
40.24/40.45 c #Conflicts: 18000 | #Constraints: 12760
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 19000 | #Constraints: 10793
40.24/40.45 c #Conflicts: 20000 | #Constraints: 11793
40.24/40.45 c #Conflicts: 21000 | #Constraints: 12794
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 22000 | #Constraints: 10645
40.24/40.45 c #Conflicts: 23000 | #Constraints: 11645
40.24/40.45 c #Conflicts: 24000 | #Constraints: 12645
40.24/40.45 c #Conflicts: 25000 | #Constraints: 13645
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 26000 | #Constraints: 11295
40.24/40.45 c #Conflicts: 27000 | #Constraints: 12295
40.24/40.45 c #Conflicts: 28000 | #Constraints: 13295
40.24/40.45 c #Conflicts: 29000 | #Constraints: 14295
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 30000 | #Constraints: 11718
40.24/40.45 c #Conflicts: 31000 | #Constraints: 12718
40.24/40.45 c #Conflicts: 32000 | #Constraints: 13718
40.24/40.45 c #Conflicts: 33000 | #Constraints: 14718
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 34000 | #Constraints: 11941
40.24/40.45 c #Conflicts: 35000 | #Constraints: 12941
40.24/40.45 c #Conflicts: 36000 | #Constraints: 13941
40.24/40.45 c #Conflicts: 37000 | #Constraints: 14941
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 38000 | #Constraints: 11947
40.24/40.45 c #Conflicts: 39000 | #Constraints: 12947
40.24/40.45 c #Conflicts: 40000 | #Constraints: 13947
40.24/40.45 c #Conflicts: 41000 | #Constraints: 14947
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 42000 | #Constraints: 11829
40.24/40.45 c #Conflicts: 43000 | #Constraints: 12829
40.24/40.45 c #Conflicts: 44000 | #Constraints: 13829
40.24/40.45 c #Conflicts: 45000 | #Constraints: 14829
40.24/40.45 c #Conflicts: 46000 | #Constraints: 15829
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 47000 | #Constraints: 12399
40.24/40.45 c #Conflicts: 48000 | #Constraints: 13399
40.24/40.45 c #Conflicts: 49000 | #Constraints: 14399
40.24/40.45 c #Conflicts: 50000 | #Constraints: 15399
40.24/40.45 c #Conflicts: 51000 | #Constraints: 16399
40.24/40.45 c INPROCESSING
40.24/40.45 c GARBAGE COLLECT
40.24/40.45 c #Conflicts: 52000 | #Constraints: 12820
40.24/40.45 c #Conflicts: 53000 | #Constraints: 13820
40.24/40.45 c #Conflicts: 54000 | #Constraints: 14820
40.24/40.45 c #Conflicts: 55000 | #Constraints: 15820
40.24/40.45 c #Conflicts: 56000 | #Constraints: 16820
40.24/40.45 c #Conflicts: 57000 | #Constraints: 17820
40.24/40.45 c #Conflicts: 58000 | #Constraints: 18820
40.24/40.45 c #Conflicts: 59000 | #Constraints: 19820
40.24/40.45 c #Conflicts: 60000 | #Constraints: 20820
40.24/40.45 c #Conflicts: 61000 | #Constraints: 21820
40.24/40.45 c #Conflicts: 62000 | #Constraints: 22820
40.24/40.45 c #Conflicts: 63000 | #Constraints: 23820
40.24/40.45 c #Conflicts: 64000 | #Constraints: 24820
40.24/40.45 c #Conflicts: 65000 | #Constraints: 25820
40.24/40.45 c #Conflicts: 66000 | #Constraints: 26820
40.24/40.45 c #Conflicts: 67000 | #Constraints: 27820
40.24/40.45 c #Conflicts: 68000 | #Constraints: 28820
40.24/40.45 c #Conflicts: 69000 | #Constraints: 29820
40.24/40.45 c #Conflicts: 70000 | #Constraints: 30820
95.19/95.51 c INPROCESSING
95.19/95.51 c GARBAGE COLLECT
95.19/95.51 c #Conflicts: 71000 | #Constraints: 19883
95.19/95.51 c #Conflicts: 72000 | #Constraints: 20883
95.19/95.51 c #Conflicts: 73000 | #Constraints: 21883
95.19/95.51 c #Conflicts: 74000 | #Constraints: 22883
95.19/95.51 c #Conflicts: 75000 | #Constraints: 23883
95.19/95.51 c #Conflicts: 76000 | #Constraints: 24883
95.19/95.51 c INPROCESSING
95.19/95.51 c GARBAGE COLLECT
95.19/95.51 c #Conflicts: 77000 | #Constraints: 16911
95.19/95.51 c #Conflicts: 78000 | #Constraints: 17911
95.19/95.51 c #Conflicts: 79000 | #Constraints: 18911
95.19/95.51 c #Conflicts: 80000 | #Constraints: 19912
95.19/95.51 c #Conflicts: 81000 | #Constraints: 20912
95.19/95.51 c #Conflicts: 82000 | #Constraints: 21912
95.19/95.51 c INPROCESSING
95.19/95.51 c GARBAGE COLLECT
95.19/95.51 c #Conflicts: 83000 | #Constraints: 15243
95.19/95.51 c #Conflicts: 84000 | #Constraints: 16243
95.19/95.51 c #Conflicts: 85000 | #Constraints: 17243
95.19/95.51 c #Conflicts: 86000 | #Constraints: 18243
95.19/95.51 c #Conflicts: 87000 | #Constraints: 19243
95.19/95.51 c #Conflicts: 88000 | #Constraints: 20243
95.19/95.51 c #Conflicts: 89000 | #Constraints: 21243
95.19/95.51 c INPROCESSING
95.19/95.51 c GARBAGE COLLECT
95.19/95.51 c #Conflicts: 90000 | #Constraints: 15154
95.19/95.51 c #Conflicts: 91000 | #Constraints: 16154
95.19/95.51 c #Conflicts: 92000 | #Constraints: 17154
95.19/95.51 c #Conflicts: 93000 | #Constraints: 18154
95.19/95.51 c #Conflicts: 94000 | #Constraints: 19154
95.19/95.51 c #Conflicts: 95000 | #Constraints: 20154
95.19/95.51 c #Conflicts: 96000 | #Constraints: 21154
95.19/95.51 c INPROCESSING
95.19/95.51 c GARBAGE COLLECT
95.19/95.51 c #Conflicts: 97000 | #Constraints: 15284
95.19/95.51 c #Conflicts: 98000 | #Constraints: 16284
95.19/95.51 c #Conflicts: 99000 | #Constraints: 17284
95.19/95.51 c #Conflicts: 100000 | #Constraints: 18284
95.19/95.51 c #Conflicts: 101000 | #Constraints: 19284
95.19/95.51 c #Conflicts: 102000 | #Constraints: 20284
95.19/95.51 c #Conflicts: 103000 | #Constraints: 21284
95.19/95.51 c #Conflicts: 104000 | #Constraints: 22284
95.19/95.51 c #Conflicts: 105000 | #Constraints: 23284
95.19/95.51 c #Conflicts: 106000 | #Constraints: 24284
95.19/95.51 c #Conflicts: 107000 | #Constraints: 25284
95.19/95.51 c #Conflicts: 108000 | #Constraints: 26284
95.19/95.51 c #Conflicts: 109000 | #Constraints: 27284
95.19/95.51 c #Conflicts: 110000 | #Constraints: 28284
95.19/95.51 c #Conflicts: 111000 | #Constraints: 29285
95.19/95.51 c #Conflicts: 112000 | #Constraints: 30285
95.19/95.51 c #Conflicts: 113000 | #Constraints: 31285
95.19/95.51 c #Conflicts: 114000 | #Constraints: 32285
95.19/95.51 c #Conflicts: 115000 | #Constraints: 33285
95.19/95.51 c #Conflicts: 116000 | #Constraints: 34285
95.19/95.51 c #Conflicts: 117000 | #Constraints: 35285
95.19/95.51 c #Conflicts: 118000 | #Constraints: 36285
95.19/95.51 c #Conflicts: 119000 | #Constraints: 37285
95.19/95.51 c #Conflicts: 120000 | #Constraints: 38285
95.19/95.51 c #Conflicts: 121000 | #Constraints: 39285
95.19/95.51 c INPROCESSING
95.19/95.51 c GARBAGE COLLECT
95.19/95.51 c #Conflicts: 122000 | #Constraints: 24004
95.19/95.51 c #Conflicts: 123000 | #Constraints: 25004
95.19/95.51 c #Conflicts: 124000 | #Constraints: 26004
95.19/95.51 c #Conflicts: 125000 | #Constraints: 27004
95.19/95.51 c #Conflicts: 126000 | #Constraints: 28004
95.19/95.51 c #Conflicts: 127000 | #Constraints: 29004
95.19/95.51 c #Conflicts: 128000 | #Constraints: 30004
95.19/95.51 c #Conflicts: 129000 | #Constraints: 31004
95.19/95.51 c INPROCESSING
95.19/95.51 c GARBAGE COLLECT
95.19/95.51 c #Conflicts: 130000 | #Constraints: 19878
95.19/95.51 c #Conflicts: 131000 | #Constraints: 20878
95.19/95.51 c #Conflicts: 132000 | #Constraints: 21878
95.19/95.51 c #Conflicts: 133000 | #Constraints: 22878
95.19/95.51 c #Conflicts: 134000 | #Constraints: 23878
95.19/95.51 c #Conflicts: 135000 | #Constraints: 24878
95.19/95.51 c #Conflicts: 136000 | #Constraints: 25878
95.19/95.51 c #Conflicts: 137000 | #Constraints: 26878
95.19/95.51 c #Conflicts: 138000 | #Constraints: 27878
95.19/95.51 c INPROCESSING
95.19/95.51 c GARBAGE COLLECT
95.19/95.51 c rational objective 101
136.68/137.12 c #Conflicts: 139000 | #Constraints: 18720
136.68/137.12 c #Conflicts: 140000 | #Constraints: 19720
136.68/137.12 c #Conflicts: 141000 | #Constraints: 20720
136.68/137.12 c #Conflicts: 142000 | #Constraints: 21720
136.68/137.12 c #Conflicts: 143000 | #Constraints: 22720
136.68/137.12 c #Conflicts: 144000 | #Constraints: 23720
136.68/137.12 c #Conflicts: 145000 | #Constraints: 24720
136.68/137.12 c #Conflicts: 146000 | #Constraints: 25720
136.68/137.12 c INPROCESSING
136.68/137.12 c GARBAGE COLLECT
136.68/137.12 c #Conflicts: 147000 | #Constraints: 17443
136.68/137.12 c #Conflicts: 148000 | #Constraints: 18443
136.68/137.12 c #Conflicts: 149000 | #Constraints: 19443
136.68/137.12 c #Conflicts: 150000 | #Constraints: 20443
136.68/137.12 c #Conflicts: 151000 | #Constraints: 21443
136.68/137.12 c #Conflicts: 152000 | #Constraints: 22443
136.68/137.12 c #Conflicts: 153000 | #Constraints: 23443
136.68/137.12 c #Conflicts: 154000 | #Constraints: 24443
136.68/137.12 c #Conflicts: 155000 | #Constraints: 25443
136.68/137.12 c #Conflicts: 156000 | #Constraints: 26443
136.68/137.12 c #Conflicts: 157000 | #Constraints: 27443
136.68/137.12 c #Conflicts: 158000 | #Constraints: 28443
136.68/137.13 c #Conflicts: 159000 | #Constraints: 29443
136.68/137.13 c #Conflicts: 160000 | #Constraints: 30443
136.68/137.13 c #Conflicts: 161000 | #Constraints: 31443
136.68/137.13 c #Conflicts: 162000 | #Constraints: 32443
136.68/137.13 c #Conflicts: 163000 | #Constraints: 33443
136.68/137.13 c #Conflicts: 164000 | #Constraints: 34443
136.68/137.13 c #Conflicts: 165000 | #Constraints: 35443
136.68/137.13 c #Conflicts: 166000 | #Constraints: 36443
136.68/137.13 c #Conflicts: 167000 | #Constraints: 37443
136.68/137.13 c #Conflicts: 168000 | #Constraints: 38443
136.68/137.13 c #Conflicts: 169000 | #Constraints: 39443
136.68/137.13 c #Conflicts: 170000 | #Constraints: 40443
136.68/137.13 c #Conflicts: 171000 | #Constraints: 41443
136.68/137.13 c #Conflicts: 172000 | #Constraints: 42443
136.68/137.13 c #Conflicts: 173000 | #Constraints: 43443
136.68/137.13 c #Conflicts: 174000 | #Constraints: 44443
136.68/137.13 c #Conflicts: 175000 | #Constraints: 45443
136.68/137.13 c #Conflicts: 176000 | #Constraints: 46443
136.68/137.13 c #Conflicts: 177000 | #Constraints: 47443
136.68/137.13 c INPROCESSING
136.68/137.13 c GARBAGE COLLECT
136.68/137.13 c rational objective 101
243.94/244.79 c #Conflicts: 178000 | #Constraints: 28263
243.94/244.79 c #Conflicts: 179000 | #Constraints: 29263
243.94/244.79 c #Conflicts: 180000 | #Constraints: 30263
243.94/244.79 c #Conflicts: 181000 | #Constraints: 31263
243.94/244.79 c #Conflicts: 182000 | #Constraints: 32263
243.94/244.79 c #Conflicts: 183000 | #Constraints: 33263
243.94/244.79 c #Conflicts: 184000 | #Constraints: 34263
243.94/244.79 c #Conflicts: 185000 | #Constraints: 35263
243.94/244.79 c #Conflicts: 186000 | #Constraints: 36263
243.94/244.79 c #Conflicts: 187000 | #Constraints: 37263
243.94/244.79 c INPROCESSING
243.94/244.79 c GARBAGE COLLECT
243.94/244.79 c #Conflicts: 188000 | #Constraints: 23301
243.94/244.79 c #Conflicts: 189000 | #Constraints: 24301
243.94/244.79 c #Conflicts: 190000 | #Constraints: 25301
243.94/244.79 c #Conflicts: 191000 | #Constraints: 26301
243.94/244.79 c #Conflicts: 192000 | #Constraints: 27301
243.94/244.79 c #Conflicts: 193000 | #Constraints: 28301
243.94/244.79 c #Conflicts: 194000 | #Constraints: 29301
243.94/244.79 c #Conflicts: 195000 | #Constraints: 30302
243.94/244.79 c #Conflicts: 196000 | #Constraints: 31302
243.94/244.79 c #Conflicts: 197000 | #Constraints: 32302
243.94/244.79 c INPROCESSING
243.94/244.79 c GARBAGE COLLECT
243.94/244.79 c #Conflicts: 198000 | #Constraints: 20953
243.94/244.79 c #Conflicts: 199000 | #Constraints: 21953
243.94/244.79 c #Conflicts: 200000 | #Constraints: 22953
243.94/244.79 c #Conflicts: 201000 | #Constraints: 23953
243.94/244.79 c #Conflicts: 202000 | #Constraints: 24953
243.94/244.79 c #Conflicts: 203000 | #Constraints: 25953
243.94/244.79 c #Conflicts: 204000 | #Constraints: 26953
243.94/244.79 c #Conflicts: 205000 | #Constraints: 27953
243.94/244.79 c #Conflicts: 206000 | #Constraints: 28953
243.94/244.79 c #Conflicts: 207000 | #Constraints: 29953
243.94/244.79 c INPROCESSING
243.94/244.79 c GARBAGE COLLECT
243.94/244.79 c #Conflicts: 208000 | #Constraints: 19701
243.94/244.79 c #Conflicts: 209000 | #Constraints: 20701
243.94/244.79 c #Conflicts: 210000 | #Constraints: 21701
243.94/244.79 c #Conflicts: 211000 | #Constraints: 22701
243.94/244.79 c #Conflicts: 212000 | #Constraints: 23701
243.94/244.79 c #Conflicts: 213000 | #Constraints: 24701
243.94/244.79 c #Conflicts: 214000 | #Constraints: 25701
243.94/244.79 c #Conflicts: 215000 | #Constraints: 26701
243.94/244.79 c #Conflicts: 216000 | #Constraints: 27701
243.94/244.79 c #Conflicts: 217000 | #Constraints: 28701
243.94/244.79 c #Conflicts: 218000 | #Constraints: 29701
243.94/244.79 c #Conflicts: 219000 | #Constraints: 30701
243.94/244.79 c #Conflicts: 220000 | #Constraints: 31701
243.94/244.79 c #Conflicts: 221000 | #Constraints: 32701
243.94/244.79 c #Conflicts: 222000 | #Constraints: 33701
243.94/244.79 c #Conflicts: 223000 | #Constraints: 34701
243.94/244.79 c #Conflicts: 224000 | #Constraints: 35701
243.94/244.79 c #Conflicts: 225000 | #Constraints: 36701
243.94/244.79 c #Conflicts: 226000 | #Constraints: 37701
243.94/244.79 c #Conflicts: 227000 | #Constraints: 38701
243.94/244.79 c #Conflicts: 228000 | #Constraints: 39701
243.94/244.79 c #Conflicts: 229000 | #Constraints: 40701
243.94/244.79 c #Conflicts: 230000 | #Constraints: 41701
243.94/244.79 c #Conflicts: 231000 | #Constraints: 42701
243.94/244.79 c #Conflicts: 232000 | #Constraints: 43701
243.94/244.79 c #Conflicts: 233000 | #Constraints: 44701
243.94/244.79 c #Conflicts: 234000 | #Constraints: 45701
243.94/244.79 c #Conflicts: 235000 | #Constraints: 46701
243.94/244.79 c #Conflicts: 236000 | #Constraints: 47701
243.94/244.79 c #Conflicts: 237000 | #Constraints: 48701
243.94/244.79 c #Conflicts: 238000 | #Constraints: 49701
243.94/244.79 c #Conflicts: 239000 | #Constraints: 50701
243.94/244.79 c #Conflicts: 240000 | #Constraints: 51702
243.94/244.79 c #Conflicts: 241000 | #Constraints: 52702
243.94/244.79 c #Conflicts: 242000 | #Constraints: 53702
243.94/244.79 c #Conflicts: 243000 | #Constraints: 54702
243.94/244.79 c INPROCESSING
243.94/244.79 c GARBAGE COLLECT
243.94/244.79 c #Conflicts: 244000 | #Constraints: 31878
243.94/244.79 c #Conflicts: 245000 | #Constraints: 32878
243.94/244.79 c #Conflicts: 246000 | #Constraints: 33878
243.94/244.79 c #Conflicts: 247000 | #Constraints: 34878
243.94/244.79 c #Conflicts: 248000 | #Constraints: 35878
243.94/244.79 c #Conflicts: 249000 | #Constraints: 36878
243.94/244.79 c #Conflicts: 250000 | #Constraints: 37878
243.94/244.79 c #Conflicts: 251000 | #Constraints: 38878
243.94/244.79 c #Conflicts: 252000 | #Constraints: 39878
243.94/244.79 c #Conflicts: 253000 | #Constraints: 40878
243.94/244.79 c #Conflicts: 254000 | #Constraints: 41878
342.09/343.15 c #Conflicts: 255000 | #Constraints: 42878
342.09/343.15 c INPROCESSING
342.09/343.15 c GARBAGE COLLECT
342.09/343.15 c #Conflicts: 256000 | #Constraints: 26274
342.09/343.15 c #Conflicts: 257000 | #Constraints: 27274
342.09/343.15 c #Conflicts: 258000 | #Constraints: 28274
342.09/343.15 c #Conflicts: 259000 | #Constraints: 29274
342.09/343.15 c #Conflicts: 260000 | #Constraints: 30274
342.09/343.15 c #Conflicts: 261000 | #Constraints: 31274
342.09/343.15 c #Conflicts: 262000 | #Constraints: 32274
342.09/343.15 c #Conflicts: 263000 | #Constraints: 33274
342.09/343.15 c #Conflicts: 264000 | #Constraints: 34274
342.09/343.15 c #Conflicts: 265000 | #Constraints: 35274
342.09/343.15 c #Conflicts: 266000 | #Constraints: 36274
342.09/343.15 c INPROCESSING
342.09/343.15 c GARBAGE COLLECT
342.09/343.15 c #Conflicts: 267000 | #Constraints: 22684
342.09/343.15 c #Conflicts: 268000 | #Constraints: 23684
342.09/343.15 c #Conflicts: 269000 | #Constraints: 24684
342.09/343.15 c #Conflicts: 270000 | #Constraints: 25684
342.09/343.15 c #Conflicts: 271000 | #Constraints: 26684
342.09/343.15 c #Conflicts: 272000 | #Constraints: 27684
342.09/343.15 c #Conflicts: 273000 | #Constraints: 28684
342.09/343.15 c #Conflicts: 274000 | #Constraints: 29684
342.09/343.15 c #Conflicts: 275000 | #Constraints: 30684
342.09/343.15 c #Conflicts: 276000 | #Constraints: 31684
342.09/343.15 c #Conflicts: 277000 | #Constraints: 32684
342.09/343.15 c #Conflicts: 278000 | #Constraints: 33684
342.09/343.15 c INPROCESSING
342.09/343.15 c GARBAGE COLLECT
342.09/343.15 c #Conflicts: 279000 | #Constraints: 21441
342.09/343.15 c #Conflicts: 280000 | #Constraints: 22441
342.09/343.15 c #Conflicts: 281000 | #Constraints: 23441
342.09/343.15 c #Conflicts: 282000 | #Constraints: 24441
342.09/343.15 c #Conflicts: 283000 | #Constraints: 25441
342.09/343.15 c #Conflicts: 284000 | #Constraints: 26441
342.09/343.15 c #Conflicts: 285000 | #Constraints: 27441
342.09/343.15 c #Conflicts: 286000 | #Constraints: 28441
342.09/343.15 c #Conflicts: 287000 | #Constraints: 29441
342.09/343.15 c #Conflicts: 288000 | #Constraints: 30441
342.09/343.15 c #Conflicts: 289000 | #Constraints: 31441
342.09/343.15 c #Conflicts: 290000 | #Constraints: 32441
342.09/343.15 c #Conflicts: 291000 | #Constraints: 33441
342.09/343.15 c #Conflicts: 292000 | #Constraints: 34441
342.09/343.15 c #Conflicts: 293000 | #Constraints: 35441
342.09/343.15 c #Conflicts: 294000 | #Constraints: 36441
342.09/343.15 c #Conflicts: 295000 | #Constraints: 37441
342.09/343.15 c #Conflicts: 296000 | #Constraints: 38441
342.09/343.15 c #Conflicts: 297000 | #Constraints: 39441
342.09/343.15 c #Conflicts: 298000 | #Constraints: 40441
342.09/343.15 c #Conflicts: 299000 | #Constraints: 41441
342.09/343.15 c #Conflicts: 300000 | #Constraints: 42441
342.09/343.15 c #Conflicts: 301000 | #Constraints: 43441
342.09/343.15 c #Conflicts: 302000 | #Constraints: 44441
342.09/343.15 c #Conflicts: 303000 | #Constraints: 45441
342.09/343.15 c #Conflicts: 304000 | #Constraints: 46441
342.09/343.15 c #Conflicts: 305000 | #Constraints: 47441
342.09/343.15 c #Conflicts: 306000 | #Constraints: 48441
342.09/343.15 c #Conflicts: 307000 | #Constraints: 49441
342.09/343.15 c #Conflicts: 308000 | #Constraints: 50441
342.09/343.15 c #Conflicts: 309000 | #Constraints: 51442
342.09/343.15 c #Conflicts: 310000 | #Constraints: 52442
342.09/343.15 c #Conflicts: 311000 | #Constraints: 53442
342.09/343.15 c #Conflicts: 312000 | #Constraints: 54442
342.09/343.15 c #Conflicts: 313000 | #Constraints: 55442
342.09/343.15 c #Conflicts: 314000 | #Constraints: 56442
342.09/343.15 c #Conflicts: 315000 | #Constraints: 57442
342.09/343.15 c #Conflicts: 316000 | #Constraints: 58442
342.09/343.15 c #Conflicts: 317000 | #Constraints: 59442
342.09/343.15 c #Conflicts: 318000 | #Constraints: 60442
342.09/343.15 c #Conflicts: 319000 | #Constraints: 61442
342.09/343.15 c #Conflicts: 320000 | #Constraints: 62442
342.09/343.15 c INPROCESSING
342.09/343.15 c GARBAGE COLLECT
342.09/343.15 c #Conflicts: 321000 | #Constraints: 36101
342.09/343.15 c #Conflicts: 322000 | #Constraints: 37101
342.09/343.15 c #Conflicts: 323000 | #Constraints: 38101
342.09/343.15 c #Conflicts: 324000 | #Constraints: 39101
342.09/343.15 c #Conflicts: 325000 | #Constraints: 40101
342.09/343.15 c #Conflicts: 326000 | #Constraints: 41101
342.09/343.15 c #Conflicts: 327000 | #Constraints: 42101
342.09/343.15 c #Conflicts: 328000 | #Constraints: 43101
342.09/343.15 c #Conflicts: 329000 | #Constraints: 44101
342.09/343.15 c #Conflicts: 330000 | #Constraints: 45101
435.59/436.99 c #Conflicts: 331000 | #Constraints: 46101
435.59/436.99 c #Conflicts: 332000 | #Constraints: 47101
435.59/436.99 c #Conflicts: 333000 | #Constraints: 48101
435.59/436.99 c INPROCESSING
435.59/436.99 c GARBAGE COLLECT
435.59/436.99 c #Conflicts: 334000 | #Constraints: 28833
435.59/436.99 c #Conflicts: 335000 | #Constraints: 29833
435.59/436.99 c #Conflicts: 336000 | #Constraints: 30833
435.59/436.99 c #Conflicts: 337000 | #Constraints: 31833
435.59/436.99 c #Conflicts: 338000 | #Constraints: 32833
435.59/436.99 c #Conflicts: 339000 | #Constraints: 33833
435.59/436.99 c #Conflicts: 340000 | #Constraints: 34833
435.59/436.99 c #Conflicts: 341000 | #Constraints: 35833
435.59/436.99 c #Conflicts: 342000 | #Constraints: 36833
435.59/436.99 c #Conflicts: 343000 | #Constraints: 37833
435.59/436.99 c #Conflicts: 344000 | #Constraints: 38833
435.59/436.99 c #Conflicts: 345000 | #Constraints: 39833
435.59/436.99 c #Conflicts: 346000 | #Constraints: 40833
435.59/436.99 c INPROCESSING
435.59/436.99 c GARBAGE COLLECT
435.59/436.99 c #Conflicts: 347000 | #Constraints: 24997
435.59/436.99 c #Conflicts: 348000 | #Constraints: 25997
435.59/436.99 c #Conflicts: 349000 | #Constraints: 26997
435.59/436.99 c #Conflicts: 350000 | #Constraints: 27997
435.59/436.99 c #Conflicts: 351000 | #Constraints: 28997
435.59/436.99 c #Conflicts: 352000 | #Constraints: 29997
435.59/436.99 c #Conflicts: 353000 | #Constraints: 30997
435.59/436.99 c #Conflicts: 354000 | #Constraints: 31997
435.59/436.99 c #Conflicts: 355000 | #Constraints: 32997
435.59/436.99 c #Conflicts: 356000 | #Constraints: 33997
435.59/436.99 c #Conflicts: 357000 | #Constraints: 34997
435.59/436.99 c #Conflicts: 358000 | #Constraints: 35997
435.59/436.99 c #Conflicts: 359000 | #Constraints: 36997
435.59/436.99 c #Conflicts: 360000 | #Constraints: 37997
435.59/436.99 c INPROCESSING
435.59/436.99 c GARBAGE COLLECT
435.59/436.99 c #Conflicts: 361000 | #Constraints: 23899
435.59/436.99 c #Conflicts: 362000 | #Constraints: 24899
435.59/436.99 c #Conflicts: 363000 | #Constraints: 25899
435.59/436.99 c #Conflicts: 364000 | #Constraints: 26899
435.59/436.99 c #Conflicts: 365000 | #Constraints: 27899
435.59/436.99 c #Conflicts: 366000 | #Constraints: 28899
435.59/436.99 c #Conflicts: 367000 | #Constraints: 29899
435.59/436.99 c #Conflicts: 368000 | #Constraints: 30899
435.59/436.99 c #Conflicts: 369000 | #Constraints: 31899
435.59/436.99 c #Conflicts: 370000 | #Constraints: 32899
435.59/436.99 c #Conflicts: 371000 | #Constraints: 33899
435.59/436.99 c #Conflicts: 372000 | #Constraints: 34899
435.59/436.99 c #Conflicts: 373000 | #Constraints: 35899
435.59/436.99 c #Conflicts: 374000 | #Constraints: 36899
435.59/436.99 c #Conflicts: 375000 | #Constraints: 37899
435.59/436.99 c #Conflicts: 376000 | #Constraints: 38899
435.59/436.99 c #Conflicts: 377000 | #Constraints: 39899
435.59/436.99 c #Conflicts: 378000 | #Constraints: 40899
435.59/436.99 c #Conflicts: 379000 | #Constraints: 41899
435.59/436.99 c #Conflicts: 380000 | #Constraints: 42899
435.59/436.99 c #Conflicts: 381000 | #Constraints: 43899
435.59/436.99 c #Conflicts: 382000 | #Constraints: 44899
435.59/436.99 c #Conflicts: 383000 | #Constraints: 45899
435.59/436.99 c #Conflicts: 384000 | #Constraints: 46899
435.59/436.99 c #Conflicts: 385000 | #Constraints: 47899
435.59/436.99 c #Conflicts: 386000 | #Constraints: 48899
435.59/436.99 c #Conflicts: 387000 | #Constraints: 49899
435.59/436.99 c #Conflicts: 388000 | #Constraints: 50899
435.59/436.99 c #Conflicts: 389000 | #Constraints: 51899
435.59/436.99 c #Conflicts: 390000 | #Constraints: 52899
435.59/436.99 c #Conflicts: 391000 | #Constraints: 53899
435.59/436.99 c #Conflicts: 392000 | #Constraints: 54899
435.59/436.99 c #Conflicts: 393000 | #Constraints: 55899
435.59/436.99 c #Conflicts: 394000 | #Constraints: 56899
435.59/436.99 c #Conflicts: 395000 | #Constraints: 57899
435.59/436.99 c #Conflicts: 396000 | #Constraints: 58899
435.59/436.99 c #Conflicts: 397000 | #Constraints: 59899
435.59/436.99 c #Conflicts: 398000 | #Constraints: 60899
435.59/436.99 c #Conflicts: 399000 | #Constraints: 61899
435.59/436.99 c #Conflicts: 400000 | #Constraints: 62899
435.59/436.99 c #Conflicts: 401000 | #Constraints: 63899
435.59/436.99 c #Conflicts: 402000 | #Constraints: 64899
435.59/436.99 c #Conflicts: 403000 | #Constraints: 65899
435.59/436.99 c #Conflicts: 404000 | #Constraints: 66899
435.59/436.99 c #Conflicts: 405000 | #Constraints: 67899
435.59/436.99 c #Conflicts: 406000 | #Constraints: 68899
435.59/436.99 c #Conflicts: 407000 | #Constraints: 69899
550.13/551.82 c INPROCESSING
550.13/551.82 c GARBAGE COLLECT
550.13/551.82 c #Conflicts: 408000 | #Constraints: 39805
550.13/551.82 c #Conflicts: 409000 | #Constraints: 40805
550.13/551.82 c #Conflicts: 410000 | #Constraints: 41805
550.13/551.82 c #Conflicts: 411000 | #Constraints: 42805
550.13/551.82 c #Conflicts: 412000 | #Constraints: 43805
550.13/551.82 c #Conflicts: 413000 | #Constraints: 44805
550.13/551.82 c #Conflicts: 414000 | #Constraints: 45805
550.13/551.82 c #Conflicts: 415000 | #Constraints: 46805
550.13/551.82 c #Conflicts: 416000 | #Constraints: 47805
550.13/551.82 c #Conflicts: 417000 | #Constraints: 48805
550.13/551.82 c #Conflicts: 418000 | #Constraints: 49805
550.13/551.82 c #Conflicts: 419000 | #Constraints: 50805
550.13/551.82 c #Conflicts: 420000 | #Constraints: 51805
550.13/551.82 c #Conflicts: 421000 | #Constraints: 52805
550.13/551.82 c INPROCESSING
550.13/551.82 c GARBAGE COLLECT
550.13/551.82 c #Conflicts: 422000 | #Constraints: 30880
550.13/551.82 c #Conflicts: 423000 | #Constraints: 31880
550.13/551.82 c #Conflicts: 424000 | #Constraints: 32880
550.13/551.82 c #Conflicts: 425000 | #Constraints: 33880
550.13/551.82 c #Conflicts: 426000 | #Constraints: 34880
550.13/551.82 c #Conflicts: 427000 | #Constraints: 35880
550.13/551.82 c #Conflicts: 428000 | #Constraints: 36880
550.13/551.82 c #Conflicts: 429000 | #Constraints: 37880
550.13/551.82 c #Conflicts: 430000 | #Constraints: 38880
550.13/551.82 c #Conflicts: 431000 | #Constraints: 39880
550.13/551.82 c #Conflicts: 432000 | #Constraints: 40880
550.13/551.82 c #Conflicts: 433000 | #Constraints: 41880
550.13/551.82 c #Conflicts: 434000 | #Constraints: 42880
550.13/551.82 c #Conflicts: 435000 | #Constraints: 43880
550.13/551.82 c #Conflicts: 436000 | #Constraints: 44880
550.13/551.82 c INPROCESSING
550.13/551.82 c GARBAGE COLLECT
550.13/551.82 c #Conflicts: 437000 | #Constraints: 26945
550.13/551.82 c #Conflicts: 438000 | #Constraints: 27945
550.13/551.82 c #Conflicts: 439000 | #Constraints: 28945
550.13/551.82 c #Conflicts: 440000 | #Constraints: 29945
550.13/551.82 c #Conflicts: 441000 | #Constraints: 30945
550.13/551.82 c #Conflicts: 442000 | #Constraints: 31945
550.13/551.82 c #Conflicts: 443000 | #Constraints: 32945
550.13/551.82 c #Conflicts: 444000 | #Constraints: 33945
550.13/551.82 c #Conflicts: 445000 | #Constraints: 34945
550.13/551.82 c #Conflicts: 446000 | #Constraints: 35945
550.13/551.82 c #Conflicts: 447000 | #Constraints: 36945
550.13/551.82 c #Conflicts: 448000 | #Constraints: 37945
550.13/551.82 c #Conflicts: 449000 | #Constraints: 38945
550.13/551.82 c #Conflicts: 450000 | #Constraints: 39945
550.13/551.82 c #Conflicts: 451000 | #Constraints: 40945
550.13/551.82 c #Conflicts: 452000 | #Constraints: 41945
550.13/551.82 c INPROCESSING
550.13/551.82 c GARBAGE COLLECT
550.13/551.82 c #Conflicts: 453000 | #Constraints: 25904
550.13/551.82 c #Conflicts: 454000 | #Constraints: 26904
550.13/551.82 c #Conflicts: 455000 | #Constraints: 27904
550.13/551.82 c #Conflicts: 456000 | #Constraints: 28904
550.13/551.82 c #Conflicts: 457000 | #Constraints: 29904
550.13/551.82 c #Conflicts: 458000 | #Constraints: 30904
550.13/551.82 c #Conflicts: 459000 | #Constraints: 31904
550.13/551.82 c #Conflicts: 460000 | #Constraints: 32904
550.13/551.82 c #Conflicts: 461000 | #Constraints: 33904
550.13/551.82 c #Conflicts: 462000 | #Constraints: 34904
550.13/551.82 c #Conflicts: 463000 | #Constraints: 35904
550.13/551.82 c #Conflicts: 464000 | #Constraints: 36904
550.13/551.82 c #Conflicts: 465000 | #Constraints: 37904
550.13/551.82 c #Conflicts: 466000 | #Constraints: 38904
550.13/551.82 c #Conflicts: 467000 | #Constraints: 39904
550.13/551.82 c #Conflicts: 468000 | #Constraints: 40904
550.13/551.82 c #Conflicts: 469000 | #Constraints: 41904
550.13/551.82 c #Conflicts: 470000 | #Constraints: 42904
550.13/551.82 c #Conflicts: 471000 | #Constraints: 43904
550.13/551.82 c #Conflicts: 472000 | #Constraints: 44904
550.13/551.82 c #Conflicts: 473000 | #Constraints: 45904
550.13/551.82 c #Conflicts: 474000 | #Constraints: 46904
550.13/551.82 c #Conflicts: 475000 | #Constraints: 47904
550.13/551.82 c #Conflicts: 476000 | #Constraints: 48904
550.13/551.82 c #Conflicts: 477000 | #Constraints: 49904
550.13/551.82 c #Conflicts: 478000 | #Constraints: 50904
550.13/551.82 c #Conflicts: 479000 | #Constraints: 51904
550.13/551.82 c #Conflicts: 480000 | #Constraints: 52904
550.13/551.82 c #Conflicts: 481000 | #Constraints: 53904
550.13/551.82 c #Conflicts: 482000 | #Constraints: 54904
550.13/551.82 c #Conflicts: 483000 | #Constraints: 55904
662.99/665.09 c #Conflicts: 484000 | #Constraints: 56904
662.99/665.09 c #Conflicts: 485000 | #Constraints: 57904
662.99/665.09 c #Conflicts: 486000 | #Constraints: 58904
662.99/665.09 c #Conflicts: 487000 | #Constraints: 59904
662.99/665.09 c #Conflicts: 488000 | #Constraints: 60904
662.99/665.09 c #Conflicts: 489000 | #Constraints: 61904
662.99/665.09 c #Conflicts: 490000 | #Constraints: 62904
662.99/665.09 c #Conflicts: 491000 | #Constraints: 63904
662.99/665.09 c #Conflicts: 492000 | #Constraints: 64904
662.99/665.09 c #Conflicts: 493000 | #Constraints: 65904
662.99/665.09 c #Conflicts: 494000 | #Constraints: 66904
662.99/665.09 c #Conflicts: 495000 | #Constraints: 67904
662.99/665.09 c #Conflicts: 496000 | #Constraints: 68904
662.99/665.09 c #Conflicts: 497000 | #Constraints: 69904
662.99/665.09 c #Conflicts: 498000 | #Constraints: 70904
662.99/665.09 c #Conflicts: 499000 | #Constraints: 71904
662.99/665.09 c #Conflicts: 500000 | #Constraints: 72904
662.99/665.09 c #Conflicts: 501000 | #Constraints: 73904
662.99/665.09 c #Conflicts: 502000 | #Constraints: 74904
662.99/665.09 c #Conflicts: 503000 | #Constraints: 75904
662.99/665.09 c #Conflicts: 504000 | #Constraints: 76904
662.99/665.09 c INPROCESSING
662.99/665.09 c GARBAGE COLLECT
662.99/665.09 c #Conflicts: 505000 | #Constraints: 43249
662.99/665.09 c #Conflicts: 506000 | #Constraints: 44249
662.99/665.09 c #Conflicts: 507000 | #Constraints: 45249
662.99/665.09 c #Conflicts: 508000 | #Constraints: 46249
662.99/665.09 c #Conflicts: 509000 | #Constraints: 47249
662.99/665.09 c #Conflicts: 510000 | #Constraints: 48249
662.99/665.09 c #Conflicts: 511000 | #Constraints: 49249
662.99/665.09 c #Conflicts: 512000 | #Constraints: 50249
662.99/665.09 c #Conflicts: 513000 | #Constraints: 51249
662.99/665.09 c #Conflicts: 514000 | #Constraints: 52250
662.99/665.09 c #Conflicts: 515000 | #Constraints: 53250
662.99/665.09 c #Conflicts: 516000 | #Constraints: 54250
662.99/665.09 c #Conflicts: 517000 | #Constraints: 55250
662.99/665.09 c #Conflicts: 518000 | #Constraints: 56250
662.99/665.09 c #Conflicts: 519000 | #Constraints: 57250
662.99/665.09 c #Conflicts: 520000 | #Constraints: 58250
662.99/665.09 c INPROCESSING
662.99/665.09 c GARBAGE COLLECT
662.99/665.09 c #Conflicts: 521000 | #Constraints: 33540
662.99/665.09 c #Conflicts: 522000 | #Constraints: 34540
662.99/665.09 c #Conflicts: 523000 | #Constraints: 35540
662.99/665.09 c #Conflicts: 524000 | #Constraints: 36540
662.99/665.09 c #Conflicts: 525000 | #Constraints: 37540
662.99/665.09 c #Conflicts: 526000 | #Constraints: 38540
662.99/665.09 c #Conflicts: 527000 | #Constraints: 39540
662.99/665.09 c #Conflicts: 528000 | #Constraints: 40540
662.99/665.09 c #Conflicts: 529000 | #Constraints: 41540
662.99/665.09 c #Conflicts: 530000 | #Constraints: 42540
662.99/665.09 c #Conflicts: 531000 | #Constraints: 43540
662.99/665.09 c #Conflicts: 532000 | #Constraints: 44540
662.99/665.09 c #Conflicts: 533000 | #Constraints: 45540
662.99/665.09 c #Conflicts: 534000 | #Constraints: 46540
662.99/665.09 c #Conflicts: 535000 | #Constraints: 47540
662.99/665.09 c #Conflicts: 536000 | #Constraints: 48540
662.99/665.09 c #Conflicts: 537000 | #Constraints: 49540
662.99/665.09 c INPROCESSING
662.99/665.09 c GARBAGE COLLECT
662.99/665.09 c #Conflicts: 538000 | #Constraints: 29449
662.99/665.09 c #Conflicts: 539000 | #Constraints: 30449
662.99/665.09 c #Conflicts: 540000 | #Constraints: 31449
662.99/665.09 c #Conflicts: 541000 | #Constraints: 32449
662.99/665.09 c #Conflicts: 542000 | #Constraints: 33449
662.99/665.09 c #Conflicts: 543000 | #Constraints: 34449
662.99/665.09 c #Conflicts: 544000 | #Constraints: 35449
662.99/665.09 c #Conflicts: 545000 | #Constraints: 36449
662.99/665.09 c #Conflicts: 546000 | #Constraints: 37449
662.99/665.09 c #Conflicts: 547000 | #Constraints: 38449
662.99/665.09 c #Conflicts: 548000 | #Constraints: 39449
662.99/665.09 c #Conflicts: 549000 | #Constraints: 40449
662.99/665.09 c #Conflicts: 550000 | #Constraints: 41449
662.99/665.09 c #Conflicts: 551000 | #Constraints: 42449
662.99/665.09 c #Conflicts: 552000 | #Constraints: 43449
662.99/665.09 c #Conflicts: 553000 | #Constraints: 44449
662.99/665.09 c #Conflicts: 554000 | #Constraints: 45449
662.99/665.09 c INPROCESSING
662.99/665.09 c GARBAGE COLLECT
662.99/665.09 c #Conflicts: 555000 | #Constraints: 27441
662.99/665.09 c #Conflicts: 556000 | #Constraints: 28441
662.99/665.09 c #Conflicts: 557000 | #Constraints: 29441
662.99/665.09 c #Conflicts: 558000 | #Constraints: 30441
662.99/665.09 c #Conflicts: 559000 | #Constraints: 31441
798.65/801.12 c #Conflicts: 560000 | #Constraints: 32441
798.65/801.12 c #Conflicts: 561000 | #Constraints: 33441
798.65/801.12 c #Conflicts: 562000 | #Constraints: 34441
798.65/801.12 c #Conflicts: 563000 | #Constraints: 35441
798.65/801.12 c #Conflicts: 564000 | #Constraints: 36441
798.65/801.12 c #Conflicts: 565000 | #Constraints: 37441
798.65/801.12 c #Conflicts: 566000 | #Constraints: 38441
798.65/801.12 c #Conflicts: 567000 | #Constraints: 39441
798.65/801.12 c #Conflicts: 568000 | #Constraints: 40441
798.65/801.12 c #Conflicts: 569000 | #Constraints: 41441
798.65/801.12 c #Conflicts: 570000 | #Constraints: 42441
798.65/801.12 c #Conflicts: 571000 | #Constraints: 43441
798.65/801.12 c INPROCESSING
798.65/801.12 c GARBAGE COLLECT
798.65/801.12 c #Conflicts: 572000 | #Constraints: 26412
798.65/801.12 c #Conflicts: 573000 | #Constraints: 27412
798.65/801.12 c #Conflicts: 574000 | #Constraints: 28412
798.65/801.12 c #Conflicts: 575000 | #Constraints: 29412
798.65/801.12 c #Conflicts: 576000 | #Constraints: 30412
798.65/801.12 c #Conflicts: 577000 | #Constraints: 31412
798.65/801.12 c #Conflicts: 578000 | #Constraints: 32412
798.65/801.12 c #Conflicts: 579000 | #Constraints: 33412
798.65/801.12 c #Conflicts: 580000 | #Constraints: 34412
798.65/801.12 c #Conflicts: 581000 | #Constraints: 35412
798.65/801.12 c #Conflicts: 582000 | #Constraints: 36412
798.65/801.12 c #Conflicts: 583000 | #Constraints: 37412
798.65/801.12 c #Conflicts: 584000 | #Constraints: 38412
798.65/801.12 c #Conflicts: 585000 | #Constraints: 39412
798.65/801.12 c #Conflicts: 586000 | #Constraints: 40412
798.65/801.12 c #Conflicts: 587000 | #Constraints: 41412
798.65/801.12 c #Conflicts: 588000 | #Constraints: 42412
798.65/801.12 c #Conflicts: 589000 | #Constraints: 43412
798.65/801.12 c #Conflicts: 590000 | #Constraints: 44412
798.65/801.12 c #Conflicts: 591000 | #Constraints: 45412
798.65/801.12 c #Conflicts: 592000 | #Constraints: 46412
798.65/801.12 c #Conflicts: 593000 | #Constraints: 47412
798.65/801.12 c #Conflicts: 594000 | #Constraints: 48412
798.65/801.12 c #Conflicts: 595000 | #Constraints: 49412
798.65/801.12 c #Conflicts: 596000 | #Constraints: 50412
798.65/801.12 c #Conflicts: 597000 | #Constraints: 51412
798.65/801.12 c #Conflicts: 598000 | #Constraints: 52412
798.65/801.12 c #Conflicts: 599000 | #Constraints: 53412
798.65/801.12 c #Conflicts: 600000 | #Constraints: 54412
798.65/801.12 c #Conflicts: 601000 | #Constraints: 55412
798.65/801.12 c #Conflicts: 602000 | #Constraints: 56412
798.65/801.12 c #Conflicts: 603000 | #Constraints: 57412
798.65/801.12 c #Conflicts: 604000 | #Constraints: 58412
798.65/801.12 c #Conflicts: 605000 | #Constraints: 59412
798.65/801.12 c #Conflicts: 606000 | #Constraints: 60412
798.65/801.12 c #Conflicts: 607000 | #Constraints: 61412
798.65/801.12 c #Conflicts: 608000 | #Constraints: 62412
798.65/801.12 c #Conflicts: 609000 | #Constraints: 63412
798.65/801.12 c #Conflicts: 610000 | #Constraints: 64412
798.65/801.12 c #Conflicts: 611000 | #Constraints: 65412
798.65/801.12 c #Conflicts: 612000 | #Constraints: 66412
798.65/801.12 c #Conflicts: 613000 | #Constraints: 67412
798.65/801.12 c #Conflicts: 614000 | #Constraints: 68412
798.65/801.12 c #Conflicts: 615000 | #Constraints: 69412
798.65/801.12 c #Conflicts: 616000 | #Constraints: 70412
798.65/801.12 c #Conflicts: 617000 | #Constraints: 71412
798.65/801.12 c #Conflicts: 618000 | #Constraints: 72412
798.65/801.12 c #Conflicts: 619000 | #Constraints: 73412
798.65/801.12 c #Conflicts: 620000 | #Constraints: 74412
798.65/801.12 c #Conflicts: 621000 | #Constraints: 75412
798.65/801.12 c #Conflicts: 622000 | #Constraints: 76412
798.65/801.12 c #Conflicts: 623000 | #Constraints: 77412
798.65/801.12 c #Conflicts: 624000 | #Constraints: 78412
798.65/801.12 c #Conflicts: 625000 | #Constraints: 79412
798.65/801.12 c #Conflicts: 626000 | #Constraints: 80412
798.65/801.12 c #Conflicts: 627000 | #Constraints: 81412
798.65/801.12 c #Conflicts: 628000 | #Constraints: 82412
798.65/801.12 c #Conflicts: 629000 | #Constraints: 83412
798.65/801.12 c #Conflicts: 630000 | #Constraints: 84412
798.65/801.12 c INPROCESSING
798.65/801.12 c GARBAGE COLLECT
798.65/801.12 c #Conflicts: 631000 | #Constraints: 47046
798.65/801.12 c #Conflicts: 632000 | #Constraints: 48046
798.65/801.12 c #Conflicts: 633000 | #Constraints: 49046
798.65/801.12 c #Conflicts: 634000 | #Constraints: 50046
798.65/801.12 c #Conflicts: 635000 | #Constraints: 51047
798.65/801.12 c #Conflicts: 636000 | #Constraints: 52047
798.65/801.12 c #Conflicts: 637000 | #Constraints: 53047
906.79/909.62 c #Conflicts: 638000 | #Constraints: 54047
906.79/909.62 c #Conflicts: 639000 | #Constraints: 55047
906.79/909.62 c #Conflicts: 640000 | #Constraints: 56047
906.79/909.62 c #Conflicts: 641000 | #Constraints: 57047
906.79/909.62 c #Conflicts: 642000 | #Constraints: 58048
906.79/909.62 c #Conflicts: 643000 | #Constraints: 59048
906.79/909.62 c #Conflicts: 644000 | #Constraints: 60049
906.79/909.62 c #Conflicts: 645000 | #Constraints: 61049
906.79/909.62 c #Conflicts: 646000 | #Constraints: 62049
906.79/909.62 c #Conflicts: 647000 | #Constraints: 63049
906.79/909.62 c #Conflicts: 648000 | #Constraints: 64049
906.79/909.62 c INPROCESSING
906.79/909.62 c GARBAGE COLLECT
906.79/909.62 c #Conflicts: 649000 | #Constraints: 36710
906.79/909.62 c #Conflicts: 650000 | #Constraints: 37710
906.79/909.62 c #Conflicts: 651000 | #Constraints: 38710
906.79/909.62 c #Conflicts: 652000 | #Constraints: 39710
906.79/909.62 c #Conflicts: 653000 | #Constraints: 40710
906.79/909.62 c #Conflicts: 654000 | #Constraints: 41710
906.79/909.62 c #Conflicts: 655000 | #Constraints: 42711
906.79/909.62 c #Conflicts: 656000 | #Constraints: 43711
906.79/909.62 c #Conflicts: 657000 | #Constraints: 44711
906.79/909.62 c #Conflicts: 658000 | #Constraints: 45712
906.79/909.62 c #Conflicts: 659000 | #Constraints: 46712
906.79/909.62 c #Conflicts: 660000 | #Constraints: 47712
906.79/909.62 c #Conflicts: 661000 | #Constraints: 48713
906.79/909.62 c #Conflicts: 662000 | #Constraints: 49713
906.79/909.62 c #Conflicts: 663000 | #Constraints: 50713
906.79/909.62 c #Conflicts: 664000 | #Constraints: 51713
906.79/909.62 c #Conflicts: 665000 | #Constraints: 52713
906.79/909.62 c #Conflicts: 666000 | #Constraints: 53714
906.79/909.62 c #Conflicts: 667000 | #Constraints: 54714
906.79/909.62 c INPROCESSING
906.79/909.62 c GARBAGE COLLECT
906.79/909.62 c #Conflicts: 668000 | #Constraints: 32137
906.79/909.62 c #Conflicts: 669000 | #Constraints: 33137
906.79/909.62 c #Conflicts: 670000 | #Constraints: 34137
906.79/909.62 c #Conflicts: 671000 | #Constraints: 35137
906.79/909.62 c #Conflicts: 672000 | #Constraints: 36137
906.79/909.62 c #Conflicts: 673000 | #Constraints: 37137
906.79/909.62 c #Conflicts: 674000 | #Constraints: 38137
906.79/909.62 c #Conflicts: 675000 | #Constraints: 39137
906.79/909.62 c #Conflicts: 676000 | #Constraints: 40137
906.79/909.62 c #Conflicts: 677000 | #Constraints: 41137
906.79/909.62 c #Conflicts: 678000 | #Constraints: 42137
906.79/909.62 c #Conflicts: 679000 | #Constraints: 43137
906.79/909.62 c #Conflicts: 680000 | #Constraints: 44137
906.79/909.62 c #Conflicts: 681000 | #Constraints: 45137
906.79/909.62 c #Conflicts: 682000 | #Constraints: 46137
906.79/909.62 c #Conflicts: 683000 | #Constraints: 47137
906.79/909.62 c #Conflicts: 684000 | #Constraints: 48137
906.79/909.62 c #Conflicts: 685000 | #Constraints: 49137
906.79/909.62 c #Conflicts: 686000 | #Constraints: 50137
906.79/909.62 c INPROCESSING
906.79/909.62 c GARBAGE COLLECT
906.79/909.62 c #Conflicts: 687000 | #Constraints: 29969
906.79/909.62 c #Conflicts: 688000 | #Constraints: 30969
906.79/909.62 c #Conflicts: 689000 | #Constraints: 31969
906.79/909.62 c #Conflicts: 690000 | #Constraints: 32969
906.79/909.62 c #Conflicts: 691000 | #Constraints: 33970
906.79/909.62 c #Conflicts: 692000 | #Constraints: 34970
906.79/909.62 c #Conflicts: 693000 | #Constraints: 35970
906.79/909.62 c #Conflicts: 694000 | #Constraints: 36970
906.79/909.62 c #Conflicts: 695000 | #Constraints: 37970
906.79/909.62 c #Conflicts: 696000 | #Constraints: 38970
906.79/909.62 c #Conflicts: 697000 | #Constraints: 39970
906.79/909.62 c #Conflicts: 698000 | #Constraints: 40970
906.79/909.62 c #Conflicts: 699000 | #Constraints: 41970
906.79/909.62 c #Conflicts: 700000 | #Constraints: 42970
906.79/909.62 c #Conflicts: 701000 | #Constraints: 43970
906.79/909.62 c #Conflicts: 702000 | #Constraints: 44970
906.79/909.62 c #Conflicts: 703000 | #Constraints: 45970
906.79/909.62 c #Conflicts: 704000 | #Constraints: 46970
906.79/909.62 c #Conflicts: 705000 | #Constraints: 47970
906.79/909.62 c INPROCESSING
906.79/909.62 c GARBAGE COLLECT
906.79/909.62 c #Conflicts: 706000 | #Constraints: 28967
906.79/909.62 c #Conflicts: 707000 | #Constraints: 29967
906.79/909.62 c #Conflicts: 708000 | #Constraints: 30967
906.79/909.62 c #Conflicts: 709000 | #Constraints: 31967
906.79/909.62 c #Conflicts: 710000 | #Constraints: 32967
906.79/909.62 c #Conflicts: 711000 | #Constraints: 33967
906.79/909.62 c #Conflicts: 712000 | #Constraints: 34967
906.79/909.62 c #Conflicts: 713000 | #Constraints: 35967
1071.86/1075.26 c #Conflicts: 714000 | #Constraints: 36967
1071.86/1075.26 c #Conflicts: 715000 | #Constraints: 37967
1071.86/1075.26 c #Conflicts: 716000 | #Constraints: 38967
1071.86/1075.26 c #Conflicts: 717000 | #Constraints: 39967
1071.86/1075.26 c #Conflicts: 718000 | #Constraints: 40967
1071.86/1075.26 c #Conflicts: 719000 | #Constraints: 41968
1071.86/1075.26 c #Conflicts: 720000 | #Constraints: 42968
1071.86/1075.26 c #Conflicts: 721000 | #Constraints: 43968
1071.86/1075.26 c #Conflicts: 722000 | #Constraints: 44968
1071.86/1075.26 c #Conflicts: 723000 | #Constraints: 45968
1071.86/1075.26 c #Conflicts: 724000 | #Constraints: 46968
1071.86/1075.26 c #Conflicts: 725000 | #Constraints: 47968
1071.86/1075.26 c #Conflicts: 726000 | #Constraints: 48968
1071.86/1075.26 c #Conflicts: 727000 | #Constraints: 49968
1071.86/1075.26 c #Conflicts: 728000 | #Constraints: 50968
1071.86/1075.26 c #Conflicts: 729000 | #Constraints: 51968
1071.86/1075.26 c #Conflicts: 730000 | #Constraints: 52968
1071.86/1075.26 c #Conflicts: 731000 | #Constraints: 53968
1071.86/1075.26 c #Conflicts: 732000 | #Constraints: 54968
1071.86/1075.26 c #Conflicts: 733000 | #Constraints: 55968
1071.86/1075.26 c #Conflicts: 734000 | #Constraints: 56968
1071.86/1075.26 c #Conflicts: 735000 | #Constraints: 57968
1071.86/1075.26 c #Conflicts: 736000 | #Constraints: 58968
1071.86/1075.26 c #Conflicts: 737000 | #Constraints: 59968
1071.86/1075.26 c #Conflicts: 738000 | #Constraints: 60968
1071.86/1075.26 c #Conflicts: 739000 | #Constraints: 61968
1071.86/1075.26 c #Conflicts: 740000 | #Constraints: 62968
1071.86/1075.26 c #Conflicts: 741000 | #Constraints: 63968
1071.86/1075.26 c #Conflicts: 742000 | #Constraints: 64968
1071.86/1075.26 c #Conflicts: 743000 | #Constraints: 65968
1071.86/1075.26 c #Conflicts: 744000 | #Constraints: 66968
1071.86/1075.26 c #Conflicts: 745000 | #Constraints: 67968
1071.86/1075.26 c #Conflicts: 746000 | #Constraints: 68968
1071.86/1075.26 c #Conflicts: 747000 | #Constraints: 69968
1071.86/1075.26 c #Conflicts: 748000 | #Constraints: 70968
1071.86/1075.26 c #Conflicts: 749000 | #Constraints: 71968
1071.86/1075.26 c #Conflicts: 750000 | #Constraints: 72968
1071.86/1075.26 c #Conflicts: 751000 | #Constraints: 73968
1071.86/1075.26 c #Conflicts: 752000 | #Constraints: 74968
1071.86/1075.26 c #Conflicts: 753000 | #Constraints: 75968
1071.86/1075.26 c #Conflicts: 754000 | #Constraints: 76968
1071.86/1075.26 c #Conflicts: 755000 | #Constraints: 77968
1071.86/1075.26 c #Conflicts: 756000 | #Constraints: 78968
1071.86/1075.26 c #Conflicts: 757000 | #Constraints: 79968
1071.86/1075.26 c #Conflicts: 758000 | #Constraints: 80968
1071.86/1075.26 c #Conflicts: 759000 | #Constraints: 81968
1071.86/1075.26 c #Conflicts: 760000 | #Constraints: 82968
1071.86/1075.26 c #Conflicts: 761000 | #Constraints: 83968
1071.86/1075.26 c #Conflicts: 762000 | #Constraints: 84968
1071.86/1075.26 c #Conflicts: 763000 | #Constraints: 85968
1071.86/1075.26 c #Conflicts: 764000 | #Constraints: 86968
1071.86/1075.26 c #Conflicts: 765000 | #Constraints: 87968
1071.86/1075.26 c #Conflicts: 766000 | #Constraints: 88968
1071.86/1075.26 c #Conflicts: 767000 | #Constraints: 89968
1071.86/1075.26 c #Conflicts: 768000 | #Constraints: 90968
1071.86/1075.26 c #Conflicts: 769000 | #Constraints: 91968
1071.86/1075.26 c #Conflicts: 770000 | #Constraints: 92968
1071.86/1075.26 c INPROCESSING
1071.86/1075.26 c GARBAGE COLLECT
1071.86/1075.26 c #Conflicts: 771000 | #Constraints: 51377
1071.86/1075.26 c #Conflicts: 772000 | #Constraints: 52377
1071.86/1075.26 c #Conflicts: 773000 | #Constraints: 53377
1071.86/1075.26 c #Conflicts: 774000 | #Constraints: 54377
1071.86/1075.26 c #Conflicts: 775000 | #Constraints: 55377
1071.86/1075.26 c #Conflicts: 776000 | #Constraints: 56377
1071.86/1075.26 c #Conflicts: 777000 | #Constraints: 57377
1071.86/1075.26 c #Conflicts: 778000 | #Constraints: 58377
1071.86/1075.26 c #Conflicts: 779000 | #Constraints: 59377
1071.86/1075.26 c #Conflicts: 780000 | #Constraints: 60377
1071.86/1075.26 c #Conflicts: 781000 | #Constraints: 61377
1071.86/1075.26 c #Conflicts: 782000 | #Constraints: 62377
1071.86/1075.26 c #Conflicts: 783000 | #Constraints: 63377
1071.86/1075.26 c #Conflicts: 784000 | #Constraints: 64377
1071.86/1075.26 c #Conflicts: 785000 | #Constraints: 65377
1071.86/1075.26 c #Conflicts: 786000 | #Constraints: 66377
1071.86/1075.26 c #Conflicts: 787000 | #Constraints: 67377
1071.86/1075.26 c #Conflicts: 788000 | #Constraints: 68377
1071.86/1075.26 c #Conflicts: 789000 | #Constraints: 69377
1071.86/1075.26 c #Conflicts: 790000 | #Constraints: 70377
1071.86/1075.26 c INPROCESSING
1071.86/1075.26 c GARBAGE COLLECT
1071.86/1075.26 c #Conflicts: 791000 | #Constraints: 39891
1127.68/1131.20 c #Conflicts: 792000 | #Constraints: 40891
1127.68/1131.20 c #Conflicts: 793000 | #Constraints: 41891
1127.68/1131.20 c #Conflicts: 794000 | #Constraints: 42891
1127.68/1131.20 c #Conflicts: 795000 | #Constraints: 43891
1127.68/1131.20 c #Conflicts: 796000 | #Constraints: 44891
1127.68/1131.20 c #Conflicts: 797000 | #Constraints: 45891
1127.68/1131.20 c #Conflicts: 798000 | #Constraints: 46891
1127.68/1131.20 c #Conflicts: 799000 | #Constraints: 47891
1127.68/1131.20 c #Conflicts: 800000 | #Constraints: 48891
1127.68/1131.20 c #Conflicts: 801000 | #Constraints: 49891
1127.68/1131.20 c #Conflicts: 802000 | #Constraints: 50891
1127.68/1131.20 c #Conflicts: 803000 | #Constraints: 51891
1127.68/1131.20 c #Conflicts: 804000 | #Constraints: 52891
1127.68/1131.20 c #Conflicts: 805000 | #Constraints: 53891
1127.68/1131.20 c #Conflicts: 806000 | #Constraints: 54891
1127.68/1131.20 c #Conflicts: 807000 | #Constraints: 55891
1127.68/1131.20 c #Conflicts: 808000 | #Constraints: 56891
1127.68/1131.20 c #Conflicts: 809000 | #Constraints: 57891
1127.68/1131.20 c #Conflicts: 810000 | #Constraints: 58891
1127.68/1131.20 c INPROCESSING
1127.68/1131.20 c GARBAGE COLLECT
1127.68/1131.20 c #Conflicts: 811000 | #Constraints: 33943
1127.68/1131.20 c #Conflicts: 812000 | #Constraints: 34943
1127.68/1131.20 c #Conflicts: 813000 | #Constraints: 35944
1127.68/1131.20 c #Conflicts: 814000 | #Constraints: 36944
1127.68/1131.20 c #Conflicts: 815000 | #Constraints: 37944
1127.68/1131.20 c #Conflicts: 816000 | #Constraints: 38944
1127.68/1131.20 c #Conflicts: 817000 | #Constraints: 39944
1127.68/1131.20 c #Conflicts: 818000 | #Constraints: 40944
1127.68/1131.20 c #Conflicts: 819000 | #Constraints: 41944
1127.68/1131.20 c #Conflicts: 820000 | #Constraints: 42945
1127.68/1131.20 c #Conflicts: 821000 | #Constraints: 43945
1127.68/1131.20 c #Conflicts: 822000 | #Constraints: 44945
1127.68/1131.20 c #Conflicts: 823000 | #Constraints: 45945
1127.68/1131.20 c #Conflicts: 824000 | #Constraints: 46945
1127.68/1131.20 c #Conflicts: 825000 | #Constraints: 47945
1127.68/1131.20 c #Conflicts: 826000 | #Constraints: 48945
1127.68/1131.20 c #Conflicts: 827000 | #Constraints: 49945
1127.68/1131.20 c #Conflicts: 828000 | #Constraints: 50945
1127.68/1131.20 c #Conflicts: 829000 | #Constraints: 51945
1127.68/1131.20 c #Conflicts: 830000 | #Constraints: 52945
1127.68/1131.20 c #Conflicts: 831000 | #Constraints: 53945
1127.68/1131.20 c INPROCESSING
1127.68/1131.20 c GARBAGE COLLECT
1127.68/1131.20 c #Conflicts: 832000 | #Constraints: 31616
1127.68/1131.20 c #Conflicts: 833000 | #Constraints: 32616
1127.68/1131.20 c #Conflicts: 834000 | #Constraints: 33616
1127.68/1131.20 c cpu time 1118.09 s
1127.68/1131.20 c deterministic time 82493592920 8.25e+10
1127.68/1131.20 c optimization time 8.1e-05 s
1127.68/1131.20 c total solve time 1118.01 s
1127.68/1131.20 c core-guided solve time 0 s
1127.68/1131.20 c propagation time 617.771 s
1127.68/1131.20 c conflict analysis time 406.319 s
1127.68/1131.20 c propagations 378656691
1127.68/1131.20 c resolve steps 33776776
1127.68/1131.20 c decisions 8338586
1127.68/1131.20 c conflicts 834925
1127.68/1131.20 c restarts 1788
1127.68/1131.20 c inprocessing phases 54
1127.68/1131.20 c garbage collections 54 ,( 100.00 )
1127.68/1131.20 c input clauses 6971 ,( 98.57 )
1127.68/1131.20 c input cardinalities 101 ,( 1.43 )
1127.68/1131.20 c input general constraints 0 ,( 0.00 )
1127.68/1131.20 c input average constraint length 6.24
1127.68/1131.20 c input average constraint degree 1.94
1127.68/1131.20 c learned clauses 600032 ,( 71.86 )
1127.68/1131.20 c learned cardinalities 20440 ,( 2.45 )
1127.68/1131.20 c learned general constraints 214474 ,( 25.69 )
1127.68/1131.20 c learned average constraint length 583.70
1127.68/1131.20 c learned average constraint degree 8300312.29
1127.68/1131.20 c watched CF 32, 64, 128, Arb: 64344 , 0 , 0 , 0
1127.68/1131.20 c counting CF 32, 64, 128, Arb: 150130 , 0 , 0 , 0
1127.68/1131.20 c watched constraints 64344 ,( 30.00 )
1127.68/1131.20 c counting constraints 150130 ,( 70.00 )
1127.68/1131.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 472334154 , 267733215 , 1141930212 ,( 60227073 , 1081703139 )
1127.68/1131.20 c gcd simplifications 626
1127.68/1131.20 c detected cardinalities 1794
1127.68/1131.20 c weakened non-implied lits 147839828
1127.68/1131.20 c weakened non-implying lits 107706
1127.68/1131.20 c original variables 6868
1127.68/1131.20 c clausal propagations 149740152
1127.68/1131.20 c cardinality propagations 143056051
1127.68/1131.20 c watched propagations 1970974
1127.68/1131.20 c counting propagations 80171564
1127.68/1131.20 c watch lookups 37830335275
1127.68/1131.20 c watch backjump lookups 0
1127.68/1131.20 c watch checks 13948743707
1127.68/1131.20 c propagation checks 28270152314
1127.68/1131.20 c constraint additions 1669355119
1127.68/1131.20 c trail pops 387829765
1127.68/1131.20 c formula constraints 7072
1127.68/1131.20 c learned constraints 834921
1127.68/1131.20 c bound constraints 0
1127.68/1131.20 c core-guided constraints 0
1127.68/1131.20 c encountered formula constraints 21230844
1127.68/1131.20 c encountered learned constraints 13380749
1127.68/1131.20 c encountered bound constraints 0
1127.68/1131.20 c encountered core-guided constraints 0
1127.68/1131.20 c LP total time 93.6783 s
1127.68/1131.20 c LP solve time 91.62 s
1127.68/1131.20 c LP constraints added 7204
1127.68/1131.20 c LP constraints removed 19
1127.68/1131.20 c LP pivots internal 84258
1127.68/1131.20 c LP pivots root 97204
1127.68/1131.20 c LP calls 27
1127.68/1131.20 c LP optimalities 2
1127.68/1131.20 c LP no pivot count 0
1127.68/1131.20 c LP infeasibilities 18
1127.68/1131.20 c LP valid Farkas constraints 18
1127.68/1131.20 c LP learned Farkas constraints 4
1127.68/1131.20 c LP basis resets 1
1127.68/1131.20 c LP cycling count 0
1127.68/1131.20 c LP singular count 1
1127.68/1131.20 c LP no primal count 0
1127.68/1131.20 c LP no farkas count 0
1127.68/1131.20 c LP other issue count 0
1127.68/1131.20 c LP Gomory cuts 3
1127.68/1131.20 c LP learned cuts 129
1127.68/1131.20 c LP deleted cuts 19
1127.68/1131.20 c LP encountered Gomory constraints 6
1127.68/1131.20 c LP encountered Farkas constraints 93
1127.68/1131.20 c LP encountered learned Farkas constraints 5
1127.68/1131.20 c CG auxiliary variables introduced 0
1127.68/1131.20 c CG solutions found 0
1127.68/1131.20 c CG cores constructed 0
1127.68/1131.20 c CG core cardinality constraints returned 0
1127.68/1131.20 c CG unit cores 0
1127.68/1131.20 c CG single cores 0
1127.68/1131.20 c CG blocks removed during cardinality reduction 0
1127.68/1131.20 c CG first core best 0
1127.68/1131.20 c CG decision core best 0
1127.68/1131.20 c CG core reduction tie 0
1127.68/1131.20 c CG core degree average 0.00
1127.68/1131.20 c CG core slack average 0.00
1127.68/1131.20 c CG core upper bound improvements 0
1127.68/1131.20 c STR number of successful calls 0
1127.68/1131.20 c STR number of unsuccessful calls 0
1127.68/1131.20 c STR number of inconclusive calls 0
1127.68/1131.20 c STR number of successful attempts 0
1127.68/1131.20 c STR number of unsuccessful attempts 0
1127.68/1131.20 c STR number of inconclusive attempts 0
1127.68/1131.20 c STR average degree increase per successful call inf
1127.68/1131.20 c STR average degree increase per successful attempt inf
1127.68/1131.20 c STR total number of conflicts for successful attempts 0
1127.68/1131.20 c STR total number of conflicts for unsuccessful attempts 0
1127.68/1131.20 c STR total number of conflicts for inconclusive attempts 0
1127.68/1131.20 c STR average number of conflicts per successful attempt inf
1127.68/1131.20 c STR average number of conflicts per unsuccessful attempt inf
1127.68/1131.20 c STR average number of conflicts per inconclusive attempt inf
1127.68/1131.20 c AVG.sumWPerc 61.63
1127.68/1131.20 c bigint constraints 0
1127.68/1131.20 s SATISFIABLE
1127.68/1131.20 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 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 x4415 -x4416 x4417 -x4418 -x4419 -x4420 x4421 -x4422 x4423 -x4424 x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 x4822 -x4823 x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 x5296 -x5297 x5298 -x5299 x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x6010 x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 x6166 -x6167 x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 x6867 x6868
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: 63794 MiB (63241 MiB free)
memory of node 1: 64507 MiB (63961 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507444-1751187550/watcher-4507444-1751187550 -o /tmp/evaluation-result-4507444-1751187550/solver-4507444-1751187550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22848 --watchdog 3760 run-dec.sh HOME/instance-4507444-1751187550.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23611, runsolver pid=23608
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.11 4.14 4.15 4/250 23613
/proc/meminfo: memFree=130255720/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=58504 memory=13056 CPUtime=0.07 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 1269 0 0 0 5 2 0 0 20 0 1 0 34434717 59908096 3264 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 14626 3264 2240 1147 0 2053 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62696 KiB
Current children cumulated memory: 16128 KiB
[startup+0.213577 s]*
/proc/loadavg: 4.11 4.14 4.15 4/250 23613
/proc/meminfo: memFree=130246080/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=71556 memory=24104 CPUtime=0.18 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 4120 0 0 0 15 3 0 0 20 0 1 0 34434717 73273344 6026 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 17889 6026 2272 1147 0 5316 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75748 KiB
Current children cumulated memory: 27176 KiB
[startup+0.313571 s]*
/proc/loadavg: 4.11 4.14 4.15 4/250 23613
/proc/meminfo: memFree=130246080/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=71556 memory=24232 CPUtime=0.28 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 4173 0 0 0 25 3 0 0 20 0 1 0 34434717 73273344 6058 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 17889 6058 2272 1147 0 5316 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 75748 KiB
Current children cumulated memory: 27304 KiB
[startup+0.700349 s]
/proc/loadavg: 4.11 4.14 4.15 4/252 23619
/proc/meminfo: memFree=130242048/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=72372 memory=25384 CPUtime=0.65 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 4453 0 0 0 61 4 0 0 20 0 1 0 34434717 74108928 6346 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 18093 6346 2272 1147 0 5520 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 76564 KiB
Current children cumulated memory: 28456 KiB
[startup+1.50033 s]
/proc/loadavg: 4.11 4.14 4.15 5/249 23641
/proc/meminfo: memFree=130227784/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=73296 memory=26024 CPUtime=1.45 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 4622 0 0 0 140 5 0 0 20 0 1 0 34434717 75055104 6506 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 18324 6506 2272 1147 0 5751 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 77488 KiB
Current children cumulated memory: 29096 KiB
[startup+3.11293 s]
/proc/loadavg: 4.10 4.13 4.15 5/255 23651
/proc/meminfo: memFree=130196216/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=78184 memory=35260 CPUtime=3.06 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 6358 0 0 0 292 14 0 0 20 0 1 0 34434717 80060416 8815 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 19546 8815 2336 1147 0 6973 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 82376 KiB
Current children cumulated memory: 38332 KiB
[startup+6.30034 s]
/proc/loadavg: 4.10 4.13 4.15 5/255 23651
/proc/meminfo: memFree=130161668/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=85488 memory=40380 CPUtime=6.23 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 7623 0 0 0 597 26 0 0 20 0 1 0 34434717 87539712 10095 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 21372 10095 2336 1147 0 8799 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 89680 KiB
Current children cumulated memory: 43452 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.13 4.14 5/255 23651
/proc/meminfo: memFree=130150280/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=94460 memory=48316 CPUtime=12.62 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 9638 0 0 0 1220 42 0 0 20 0 1 0 34434717 96727040 12079 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 23615 12079 2336 1147 0 11042 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 98652 KiB
Current children cumulated memory: 51388 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.14 4.15 5/254 23651
/proc/meminfo: memFree=130052748/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=109788 memory=59556 CPUtime=25.39 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 11930 0 0 0 2468 71 0 0 20 0 1 0 34434717 112422912 14889 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 27447 14889 2336 1147 0 14874 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 113980 KiB
Current children cumulated memory: 62628 KiB
[startup+51.113 s]
/proc/loadavg: 4.16 4.15 4.15 5/254 23651
/proc/meminfo: memFree=129903388/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=164368 memory=108376 CPUtime=50.92 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 19024 0 0 0 4973 119 0 0 20 0 1 0 34434717 168312832 27094 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 41092 27094 2336 1147 0 28519 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 168560 KiB
Current children cumulated memory: 111448 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.17 4.16 5/254 23699
/proc/meminfo: memFree=129741396/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=235992 memory=165868 CPUtime=101.97 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 29328 0 0 0 10006 191 0 0 20 0 1 0 34434717 241655808 41467 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 58998 41467 2336 1147 0 46425 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 240184 KiB
Current children cumulated memory: 168940 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/254 23712
/proc/meminfo: memFree=129563140/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=254744 memory=208520 CPUtime=161.78 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 33777 0 0 0 15923 255 0 0 20 0 1 0 34434717 260857856 52130 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 63686 52130 2336 1147 0 51113 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 258936 KiB
Current children cumulated memory: 211592 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/254 23714
/proc/meminfo: memFree=129378184/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=400532 memory=277124 CPUtime=221.61 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 38009 0 0 0 21857 304 0 0 20 0 1 0 34434717 410144768 69281 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 100133 69281 2336 1147 0 87560 0
Current children cumulated CPU time: 221.61 s
################
# More data... #
################
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 52416 0 0 0 75287 709 0 0 20 0 1 0 34434717 612540416 109052 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 149546 109052 2336 1147 0 136973 0
Current children cumulated CPU time: 759.96 s
Current children cumulated vsize: 602376 KiB
Current children cumulated memory: 439280 KiB
[startup+822.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/254 23742
/proc/meminfo: memFree=128671672/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=618016 memory=452336 CPUtime=819.77 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 56447 0 0 0 81234 743 0 0 20 0 1 0 34434717 632848384 113084 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 154504 113084 2336 1147 0 141931 0
Current children cumulated CPU time: 819.77 s
Current children cumulated vsize: 622208 KiB
Current children cumulated memory: 455408 KiB
[startup+882.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/254 23747
/proc/meminfo: memFree=128664300/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=618016 memory=452592 CPUtime=879.58 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 56492 0 0 0 87159 799 0 0 20 0 1 0 34434717 632848384 113148 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 154504 113148 2336 1147 0 141931 0
Current children cumulated CPU time: 879.58 s
Current children cumulated vsize: 622208 KiB
Current children cumulated memory: 455664 KiB
[startup+942.3 s]
/proc/loadavg: 4.19 4.14 4.16 5/254 23749
/proc/meminfo: memFree=128631776/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=620068 memory=455152 CPUtime=939.38 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 57021 0 0 0 93089 849 0 0 20 0 1 0 34434717 634949632 113788 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 155017 113788 2464 1147 0 142444 0
Current children cumulated CPU time: 939.38 s
Current children cumulated vsize: 624260 KiB
Current children cumulated memory: 458224 KiB
[startup+1002.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/255 23756
/proc/meminfo: memFree=128574944/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=622180 memory=457328 CPUtime=999.2 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 57578 0 0 0 99045 875 0 0 20 0 1 0 34434717 637112320 114332 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 155545 114332 2464 1147 0 142972 0
Current children cumulated CPU time: 999.2 s
Current children cumulated vsize: 626372 KiB
Current children cumulated memory: 460400 KiB
[startup+1062.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/255 23758
/proc/meminfo: memFree=128519008/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=635376 memory=467952 CPUtime=1059 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 60239 0 0 0 104996 904 0 0 20 0 1 0 34434717 650625024 116988 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 158844 116988 2464 1147 0 146271 0
Current children cumulated CPU time: 1059 s
Current children cumulated vsize: 639568 KiB
Current children cumulated memory: 471024 KiB
[startup+1122.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/255 23760
/proc/meminfo: memFree=128529352/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=635376 memory=468208 CPUtime=1118.81 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 60288 0 0 0 110927 954 0 0 20 0 1 0 34434717 650625024 117052 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 158844 117052 2464 1147 0 146271 0
Current children cumulated CPU time: 1118.81 s
Current children cumulated vsize: 639568 KiB
Current children cumulated memory: 471280 KiB
[startup+1131.21 s]
# the end of solver process 23611 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1118.1 s, system=9.60898 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 4.13 4.13 4.15 5/255 23760
/proc/meminfo: memFree=128529604/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=635376 memory=468208 CPUtime=1122.89 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 60288 0 0 0 111334 955 0 0 20 0 1 0 34434717 650625024 117052 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 158844 117052 2464 1147 0 146271 0
Current children cumulated CPU time: 1122.89 s
Current children cumulated vsize: 639568 KiB
Current children cumulated memory: 471280 KiB
[startup+1129.6 s]
/proc/loadavg: 4.12 4.12 4.15 5/255 23760
/proc/meminfo: memFree=128529856/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=635376 memory=468208 CPUtime=1126.08 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 60288 0 0 0 111651 957 0 0 20 0 1 0 34434717 650625024 117052 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 158844 117052 2464 1147 0 146271 0
Current children cumulated CPU time: 1126.08 s
Current children cumulated vsize: 639568 KiB
Current children cumulated memory: 471280 KiB
[startup+1130.4 s]
/proc/loadavg: 4.12 4.12 4.15 5/255 23760
/proc/meminfo: memFree=128529856/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=635376 memory=468208 CPUtime=1126.88 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 60288 0 0 0 111730 958 0 0 20 0 1 0 34434717 650625024 117052 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 158844 117052 2464 1147 0 146271 0
Current children cumulated CPU time: 1126.88 s
Current children cumulated vsize: 639568 KiB
Current children cumulated memory: 471280 KiB
[startup+1130.8 s]
/proc/loadavg: 4.12 4.12 4.15 5/255 23760
/proc/meminfo: memFree=128529856/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=635376 memory=468208 CPUtime=1127.28 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 60288 0 0 0 111770 958 0 0 20 0 1 0 34434717 650625024 117052 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 158844 117052 2464 1147 0 146271 0
Current children cumulated CPU time: 1127.28 s
Current children cumulated vsize: 639568 KiB
Current children cumulated memory: 471280 KiB
[startup+1131.2 s]
/proc/loadavg: 4.12 4.12 4.15 5/255 23760
/proc/meminfo: memFree=128529856/131382116 swapFree=33010684/33010684
[pid=23611] ppid=23608 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23611/stat : 23611 (run-dec.sh) S 23608 23611 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434716 4292608 768 18446744073709551615 94372056408064 94372057302597 140736643140048 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94372057541648 94372057589392 94372085641216 140736643144045 140736643144168 140736643144168 140736643149770 0
/proc/23611/statm: 1048 768 704 219 0 110 0
[pid=23613] ppid=23611 vsize=635376 memory=468208 CPUtime=1127.68 cores=0,2
/proc/23613/stat : 23613 (roundingsat) R 23611 23611 22838 0 -1 4194304 60288 0 0 0 111809 959 0 0 20 0 1 0 34434717 650625024 117052 18446744073709551615 4227072 8923433 140727597830768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42852352 140727597832631 140727597832744 140727597832744 140727597838314 0
/proc/23613/statm: 158844 117052 2464 1147 0 146271 0
Current children cumulated CPU time: 1127.68 s
Current children cumulated vsize: 639568 KiB
Current children cumulated memory: 471280 KiB
Child status: 0
Real time (s): 1131.21
CPU time (s): 1127.71
CPU user time (s): 1118.1
CPU system time (s): 9.60898
CPU usage (%): 99.6901
Max. virtual memory (cumulated for all children) (KiB): 639568
Max. memory (cumulated for all children) (KiB): 471280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1118.1
system time used= 9.60898
maximum resident set size= 468208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60520
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= 197
involuntary context switches= 2522
# summary of solver processes directly reported to runsolver:
# pid: 23611
# total CPU time (s): 1127.71
# total CPU user time (s): 1118.1
# total CPU system time (s): 9.60898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53093 second user time and 11.9628 second system time
The end
Begin job on nodeC011 at 2025-06-29 10:59:10
IDJOB=4507444
IDBENCH=158353
IDSOLVER=3349
FILE ID=nodeC011/4507444-1751187550
RUNJOBID= nodeC011-1751180326-22848
SLURM_JOB_ID= 9587547
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507444-1751187550/watcher-4507444-1751187550 -o /tmp/evaluation-result-4507444-1751187550/solver-4507444-1751187550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22848 --watchdog 3760 run-dec.sh HOME/instance-4507444-1751187550.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 169808018047e4e4c90ba93c1e86b926
RANDOM SEED=1378762539
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.574
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 1197.294
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 1197.290
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 1396.947
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 1496.620
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 3492.059
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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.343
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
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 : 1198.063
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130255652 kB
MemAvailable: 129919460 kB
Buffers: 3280 kB
Cached: 475076 kB
SwapCached: 0 kB
Active: 361592 kB
Inactive: 227264 kB
Active(anon): 128464 kB
Inactive(anon): 0 kB
Active(file): 233128 kB
Inactive(file): 227264 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23504 kB
Writeback: 24 kB
AnonPages: 113708 kB
Mapped: 111132 kB
Shmem: 17960 kB
KReclaimable: 85700 kB
Slab: 165216 kB
SReclaimable: 85700 kB
SUnreclaim: 79516 kB
KernelStack: 4096 kB
PageTables: 3312 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 431528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC011 at 2025-06-29 11:18:01