0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.06 c #variables 6868 #constraints 7072
46.25/46.44 c #Conflicts: 1000 | #Constraints: 8071
46.25/46.44 c #Conflicts: 2000 | #Constraints: 9071
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 3000 | #Constraints: 8755
46.25/46.44 c #Conflicts: 4000 | #Constraints: 9755
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 5000 | #Constraints: 9223
46.25/46.44 c #Conflicts: 6000 | #Constraints: 10223
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 7000 | #Constraints: 9284
46.25/46.44 c #Conflicts: 8000 | #Constraints: 10284
46.25/46.44 c #Conflicts: 9000 | #Constraints: 11284
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 10000 | #Constraints: 10034
46.25/46.44 c #Conflicts: 11000 | #Constraints: 11034
46.25/46.44 c #Conflicts: 12000 | #Constraints: 12034
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 13000 | #Constraints: 10507
46.25/46.44 c #Conflicts: 14000 | #Constraints: 11507
46.25/46.44 c #Conflicts: 15000 | #Constraints: 12507
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 16000 | #Constraints: 10760
46.25/46.44 c #Conflicts: 17000 | #Constraints: 11760
46.25/46.44 c #Conflicts: 18000 | #Constraints: 12760
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 19000 | #Constraints: 10793
46.25/46.44 c #Conflicts: 20000 | #Constraints: 11793
46.25/46.44 c #Conflicts: 21000 | #Constraints: 12794
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 22000 | #Constraints: 10645
46.25/46.44 c #Conflicts: 23000 | #Constraints: 11645
46.25/46.44 c #Conflicts: 24000 | #Constraints: 12645
46.25/46.44 c #Conflicts: 25000 | #Constraints: 13645
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 26000 | #Constraints: 11295
46.25/46.44 c #Conflicts: 27000 | #Constraints: 12295
46.25/46.44 c #Conflicts: 28000 | #Constraints: 13295
46.25/46.44 c #Conflicts: 29000 | #Constraints: 14295
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 30000 | #Constraints: 11718
46.25/46.44 c #Conflicts: 31000 | #Constraints: 12718
46.25/46.44 c #Conflicts: 32000 | #Constraints: 13718
46.25/46.44 c #Conflicts: 33000 | #Constraints: 14718
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 34000 | #Constraints: 11941
46.25/46.44 c #Conflicts: 35000 | #Constraints: 12941
46.25/46.44 c #Conflicts: 36000 | #Constraints: 13941
46.25/46.44 c #Conflicts: 37000 | #Constraints: 14941
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 38000 | #Constraints: 11947
46.25/46.44 c #Conflicts: 39000 | #Constraints: 12947
46.25/46.44 c #Conflicts: 40000 | #Constraints: 13947
46.25/46.44 c #Conflicts: 41000 | #Constraints: 14947
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 42000 | #Constraints: 11829
46.25/46.44 c #Conflicts: 43000 | #Constraints: 12829
46.25/46.44 c #Conflicts: 44000 | #Constraints: 13829
46.25/46.44 c #Conflicts: 45000 | #Constraints: 14829
46.25/46.44 c #Conflicts: 46000 | #Constraints: 15829
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 47000 | #Constraints: 12399
46.25/46.44 c #Conflicts: 48000 | #Constraints: 13399
46.25/46.44 c #Conflicts: 49000 | #Constraints: 14399
46.25/46.44 c #Conflicts: 50000 | #Constraints: 15399
46.25/46.44 c #Conflicts: 51000 | #Constraints: 16399
46.25/46.44 c INPROCESSING
46.25/46.44 c GARBAGE COLLECT
46.25/46.44 c #Conflicts: 52000 | #Constraints: 12820
46.25/46.44 c #Conflicts: 53000 | #Constraints: 13820
46.25/46.44 c #Conflicts: 54000 | #Constraints: 14820
46.25/46.44 c #Conflicts: 55000 | #Constraints: 15820
46.25/46.44 c #Conflicts: 56000 | #Constraints: 16820
46.25/46.44 c #Conflicts: 57000 | #Constraints: 17820
46.25/46.44 c #Conflicts: 58000 | #Constraints: 18820
46.25/46.44 c #Conflicts: 59000 | #Constraints: 19820
46.25/46.44 c #Conflicts: 60000 | #Constraints: 20820
46.25/46.44 c #Conflicts: 61000 | #Constraints: 21820
46.25/46.44 c #Conflicts: 62000 | #Constraints: 22820
46.25/46.44 c #Conflicts: 63000 | #Constraints: 23820
46.25/46.44 c #Conflicts: 64000 | #Constraints: 24820
46.25/46.44 c #Conflicts: 65000 | #Constraints: 25820
46.25/46.44 c #Conflicts: 66000 | #Constraints: 26820
46.25/46.44 c #Conflicts: 67000 | #Constraints: 27820
46.25/46.44 c #Conflicts: 68000 | #Constraints: 28820
46.25/46.44 c #Conflicts: 69000 | #Constraints: 29820
46.25/46.44 c #Conflicts: 70000 | #Constraints: 30820
104.58/105.01 c INPROCESSING
104.58/105.01 c GARBAGE COLLECT
104.58/105.01 c #Conflicts: 71000 | #Constraints: 19883
104.58/105.01 c #Conflicts: 72000 | #Constraints: 20883
104.58/105.01 c #Conflicts: 73000 | #Constraints: 21883
104.58/105.01 c #Conflicts: 74000 | #Constraints: 22883
104.58/105.01 c #Conflicts: 75000 | #Constraints: 23883
104.58/105.01 c #Conflicts: 76000 | #Constraints: 24883
104.58/105.01 c INPROCESSING
104.58/105.01 c GARBAGE COLLECT
104.58/105.01 c #Conflicts: 77000 | #Constraints: 16911
104.58/105.01 c #Conflicts: 78000 | #Constraints: 17911
104.58/105.01 c #Conflicts: 79000 | #Constraints: 18911
104.58/105.01 c #Conflicts: 80000 | #Constraints: 19912
104.58/105.01 c #Conflicts: 81000 | #Constraints: 20912
104.58/105.01 c #Conflicts: 82000 | #Constraints: 21912
104.58/105.01 c INPROCESSING
104.58/105.01 c GARBAGE COLLECT
104.58/105.01 c #Conflicts: 83000 | #Constraints: 15243
104.58/105.01 c #Conflicts: 84000 | #Constraints: 16243
104.58/105.01 c #Conflicts: 85000 | #Constraints: 17243
104.58/105.01 c #Conflicts: 86000 | #Constraints: 18243
104.58/105.01 c #Conflicts: 87000 | #Constraints: 19243
104.58/105.01 c #Conflicts: 88000 | #Constraints: 20243
104.58/105.01 c #Conflicts: 89000 | #Constraints: 21243
104.58/105.01 c INPROCESSING
104.58/105.01 c GARBAGE COLLECT
104.58/105.01 c #Conflicts: 90000 | #Constraints: 15154
104.58/105.01 c #Conflicts: 91000 | #Constraints: 16154
104.58/105.01 c #Conflicts: 92000 | #Constraints: 17154
104.58/105.01 c #Conflicts: 93000 | #Constraints: 18154
104.58/105.01 c #Conflicts: 94000 | #Constraints: 19154
104.58/105.01 c #Conflicts: 95000 | #Constraints: 20154
104.58/105.01 c #Conflicts: 96000 | #Constraints: 21154
104.58/105.01 c INPROCESSING
104.58/105.01 c GARBAGE COLLECT
104.58/105.01 c #Conflicts: 97000 | #Constraints: 15284
104.58/105.01 c #Conflicts: 98000 | #Constraints: 16284
104.58/105.01 c #Conflicts: 99000 | #Constraints: 17284
104.58/105.01 c #Conflicts: 100000 | #Constraints: 18284
104.58/105.01 c #Conflicts: 101000 | #Constraints: 19284
104.58/105.01 c #Conflicts: 102000 | #Constraints: 20284
104.58/105.01 c #Conflicts: 103000 | #Constraints: 21284
104.58/105.01 c #Conflicts: 104000 | #Constraints: 22284
104.58/105.01 c #Conflicts: 105000 | #Constraints: 23284
104.58/105.01 c #Conflicts: 106000 | #Constraints: 24284
104.58/105.01 c #Conflicts: 107000 | #Constraints: 25284
104.58/105.01 c #Conflicts: 108000 | #Constraints: 26284
104.58/105.01 c #Conflicts: 109000 | #Constraints: 27284
104.58/105.01 c #Conflicts: 110000 | #Constraints: 28284
104.58/105.01 c #Conflicts: 111000 | #Constraints: 29285
104.58/105.01 c #Conflicts: 112000 | #Constraints: 30285
104.58/105.01 c #Conflicts: 113000 | #Constraints: 31285
104.58/105.01 c #Conflicts: 114000 | #Constraints: 32285
104.58/105.01 c #Conflicts: 115000 | #Constraints: 33285
104.58/105.01 c #Conflicts: 116000 | #Constraints: 34285
104.58/105.01 c #Conflicts: 117000 | #Constraints: 35285
104.58/105.01 c #Conflicts: 118000 | #Constraints: 36285
104.58/105.01 c #Conflicts: 119000 | #Constraints: 37285
104.58/105.01 c #Conflicts: 120000 | #Constraints: 38285
104.58/105.01 c #Conflicts: 121000 | #Constraints: 39285
104.58/105.01 c INPROCESSING
104.58/105.01 c GARBAGE COLLECT
104.58/105.01 c #Conflicts: 122000 | #Constraints: 24004
104.58/105.01 c #Conflicts: 123000 | #Constraints: 25004
104.58/105.01 c #Conflicts: 124000 | #Constraints: 26004
104.58/105.01 c #Conflicts: 125000 | #Constraints: 27004
104.58/105.01 c #Conflicts: 126000 | #Constraints: 28004
104.58/105.01 c #Conflicts: 127000 | #Constraints: 29004
104.58/105.01 c #Conflicts: 128000 | #Constraints: 30004
104.58/105.01 c #Conflicts: 129000 | #Constraints: 31004
104.58/105.01 c INPROCESSING
104.58/105.01 c GARBAGE COLLECT
104.58/105.01 c #Conflicts: 130000 | #Constraints: 19878
104.58/105.01 c #Conflicts: 131000 | #Constraints: 20878
104.58/105.01 c #Conflicts: 132000 | #Constraints: 21878
104.58/105.01 c #Conflicts: 133000 | #Constraints: 22878
104.58/105.01 c #Conflicts: 134000 | #Constraints: 23878
104.58/105.01 c #Conflicts: 135000 | #Constraints: 24878
104.58/105.01 c #Conflicts: 136000 | #Constraints: 25878
104.58/105.01 c #Conflicts: 137000 | #Constraints: 26878
104.58/105.01 c #Conflicts: 138000 | #Constraints: 27878
104.58/105.01 c INPROCESSING
104.58/105.01 c GARBAGE COLLECT
104.58/105.01 c rational objective 101
147.66/148.13 c #Conflicts: 139000 | #Constraints: 18720
147.66/148.13 c #Conflicts: 140000 | #Constraints: 19720
147.66/148.13 c #Conflicts: 141000 | #Constraints: 20720
147.66/148.13 c #Conflicts: 142000 | #Constraints: 21720
147.66/148.13 c #Conflicts: 143000 | #Constraints: 22720
147.66/148.13 c #Conflicts: 144000 | #Constraints: 23720
147.66/148.13 c #Conflicts: 145000 | #Constraints: 24720
147.66/148.13 c #Conflicts: 146000 | #Constraints: 25720
147.66/148.13 c INPROCESSING
147.66/148.13 c GARBAGE COLLECT
147.66/148.13 c #Conflicts: 147000 | #Constraints: 17443
147.66/148.13 c #Conflicts: 148000 | #Constraints: 18443
147.66/148.13 c #Conflicts: 149000 | #Constraints: 19443
147.66/148.13 c #Conflicts: 150000 | #Constraints: 20443
147.66/148.13 c #Conflicts: 151000 | #Constraints: 21443
147.66/148.13 c #Conflicts: 152000 | #Constraints: 22443
147.66/148.13 c #Conflicts: 153000 | #Constraints: 23443
147.66/148.13 c #Conflicts: 154000 | #Constraints: 24443
147.66/148.13 c #Conflicts: 155000 | #Constraints: 25443
147.66/148.13 c #Conflicts: 156000 | #Constraints: 26443
147.66/148.13 c #Conflicts: 157000 | #Constraints: 27443
147.66/148.13 c #Conflicts: 158000 | #Constraints: 28443
147.66/148.13 c #Conflicts: 159000 | #Constraints: 29443
147.66/148.13 c #Conflicts: 160000 | #Constraints: 30443
147.66/148.13 c #Conflicts: 161000 | #Constraints: 31443
147.66/148.13 c #Conflicts: 162000 | #Constraints: 32443
147.66/148.13 c #Conflicts: 163000 | #Constraints: 33443
147.66/148.13 c #Conflicts: 164000 | #Constraints: 34443
147.66/148.13 c #Conflicts: 165000 | #Constraints: 35443
147.66/148.13 c #Conflicts: 166000 | #Constraints: 36443
147.66/148.13 c #Conflicts: 167000 | #Constraints: 37443
147.66/148.13 c #Conflicts: 168000 | #Constraints: 38443
147.66/148.13 c #Conflicts: 169000 | #Constraints: 39443
147.66/148.13 c #Conflicts: 170000 | #Constraints: 40443
147.66/148.13 c #Conflicts: 171000 | #Constraints: 41443
147.66/148.13 c #Conflicts: 172000 | #Constraints: 42443
147.66/148.13 c #Conflicts: 173000 | #Constraints: 43443
147.66/148.13 c #Conflicts: 174000 | #Constraints: 44443
147.66/148.13 c #Conflicts: 175000 | #Constraints: 45443
147.66/148.13 c #Conflicts: 176000 | #Constraints: 46443
147.66/148.13 c #Conflicts: 177000 | #Constraints: 47443
147.66/148.13 c INPROCESSING
147.66/148.13 c GARBAGE COLLECT
147.66/148.13 c rational objective 101
261.12/261.96 c #Conflicts: 178000 | #Constraints: 28263
261.12/261.96 c #Conflicts: 179000 | #Constraints: 29263
261.12/261.96 c #Conflicts: 180000 | #Constraints: 30263
261.12/261.96 c #Conflicts: 181000 | #Constraints: 31263
261.12/261.96 c #Conflicts: 182000 | #Constraints: 32263
261.12/261.96 c #Conflicts: 183000 | #Constraints: 33263
261.12/261.96 c #Conflicts: 184000 | #Constraints: 34263
261.12/261.96 c #Conflicts: 185000 | #Constraints: 35263
261.12/261.96 c #Conflicts: 186000 | #Constraints: 36263
261.12/261.96 c #Conflicts: 187000 | #Constraints: 37263
261.12/261.96 c INPROCESSING
261.12/261.96 c GARBAGE COLLECT
261.12/261.96 c #Conflicts: 188000 | #Constraints: 23301
261.12/261.96 c #Conflicts: 189000 | #Constraints: 24301
261.12/261.96 c #Conflicts: 190000 | #Constraints: 25301
261.12/261.96 c #Conflicts: 191000 | #Constraints: 26301
261.12/261.96 c #Conflicts: 192000 | #Constraints: 27301
261.12/261.96 c #Conflicts: 193000 | #Constraints: 28301
261.12/261.96 c #Conflicts: 194000 | #Constraints: 29301
261.12/261.96 c #Conflicts: 195000 | #Constraints: 30302
261.12/261.96 c #Conflicts: 196000 | #Constraints: 31302
261.12/261.96 c #Conflicts: 197000 | #Constraints: 32302
261.12/261.96 c INPROCESSING
261.12/261.96 c GARBAGE COLLECT
261.12/261.96 c #Conflicts: 198000 | #Constraints: 20953
261.12/261.96 c #Conflicts: 199000 | #Constraints: 21953
261.12/261.96 c #Conflicts: 200000 | #Constraints: 22953
261.12/261.96 c #Conflicts: 201000 | #Constraints: 23953
261.12/261.96 c #Conflicts: 202000 | #Constraints: 24953
261.12/261.96 c #Conflicts: 203000 | #Constraints: 25953
261.12/261.96 c #Conflicts: 204000 | #Constraints: 26953
261.12/261.96 c #Conflicts: 205000 | #Constraints: 27953
261.12/261.96 c #Conflicts: 206000 | #Constraints: 28953
261.12/261.96 c #Conflicts: 207000 | #Constraints: 29953
261.12/261.96 c INPROCESSING
261.12/261.96 c GARBAGE COLLECT
261.12/261.96 c #Conflicts: 208000 | #Constraints: 19701
261.12/261.96 c #Conflicts: 209000 | #Constraints: 20701
261.12/261.96 c #Conflicts: 210000 | #Constraints: 21701
261.12/261.96 c #Conflicts: 211000 | #Constraints: 22701
261.12/261.96 c #Conflicts: 212000 | #Constraints: 23701
261.12/261.96 c #Conflicts: 213000 | #Constraints: 24701
261.12/261.96 c #Conflicts: 214000 | #Constraints: 25701
261.12/261.96 c #Conflicts: 215000 | #Constraints: 26701
261.12/261.96 c #Conflicts: 216000 | #Constraints: 27701
261.12/261.96 c #Conflicts: 217000 | #Constraints: 28701
261.12/261.96 c #Conflicts: 218000 | #Constraints: 29701
261.12/261.96 c #Conflicts: 219000 | #Constraints: 30701
261.12/261.96 c #Conflicts: 220000 | #Constraints: 31701
261.12/261.96 c #Conflicts: 221000 | #Constraints: 32701
261.12/261.96 c #Conflicts: 222000 | #Constraints: 33701
261.12/261.96 c #Conflicts: 223000 | #Constraints: 34701
261.12/261.96 c #Conflicts: 224000 | #Constraints: 35701
261.12/261.96 c #Conflicts: 225000 | #Constraints: 36701
261.12/261.96 c #Conflicts: 226000 | #Constraints: 37701
261.12/261.96 c #Conflicts: 227000 | #Constraints: 38701
261.12/261.96 c #Conflicts: 228000 | #Constraints: 39701
261.12/261.96 c #Conflicts: 229000 | #Constraints: 40701
261.12/261.96 c #Conflicts: 230000 | #Constraints: 41701
261.12/261.96 c #Conflicts: 231000 | #Constraints: 42701
261.12/261.96 c #Conflicts: 232000 | #Constraints: 43701
261.12/261.96 c #Conflicts: 233000 | #Constraints: 44701
261.12/261.96 c #Conflicts: 234000 | #Constraints: 45701
261.12/261.96 c #Conflicts: 235000 | #Constraints: 46701
261.12/261.96 c #Conflicts: 236000 | #Constraints: 47701
261.12/261.96 c #Conflicts: 237000 | #Constraints: 48701
261.12/261.96 c #Conflicts: 238000 | #Constraints: 49701
261.12/261.96 c #Conflicts: 239000 | #Constraints: 50701
261.12/261.96 c #Conflicts: 240000 | #Constraints: 51702
261.12/261.96 c #Conflicts: 241000 | #Constraints: 52702
261.12/261.96 c #Conflicts: 242000 | #Constraints: 53702
261.12/261.96 c #Conflicts: 243000 | #Constraints: 54702
261.12/261.96 c INPROCESSING
261.12/261.96 c GARBAGE COLLECT
261.12/261.96 c #Conflicts: 244000 | #Constraints: 31878
261.12/261.96 c #Conflicts: 245000 | #Constraints: 32878
261.12/261.96 c #Conflicts: 246000 | #Constraints: 33878
261.12/261.96 c #Conflicts: 247000 | #Constraints: 34878
261.12/261.96 c #Conflicts: 248000 | #Constraints: 35878
261.12/261.96 c #Conflicts: 249000 | #Constraints: 36878
261.12/261.96 c #Conflicts: 250000 | #Constraints: 37878
261.12/261.96 c #Conflicts: 251000 | #Constraints: 38878
261.12/261.96 c #Conflicts: 252000 | #Constraints: 39878
261.12/261.96 c #Conflicts: 253000 | #Constraints: 40878
261.12/261.96 c #Conflicts: 254000 | #Constraints: 41878
365.03/366.18 c #Conflicts: 255000 | #Constraints: 42878
365.03/366.18 c INPROCESSING
365.03/366.18 c GARBAGE COLLECT
365.03/366.18 c #Conflicts: 256000 | #Constraints: 26274
365.03/366.18 c #Conflicts: 257000 | #Constraints: 27274
365.03/366.18 c #Conflicts: 258000 | #Constraints: 28274
365.03/366.18 c #Conflicts: 259000 | #Constraints: 29274
365.03/366.18 c #Conflicts: 260000 | #Constraints: 30274
365.03/366.18 c #Conflicts: 261000 | #Constraints: 31274
365.03/366.18 c #Conflicts: 262000 | #Constraints: 32274
365.03/366.18 c #Conflicts: 263000 | #Constraints: 33274
365.03/366.18 c #Conflicts: 264000 | #Constraints: 34274
365.03/366.18 c #Conflicts: 265000 | #Constraints: 35274
365.03/366.18 c #Conflicts: 266000 | #Constraints: 36274
365.03/366.18 c INPROCESSING
365.03/366.18 c GARBAGE COLLECT
365.03/366.18 c #Conflicts: 267000 | #Constraints: 22684
365.03/366.18 c #Conflicts: 268000 | #Constraints: 23684
365.03/366.18 c #Conflicts: 269000 | #Constraints: 24684
365.03/366.18 c #Conflicts: 270000 | #Constraints: 25684
365.03/366.18 c #Conflicts: 271000 | #Constraints: 26684
365.03/366.18 c #Conflicts: 272000 | #Constraints: 27684
365.03/366.18 c #Conflicts: 273000 | #Constraints: 28684
365.03/366.18 c #Conflicts: 274000 | #Constraints: 29684
365.03/366.18 c #Conflicts: 275000 | #Constraints: 30684
365.03/366.18 c #Conflicts: 276000 | #Constraints: 31684
365.03/366.18 c #Conflicts: 277000 | #Constraints: 32684
365.03/366.18 c #Conflicts: 278000 | #Constraints: 33684
365.03/366.18 c INPROCESSING
365.03/366.18 c GARBAGE COLLECT
365.03/366.18 c #Conflicts: 279000 | #Constraints: 21441
365.03/366.18 c #Conflicts: 280000 | #Constraints: 22441
365.03/366.18 c #Conflicts: 281000 | #Constraints: 23441
365.03/366.18 c #Conflicts: 282000 | #Constraints: 24441
365.03/366.18 c #Conflicts: 283000 | #Constraints: 25441
365.03/366.18 c #Conflicts: 284000 | #Constraints: 26441
365.03/366.18 c #Conflicts: 285000 | #Constraints: 27441
365.03/366.18 c #Conflicts: 286000 | #Constraints: 28441
365.03/366.18 c #Conflicts: 287000 | #Constraints: 29441
365.03/366.18 c #Conflicts: 288000 | #Constraints: 30441
365.03/366.18 c #Conflicts: 289000 | #Constraints: 31441
365.03/366.18 c #Conflicts: 290000 | #Constraints: 32441
365.03/366.18 c #Conflicts: 291000 | #Constraints: 33441
365.03/366.18 c #Conflicts: 292000 | #Constraints: 34441
365.03/366.18 c #Conflicts: 293000 | #Constraints: 35441
365.03/366.18 c #Conflicts: 294000 | #Constraints: 36441
365.03/366.18 c #Conflicts: 295000 | #Constraints: 37441
365.03/366.18 c #Conflicts: 296000 | #Constraints: 38441
365.03/366.18 c #Conflicts: 297000 | #Constraints: 39441
365.03/366.18 c #Conflicts: 298000 | #Constraints: 40441
365.03/366.18 c #Conflicts: 299000 | #Constraints: 41441
365.03/366.18 c #Conflicts: 300000 | #Constraints: 42441
365.03/366.18 c #Conflicts: 301000 | #Constraints: 43441
365.03/366.18 c #Conflicts: 302000 | #Constraints: 44441
365.03/366.18 c #Conflicts: 303000 | #Constraints: 45441
365.03/366.18 c #Conflicts: 304000 | #Constraints: 46441
365.03/366.18 c #Conflicts: 305000 | #Constraints: 47441
365.03/366.18 c #Conflicts: 306000 | #Constraints: 48441
365.03/366.18 c #Conflicts: 307000 | #Constraints: 49441
365.03/366.18 c #Conflicts: 308000 | #Constraints: 50441
365.03/366.18 c #Conflicts: 309000 | #Constraints: 51442
365.03/366.18 c #Conflicts: 310000 | #Constraints: 52442
365.03/366.18 c #Conflicts: 311000 | #Constraints: 53442
365.03/366.18 c #Conflicts: 312000 | #Constraints: 54442
365.03/366.18 c #Conflicts: 313000 | #Constraints: 55442
365.03/366.18 c #Conflicts: 314000 | #Constraints: 56442
365.03/366.18 c #Conflicts: 315000 | #Constraints: 57442
365.03/366.18 c #Conflicts: 316000 | #Constraints: 58442
365.03/366.18 c #Conflicts: 317000 | #Constraints: 59442
365.03/366.18 c #Conflicts: 318000 | #Constraints: 60442
365.03/366.18 c #Conflicts: 319000 | #Constraints: 61442
365.03/366.18 c #Conflicts: 320000 | #Constraints: 62442
365.03/366.18 c INPROCESSING
365.03/366.18 c GARBAGE COLLECT
365.03/366.18 c #Conflicts: 321000 | #Constraints: 36101
365.03/366.18 c #Conflicts: 322000 | #Constraints: 37101
365.03/366.18 c #Conflicts: 323000 | #Constraints: 38101
365.03/366.18 c #Conflicts: 324000 | #Constraints: 39101
365.03/366.18 c #Conflicts: 325000 | #Constraints: 40101
365.03/366.18 c #Conflicts: 326000 | #Constraints: 41101
365.03/366.18 c #Conflicts: 327000 | #Constraints: 42101
365.03/366.18 c #Conflicts: 328000 | #Constraints: 43101
365.03/366.18 c #Conflicts: 329000 | #Constraints: 44101
365.03/366.18 c #Conflicts: 330000 | #Constraints: 45101
463.93/465.31 c #Conflicts: 331000 | #Constraints: 46101
463.93/465.31 c #Conflicts: 332000 | #Constraints: 47101
463.93/465.31 c #Conflicts: 333000 | #Constraints: 48101
463.93/465.31 c INPROCESSING
463.93/465.31 c GARBAGE COLLECT
463.93/465.31 c #Conflicts: 334000 | #Constraints: 28833
463.93/465.31 c #Conflicts: 335000 | #Constraints: 29833
463.93/465.31 c #Conflicts: 336000 | #Constraints: 30833
463.93/465.31 c #Conflicts: 337000 | #Constraints: 31833
463.93/465.31 c #Conflicts: 338000 | #Constraints: 32833
463.93/465.31 c #Conflicts: 339000 | #Constraints: 33833
463.93/465.31 c #Conflicts: 340000 | #Constraints: 34833
463.93/465.31 c #Conflicts: 341000 | #Constraints: 35833
463.93/465.31 c #Conflicts: 342000 | #Constraints: 36833
463.93/465.31 c #Conflicts: 343000 | #Constraints: 37833
463.93/465.31 c #Conflicts: 344000 | #Constraints: 38833
463.93/465.31 c #Conflicts: 345000 | #Constraints: 39833
463.93/465.31 c #Conflicts: 346000 | #Constraints: 40833
463.93/465.31 c INPROCESSING
463.93/465.31 c GARBAGE COLLECT
463.93/465.31 c #Conflicts: 347000 | #Constraints: 24997
463.93/465.31 c #Conflicts: 348000 | #Constraints: 25997
463.93/465.31 c #Conflicts: 349000 | #Constraints: 26997
463.93/465.31 c #Conflicts: 350000 | #Constraints: 27997
463.93/465.31 c #Conflicts: 351000 | #Constraints: 28997
463.93/465.31 c #Conflicts: 352000 | #Constraints: 29997
463.93/465.31 c #Conflicts: 353000 | #Constraints: 30997
463.93/465.31 c #Conflicts: 354000 | #Constraints: 31997
463.93/465.31 c #Conflicts: 355000 | #Constraints: 32997
463.93/465.31 c #Conflicts: 356000 | #Constraints: 33997
463.93/465.31 c #Conflicts: 357000 | #Constraints: 34997
463.93/465.31 c #Conflicts: 358000 | #Constraints: 35997
463.93/465.31 c #Conflicts: 359000 | #Constraints: 36997
463.93/465.31 c #Conflicts: 360000 | #Constraints: 37997
463.93/465.31 c INPROCESSING
463.93/465.31 c GARBAGE COLLECT
463.93/465.31 c #Conflicts: 361000 | #Constraints: 23899
463.93/465.31 c #Conflicts: 362000 | #Constraints: 24899
463.93/465.31 c #Conflicts: 363000 | #Constraints: 25899
463.93/465.31 c #Conflicts: 364000 | #Constraints: 26899
463.93/465.31 c #Conflicts: 365000 | #Constraints: 27899
463.93/465.31 c #Conflicts: 366000 | #Constraints: 28899
463.93/465.31 c #Conflicts: 367000 | #Constraints: 29899
463.93/465.31 c #Conflicts: 368000 | #Constraints: 30899
463.93/465.31 c #Conflicts: 369000 | #Constraints: 31899
463.93/465.31 c #Conflicts: 370000 | #Constraints: 32899
463.93/465.31 c #Conflicts: 371000 | #Constraints: 33899
463.93/465.31 c #Conflicts: 372000 | #Constraints: 34899
463.93/465.31 c #Conflicts: 373000 | #Constraints: 35899
463.93/465.31 c #Conflicts: 374000 | #Constraints: 36899
463.93/465.31 c #Conflicts: 375000 | #Constraints: 37899
463.93/465.31 c #Conflicts: 376000 | #Constraints: 38899
463.93/465.31 c #Conflicts: 377000 | #Constraints: 39899
463.93/465.31 c #Conflicts: 378000 | #Constraints: 40899
463.93/465.31 c #Conflicts: 379000 | #Constraints: 41899
463.93/465.31 c #Conflicts: 380000 | #Constraints: 42899
463.93/465.31 c #Conflicts: 381000 | #Constraints: 43899
463.93/465.31 c #Conflicts: 382000 | #Constraints: 44899
463.93/465.31 c #Conflicts: 383000 | #Constraints: 45899
463.93/465.31 c #Conflicts: 384000 | #Constraints: 46899
463.93/465.31 c #Conflicts: 385000 | #Constraints: 47899
463.93/465.31 c #Conflicts: 386000 | #Constraints: 48899
463.93/465.31 c #Conflicts: 387000 | #Constraints: 49899
463.93/465.31 c #Conflicts: 388000 | #Constraints: 50899
463.93/465.31 c #Conflicts: 389000 | #Constraints: 51899
463.93/465.31 c #Conflicts: 390000 | #Constraints: 52899
463.93/465.31 c #Conflicts: 391000 | #Constraints: 53899
463.93/465.31 c #Conflicts: 392000 | #Constraints: 54899
463.93/465.31 c #Conflicts: 393000 | #Constraints: 55899
463.93/465.31 c #Conflicts: 394000 | #Constraints: 56899
463.93/465.31 c #Conflicts: 395000 | #Constraints: 57899
463.93/465.31 c #Conflicts: 396000 | #Constraints: 58899
463.93/465.31 c #Conflicts: 397000 | #Constraints: 59899
463.93/465.31 c #Conflicts: 398000 | #Constraints: 60899
463.93/465.31 c #Conflicts: 399000 | #Constraints: 61899
463.93/465.31 c #Conflicts: 400000 | #Constraints: 62899
463.93/465.31 c #Conflicts: 401000 | #Constraints: 63899
463.93/465.31 c #Conflicts: 402000 | #Constraints: 64899
463.93/465.31 c #Conflicts: 403000 | #Constraints: 65899
463.93/465.31 c #Conflicts: 404000 | #Constraints: 66899
463.93/465.31 c #Conflicts: 405000 | #Constraints: 67899
463.93/465.31 c #Conflicts: 406000 | #Constraints: 68899
463.93/465.31 c #Conflicts: 407000 | #Constraints: 69899
586.07/587.89 c INPROCESSING
586.07/587.89 c GARBAGE COLLECT
586.07/587.89 c #Conflicts: 408000 | #Constraints: 39805
586.07/587.89 c #Conflicts: 409000 | #Constraints: 40805
586.07/587.89 c #Conflicts: 410000 | #Constraints: 41805
586.07/587.89 c #Conflicts: 411000 | #Constraints: 42805
586.07/587.89 c #Conflicts: 412000 | #Constraints: 43805
586.07/587.89 c #Conflicts: 413000 | #Constraints: 44805
586.07/587.89 c #Conflicts: 414000 | #Constraints: 45805
586.07/587.89 c #Conflicts: 415000 | #Constraints: 46805
586.07/587.89 c #Conflicts: 416000 | #Constraints: 47805
586.07/587.89 c #Conflicts: 417000 | #Constraints: 48805
586.07/587.89 c #Conflicts: 418000 | #Constraints: 49805
586.07/587.89 c #Conflicts: 419000 | #Constraints: 50805
586.07/587.89 c #Conflicts: 420000 | #Constraints: 51805
586.07/587.89 c #Conflicts: 421000 | #Constraints: 52805
586.07/587.89 c INPROCESSING
586.07/587.89 c GARBAGE COLLECT
586.07/587.89 c #Conflicts: 422000 | #Constraints: 30880
586.07/587.89 c #Conflicts: 423000 | #Constraints: 31880
586.07/587.89 c #Conflicts: 424000 | #Constraints: 32880
586.07/587.89 c #Conflicts: 425000 | #Constraints: 33880
586.07/587.89 c #Conflicts: 426000 | #Constraints: 34880
586.07/587.89 c #Conflicts: 427000 | #Constraints: 35880
586.07/587.89 c #Conflicts: 428000 | #Constraints: 36880
586.07/587.89 c #Conflicts: 429000 | #Constraints: 37880
586.07/587.89 c #Conflicts: 430000 | #Constraints: 38880
586.07/587.89 c #Conflicts: 431000 | #Constraints: 39880
586.07/587.89 c #Conflicts: 432000 | #Constraints: 40880
586.07/587.89 c #Conflicts: 433000 | #Constraints: 41880
586.07/587.89 c #Conflicts: 434000 | #Constraints: 42880
586.07/587.89 c #Conflicts: 435000 | #Constraints: 43880
586.07/587.89 c #Conflicts: 436000 | #Constraints: 44880
586.07/587.89 c INPROCESSING
586.07/587.89 c GARBAGE COLLECT
586.07/587.89 c #Conflicts: 437000 | #Constraints: 26945
586.07/587.89 c #Conflicts: 438000 | #Constraints: 27945
586.07/587.89 c #Conflicts: 439000 | #Constraints: 28945
586.07/587.89 c #Conflicts: 440000 | #Constraints: 29945
586.07/587.89 c #Conflicts: 441000 | #Constraints: 30945
586.07/587.89 c #Conflicts: 442000 | #Constraints: 31945
586.07/587.89 c #Conflicts: 443000 | #Constraints: 32945
586.07/587.89 c #Conflicts: 444000 | #Constraints: 33945
586.07/587.89 c #Conflicts: 445000 | #Constraints: 34945
586.07/587.89 c #Conflicts: 446000 | #Constraints: 35945
586.07/587.89 c #Conflicts: 447000 | #Constraints: 36945
586.07/587.89 c #Conflicts: 448000 | #Constraints: 37945
586.07/587.89 c #Conflicts: 449000 | #Constraints: 38945
586.07/587.89 c #Conflicts: 450000 | #Constraints: 39945
586.07/587.89 c #Conflicts: 451000 | #Constraints: 40945
586.07/587.89 c #Conflicts: 452000 | #Constraints: 41945
586.07/587.89 c INPROCESSING
586.07/587.89 c GARBAGE COLLECT
586.07/587.89 c #Conflicts: 453000 | #Constraints: 25904
586.07/587.89 c #Conflicts: 454000 | #Constraints: 26904
586.07/587.89 c #Conflicts: 455000 | #Constraints: 27904
586.07/587.89 c #Conflicts: 456000 | #Constraints: 28904
586.07/587.89 c #Conflicts: 457000 | #Constraints: 29904
586.07/587.89 c #Conflicts: 458000 | #Constraints: 30904
586.07/587.89 c #Conflicts: 459000 | #Constraints: 31904
586.07/587.89 c #Conflicts: 460000 | #Constraints: 32904
586.07/587.89 c #Conflicts: 461000 | #Constraints: 33904
586.07/587.89 c #Conflicts: 462000 | #Constraints: 34904
586.07/587.89 c #Conflicts: 463000 | #Constraints: 35904
586.07/587.89 c #Conflicts: 464000 | #Constraints: 36904
586.07/587.89 c #Conflicts: 465000 | #Constraints: 37904
586.07/587.89 c #Conflicts: 466000 | #Constraints: 38904
586.07/587.89 c #Conflicts: 467000 | #Constraints: 39904
586.07/587.89 c #Conflicts: 468000 | #Constraints: 40904
586.07/587.89 c #Conflicts: 469000 | #Constraints: 41904
586.07/587.89 c #Conflicts: 470000 | #Constraints: 42904
586.07/587.89 c #Conflicts: 471000 | #Constraints: 43904
586.07/587.89 c #Conflicts: 472000 | #Constraints: 44904
586.07/587.89 c #Conflicts: 473000 | #Constraints: 45904
586.07/587.89 c #Conflicts: 474000 | #Constraints: 46904
586.07/587.89 c #Conflicts: 475000 | #Constraints: 47904
586.07/587.89 c #Conflicts: 476000 | #Constraints: 48904
586.07/587.89 c #Conflicts: 477000 | #Constraints: 49904
586.07/587.89 c #Conflicts: 478000 | #Constraints: 50904
586.07/587.89 c #Conflicts: 479000 | #Constraints: 51904
586.07/587.89 c #Conflicts: 480000 | #Constraints: 52904
586.07/587.89 c #Conflicts: 481000 | #Constraints: 53904
586.07/587.89 c #Conflicts: 482000 | #Constraints: 54904
586.07/587.89 c #Conflicts: 483000 | #Constraints: 55904
702.43/704.50 c #Conflicts: 484000 | #Constraints: 56904
702.43/704.50 c #Conflicts: 485000 | #Constraints: 57904
702.43/704.50 c #Conflicts: 486000 | #Constraints: 58904
702.43/704.50 c #Conflicts: 487000 | #Constraints: 59904
702.43/704.50 c #Conflicts: 488000 | #Constraints: 60904
702.43/704.50 c #Conflicts: 489000 | #Constraints: 61904
702.43/704.50 c #Conflicts: 490000 | #Constraints: 62904
702.43/704.50 c #Conflicts: 491000 | #Constraints: 63904
702.43/704.50 c #Conflicts: 492000 | #Constraints: 64904
702.43/704.50 c #Conflicts: 493000 | #Constraints: 65904
702.43/704.50 c #Conflicts: 494000 | #Constraints: 66904
702.43/704.50 c #Conflicts: 495000 | #Constraints: 67904
702.43/704.50 c #Conflicts: 496000 | #Constraints: 68904
702.43/704.50 c #Conflicts: 497000 | #Constraints: 69904
702.43/704.50 c #Conflicts: 498000 | #Constraints: 70904
702.43/704.50 c #Conflicts: 499000 | #Constraints: 71904
702.43/704.50 c #Conflicts: 500000 | #Constraints: 72904
702.43/704.50 c #Conflicts: 501000 | #Constraints: 73904
702.43/704.50 c #Conflicts: 502000 | #Constraints: 74904
702.43/704.50 c #Conflicts: 503000 | #Constraints: 75904
702.43/704.50 c #Conflicts: 504000 | #Constraints: 76904
702.43/704.50 c INPROCESSING
702.43/704.50 c GARBAGE COLLECT
702.43/704.50 c #Conflicts: 505000 | #Constraints: 43249
702.43/704.50 c #Conflicts: 506000 | #Constraints: 44249
702.43/704.50 c #Conflicts: 507000 | #Constraints: 45249
702.43/704.50 c #Conflicts: 508000 | #Constraints: 46249
702.43/704.50 c #Conflicts: 509000 | #Constraints: 47249
702.43/704.50 c #Conflicts: 510000 | #Constraints: 48249
702.43/704.50 c #Conflicts: 511000 | #Constraints: 49249
702.43/704.50 c #Conflicts: 512000 | #Constraints: 50249
702.43/704.50 c #Conflicts: 513000 | #Constraints: 51249
702.43/704.50 c #Conflicts: 514000 | #Constraints: 52250
702.43/704.50 c #Conflicts: 515000 | #Constraints: 53250
702.43/704.50 c #Conflicts: 516000 | #Constraints: 54250
702.43/704.50 c #Conflicts: 517000 | #Constraints: 55250
702.43/704.50 c #Conflicts: 518000 | #Constraints: 56250
702.43/704.50 c #Conflicts: 519000 | #Constraints: 57250
702.43/704.50 c #Conflicts: 520000 | #Constraints: 58250
702.43/704.50 c INPROCESSING
702.43/704.50 c GARBAGE COLLECT
702.43/704.50 c #Conflicts: 521000 | #Constraints: 33540
702.43/704.50 c #Conflicts: 522000 | #Constraints: 34540
702.43/704.50 c #Conflicts: 523000 | #Constraints: 35540
702.43/704.50 c #Conflicts: 524000 | #Constraints: 36540
702.43/704.50 c #Conflicts: 525000 | #Constraints: 37540
702.43/704.50 c #Conflicts: 526000 | #Constraints: 38540
702.43/704.50 c #Conflicts: 527000 | #Constraints: 39540
702.43/704.50 c #Conflicts: 528000 | #Constraints: 40540
702.43/704.50 c #Conflicts: 529000 | #Constraints: 41540
702.43/704.50 c #Conflicts: 530000 | #Constraints: 42540
702.43/704.50 c #Conflicts: 531000 | #Constraints: 43540
702.43/704.50 c #Conflicts: 532000 | #Constraints: 44540
702.43/704.50 c #Conflicts: 533000 | #Constraints: 45540
702.43/704.50 c #Conflicts: 534000 | #Constraints: 46540
702.43/704.50 c #Conflicts: 535000 | #Constraints: 47540
702.43/704.50 c #Conflicts: 536000 | #Constraints: 48540
702.43/704.50 c #Conflicts: 537000 | #Constraints: 49540
702.43/704.50 c INPROCESSING
702.43/704.50 c GARBAGE COLLECT
702.43/704.50 c #Conflicts: 538000 | #Constraints: 29449
702.43/704.50 c #Conflicts: 539000 | #Constraints: 30449
702.43/704.50 c #Conflicts: 540000 | #Constraints: 31449
702.43/704.50 c #Conflicts: 541000 | #Constraints: 32449
702.43/704.50 c #Conflicts: 542000 | #Constraints: 33449
702.43/704.50 c #Conflicts: 543000 | #Constraints: 34449
702.43/704.50 c #Conflicts: 544000 | #Constraints: 35449
702.43/704.50 c #Conflicts: 545000 | #Constraints: 36449
702.43/704.50 c #Conflicts: 546000 | #Constraints: 37449
702.43/704.50 c #Conflicts: 547000 | #Constraints: 38449
702.43/704.50 c #Conflicts: 548000 | #Constraints: 39449
702.43/704.50 c #Conflicts: 549000 | #Constraints: 40449
702.43/704.50 c #Conflicts: 550000 | #Constraints: 41449
702.43/704.50 c #Conflicts: 551000 | #Constraints: 42449
702.43/704.50 c #Conflicts: 552000 | #Constraints: 43449
702.43/704.50 c #Conflicts: 553000 | #Constraints: 44449
702.43/704.50 c #Conflicts: 554000 | #Constraints: 45449
702.43/704.50 c INPROCESSING
702.43/704.50 c GARBAGE COLLECT
702.43/704.50 c #Conflicts: 555000 | #Constraints: 27441
702.43/704.50 c #Conflicts: 556000 | #Constraints: 28441
702.43/704.50 c #Conflicts: 557000 | #Constraints: 29441
702.43/704.50 c #Conflicts: 558000 | #Constraints: 30441
702.43/704.50 c #Conflicts: 559000 | #Constraints: 31441
843.92/846.44 c #Conflicts: 560000 | #Constraints: 32441
843.92/846.44 c #Conflicts: 561000 | #Constraints: 33441
843.92/846.44 c #Conflicts: 562000 | #Constraints: 34441
843.92/846.44 c #Conflicts: 563000 | #Constraints: 35441
843.92/846.44 c #Conflicts: 564000 | #Constraints: 36441
843.92/846.44 c #Conflicts: 565000 | #Constraints: 37441
843.92/846.44 c #Conflicts: 566000 | #Constraints: 38441
843.92/846.44 c #Conflicts: 567000 | #Constraints: 39441
843.92/846.44 c #Conflicts: 568000 | #Constraints: 40441
843.92/846.44 c #Conflicts: 569000 | #Constraints: 41441
843.92/846.44 c #Conflicts: 570000 | #Constraints: 42441
843.92/846.44 c #Conflicts: 571000 | #Constraints: 43441
843.92/846.44 c INPROCESSING
843.92/846.44 c GARBAGE COLLECT
843.92/846.44 c #Conflicts: 572000 | #Constraints: 26412
843.92/846.44 c #Conflicts: 573000 | #Constraints: 27412
843.92/846.44 c #Conflicts: 574000 | #Constraints: 28412
843.92/846.44 c #Conflicts: 575000 | #Constraints: 29412
843.92/846.44 c #Conflicts: 576000 | #Constraints: 30412
843.92/846.44 c #Conflicts: 577000 | #Constraints: 31412
843.92/846.44 c #Conflicts: 578000 | #Constraints: 32412
843.92/846.44 c #Conflicts: 579000 | #Constraints: 33412
843.92/846.44 c #Conflicts: 580000 | #Constraints: 34412
843.92/846.44 c #Conflicts: 581000 | #Constraints: 35412
843.92/846.44 c #Conflicts: 582000 | #Constraints: 36412
843.92/846.44 c #Conflicts: 583000 | #Constraints: 37412
843.92/846.44 c #Conflicts: 584000 | #Constraints: 38412
843.92/846.44 c #Conflicts: 585000 | #Constraints: 39412
843.92/846.44 c #Conflicts: 586000 | #Constraints: 40412
843.92/846.44 c #Conflicts: 587000 | #Constraints: 41412
843.92/846.44 c #Conflicts: 588000 | #Constraints: 42412
843.92/846.44 c #Conflicts: 589000 | #Constraints: 43412
843.92/846.44 c #Conflicts: 590000 | #Constraints: 44412
843.92/846.44 c #Conflicts: 591000 | #Constraints: 45412
843.92/846.44 c #Conflicts: 592000 | #Constraints: 46412
843.92/846.44 c #Conflicts: 593000 | #Constraints: 47412
843.92/846.44 c #Conflicts: 594000 | #Constraints: 48412
843.92/846.44 c #Conflicts: 595000 | #Constraints: 49412
843.92/846.44 c #Conflicts: 596000 | #Constraints: 50412
843.92/846.44 c #Conflicts: 597000 | #Constraints: 51412
843.92/846.44 c #Conflicts: 598000 | #Constraints: 52412
843.92/846.44 c #Conflicts: 599000 | #Constraints: 53412
843.92/846.44 c #Conflicts: 600000 | #Constraints: 54412
843.92/846.44 c #Conflicts: 601000 | #Constraints: 55412
843.92/846.44 c #Conflicts: 602000 | #Constraints: 56412
843.92/846.44 c #Conflicts: 603000 | #Constraints: 57412
843.92/846.44 c #Conflicts: 604000 | #Constraints: 58412
843.92/846.44 c #Conflicts: 605000 | #Constraints: 59412
843.92/846.44 c #Conflicts: 606000 | #Constraints: 60412
843.92/846.44 c #Conflicts: 607000 | #Constraints: 61412
843.92/846.44 c #Conflicts: 608000 | #Constraints: 62412
843.92/846.44 c #Conflicts: 609000 | #Constraints: 63412
843.92/846.44 c #Conflicts: 610000 | #Constraints: 64412
843.92/846.44 c #Conflicts: 611000 | #Constraints: 65412
843.92/846.44 c #Conflicts: 612000 | #Constraints: 66412
843.92/846.44 c #Conflicts: 613000 | #Constraints: 67412
843.92/846.44 c #Conflicts: 614000 | #Constraints: 68412
843.92/846.44 c #Conflicts: 615000 | #Constraints: 69412
843.92/846.44 c #Conflicts: 616000 | #Constraints: 70412
843.92/846.44 c #Conflicts: 617000 | #Constraints: 71412
843.92/846.44 c #Conflicts: 618000 | #Constraints: 72412
843.92/846.44 c #Conflicts: 619000 | #Constraints: 73412
843.92/846.44 c #Conflicts: 620000 | #Constraints: 74412
843.92/846.44 c #Conflicts: 621000 | #Constraints: 75412
843.92/846.44 c #Conflicts: 622000 | #Constraints: 76412
843.92/846.44 c #Conflicts: 623000 | #Constraints: 77412
843.92/846.44 c #Conflicts: 624000 | #Constraints: 78412
843.92/846.44 c #Conflicts: 625000 | #Constraints: 79412
843.92/846.44 c #Conflicts: 626000 | #Constraints: 80412
843.92/846.44 c #Conflicts: 627000 | #Constraints: 81412
843.92/846.44 c #Conflicts: 628000 | #Constraints: 82412
843.92/846.44 c #Conflicts: 629000 | #Constraints: 83412
843.92/846.44 c #Conflicts: 630000 | #Constraints: 84412
843.92/846.44 c INPROCESSING
843.92/846.44 c GARBAGE COLLECT
843.92/846.44 c #Conflicts: 631000 | #Constraints: 47046
843.92/846.44 c #Conflicts: 632000 | #Constraints: 48046
843.92/846.44 c #Conflicts: 633000 | #Constraints: 49046
843.92/846.44 c #Conflicts: 634000 | #Constraints: 50046
843.92/846.44 c #Conflicts: 635000 | #Constraints: 51047
843.92/846.44 c #Conflicts: 636000 | #Constraints: 52047
843.92/846.44 c #Conflicts: 637000 | #Constraints: 53047
954.30/957.11 c #Conflicts: 638000 | #Constraints: 54047
954.30/957.11 c #Conflicts: 639000 | #Constraints: 55047
954.30/957.11 c #Conflicts: 640000 | #Constraints: 56047
954.30/957.11 c #Conflicts: 641000 | #Constraints: 57047
954.30/957.11 c #Conflicts: 642000 | #Constraints: 58048
954.30/957.11 c #Conflicts: 643000 | #Constraints: 59048
954.30/957.11 c #Conflicts: 644000 | #Constraints: 60049
954.30/957.11 c #Conflicts: 645000 | #Constraints: 61049
954.30/957.11 c #Conflicts: 646000 | #Constraints: 62049
954.30/957.11 c #Conflicts: 647000 | #Constraints: 63049
954.30/957.11 c #Conflicts: 648000 | #Constraints: 64049
954.30/957.11 c INPROCESSING
954.30/957.11 c GARBAGE COLLECT
954.30/957.11 c #Conflicts: 649000 | #Constraints: 36710
954.30/957.11 c #Conflicts: 650000 | #Constraints: 37710
954.30/957.11 c #Conflicts: 651000 | #Constraints: 38710
954.30/957.11 c #Conflicts: 652000 | #Constraints: 39710
954.30/957.11 c #Conflicts: 653000 | #Constraints: 40710
954.30/957.11 c #Conflicts: 654000 | #Constraints: 41710
954.30/957.11 c #Conflicts: 655000 | #Constraints: 42711
954.30/957.11 c #Conflicts: 656000 | #Constraints: 43711
954.30/957.11 c #Conflicts: 657000 | #Constraints: 44711
954.30/957.11 c #Conflicts: 658000 | #Constraints: 45712
954.30/957.11 c #Conflicts: 659000 | #Constraints: 46712
954.30/957.11 c #Conflicts: 660000 | #Constraints: 47712
954.30/957.11 c #Conflicts: 661000 | #Constraints: 48713
954.30/957.11 c #Conflicts: 662000 | #Constraints: 49713
954.30/957.11 c #Conflicts: 663000 | #Constraints: 50713
954.30/957.11 c #Conflicts: 664000 | #Constraints: 51713
954.30/957.11 c #Conflicts: 665000 | #Constraints: 52713
954.30/957.11 c #Conflicts: 666000 | #Constraints: 53714
954.30/957.11 c #Conflicts: 667000 | #Constraints: 54714
954.30/957.11 c INPROCESSING
954.30/957.11 c GARBAGE COLLECT
954.30/957.11 c #Conflicts: 668000 | #Constraints: 32137
954.30/957.11 c #Conflicts: 669000 | #Constraints: 33137
954.30/957.11 c #Conflicts: 670000 | #Constraints: 34137
954.30/957.11 c #Conflicts: 671000 | #Constraints: 35137
954.30/957.11 c #Conflicts: 672000 | #Constraints: 36137
954.30/957.11 c #Conflicts: 673000 | #Constraints: 37137
954.30/957.11 c #Conflicts: 674000 | #Constraints: 38137
954.30/957.11 c #Conflicts: 675000 | #Constraints: 39137
954.30/957.11 c #Conflicts: 676000 | #Constraints: 40137
954.30/957.11 c #Conflicts: 677000 | #Constraints: 41137
954.30/957.11 c #Conflicts: 678000 | #Constraints: 42137
954.30/957.11 c #Conflicts: 679000 | #Constraints: 43137
954.30/957.11 c #Conflicts: 680000 | #Constraints: 44137
954.30/957.11 c #Conflicts: 681000 | #Constraints: 45137
954.30/957.11 c #Conflicts: 682000 | #Constraints: 46137
954.30/957.11 c #Conflicts: 683000 | #Constraints: 47137
954.30/957.11 c #Conflicts: 684000 | #Constraints: 48137
954.30/957.11 c #Conflicts: 685000 | #Constraints: 49137
954.30/957.11 c #Conflicts: 686000 | #Constraints: 50137
954.30/957.11 c INPROCESSING
954.30/957.11 c GARBAGE COLLECT
954.30/957.11 c #Conflicts: 687000 | #Constraints: 29969
954.30/957.11 c #Conflicts: 688000 | #Constraints: 30969
954.30/957.11 c #Conflicts: 689000 | #Constraints: 31969
954.30/957.11 c #Conflicts: 690000 | #Constraints: 32969
954.30/957.11 c #Conflicts: 691000 | #Constraints: 33970
954.30/957.11 c #Conflicts: 692000 | #Constraints: 34970
954.30/957.11 c #Conflicts: 693000 | #Constraints: 35970
954.30/957.11 c #Conflicts: 694000 | #Constraints: 36970
954.30/957.11 c #Conflicts: 695000 | #Constraints: 37970
954.30/957.11 c #Conflicts: 696000 | #Constraints: 38970
954.30/957.11 c #Conflicts: 697000 | #Constraints: 39970
954.30/957.11 c #Conflicts: 698000 | #Constraints: 40970
954.30/957.11 c #Conflicts: 699000 | #Constraints: 41970
954.30/957.11 c #Conflicts: 700000 | #Constraints: 42970
954.30/957.11 c #Conflicts: 701000 | #Constraints: 43970
954.30/957.11 c #Conflicts: 702000 | #Constraints: 44970
954.30/957.11 c #Conflicts: 703000 | #Constraints: 45970
954.30/957.11 c #Conflicts: 704000 | #Constraints: 46970
954.30/957.11 c #Conflicts: 705000 | #Constraints: 47970
954.30/957.11 c INPROCESSING
954.30/957.11 c GARBAGE COLLECT
954.30/957.11 c #Conflicts: 706000 | #Constraints: 28967
954.30/957.11 c #Conflicts: 707000 | #Constraints: 29967
954.30/957.11 c #Conflicts: 708000 | #Constraints: 30967
954.30/957.11 c #Conflicts: 709000 | #Constraints: 31967
954.30/957.11 c #Conflicts: 710000 | #Constraints: 32967
954.30/957.11 c #Conflicts: 711000 | #Constraints: 33967
954.30/957.11 c #Conflicts: 712000 | #Constraints: 34967
954.30/957.11 c #Conflicts: 713000 | #Constraints: 35967
1126.48/1129.85 c #Conflicts: 714000 | #Constraints: 36967
1126.48/1129.85 c #Conflicts: 715000 | #Constraints: 37967
1126.48/1129.85 c #Conflicts: 716000 | #Constraints: 38967
1126.48/1129.85 c #Conflicts: 717000 | #Constraints: 39967
1126.48/1129.85 c #Conflicts: 718000 | #Constraints: 40967
1126.48/1129.85 c #Conflicts: 719000 | #Constraints: 41968
1126.48/1129.85 c #Conflicts: 720000 | #Constraints: 42968
1126.48/1129.85 c #Conflicts: 721000 | #Constraints: 43968
1126.48/1129.85 c #Conflicts: 722000 | #Constraints: 44968
1126.48/1129.85 c #Conflicts: 723000 | #Constraints: 45968
1126.48/1129.85 c #Conflicts: 724000 | #Constraints: 46968
1126.48/1129.85 c #Conflicts: 725000 | #Constraints: 47968
1126.48/1129.85 c #Conflicts: 726000 | #Constraints: 48968
1126.48/1129.85 c #Conflicts: 727000 | #Constraints: 49968
1126.48/1129.85 c #Conflicts: 728000 | #Constraints: 50968
1126.48/1129.85 c #Conflicts: 729000 | #Constraints: 51968
1126.48/1129.85 c #Conflicts: 730000 | #Constraints: 52968
1126.48/1129.85 c #Conflicts: 731000 | #Constraints: 53968
1126.48/1129.85 c #Conflicts: 732000 | #Constraints: 54968
1126.48/1129.85 c #Conflicts: 733000 | #Constraints: 55968
1126.48/1129.85 c #Conflicts: 734000 | #Constraints: 56968
1126.48/1129.85 c #Conflicts: 735000 | #Constraints: 57968
1126.48/1129.85 c #Conflicts: 736000 | #Constraints: 58968
1126.48/1129.85 c #Conflicts: 737000 | #Constraints: 59968
1126.48/1129.85 c #Conflicts: 738000 | #Constraints: 60968
1126.48/1129.85 c #Conflicts: 739000 | #Constraints: 61968
1126.48/1129.85 c #Conflicts: 740000 | #Constraints: 62968
1126.48/1129.85 c #Conflicts: 741000 | #Constraints: 63968
1126.48/1129.85 c #Conflicts: 742000 | #Constraints: 64968
1126.48/1129.85 c #Conflicts: 743000 | #Constraints: 65968
1126.48/1129.85 c #Conflicts: 744000 | #Constraints: 66968
1126.48/1129.85 c #Conflicts: 745000 | #Constraints: 67968
1126.48/1129.85 c #Conflicts: 746000 | #Constraints: 68968
1126.48/1129.85 c #Conflicts: 747000 | #Constraints: 69968
1126.48/1129.85 c #Conflicts: 748000 | #Constraints: 70968
1126.48/1129.85 c #Conflicts: 749000 | #Constraints: 71968
1126.48/1129.85 c #Conflicts: 750000 | #Constraints: 72968
1126.48/1129.85 c #Conflicts: 751000 | #Constraints: 73968
1126.48/1129.85 c #Conflicts: 752000 | #Constraints: 74968
1126.48/1129.85 c #Conflicts: 753000 | #Constraints: 75968
1126.48/1129.85 c #Conflicts: 754000 | #Constraints: 76968
1126.48/1129.85 c #Conflicts: 755000 | #Constraints: 77968
1126.48/1129.85 c #Conflicts: 756000 | #Constraints: 78968
1126.48/1129.85 c #Conflicts: 757000 | #Constraints: 79968
1126.48/1129.85 c #Conflicts: 758000 | #Constraints: 80968
1126.48/1129.85 c #Conflicts: 759000 | #Constraints: 81968
1126.48/1129.85 c #Conflicts: 760000 | #Constraints: 82968
1126.48/1129.85 c #Conflicts: 761000 | #Constraints: 83968
1126.48/1129.85 c #Conflicts: 762000 | #Constraints: 84968
1126.48/1129.85 c #Conflicts: 763000 | #Constraints: 85968
1126.48/1129.85 c #Conflicts: 764000 | #Constraints: 86968
1126.48/1129.85 c #Conflicts: 765000 | #Constraints: 87968
1126.48/1129.85 c #Conflicts: 766000 | #Constraints: 88968
1126.48/1129.85 c #Conflicts: 767000 | #Constraints: 89968
1126.48/1129.85 c #Conflicts: 768000 | #Constraints: 90968
1126.48/1129.85 c #Conflicts: 769000 | #Constraints: 91968
1126.48/1129.85 c #Conflicts: 770000 | #Constraints: 92968
1126.48/1129.85 c INPROCESSING
1126.48/1129.85 c GARBAGE COLLECT
1126.48/1129.85 c #Conflicts: 771000 | #Constraints: 51377
1126.48/1129.85 c #Conflicts: 772000 | #Constraints: 52377
1126.48/1129.85 c #Conflicts: 773000 | #Constraints: 53377
1126.48/1129.85 c #Conflicts: 774000 | #Constraints: 54377
1126.48/1129.85 c #Conflicts: 775000 | #Constraints: 55377
1126.48/1129.85 c #Conflicts: 776000 | #Constraints: 56377
1126.48/1129.85 c #Conflicts: 777000 | #Constraints: 57377
1126.48/1129.85 c #Conflicts: 778000 | #Constraints: 58377
1126.48/1129.85 c #Conflicts: 779000 | #Constraints: 59377
1126.48/1129.85 c #Conflicts: 780000 | #Constraints: 60377
1126.48/1129.85 c #Conflicts: 781000 | #Constraints: 61377
1126.48/1129.85 c #Conflicts: 782000 | #Constraints: 62377
1126.48/1129.85 c #Conflicts: 783000 | #Constraints: 63377
1126.48/1129.85 c #Conflicts: 784000 | #Constraints: 64377
1126.48/1129.85 c #Conflicts: 785000 | #Constraints: 65377
1126.48/1129.85 c #Conflicts: 786000 | #Constraints: 66377
1126.48/1129.85 c #Conflicts: 787000 | #Constraints: 67377
1126.48/1129.85 c #Conflicts: 788000 | #Constraints: 68377
1126.48/1129.85 c #Conflicts: 789000 | #Constraints: 69377
1126.48/1129.85 c #Conflicts: 790000 | #Constraints: 70377
1126.48/1129.85 c INPROCESSING
1126.48/1129.85 c GARBAGE COLLECT
1126.48/1129.85 c #Conflicts: 791000 | #Constraints: 39891
1183.32/1186.83 c #Conflicts: 792000 | #Constraints: 40891
1183.32/1186.83 c #Conflicts: 793000 | #Constraints: 41891
1183.32/1186.83 c #Conflicts: 794000 | #Constraints: 42891
1183.32/1186.83 c #Conflicts: 795000 | #Constraints: 43891
1183.32/1186.83 c #Conflicts: 796000 | #Constraints: 44891
1183.32/1186.83 c #Conflicts: 797000 | #Constraints: 45891
1183.32/1186.83 c #Conflicts: 798000 | #Constraints: 46891
1183.32/1186.83 c #Conflicts: 799000 | #Constraints: 47891
1183.32/1186.83 c #Conflicts: 800000 | #Constraints: 48891
1183.32/1186.83 c #Conflicts: 801000 | #Constraints: 49891
1183.32/1186.83 c #Conflicts: 802000 | #Constraints: 50891
1183.32/1186.83 c #Conflicts: 803000 | #Constraints: 51891
1183.32/1186.83 c #Conflicts: 804000 | #Constraints: 52891
1183.32/1186.83 c #Conflicts: 805000 | #Constraints: 53891
1183.32/1186.83 c #Conflicts: 806000 | #Constraints: 54891
1183.32/1186.83 c #Conflicts: 807000 | #Constraints: 55891
1183.32/1186.83 c #Conflicts: 808000 | #Constraints: 56891
1183.32/1186.83 c #Conflicts: 809000 | #Constraints: 57891
1183.32/1186.83 c #Conflicts: 810000 | #Constraints: 58891
1183.32/1186.83 c INPROCESSING
1183.32/1186.83 c GARBAGE COLLECT
1183.32/1186.83 c #Conflicts: 811000 | #Constraints: 33943
1183.32/1186.83 c #Conflicts: 812000 | #Constraints: 34943
1183.32/1186.83 c #Conflicts: 813000 | #Constraints: 35944
1183.32/1186.83 c #Conflicts: 814000 | #Constraints: 36944
1183.32/1186.83 c #Conflicts: 815000 | #Constraints: 37944
1183.32/1186.83 c #Conflicts: 816000 | #Constraints: 38944
1183.32/1186.83 c #Conflicts: 817000 | #Constraints: 39944
1183.32/1186.83 c #Conflicts: 818000 | #Constraints: 40944
1183.32/1186.83 c #Conflicts: 819000 | #Constraints: 41944
1183.32/1186.83 c #Conflicts: 820000 | #Constraints: 42945
1183.32/1186.83 c #Conflicts: 821000 | #Constraints: 43945
1183.32/1186.83 c #Conflicts: 822000 | #Constraints: 44945
1183.32/1186.83 c #Conflicts: 823000 | #Constraints: 45945
1183.32/1186.83 c #Conflicts: 824000 | #Constraints: 46945
1183.32/1186.83 c #Conflicts: 825000 | #Constraints: 47945
1183.32/1186.83 c #Conflicts: 826000 | #Constraints: 48945
1183.32/1186.83 c #Conflicts: 827000 | #Constraints: 49945
1183.32/1186.83 c #Conflicts: 828000 | #Constraints: 50945
1183.32/1186.83 c #Conflicts: 829000 | #Constraints: 51945
1183.32/1186.83 c #Conflicts: 830000 | #Constraints: 52945
1183.32/1186.83 c #Conflicts: 831000 | #Constraints: 53945
1183.32/1186.83 c INPROCESSING
1183.32/1186.83 c GARBAGE COLLECT
1183.32/1186.83 c #Conflicts: 832000 | #Constraints: 31616
1183.32/1186.83 c #Conflicts: 833000 | #Constraints: 32616
1183.32/1186.83 c #Conflicts: 834000 | #Constraints: 33616
1183.32/1186.83 c cpu time 1173.77 s
1183.32/1186.83 c deterministic time 82493592920 8.25e+10
1183.32/1186.83 c optimization time 0.000102 s
1183.32/1186.83 c total solve time 1173.74 s
1183.32/1186.83 c core-guided solve time 0 s
1183.32/1186.83 c propagation time 643.233 s
1183.32/1186.83 c conflict analysis time 415.459 s
1183.32/1186.83 c propagations 378656691
1183.32/1186.83 c resolve steps 33776776
1183.32/1186.83 c decisions 8338586
1183.32/1186.83 c conflicts 834925
1183.32/1186.83 c restarts 1788
1183.32/1186.83 c inprocessing phases 54
1183.32/1186.83 c garbage collections 54 ,( 100.00 )
1183.32/1186.83 c input clauses 6971 ,( 98.57 )
1183.32/1186.83 c input cardinalities 101 ,( 1.43 )
1183.32/1186.83 c input general constraints 0 ,( 0.00 )
1183.32/1186.83 c input average constraint length 6.24
1183.32/1186.83 c input average constraint degree 1.94
1183.32/1186.83 c learned clauses 600032 ,( 71.86 )
1183.32/1186.83 c learned cardinalities 20440 ,( 2.45 )
1183.32/1186.83 c learned general constraints 214474 ,( 25.69 )
1183.32/1186.83 c learned average constraint length 583.70
1183.32/1186.84 c learned average constraint degree 8300312.29
1183.32/1186.84 c watched CF 32, 64, 128, Arb: 64344 , 0 , 0 , 0
1183.32/1186.84 c counting CF 32, 64, 128, Arb: 150130 , 0 , 0 , 0
1183.32/1186.84 c watched constraints 64344 ,( 30.00 )
1183.32/1186.84 c counting constraints 150130 ,( 70.00 )
1183.32/1186.84 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 472334154 , 267733215 , 1141930212 ,( 60227073 , 1081703139 )
1183.32/1186.84 c gcd simplifications 626
1183.32/1186.84 c detected cardinalities 1794
1183.32/1186.84 c weakened non-implied lits 147839828
1183.32/1186.84 c weakened non-implying lits 107706
1183.32/1186.84 c original variables 6868
1183.32/1186.84 c clausal propagations 149740152
1183.32/1186.84 c cardinality propagations 143056051
1183.32/1186.84 c watched propagations 1970974
1183.32/1186.84 c counting propagations 80171564
1183.32/1186.84 c watch lookups 37830335275
1183.32/1186.84 c watch backjump lookups 0
1183.32/1186.84 c watch checks 13948743707
1183.32/1186.84 c propagation checks 28270152314
1183.32/1186.84 c constraint additions 1669355119
1183.32/1186.84 c trail pops 387829765
1183.32/1186.84 c formula constraints 7072
1183.32/1186.84 c learned constraints 834921
1183.32/1186.84 c bound constraints 0
1183.32/1186.84 c core-guided constraints 0
1183.32/1186.84 c encountered formula constraints 21230844
1183.32/1186.84 c encountered learned constraints 13380749
1183.32/1186.84 c encountered bound constraints 0
1183.32/1186.84 c encountered core-guided constraints 0
1183.32/1186.84 c LP total time 94.2037 s
1183.32/1186.84 c LP solve time 92.11 s
1183.32/1186.84 c LP constraints added 7204
1183.32/1186.84 c LP constraints removed 19
1183.32/1186.84 c LP pivots internal 84258
1183.32/1186.84 c LP pivots root 97204
1183.32/1186.84 c LP calls 27
1183.32/1186.84 c LP optimalities 2
1183.32/1186.84 c LP no pivot count 0
1183.32/1186.84 c LP infeasibilities 18
1183.32/1186.84 c LP valid Farkas constraints 18
1183.32/1186.84 c LP learned Farkas constraints 4
1183.32/1186.84 c LP basis resets 1
1183.32/1186.84 c LP cycling count 0
1183.32/1186.84 c LP singular count 1
1183.32/1186.84 c LP no primal count 0
1183.32/1186.84 c LP no farkas count 0
1183.32/1186.84 c LP other issue count 0
1183.32/1186.84 c LP Gomory cuts 3
1183.32/1186.84 c LP learned cuts 129
1183.32/1186.84 c LP deleted cuts 19
1183.32/1186.84 c LP encountered Gomory constraints 6
1183.32/1186.84 c LP encountered Farkas constraints 93
1183.32/1186.84 c LP encountered learned Farkas constraints 5
1183.32/1186.84 c CG auxiliary variables introduced 0
1183.32/1186.84 c CG solutions found 0
1183.32/1186.84 c CG cores constructed 0
1183.32/1186.84 c CG core cardinality constraints returned 0
1183.32/1186.84 c CG unit cores 0
1183.32/1186.84 c CG single cores 0
1183.32/1186.84 c CG blocks removed during cardinality reduction 0
1183.32/1186.84 c CG first core best 0
1183.32/1186.84 c CG decision core best 0
1183.32/1186.84 c CG core reduction tie 0
1183.32/1186.84 c CG core degree average 0.00
1183.32/1186.84 c CG core slack average 0.00
1183.32/1186.84 c CG core upper bound improvements 0
1183.32/1186.84 c STR number of successful calls 0
1183.32/1186.84 c STR number of unsuccessful calls 0
1183.32/1186.84 c STR number of inconclusive calls 0
1183.32/1186.84 c STR number of successful attempts 0
1183.32/1186.84 c STR number of unsuccessful attempts 0
1183.32/1186.84 c STR number of inconclusive attempts 0
1183.32/1186.84 c STR average degree increase per successful call inf
1183.32/1186.84 c STR average degree increase per successful attempt inf
1183.32/1186.84 c STR total number of conflicts for successful attempts 0
1183.32/1186.84 c STR total number of conflicts for unsuccessful attempts 0
1183.32/1186.84 c STR total number of conflicts for inconclusive attempts 0
1183.32/1186.84 c STR average number of conflicts per successful attempt inf
1183.32/1186.84 c STR average number of conflicts per unsuccessful attempt inf
1183.32/1186.84 c STR average number of conflicts per inconclusive attempt inf
1183.32/1186.84 c AVG.sumWPerc 61.63
1183.32/1186.84 c bigint constraints 0
1183.32/1186.84 s SATISFIABLE
1183.32/1186.84 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 (62940 MiB free)
memory of node 1: 64507 MiB (62208 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507446-1751178324/watcher-4507446-1751178324 -o /tmp/evaluation-result-4507446-1751178324/solver-4507446-1751178324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4507446-1751178324.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
Current StackSize limit: 8192 KiB
solver pid=21070, runsolver pid=21067
[startup+0.1001 s]*
/proc/loadavg: 4.13 4.20 4.18 5/255 21072
/proc/meminfo: memFree=128139900/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=74268 memory=26704 CPUtime=0.09 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 5292 0 0 0 7 2 0 0 20 0 1 0 33511784 76050432 6676 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 18567 6676 2272 1147 0 5994 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78460 KiB
Current children cumulated memory: 29776 KiB
[startup+0.213874 s]*
/proc/loadavg: 4.13 4.20 4.18 5/255 21072
/proc/meminfo: memFree=128139144/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=74268 memory=26960 CPUtime=0.21 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 5338 0 0 0 19 2 0 0 20 0 1 0 33511784 76050432 6740 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 18567 6740 2272 1147 0 5994 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 78460 KiB
Current children cumulated memory: 30032 KiB
[startup+0.31368 s]*
/proc/loadavg: 4.13 4.20 4.18 5/255 21072
/proc/meminfo: memFree=128138136/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=74864 memory=27472 CPUtime=0.3 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 5466 0 0 0 28 2 0 0 20 0 1 0 33511784 76660736 6868 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 18716 6868 2272 1147 0 6143 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79056 KiB
Current children cumulated memory: 30544 KiB
[startup+0.700356 s]
/proc/loadavg: 4.13 4.20 4.18 5/255 21072
/proc/meminfo: memFree=128138136/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=74864 memory=27600 CPUtime=0.67 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 5506 0 0 0 65 2 0 0 20 0 1 0 33511784 76660736 6900 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 18716 6900 2272 1147 0 6143 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79056 KiB
Current children cumulated memory: 30672 KiB
[startup+1.50036 s]
/proc/loadavg: 4.13 4.20 4.18 5/255 21072
/proc/meminfo: memFree=128134040/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=76344 memory=29136 CPUtime=1.47 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 5899 0 0 0 145 2 0 0 20 0 1 0 33511784 78176256 7284 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 19086 7284 2272 1147 0 6513 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 80536 KiB
Current children cumulated memory: 32208 KiB
[startup+3.11344 s]
/proc/loadavg: 4.13 4.20 4.18 5/255 21072
/proc/meminfo: memFree=128128028/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=79328 memory=36572 CPUtime=3.08 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 7179 0 0 0 300 8 0 0 20 0 1 0 33511784 81231872 9143 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 19832 9143 2336 1147 0 7259 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83520 KiB
Current children cumulated memory: 39644 KiB
[startup+6.3003 s]
/proc/loadavg: 4.12 4.20 4.18 5/255 21072
/proc/meminfo: memFree=128111772/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=84440 memory=41692 CPUtime=6.26 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 8461 0 0 0 608 18 0 0 20 0 1 0 33511784 86466560 10423 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 21110 10423 2336 1147 0 8537 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 88632 KiB
Current children cumulated memory: 44764 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.19 4.17 5/255 21073
/proc/meminfo: memFree=128102136/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=91788 memory=47936 CPUtime=12.64 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 9533 0 0 0 1232 32 0 0 20 0 1 0 33511784 93990912 11984 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 22947 11984 2336 1147 0 10374 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 95980 KiB
Current children cumulated memory: 51008 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.20 4.18 5/255 21073
/proc/meminfo: memFree=128071828/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=101096 memory=57036 CPUtime=25.41 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 11236 0 0 0 2483 58 0 0 20 0 1 0 33511784 103522304 14259 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 25274 14259 2368 1147 0 12701 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 105288 KiB
Current children cumulated memory: 60108 KiB
[startup+51.1135 s]
/proc/loadavg: 4.11 4.18 4.17 5/255 21073
/proc/meminfo: memFree=127954188/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=167552 memory=110800 CPUtime=50.94 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 19603 0 0 0 4987 107 0 0 20 0 1 0 33511784 171573248 27700 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 41888 27700 2368 1147 0 29315 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 171744 KiB
Current children cumulated memory: 113872 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/255 21075
/proc/meminfo: memFree=127816840/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=215400 memory=145164 CPUtime=101.98 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 24089 0 0 0 10018 180 0 0 20 0 1 0 33511784 220569600 36291 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 53850 36291 2368 1147 0 41277 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 219592 KiB
Current children cumulated memory: 148236 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/255 21078
/proc/meminfo: memFree=127749428/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=257024 memory=207252 CPUtime=161.8 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 34018 0 0 0 15937 243 0 0 20 0 1 0 33511784 263192576 51813 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 64256 51813 2368 1147 0 51683 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 261216 KiB
Current children cumulated memory: 210324 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.13 4.16 5/255 21080
/proc/meminfo: memFree=127688260/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=314952 memory=258752 CPUtime=221.63 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 36173 0 0 0 21871 292 0 0 20 0 1 0 33511784 322510848 64688 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 78738 64688 2368 1147 0 66165 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 50238 0 0 0 75303 704 0 0 20 0 1 0 33511784 601137152 106290 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 146762 106290 2368 1147 0 134189 0
Current children cumulated CPU time: 760.07 s
Current children cumulated vsize: 591240 KiB
Current children cumulated memory: 428232 KiB
[startup+822.3 s]
/proc/loadavg: 4.14 4.11 4.13 5/254 21155
/proc/meminfo: memFree=127979756/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=609232 memory=444616 CPUtime=819.88 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 55092 0 0 0 81261 727 0 0 20 0 1 0 33511784 623853568 111154 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 152308 111154 2368 1147 0 139735 0
Current children cumulated CPU time: 819.88 s
Current children cumulated vsize: 613424 KiB
Current children cumulated memory: 447688 KiB
[startup+882.3 s]
/proc/loadavg: 4.69 4.28 4.19 5/253 21157
/proc/meminfo: memFree=127958640/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=621768 memory=455112 CPUtime=879.71 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 57740 0 0 0 87207 764 0 0 20 0 1 0 33511784 636690432 113778 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 155442 113778 2368 1147 0 142869 0
Current children cumulated CPU time: 879.71 s
Current children cumulated vsize: 625960 KiB
Current children cumulated memory: 458184 KiB
[startup+942.3 s]
/proc/loadavg: 4.38 4.27 4.19 5/254 21162
/proc/meminfo: memFree=127946316/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=621768 memory=455112 CPUtime=939.53 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 57741 0 0 0 93130 823 0 0 20 0 1 0 33511784 636690432 113778 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 155442 113778 2368 1147 0 142869 0
Current children cumulated CPU time: 939.53 s
Current children cumulated vsize: 625960 KiB
Current children cumulated memory: 458184 KiB
[startup+1002.3 s]
/proc/loadavg: 4.19 4.23 4.18 5/255 21167
/proc/meminfo: memFree=127898416/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=623816 memory=457800 CPUtime=999.36 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 58275 0 0 0 99077 859 0 0 20 0 1 0 33511784 638787584 114450 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 155954 114450 2496 1147 0 143381 0
Current children cumulated CPU time: 999.36 s
Current children cumulated vsize: 628008 KiB
Current children cumulated memory: 460872 KiB
[startup+1062.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/256 21215
/proc/meminfo: memFree=128909848/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=627052 memory=460744 CPUtime=1059.18 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 59029 0 0 0 105035 883 0 0 20 0 1 0 33511784 642101248 115186 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 156763 115186 2496 1147 0 144190 0
Current children cumulated CPU time: 1059.18 s
Current children cumulated vsize: 631244 KiB
Current children cumulated memory: 463816 KiB
[startup+1122.3 s]
/proc/loadavg: 4.16 4.20 4.17 5/257 21220
/proc/meminfo: memFree=128837992/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=639476 memory=470856 CPUtime=1119.01 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 61552 0 0 0 110988 913 0 0 20 0 1 0 33511784 654823424 117714 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 159869 117714 2496 1147 0 147296 0
Current children cumulated CPU time: 1119.01 s
Current children cumulated vsize: 643668 KiB
Current children cumulated memory: 473928 KiB
[startup+1182.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/257 21222
/proc/meminfo: memFree=128819344/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=639476 memory=471112 CPUtime=1178.84 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 61600 0 0 0 116928 956 0 0 20 0 1 0 33511784 654823424 117778 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 159869 117778 2496 1147 0 147296 0
Current children cumulated CPU time: 1178.84 s
Current children cumulated vsize: 643668 KiB
Current children cumulated memory: 474184 KiB
[startup+1186.86 s]
# the end of solver process 21070 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1173.78 s, system=9.61779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1184 s]*
/proc/loadavg: 4.10 4.17 4.17 5/257 21222
/proc/meminfo: memFree=128819376/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=639476 memory=471112 CPUtime=1180.54 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 61600 0 0 0 117098 956 0 0 20 0 1 0 33511784 654823424 117778 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 159869 117778 2496 1147 0 147296 0
Current children cumulated CPU time: 1180.54 s
Current children cumulated vsize: 643668 KiB
Current children cumulated memory: 474184 KiB
[startup+1185.6 s]
/proc/loadavg: 4.09 4.17 4.16 5/257 21222
/proc/meminfo: memFree=128819376/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=639476 memory=471112 CPUtime=1182.13 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 61600 0 0 0 117255 958 0 0 20 0 1 0 33511784 654823424 117778 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 159869 117778 2496 1147 0 147296 0
Current children cumulated CPU time: 1182.13 s
Current children cumulated vsize: 643668 KiB
Current children cumulated memory: 474184 KiB
[startup+1186.4 s]
/proc/loadavg: 4.09 4.17 4.16 5/257 21222
/proc/meminfo: memFree=128815280/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=639476 memory=471112 CPUtime=1182.92 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 61600 0 0 0 117334 958 0 0 20 0 1 0 33511784 654823424 117778 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 159869 117778 2496 1147 0 147296 0
Current children cumulated CPU time: 1182.92 s
Current children cumulated vsize: 643668 KiB
Current children cumulated memory: 474184 KiB
[startup+1186.8 s]
/proc/loadavg: 4.09 4.17 4.16 5/257 21222
/proc/meminfo: memFree=128815280/131382120 swapFree=33010684/33010684
[pid=21070] ppid=21067 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21070/stat : 21070 (run-dec-ls.sh) S 21067 21070 20058 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33511783 4292608 768 18446744073709551615 94795124887552 94795125782085 140736591206336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94795126021136 94795126068880 94795137658880 140736591214951 140736591215077 140736591215077 140736591220679 0
/proc/21070/statm: 1048 768 704 219 0 110 0
[pid=21072] ppid=21070 vsize=639476 memory=471112 CPUtime=1183.32 cores=0,2
/proc/21072/stat : 21072 (roundingsat) R 21070 21070 20058 0 -1 4194304 61600 0 0 0 117373 959 0 0 20 0 1 0 33511784 654823424 117778 18446744073709551615 4227072 8923433 140725045189248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29806592 140725045193120 140725045193256 140725045193256 140725045198826 0
/proc/21072/statm: 159869 117778 2496 1147 0 147296 0
Current children cumulated CPU time: 1183.32 s
Current children cumulated vsize: 643668 KiB
Current children cumulated memory: 474184 KiB
Child status: 0
Real time (s): 1186.86
CPU time (s): 1183.4
CPU user time (s): 1173.78
CPU system time (s): 9.61779
CPU usage (%): 99.7082
Max. virtual memory (cumulated for all children) (KiB): 643668
Max. memory (cumulated for all children) (KiB): 474184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1173.78
system time used= 9.61779
maximum resident set size= 471112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61832
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= 145
involuntary context switches= 3031
# summary of solver processes directly reported to runsolver:
# pid: 21070
# total CPU time (s): 1183.4
# total CPU user time (s): 1173.78
# total CPU system time (s): 9.61779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57489 second user time and 12.2049 second system time
The end
Begin job on nodeC006 at 2025-06-29 08:25:24
IDJOB=4507446
IDBENCH=158353
IDSOLVER=3353
FILE ID=nodeC006/4507446-1751178324
RUNJOBID= nodeC006-1751170846-20068
SLURM_JOB_ID= 9587530
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507446-1751178324/watcher-4507446-1751178324 -o /tmp/evaluation-result-4507446-1751178324/solver-4507446-1751178324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4507446-1751178324.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 169808018047e4e4c90ba93c1e86b926
RANDOM SEED=1190310694
nodeC006 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 : 3491.731
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 : 6983.32
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 : 3661.579
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 : 6983.32
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.138
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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.205
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 : 6983.32
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 : 3661.946
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 : 6983.32
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 : 3591.419
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 : 6983.32
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.527
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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.486
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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128152608 kB
MemAvailable: 127798672 kB
Buffers: 3280 kB
Cached: 456944 kB
SwapCached: 0 kB
Active: 2485676 kB
Inactive: 209180 kB
Active(anon): 2252592 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 209180 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7620 kB
Writeback: 0 kB
AnonPages: 2235460 kB
Mapped: 115628 kB
Shmem: 17960 kB
KReclaimable: 85352 kB
Slab: 164112 kB
SReclaimable: 85352 kB
SUnreclaim: 78760 kB
KernelStack: 4052 kB
PageTables: 7800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2942224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1099776 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: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC006 at 2025-06-29 08:45:11