0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.06 c #variables 6868 #constraints 7072
48.55/48.75 c #Conflicts: 1000 | #Constraints: 8071
48.55/48.75 c #Conflicts: 2000 | #Constraints: 9071
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 3000 | #Constraints: 8755
48.55/48.75 c #Conflicts: 4000 | #Constraints: 9755
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 5000 | #Constraints: 9223
48.55/48.75 c #Conflicts: 6000 | #Constraints: 10223
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 7000 | #Constraints: 9284
48.55/48.75 c #Conflicts: 8000 | #Constraints: 10284
48.55/48.75 c #Conflicts: 9000 | #Constraints: 11284
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 10000 | #Constraints: 10034
48.55/48.75 c #Conflicts: 11000 | #Constraints: 11034
48.55/48.75 c #Conflicts: 12000 | #Constraints: 12034
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 13000 | #Constraints: 10507
48.55/48.75 c #Conflicts: 14000 | #Constraints: 11507
48.55/48.75 c #Conflicts: 15000 | #Constraints: 12507
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 16000 | #Constraints: 10760
48.55/48.75 c #Conflicts: 17000 | #Constraints: 11760
48.55/48.75 c #Conflicts: 18000 | #Constraints: 12760
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 19000 | #Constraints: 10793
48.55/48.75 c #Conflicts: 20000 | #Constraints: 11793
48.55/48.75 c #Conflicts: 21000 | #Constraints: 12794
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 22000 | #Constraints: 10645
48.55/48.75 c #Conflicts: 23000 | #Constraints: 11645
48.55/48.75 c #Conflicts: 24000 | #Constraints: 12645
48.55/48.75 c #Conflicts: 25000 | #Constraints: 13645
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 26000 | #Constraints: 11295
48.55/48.75 c #Conflicts: 27000 | #Constraints: 12295
48.55/48.75 c #Conflicts: 28000 | #Constraints: 13295
48.55/48.75 c #Conflicts: 29000 | #Constraints: 14295
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 30000 | #Constraints: 11718
48.55/48.75 c #Conflicts: 31000 | #Constraints: 12718
48.55/48.75 c #Conflicts: 32000 | #Constraints: 13718
48.55/48.75 c #Conflicts: 33000 | #Constraints: 14718
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 34000 | #Constraints: 11941
48.55/48.75 c #Conflicts: 35000 | #Constraints: 12941
48.55/48.75 c #Conflicts: 36000 | #Constraints: 13941
48.55/48.75 c #Conflicts: 37000 | #Constraints: 14941
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 38000 | #Constraints: 11947
48.55/48.75 c #Conflicts: 39000 | #Constraints: 12947
48.55/48.75 c #Conflicts: 40000 | #Constraints: 13947
48.55/48.75 c #Conflicts: 41000 | #Constraints: 14947
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 42000 | #Constraints: 11829
48.55/48.75 c #Conflicts: 43000 | #Constraints: 12829
48.55/48.75 c #Conflicts: 44000 | #Constraints: 13829
48.55/48.75 c #Conflicts: 45000 | #Constraints: 14829
48.55/48.75 c #Conflicts: 46000 | #Constraints: 15829
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 47000 | #Constraints: 12399
48.55/48.75 c #Conflicts: 48000 | #Constraints: 13399
48.55/48.75 c #Conflicts: 49000 | #Constraints: 14399
48.55/48.75 c #Conflicts: 50000 | #Constraints: 15399
48.55/48.75 c #Conflicts: 51000 | #Constraints: 16399
48.55/48.75 c INPROCESSING
48.55/48.75 c GARBAGE COLLECT
48.55/48.75 c #Conflicts: 52000 | #Constraints: 12820
48.55/48.75 c #Conflicts: 53000 | #Constraints: 13820
48.55/48.75 c #Conflicts: 54000 | #Constraints: 14820
48.55/48.75 c #Conflicts: 55000 | #Constraints: 15820
48.55/48.75 c #Conflicts: 56000 | #Constraints: 16820
48.55/48.75 c #Conflicts: 57000 | #Constraints: 17820
48.55/48.75 c #Conflicts: 58000 | #Constraints: 18820
48.55/48.75 c #Conflicts: 59000 | #Constraints: 19820
48.55/48.75 c #Conflicts: 60000 | #Constraints: 20820
48.55/48.75 c #Conflicts: 61000 | #Constraints: 21820
48.55/48.75 c #Conflicts: 62000 | #Constraints: 22820
48.55/48.75 c #Conflicts: 63000 | #Constraints: 23820
48.55/48.75 c #Conflicts: 64000 | #Constraints: 24820
48.55/48.75 c #Conflicts: 65000 | #Constraints: 25820
48.55/48.75 c #Conflicts: 66000 | #Constraints: 26820
48.55/48.75 c #Conflicts: 67000 | #Constraints: 27820
48.55/48.75 c #Conflicts: 68000 | #Constraints: 28820
48.55/48.75 c #Conflicts: 69000 | #Constraints: 29820
48.55/48.75 c #Conflicts: 70000 | #Constraints: 30820
110.99/111.38 c INPROCESSING
110.99/111.38 c GARBAGE COLLECT
110.99/111.38 c #Conflicts: 71000 | #Constraints: 19883
110.99/111.38 c #Conflicts: 72000 | #Constraints: 20883
110.99/111.38 c #Conflicts: 73000 | #Constraints: 21883
110.99/111.38 c #Conflicts: 74000 | #Constraints: 22883
110.99/111.38 c #Conflicts: 75000 | #Constraints: 23883
110.99/111.38 c #Conflicts: 76000 | #Constraints: 24883
110.99/111.38 c INPROCESSING
110.99/111.38 c GARBAGE COLLECT
110.99/111.38 c #Conflicts: 77000 | #Constraints: 16911
110.99/111.38 c #Conflicts: 78000 | #Constraints: 17911
110.99/111.38 c #Conflicts: 79000 | #Constraints: 18911
110.99/111.38 c #Conflicts: 80000 | #Constraints: 19912
110.99/111.38 c #Conflicts: 81000 | #Constraints: 20912
110.99/111.38 c #Conflicts: 82000 | #Constraints: 21912
110.99/111.38 c INPROCESSING
110.99/111.38 c GARBAGE COLLECT
110.99/111.38 c #Conflicts: 83000 | #Constraints: 15243
110.99/111.38 c #Conflicts: 84000 | #Constraints: 16243
110.99/111.38 c #Conflicts: 85000 | #Constraints: 17243
110.99/111.38 c #Conflicts: 86000 | #Constraints: 18243
110.99/111.38 c #Conflicts: 87000 | #Constraints: 19243
110.99/111.38 c #Conflicts: 88000 | #Constraints: 20243
110.99/111.38 c #Conflicts: 89000 | #Constraints: 21243
110.99/111.38 c INPROCESSING
110.99/111.38 c GARBAGE COLLECT
110.99/111.38 c #Conflicts: 90000 | #Constraints: 15154
110.99/111.38 c #Conflicts: 91000 | #Constraints: 16154
110.99/111.38 c #Conflicts: 92000 | #Constraints: 17154
110.99/111.38 c #Conflicts: 93000 | #Constraints: 18154
110.99/111.38 c #Conflicts: 94000 | #Constraints: 19154
110.99/111.38 c #Conflicts: 95000 | #Constraints: 20154
110.99/111.38 c #Conflicts: 96000 | #Constraints: 21154
110.99/111.38 c INPROCESSING
110.99/111.38 c GARBAGE COLLECT
110.99/111.38 c #Conflicts: 97000 | #Constraints: 15284
110.99/111.38 c #Conflicts: 98000 | #Constraints: 16284
110.99/111.38 c #Conflicts: 99000 | #Constraints: 17284
110.99/111.38 c #Conflicts: 100000 | #Constraints: 18284
110.99/111.38 c #Conflicts: 101000 | #Constraints: 19284
110.99/111.38 c #Conflicts: 102000 | #Constraints: 20284
110.99/111.38 c #Conflicts: 103000 | #Constraints: 21284
110.99/111.38 c #Conflicts: 104000 | #Constraints: 22284
110.99/111.38 c #Conflicts: 105000 | #Constraints: 23284
110.99/111.38 c #Conflicts: 106000 | #Constraints: 24284
110.99/111.38 c #Conflicts: 107000 | #Constraints: 25284
110.99/111.38 c #Conflicts: 108000 | #Constraints: 26284
110.99/111.38 c #Conflicts: 109000 | #Constraints: 27284
110.99/111.38 c #Conflicts: 110000 | #Constraints: 28284
110.99/111.38 c #Conflicts: 111000 | #Constraints: 29285
110.99/111.38 c #Conflicts: 112000 | #Constraints: 30285
110.99/111.38 c #Conflicts: 113000 | #Constraints: 31285
110.99/111.38 c #Conflicts: 114000 | #Constraints: 32285
110.99/111.38 c #Conflicts: 115000 | #Constraints: 33285
110.99/111.38 c #Conflicts: 116000 | #Constraints: 34285
110.99/111.38 c #Conflicts: 117000 | #Constraints: 35285
110.99/111.38 c #Conflicts: 118000 | #Constraints: 36285
110.99/111.38 c #Conflicts: 119000 | #Constraints: 37285
110.99/111.38 c #Conflicts: 120000 | #Constraints: 38285
110.99/111.38 c #Conflicts: 121000 | #Constraints: 39285
110.99/111.38 c INPROCESSING
110.99/111.38 c GARBAGE COLLECT
110.99/111.38 c #Conflicts: 122000 | #Constraints: 24004
110.99/111.38 c #Conflicts: 123000 | #Constraints: 25004
110.99/111.38 c #Conflicts: 124000 | #Constraints: 26004
110.99/111.38 c #Conflicts: 125000 | #Constraints: 27004
110.99/111.38 c #Conflicts: 126000 | #Constraints: 28004
110.99/111.38 c #Conflicts: 127000 | #Constraints: 29004
110.99/111.38 c #Conflicts: 128000 | #Constraints: 30004
110.99/111.38 c #Conflicts: 129000 | #Constraints: 31004
110.99/111.38 c INPROCESSING
110.99/111.38 c GARBAGE COLLECT
110.99/111.38 c #Conflicts: 130000 | #Constraints: 19878
110.99/111.38 c #Conflicts: 131000 | #Constraints: 20878
110.99/111.38 c #Conflicts: 132000 | #Constraints: 21878
110.99/111.38 c #Conflicts: 133000 | #Constraints: 22878
110.99/111.38 c #Conflicts: 134000 | #Constraints: 23878
110.99/111.38 c #Conflicts: 135000 | #Constraints: 24878
110.99/111.38 c #Conflicts: 136000 | #Constraints: 25878
110.99/111.38 c #Conflicts: 137000 | #Constraints: 26878
110.99/111.38 c #Conflicts: 138000 | #Constraints: 27878
110.99/111.38 c INPROCESSING
110.99/111.38 c GARBAGE COLLECT
110.99/111.38 c rational objective 101
157.86/158.36 c #Conflicts: 139000 | #Constraints: 18720
157.86/158.36 c #Conflicts: 140000 | #Constraints: 19720
157.86/158.36 c #Conflicts: 141000 | #Constraints: 20720
157.86/158.36 c #Conflicts: 142000 | #Constraints: 21720
157.86/158.36 c #Conflicts: 143000 | #Constraints: 22720
157.86/158.36 c #Conflicts: 144000 | #Constraints: 23720
157.86/158.36 c #Conflicts: 145000 | #Constraints: 24720
157.86/158.36 c #Conflicts: 146000 | #Constraints: 25720
157.86/158.36 c INPROCESSING
157.86/158.36 c GARBAGE COLLECT
157.86/158.36 c #Conflicts: 147000 | #Constraints: 17443
157.86/158.36 c #Conflicts: 148000 | #Constraints: 18443
157.86/158.36 c #Conflicts: 149000 | #Constraints: 19443
157.86/158.36 c #Conflicts: 150000 | #Constraints: 20443
157.86/158.36 c #Conflicts: 151000 | #Constraints: 21443
157.86/158.36 c #Conflicts: 152000 | #Constraints: 22443
157.86/158.36 c #Conflicts: 153000 | #Constraints: 23443
157.86/158.36 c #Conflicts: 154000 | #Constraints: 24443
157.86/158.36 c #Conflicts: 155000 | #Constraints: 25443
157.86/158.36 c #Conflicts: 156000 | #Constraints: 26443
157.86/158.36 c #Conflicts: 157000 | #Constraints: 27443
157.86/158.36 c #Conflicts: 158000 | #Constraints: 28443
157.86/158.36 c #Conflicts: 159000 | #Constraints: 29443
157.86/158.36 c #Conflicts: 160000 | #Constraints: 30443
157.86/158.36 c #Conflicts: 161000 | #Constraints: 31443
157.86/158.36 c #Conflicts: 162000 | #Constraints: 32443
157.86/158.36 c #Conflicts: 163000 | #Constraints: 33443
157.86/158.36 c #Conflicts: 164000 | #Constraints: 34443
157.86/158.36 c #Conflicts: 165000 | #Constraints: 35443
157.86/158.36 c #Conflicts: 166000 | #Constraints: 36443
157.86/158.36 c #Conflicts: 167000 | #Constraints: 37443
157.86/158.36 c #Conflicts: 168000 | #Constraints: 38443
157.86/158.36 c #Conflicts: 169000 | #Constraints: 39443
157.86/158.36 c #Conflicts: 170000 | #Constraints: 40443
157.86/158.36 c #Conflicts: 171000 | #Constraints: 41443
157.86/158.36 c #Conflicts: 172000 | #Constraints: 42443
157.86/158.36 c #Conflicts: 173000 | #Constraints: 43443
157.86/158.36 c #Conflicts: 174000 | #Constraints: 44443
157.86/158.36 c #Conflicts: 175000 | #Constraints: 45443
157.86/158.36 c #Conflicts: 176000 | #Constraints: 46443
157.86/158.36 c #Conflicts: 177000 | #Constraints: 47443
157.86/158.36 c INPROCESSING
157.86/158.36 c GARBAGE COLLECT
157.86/158.36 c rational objective 101
273.97/274.76 c #Conflicts: 178000 | #Constraints: 28263
273.97/274.76 c #Conflicts: 179000 | #Constraints: 29263
273.97/274.76 c #Conflicts: 180000 | #Constraints: 30263
273.97/274.76 c #Conflicts: 181000 | #Constraints: 31263
273.97/274.76 c #Conflicts: 182000 | #Constraints: 32263
273.97/274.76 c #Conflicts: 183000 | #Constraints: 33263
273.97/274.76 c #Conflicts: 184000 | #Constraints: 34263
273.97/274.76 c #Conflicts: 185000 | #Constraints: 35263
273.97/274.76 c #Conflicts: 186000 | #Constraints: 36263
273.97/274.76 c #Conflicts: 187000 | #Constraints: 37263
273.97/274.76 c INPROCESSING
273.97/274.76 c GARBAGE COLLECT
273.97/274.76 c #Conflicts: 188000 | #Constraints: 23301
273.97/274.76 c #Conflicts: 189000 | #Constraints: 24301
273.97/274.76 c #Conflicts: 190000 | #Constraints: 25301
273.97/274.76 c #Conflicts: 191000 | #Constraints: 26301
273.97/274.76 c #Conflicts: 192000 | #Constraints: 27301
273.97/274.76 c #Conflicts: 193000 | #Constraints: 28301
273.97/274.76 c #Conflicts: 194000 | #Constraints: 29301
273.97/274.76 c #Conflicts: 195000 | #Constraints: 30302
273.97/274.76 c #Conflicts: 196000 | #Constraints: 31302
273.97/274.76 c #Conflicts: 197000 | #Constraints: 32302
273.97/274.76 c INPROCESSING
273.97/274.76 c GARBAGE COLLECT
273.97/274.76 c #Conflicts: 198000 | #Constraints: 20953
273.97/274.76 c #Conflicts: 199000 | #Constraints: 21953
273.97/274.76 c #Conflicts: 200000 | #Constraints: 22953
273.97/274.76 c #Conflicts: 201000 | #Constraints: 23953
273.97/274.76 c #Conflicts: 202000 | #Constraints: 24953
273.97/274.76 c #Conflicts: 203000 | #Constraints: 25953
273.97/274.76 c #Conflicts: 204000 | #Constraints: 26953
273.97/274.76 c #Conflicts: 205000 | #Constraints: 27953
273.97/274.76 c #Conflicts: 206000 | #Constraints: 28953
273.97/274.76 c #Conflicts: 207000 | #Constraints: 29953
273.97/274.76 c INPROCESSING
273.97/274.76 c GARBAGE COLLECT
273.97/274.76 c #Conflicts: 208000 | #Constraints: 19701
273.97/274.76 c #Conflicts: 209000 | #Constraints: 20701
273.97/274.76 c #Conflicts: 210000 | #Constraints: 21701
273.97/274.76 c #Conflicts: 211000 | #Constraints: 22701
273.97/274.76 c #Conflicts: 212000 | #Constraints: 23701
273.97/274.76 c #Conflicts: 213000 | #Constraints: 24701
273.97/274.76 c #Conflicts: 214000 | #Constraints: 25701
273.97/274.76 c #Conflicts: 215000 | #Constraints: 26701
273.97/274.76 c #Conflicts: 216000 | #Constraints: 27701
273.97/274.76 c #Conflicts: 217000 | #Constraints: 28701
273.97/274.76 c #Conflicts: 218000 | #Constraints: 29701
273.97/274.76 c #Conflicts: 219000 | #Constraints: 30701
273.97/274.76 c #Conflicts: 220000 | #Constraints: 31701
273.97/274.76 c #Conflicts: 221000 | #Constraints: 32701
273.97/274.76 c #Conflicts: 222000 | #Constraints: 33701
273.97/274.76 c #Conflicts: 223000 | #Constraints: 34701
273.97/274.76 c #Conflicts: 224000 | #Constraints: 35701
273.97/274.76 c #Conflicts: 225000 | #Constraints: 36701
273.97/274.76 c #Conflicts: 226000 | #Constraints: 37701
273.97/274.76 c #Conflicts: 227000 | #Constraints: 38701
273.97/274.76 c #Conflicts: 228000 | #Constraints: 39701
273.97/274.76 c #Conflicts: 229000 | #Constraints: 40701
273.97/274.76 c #Conflicts: 230000 | #Constraints: 41701
273.97/274.76 c #Conflicts: 231000 | #Constraints: 42701
273.97/274.76 c #Conflicts: 232000 | #Constraints: 43701
273.97/274.76 c #Conflicts: 233000 | #Constraints: 44701
273.97/274.76 c #Conflicts: 234000 | #Constraints: 45701
273.97/274.76 c #Conflicts: 235000 | #Constraints: 46701
273.97/274.76 c #Conflicts: 236000 | #Constraints: 47701
273.97/274.76 c #Conflicts: 237000 | #Constraints: 48701
273.97/274.76 c #Conflicts: 238000 | #Constraints: 49701
273.97/274.76 c #Conflicts: 239000 | #Constraints: 50701
273.97/274.76 c #Conflicts: 240000 | #Constraints: 51702
273.97/274.76 c #Conflicts: 241000 | #Constraints: 52702
273.97/274.76 c #Conflicts: 242000 | #Constraints: 53702
273.97/274.76 c #Conflicts: 243000 | #Constraints: 54702
273.97/274.76 c INPROCESSING
273.97/274.76 c GARBAGE COLLECT
273.97/274.76 c #Conflicts: 244000 | #Constraints: 31878
273.97/274.76 c #Conflicts: 245000 | #Constraints: 32878
273.97/274.76 c #Conflicts: 246000 | #Constraints: 33878
273.97/274.76 c #Conflicts: 247000 | #Constraints: 34878
273.97/274.76 c #Conflicts: 248000 | #Constraints: 35878
273.97/274.76 c #Conflicts: 249000 | #Constraints: 36878
273.97/274.76 c #Conflicts: 250000 | #Constraints: 37878
273.97/274.76 c #Conflicts: 251000 | #Constraints: 38878
273.97/274.76 c #Conflicts: 252000 | #Constraints: 39878
273.97/274.76 c #Conflicts: 253000 | #Constraints: 40878
273.97/274.76 c #Conflicts: 254000 | #Constraints: 41878
380.19/381.20 c #Conflicts: 255000 | #Constraints: 42878
380.19/381.20 c INPROCESSING
380.19/381.20 c GARBAGE COLLECT
380.19/381.20 c #Conflicts: 256000 | #Constraints: 26274
380.19/381.20 c #Conflicts: 257000 | #Constraints: 27274
380.19/381.20 c #Conflicts: 258000 | #Constraints: 28274
380.19/381.20 c #Conflicts: 259000 | #Constraints: 29274
380.19/381.20 c #Conflicts: 260000 | #Constraints: 30274
380.19/381.20 c #Conflicts: 261000 | #Constraints: 31274
380.19/381.20 c #Conflicts: 262000 | #Constraints: 32274
380.19/381.20 c #Conflicts: 263000 | #Constraints: 33274
380.19/381.20 c #Conflicts: 264000 | #Constraints: 34274
380.19/381.20 c #Conflicts: 265000 | #Constraints: 35274
380.19/381.20 c #Conflicts: 266000 | #Constraints: 36274
380.19/381.20 c INPROCESSING
380.19/381.20 c GARBAGE COLLECT
380.19/381.20 c #Conflicts: 267000 | #Constraints: 22684
380.19/381.20 c #Conflicts: 268000 | #Constraints: 23684
380.19/381.20 c #Conflicts: 269000 | #Constraints: 24684
380.19/381.20 c #Conflicts: 270000 | #Constraints: 25684
380.19/381.20 c #Conflicts: 271000 | #Constraints: 26684
380.19/381.20 c #Conflicts: 272000 | #Constraints: 27684
380.19/381.20 c #Conflicts: 273000 | #Constraints: 28684
380.19/381.20 c #Conflicts: 274000 | #Constraints: 29684
380.19/381.20 c #Conflicts: 275000 | #Constraints: 30684
380.19/381.20 c #Conflicts: 276000 | #Constraints: 31684
380.19/381.20 c #Conflicts: 277000 | #Constraints: 32684
380.19/381.20 c #Conflicts: 278000 | #Constraints: 33684
380.19/381.20 c INPROCESSING
380.19/381.20 c GARBAGE COLLECT
380.19/381.20 c #Conflicts: 279000 | #Constraints: 21441
380.19/381.20 c #Conflicts: 280000 | #Constraints: 22441
380.19/381.20 c #Conflicts: 281000 | #Constraints: 23441
380.19/381.20 c #Conflicts: 282000 | #Constraints: 24441
380.19/381.20 c #Conflicts: 283000 | #Constraints: 25441
380.19/381.20 c #Conflicts: 284000 | #Constraints: 26441
380.19/381.20 c #Conflicts: 285000 | #Constraints: 27441
380.19/381.20 c #Conflicts: 286000 | #Constraints: 28441
380.19/381.20 c #Conflicts: 287000 | #Constraints: 29441
380.19/381.20 c #Conflicts: 288000 | #Constraints: 30441
380.19/381.20 c #Conflicts: 289000 | #Constraints: 31441
380.19/381.20 c #Conflicts: 290000 | #Constraints: 32441
380.19/381.20 c #Conflicts: 291000 | #Constraints: 33441
380.19/381.20 c #Conflicts: 292000 | #Constraints: 34441
380.19/381.20 c #Conflicts: 293000 | #Constraints: 35441
380.19/381.20 c #Conflicts: 294000 | #Constraints: 36441
380.19/381.20 c #Conflicts: 295000 | #Constraints: 37441
380.19/381.20 c #Conflicts: 296000 | #Constraints: 38441
380.19/381.20 c #Conflicts: 297000 | #Constraints: 39441
380.19/381.20 c #Conflicts: 298000 | #Constraints: 40441
380.19/381.20 c #Conflicts: 299000 | #Constraints: 41441
380.19/381.20 c #Conflicts: 300000 | #Constraints: 42441
380.19/381.20 c #Conflicts: 301000 | #Constraints: 43441
380.19/381.20 c #Conflicts: 302000 | #Constraints: 44441
380.19/381.20 c #Conflicts: 303000 | #Constraints: 45441
380.19/381.20 c #Conflicts: 304000 | #Constraints: 46441
380.19/381.20 c #Conflicts: 305000 | #Constraints: 47441
380.19/381.20 c #Conflicts: 306000 | #Constraints: 48441
380.19/381.20 c #Conflicts: 307000 | #Constraints: 49441
380.19/381.20 c #Conflicts: 308000 | #Constraints: 50441
380.19/381.20 c #Conflicts: 309000 | #Constraints: 51442
380.19/381.20 c #Conflicts: 310000 | #Constraints: 52442
380.19/381.20 c #Conflicts: 311000 | #Constraints: 53442
380.19/381.20 c #Conflicts: 312000 | #Constraints: 54442
380.19/381.20 c #Conflicts: 313000 | #Constraints: 55442
380.19/381.20 c #Conflicts: 314000 | #Constraints: 56442
380.19/381.20 c #Conflicts: 315000 | #Constraints: 57442
380.19/381.20 c #Conflicts: 316000 | #Constraints: 58442
380.19/381.20 c #Conflicts: 317000 | #Constraints: 59442
380.19/381.20 c #Conflicts: 318000 | #Constraints: 60442
380.19/381.20 c #Conflicts: 319000 | #Constraints: 61442
380.19/381.20 c #Conflicts: 320000 | #Constraints: 62442
380.19/381.20 c INPROCESSING
380.19/381.20 c GARBAGE COLLECT
380.19/381.20 c #Conflicts: 321000 | #Constraints: 36101
380.19/381.20 c #Conflicts: 322000 | #Constraints: 37101
380.19/381.20 c #Conflicts: 323000 | #Constraints: 38101
380.19/381.20 c #Conflicts: 324000 | #Constraints: 39101
380.19/381.20 c #Conflicts: 325000 | #Constraints: 40101
380.19/381.20 c #Conflicts: 326000 | #Constraints: 41101
380.19/381.20 c #Conflicts: 327000 | #Constraints: 42101
380.19/381.20 c #Conflicts: 328000 | #Constraints: 43101
380.19/381.20 c #Conflicts: 329000 | #Constraints: 44101
380.19/381.20 c #Conflicts: 330000 | #Constraints: 45101
481.73/483.08 c #Conflicts: 331000 | #Constraints: 46101
481.73/483.08 c #Conflicts: 332000 | #Constraints: 47101
481.73/483.08 c #Conflicts: 333000 | #Constraints: 48101
481.73/483.08 c INPROCESSING
481.73/483.08 c GARBAGE COLLECT
481.73/483.08 c #Conflicts: 334000 | #Constraints: 28833
481.73/483.08 c #Conflicts: 335000 | #Constraints: 29833
481.73/483.08 c #Conflicts: 336000 | #Constraints: 30833
481.73/483.08 c #Conflicts: 337000 | #Constraints: 31833
481.73/483.08 c #Conflicts: 338000 | #Constraints: 32833
481.73/483.08 c #Conflicts: 339000 | #Constraints: 33833
481.73/483.08 c #Conflicts: 340000 | #Constraints: 34833
481.73/483.08 c #Conflicts: 341000 | #Constraints: 35833
481.73/483.08 c #Conflicts: 342000 | #Constraints: 36833
481.73/483.08 c #Conflicts: 343000 | #Constraints: 37833
481.73/483.08 c #Conflicts: 344000 | #Constraints: 38833
481.73/483.08 c #Conflicts: 345000 | #Constraints: 39833
481.73/483.08 c #Conflicts: 346000 | #Constraints: 40833
481.73/483.08 c INPROCESSING
481.73/483.08 c GARBAGE COLLECT
481.73/483.08 c #Conflicts: 347000 | #Constraints: 24997
481.73/483.08 c #Conflicts: 348000 | #Constraints: 25997
481.73/483.08 c #Conflicts: 349000 | #Constraints: 26997
481.73/483.08 c #Conflicts: 350000 | #Constraints: 27997
481.73/483.08 c #Conflicts: 351000 | #Constraints: 28997
481.73/483.08 c #Conflicts: 352000 | #Constraints: 29997
481.73/483.08 c #Conflicts: 353000 | #Constraints: 30997
481.73/483.08 c #Conflicts: 354000 | #Constraints: 31997
481.73/483.08 c #Conflicts: 355000 | #Constraints: 32997
481.73/483.08 c #Conflicts: 356000 | #Constraints: 33997
481.73/483.08 c #Conflicts: 357000 | #Constraints: 34997
481.73/483.08 c #Conflicts: 358000 | #Constraints: 35997
481.73/483.08 c #Conflicts: 359000 | #Constraints: 36997
481.73/483.08 c #Conflicts: 360000 | #Constraints: 37997
481.73/483.08 c INPROCESSING
481.73/483.08 c GARBAGE COLLECT
481.73/483.08 c #Conflicts: 361000 | #Constraints: 23899
481.73/483.08 c #Conflicts: 362000 | #Constraints: 24899
481.73/483.08 c #Conflicts: 363000 | #Constraints: 25899
481.73/483.08 c #Conflicts: 364000 | #Constraints: 26899
481.73/483.08 c #Conflicts: 365000 | #Constraints: 27899
481.73/483.08 c #Conflicts: 366000 | #Constraints: 28899
481.73/483.08 c #Conflicts: 367000 | #Constraints: 29899
481.73/483.08 c #Conflicts: 368000 | #Constraints: 30899
481.73/483.08 c #Conflicts: 369000 | #Constraints: 31899
481.73/483.08 c #Conflicts: 370000 | #Constraints: 32899
481.73/483.08 c #Conflicts: 371000 | #Constraints: 33899
481.73/483.08 c #Conflicts: 372000 | #Constraints: 34899
481.73/483.08 c #Conflicts: 373000 | #Constraints: 35899
481.73/483.08 c #Conflicts: 374000 | #Constraints: 36899
481.73/483.08 c #Conflicts: 375000 | #Constraints: 37899
481.73/483.08 c #Conflicts: 376000 | #Constraints: 38899
481.73/483.08 c #Conflicts: 377000 | #Constraints: 39899
481.73/483.08 c #Conflicts: 378000 | #Constraints: 40899
481.73/483.08 c #Conflicts: 379000 | #Constraints: 41899
481.73/483.08 c #Conflicts: 380000 | #Constraints: 42899
481.73/483.08 c #Conflicts: 381000 | #Constraints: 43899
481.73/483.08 c #Conflicts: 382000 | #Constraints: 44899
481.73/483.08 c #Conflicts: 383000 | #Constraints: 45899
481.73/483.08 c #Conflicts: 384000 | #Constraints: 46899
481.73/483.08 c #Conflicts: 385000 | #Constraints: 47899
481.73/483.08 c #Conflicts: 386000 | #Constraints: 48899
481.73/483.08 c #Conflicts: 387000 | #Constraints: 49899
481.73/483.08 c #Conflicts: 388000 | #Constraints: 50899
481.73/483.08 c #Conflicts: 389000 | #Constraints: 51899
481.73/483.08 c #Conflicts: 390000 | #Constraints: 52899
481.73/483.08 c #Conflicts: 391000 | #Constraints: 53899
481.73/483.08 c #Conflicts: 392000 | #Constraints: 54899
481.73/483.08 c #Conflicts: 393000 | #Constraints: 55899
481.73/483.08 c #Conflicts: 394000 | #Constraints: 56899
481.73/483.08 c #Conflicts: 395000 | #Constraints: 57899
481.73/483.08 c #Conflicts: 396000 | #Constraints: 58899
481.73/483.08 c #Conflicts: 397000 | #Constraints: 59899
481.73/483.08 c #Conflicts: 398000 | #Constraints: 60899
481.73/483.08 c #Conflicts: 399000 | #Constraints: 61899
481.73/483.08 c #Conflicts: 400000 | #Constraints: 62899
481.73/483.08 c #Conflicts: 401000 | #Constraints: 63899
481.73/483.08 c #Conflicts: 402000 | #Constraints: 64899
481.73/483.08 c #Conflicts: 403000 | #Constraints: 65899
481.73/483.08 c #Conflicts: 404000 | #Constraints: 66899
481.73/483.08 c #Conflicts: 405000 | #Constraints: 67899
481.73/483.08 c #Conflicts: 406000 | #Constraints: 68899
481.73/483.08 c #Conflicts: 407000 | #Constraints: 69899
606.41/608.10 c INPROCESSING
606.41/608.10 c GARBAGE COLLECT
606.41/608.10 c #Conflicts: 408000 | #Constraints: 39805
606.41/608.10 c #Conflicts: 409000 | #Constraints: 40805
606.41/608.10 c #Conflicts: 410000 | #Constraints: 41805
606.41/608.10 c #Conflicts: 411000 | #Constraints: 42805
606.41/608.10 c #Conflicts: 412000 | #Constraints: 43805
606.41/608.10 c #Conflicts: 413000 | #Constraints: 44805
606.41/608.10 c #Conflicts: 414000 | #Constraints: 45805
606.41/608.10 c #Conflicts: 415000 | #Constraints: 46805
606.41/608.10 c #Conflicts: 416000 | #Constraints: 47805
606.41/608.10 c #Conflicts: 417000 | #Constraints: 48805
606.41/608.10 c #Conflicts: 418000 | #Constraints: 49805
606.41/608.10 c #Conflicts: 419000 | #Constraints: 50805
606.41/608.10 c #Conflicts: 420000 | #Constraints: 51805
606.41/608.10 c #Conflicts: 421000 | #Constraints: 52805
606.41/608.10 c INPROCESSING
606.41/608.10 c GARBAGE COLLECT
606.41/608.10 c #Conflicts: 422000 | #Constraints: 30880
606.41/608.10 c #Conflicts: 423000 | #Constraints: 31880
606.41/608.10 c #Conflicts: 424000 | #Constraints: 32880
606.41/608.10 c #Conflicts: 425000 | #Constraints: 33880
606.41/608.10 c #Conflicts: 426000 | #Constraints: 34880
606.41/608.10 c #Conflicts: 427000 | #Constraints: 35880
606.41/608.10 c #Conflicts: 428000 | #Constraints: 36880
606.41/608.10 c #Conflicts: 429000 | #Constraints: 37880
606.41/608.10 c #Conflicts: 430000 | #Constraints: 38880
606.41/608.10 c #Conflicts: 431000 | #Constraints: 39880
606.41/608.10 c #Conflicts: 432000 | #Constraints: 40880
606.41/608.10 c #Conflicts: 433000 | #Constraints: 41880
606.41/608.10 c #Conflicts: 434000 | #Constraints: 42880
606.41/608.10 c #Conflicts: 435000 | #Constraints: 43880
606.41/608.10 c #Conflicts: 436000 | #Constraints: 44880
606.41/608.10 c INPROCESSING
606.41/608.10 c GARBAGE COLLECT
606.41/608.10 c #Conflicts: 437000 | #Constraints: 26945
606.41/608.10 c #Conflicts: 438000 | #Constraints: 27945
606.41/608.10 c #Conflicts: 439000 | #Constraints: 28945
606.41/608.10 c #Conflicts: 440000 | #Constraints: 29945
606.41/608.10 c #Conflicts: 441000 | #Constraints: 30945
606.41/608.10 c #Conflicts: 442000 | #Constraints: 31945
606.41/608.10 c #Conflicts: 443000 | #Constraints: 32945
606.41/608.10 c #Conflicts: 444000 | #Constraints: 33945
606.41/608.10 c #Conflicts: 445000 | #Constraints: 34945
606.41/608.10 c #Conflicts: 446000 | #Constraints: 35945
606.41/608.10 c #Conflicts: 447000 | #Constraints: 36945
606.41/608.10 c #Conflicts: 448000 | #Constraints: 37945
606.41/608.10 c #Conflicts: 449000 | #Constraints: 38945
606.41/608.10 c #Conflicts: 450000 | #Constraints: 39945
606.41/608.10 c #Conflicts: 451000 | #Constraints: 40945
606.41/608.10 c #Conflicts: 452000 | #Constraints: 41945
606.41/608.10 c INPROCESSING
606.41/608.10 c GARBAGE COLLECT
606.41/608.10 c #Conflicts: 453000 | #Constraints: 25904
606.41/608.10 c #Conflicts: 454000 | #Constraints: 26904
606.41/608.10 c #Conflicts: 455000 | #Constraints: 27904
606.41/608.10 c #Conflicts: 456000 | #Constraints: 28904
606.41/608.10 c #Conflicts: 457000 | #Constraints: 29904
606.41/608.10 c #Conflicts: 458000 | #Constraints: 30904
606.41/608.10 c #Conflicts: 459000 | #Constraints: 31904
606.41/608.10 c #Conflicts: 460000 | #Constraints: 32904
606.41/608.10 c #Conflicts: 461000 | #Constraints: 33904
606.41/608.10 c #Conflicts: 462000 | #Constraints: 34904
606.41/608.10 c #Conflicts: 463000 | #Constraints: 35904
606.41/608.10 c #Conflicts: 464000 | #Constraints: 36904
606.41/608.10 c #Conflicts: 465000 | #Constraints: 37904
606.41/608.10 c #Conflicts: 466000 | #Constraints: 38904
606.41/608.10 c #Conflicts: 467000 | #Constraints: 39904
606.41/608.10 c #Conflicts: 468000 | #Constraints: 40904
606.41/608.10 c #Conflicts: 469000 | #Constraints: 41904
606.41/608.10 c #Conflicts: 470000 | #Constraints: 42904
606.41/608.10 c #Conflicts: 471000 | #Constraints: 43904
606.41/608.10 c #Conflicts: 472000 | #Constraints: 44904
606.41/608.10 c #Conflicts: 473000 | #Constraints: 45904
606.41/608.10 c #Conflicts: 474000 | #Constraints: 46904
606.41/608.10 c #Conflicts: 475000 | #Constraints: 47904
606.41/608.10 c #Conflicts: 476000 | #Constraints: 48904
606.41/608.10 c #Conflicts: 477000 | #Constraints: 49904
606.41/608.10 c #Conflicts: 478000 | #Constraints: 50904
606.41/608.10 c #Conflicts: 479000 | #Constraints: 51904
606.41/608.10 c #Conflicts: 480000 | #Constraints: 52904
606.41/608.10 c #Conflicts: 481000 | #Constraints: 53904
606.41/608.10 c #Conflicts: 482000 | #Constraints: 54904
606.41/608.10 c #Conflicts: 483000 | #Constraints: 55904
725.79/727.72 c #Conflicts: 484000 | #Constraints: 56904
725.79/727.72 c #Conflicts: 485000 | #Constraints: 57904
725.79/727.72 c #Conflicts: 486000 | #Constraints: 58904
725.79/727.72 c #Conflicts: 487000 | #Constraints: 59904
725.79/727.72 c #Conflicts: 488000 | #Constraints: 60904
725.79/727.72 c #Conflicts: 489000 | #Constraints: 61904
725.79/727.72 c #Conflicts: 490000 | #Constraints: 62904
725.79/727.72 c #Conflicts: 491000 | #Constraints: 63904
725.79/727.72 c #Conflicts: 492000 | #Constraints: 64904
725.79/727.72 c #Conflicts: 493000 | #Constraints: 65904
725.79/727.72 c #Conflicts: 494000 | #Constraints: 66904
725.79/727.72 c #Conflicts: 495000 | #Constraints: 67904
725.79/727.72 c #Conflicts: 496000 | #Constraints: 68904
725.79/727.72 c #Conflicts: 497000 | #Constraints: 69904
725.79/727.72 c #Conflicts: 498000 | #Constraints: 70904
725.79/727.72 c #Conflicts: 499000 | #Constraints: 71904
725.79/727.72 c #Conflicts: 500000 | #Constraints: 72904
725.79/727.72 c #Conflicts: 501000 | #Constraints: 73904
725.79/727.72 c #Conflicts: 502000 | #Constraints: 74904
725.79/727.72 c #Conflicts: 503000 | #Constraints: 75904
725.79/727.72 c #Conflicts: 504000 | #Constraints: 76904
725.79/727.72 c INPROCESSING
725.79/727.72 c GARBAGE COLLECT
725.79/727.72 c #Conflicts: 505000 | #Constraints: 43249
725.79/727.72 c #Conflicts: 506000 | #Constraints: 44249
725.79/727.72 c #Conflicts: 507000 | #Constraints: 45249
725.79/727.72 c #Conflicts: 508000 | #Constraints: 46249
725.79/727.72 c #Conflicts: 509000 | #Constraints: 47249
725.79/727.72 c #Conflicts: 510000 | #Constraints: 48249
725.79/727.72 c #Conflicts: 511000 | #Constraints: 49249
725.79/727.72 c #Conflicts: 512000 | #Constraints: 50249
725.79/727.72 c #Conflicts: 513000 | #Constraints: 51249
725.79/727.72 c #Conflicts: 514000 | #Constraints: 52250
725.79/727.72 c #Conflicts: 515000 | #Constraints: 53250
725.79/727.72 c #Conflicts: 516000 | #Constraints: 54250
725.79/727.72 c #Conflicts: 517000 | #Constraints: 55250
725.79/727.72 c #Conflicts: 518000 | #Constraints: 56250
725.79/727.72 c #Conflicts: 519000 | #Constraints: 57250
725.79/727.72 c #Conflicts: 520000 | #Constraints: 58250
725.79/727.72 c INPROCESSING
725.79/727.72 c GARBAGE COLLECT
725.79/727.72 c #Conflicts: 521000 | #Constraints: 33540
725.79/727.72 c #Conflicts: 522000 | #Constraints: 34540
725.79/727.72 c #Conflicts: 523000 | #Constraints: 35540
725.79/727.72 c #Conflicts: 524000 | #Constraints: 36540
725.79/727.72 c #Conflicts: 525000 | #Constraints: 37540
725.79/727.72 c #Conflicts: 526000 | #Constraints: 38540
725.79/727.72 c #Conflicts: 527000 | #Constraints: 39540
725.79/727.72 c #Conflicts: 528000 | #Constraints: 40540
725.79/727.72 c #Conflicts: 529000 | #Constraints: 41540
725.79/727.72 c #Conflicts: 530000 | #Constraints: 42540
725.79/727.72 c #Conflicts: 531000 | #Constraints: 43540
725.79/727.72 c #Conflicts: 532000 | #Constraints: 44540
725.79/727.72 c #Conflicts: 533000 | #Constraints: 45540
725.79/727.72 c #Conflicts: 534000 | #Constraints: 46540
725.79/727.72 c #Conflicts: 535000 | #Constraints: 47540
725.79/727.72 c #Conflicts: 536000 | #Constraints: 48540
725.79/727.72 c #Conflicts: 537000 | #Constraints: 49540
725.79/727.72 c INPROCESSING
725.79/727.72 c GARBAGE COLLECT
725.79/727.72 c #Conflicts: 538000 | #Constraints: 29449
725.79/727.72 c #Conflicts: 539000 | #Constraints: 30449
725.79/727.72 c #Conflicts: 540000 | #Constraints: 31449
725.79/727.72 c #Conflicts: 541000 | #Constraints: 32449
725.79/727.72 c #Conflicts: 542000 | #Constraints: 33449
725.79/727.72 c #Conflicts: 543000 | #Constraints: 34449
725.79/727.72 c #Conflicts: 544000 | #Constraints: 35449
725.79/727.72 c #Conflicts: 545000 | #Constraints: 36449
725.79/727.72 c #Conflicts: 546000 | #Constraints: 37449
725.79/727.72 c #Conflicts: 547000 | #Constraints: 38449
725.79/727.72 c #Conflicts: 548000 | #Constraints: 39449
725.79/727.72 c #Conflicts: 549000 | #Constraints: 40449
725.79/727.72 c #Conflicts: 550000 | #Constraints: 41449
725.79/727.72 c #Conflicts: 551000 | #Constraints: 42449
725.79/727.72 c #Conflicts: 552000 | #Constraints: 43449
725.79/727.72 c #Conflicts: 553000 | #Constraints: 44449
725.79/727.72 c #Conflicts: 554000 | #Constraints: 45449
725.79/727.72 c INPROCESSING
725.79/727.72 c GARBAGE COLLECT
725.79/727.72 c #Conflicts: 555000 | #Constraints: 27441
725.79/727.72 c #Conflicts: 556000 | #Constraints: 28441
725.79/727.72 c #Conflicts: 557000 | #Constraints: 29441
725.79/727.72 c #Conflicts: 558000 | #Constraints: 30441
725.79/727.72 c #Conflicts: 559000 | #Constraints: 31441
867.13/869.43 c #Conflicts: 560000 | #Constraints: 32441
867.13/869.43 c #Conflicts: 561000 | #Constraints: 33441
867.13/869.43 c #Conflicts: 562000 | #Constraints: 34441
867.13/869.43 c #Conflicts: 563000 | #Constraints: 35441
867.13/869.43 c #Conflicts: 564000 | #Constraints: 36441
867.13/869.43 c #Conflicts: 565000 | #Constraints: 37441
867.13/869.43 c #Conflicts: 566000 | #Constraints: 38441
867.13/869.43 c #Conflicts: 567000 | #Constraints: 39441
867.13/869.43 c #Conflicts: 568000 | #Constraints: 40441
867.13/869.43 c #Conflicts: 569000 | #Constraints: 41441
867.13/869.43 c #Conflicts: 570000 | #Constraints: 42441
867.13/869.43 c #Conflicts: 571000 | #Constraints: 43441
867.13/869.43 c INPROCESSING
867.13/869.43 c GARBAGE COLLECT
867.13/869.43 c #Conflicts: 572000 | #Constraints: 26412
867.13/869.43 c #Conflicts: 573000 | #Constraints: 27412
867.13/869.43 c #Conflicts: 574000 | #Constraints: 28412
867.13/869.43 c #Conflicts: 575000 | #Constraints: 29412
867.13/869.43 c #Conflicts: 576000 | #Constraints: 30412
867.13/869.43 c #Conflicts: 577000 | #Constraints: 31412
867.13/869.43 c #Conflicts: 578000 | #Constraints: 32412
867.13/869.43 c #Conflicts: 579000 | #Constraints: 33412
867.13/869.43 c #Conflicts: 580000 | #Constraints: 34412
867.13/869.43 c #Conflicts: 581000 | #Constraints: 35412
867.13/869.43 c #Conflicts: 582000 | #Constraints: 36412
867.13/869.43 c #Conflicts: 583000 | #Constraints: 37412
867.13/869.43 c #Conflicts: 584000 | #Constraints: 38412
867.13/869.43 c #Conflicts: 585000 | #Constraints: 39412
867.13/869.43 c #Conflicts: 586000 | #Constraints: 40412
867.13/869.43 c #Conflicts: 587000 | #Constraints: 41412
867.13/869.43 c #Conflicts: 588000 | #Constraints: 42412
867.13/869.43 c #Conflicts: 589000 | #Constraints: 43412
867.13/869.43 c #Conflicts: 590000 | #Constraints: 44412
867.13/869.43 c #Conflicts: 591000 | #Constraints: 45412
867.13/869.43 c #Conflicts: 592000 | #Constraints: 46412
867.13/869.43 c #Conflicts: 593000 | #Constraints: 47412
867.13/869.43 c #Conflicts: 594000 | #Constraints: 48412
867.13/869.43 c #Conflicts: 595000 | #Constraints: 49412
867.13/869.43 c #Conflicts: 596000 | #Constraints: 50412
867.13/869.43 c #Conflicts: 597000 | #Constraints: 51412
867.13/869.43 c #Conflicts: 598000 | #Constraints: 52412
867.13/869.43 c #Conflicts: 599000 | #Constraints: 53412
867.13/869.43 c #Conflicts: 600000 | #Constraints: 54412
867.13/869.43 c #Conflicts: 601000 | #Constraints: 55412
867.13/869.43 c #Conflicts: 602000 | #Constraints: 56412
867.13/869.43 c #Conflicts: 603000 | #Constraints: 57412
867.13/869.43 c #Conflicts: 604000 | #Constraints: 58412
867.13/869.43 c #Conflicts: 605000 | #Constraints: 59412
867.13/869.43 c #Conflicts: 606000 | #Constraints: 60412
867.13/869.43 c #Conflicts: 607000 | #Constraints: 61412
867.13/869.43 c #Conflicts: 608000 | #Constraints: 62412
867.13/869.43 c #Conflicts: 609000 | #Constraints: 63412
867.13/869.43 c #Conflicts: 610000 | #Constraints: 64412
867.13/869.43 c #Conflicts: 611000 | #Constraints: 65412
867.13/869.43 c #Conflicts: 612000 | #Constraints: 66412
867.13/869.43 c #Conflicts: 613000 | #Constraints: 67412
867.13/869.43 c #Conflicts: 614000 | #Constraints: 68412
867.13/869.43 c #Conflicts: 615000 | #Constraints: 69412
867.13/869.43 c #Conflicts: 616000 | #Constraints: 70412
867.13/869.43 c #Conflicts: 617000 | #Constraints: 71412
867.13/869.43 c #Conflicts: 618000 | #Constraints: 72412
867.13/869.43 c #Conflicts: 619000 | #Constraints: 73412
867.13/869.43 c #Conflicts: 620000 | #Constraints: 74412
867.13/869.43 c #Conflicts: 621000 | #Constraints: 75412
867.13/869.43 c #Conflicts: 622000 | #Constraints: 76412
867.13/869.43 c #Conflicts: 623000 | #Constraints: 77412
867.13/869.43 c #Conflicts: 624000 | #Constraints: 78412
867.13/869.43 c #Conflicts: 625000 | #Constraints: 79412
867.13/869.43 c #Conflicts: 626000 | #Constraints: 80412
867.13/869.43 c #Conflicts: 627000 | #Constraints: 81412
867.13/869.43 c #Conflicts: 628000 | #Constraints: 82412
867.13/869.43 c #Conflicts: 629000 | #Constraints: 83412
867.13/869.43 c #Conflicts: 630000 | #Constraints: 84412
867.13/869.43 c INPROCESSING
867.13/869.43 c GARBAGE COLLECT
867.13/869.43 c #Conflicts: 631000 | #Constraints: 47046
867.13/869.43 c #Conflicts: 632000 | #Constraints: 48046
867.13/869.43 c #Conflicts: 633000 | #Constraints: 49046
867.13/869.43 c #Conflicts: 634000 | #Constraints: 50046
867.13/869.43 c #Conflicts: 635000 | #Constraints: 51047
867.13/869.43 c #Conflicts: 636000 | #Constraints: 52047
867.13/869.43 c #Conflicts: 637000 | #Constraints: 53047
981.84/984.42 c #Conflicts: 638000 | #Constraints: 54047
981.84/984.42 c #Conflicts: 639000 | #Constraints: 55047
981.84/984.42 c #Conflicts: 640000 | #Constraints: 56047
981.84/984.42 c #Conflicts: 641000 | #Constraints: 57047
981.84/984.42 c #Conflicts: 642000 | #Constraints: 58048
981.84/984.42 c #Conflicts: 643000 | #Constraints: 59048
981.84/984.42 c #Conflicts: 644000 | #Constraints: 60049
981.84/984.42 c #Conflicts: 645000 | #Constraints: 61049
981.84/984.42 c #Conflicts: 646000 | #Constraints: 62049
981.84/984.42 c #Conflicts: 647000 | #Constraints: 63049
981.84/984.42 c #Conflicts: 648000 | #Constraints: 64049
981.84/984.42 c INPROCESSING
981.84/984.42 c GARBAGE COLLECT
981.84/984.42 c #Conflicts: 649000 | #Constraints: 36710
981.84/984.42 c #Conflicts: 650000 | #Constraints: 37710
981.84/984.42 c #Conflicts: 651000 | #Constraints: 38710
981.84/984.42 c #Conflicts: 652000 | #Constraints: 39710
981.84/984.42 c #Conflicts: 653000 | #Constraints: 40710
981.84/984.42 c #Conflicts: 654000 | #Constraints: 41710
981.84/984.42 c #Conflicts: 655000 | #Constraints: 42711
981.84/984.42 c #Conflicts: 656000 | #Constraints: 43711
981.84/984.42 c #Conflicts: 657000 | #Constraints: 44711
981.84/984.42 c #Conflicts: 658000 | #Constraints: 45712
981.84/984.42 c #Conflicts: 659000 | #Constraints: 46712
981.84/984.42 c #Conflicts: 660000 | #Constraints: 47712
981.84/984.42 c #Conflicts: 661000 | #Constraints: 48713
981.84/984.42 c #Conflicts: 662000 | #Constraints: 49713
981.84/984.42 c #Conflicts: 663000 | #Constraints: 50713
981.84/984.42 c #Conflicts: 664000 | #Constraints: 51713
981.84/984.42 c #Conflicts: 665000 | #Constraints: 52713
981.84/984.42 c #Conflicts: 666000 | #Constraints: 53714
981.84/984.42 c #Conflicts: 667000 | #Constraints: 54714
981.84/984.42 c INPROCESSING
981.84/984.42 c GARBAGE COLLECT
981.84/984.42 c #Conflicts: 668000 | #Constraints: 32137
981.84/984.42 c #Conflicts: 669000 | #Constraints: 33137
981.84/984.42 c #Conflicts: 670000 | #Constraints: 34137
981.84/984.42 c #Conflicts: 671000 | #Constraints: 35137
981.84/984.42 c #Conflicts: 672000 | #Constraints: 36137
981.84/984.42 c #Conflicts: 673000 | #Constraints: 37137
981.84/984.42 c #Conflicts: 674000 | #Constraints: 38137
981.84/984.42 c #Conflicts: 675000 | #Constraints: 39137
981.84/984.42 c #Conflicts: 676000 | #Constraints: 40137
981.84/984.42 c #Conflicts: 677000 | #Constraints: 41137
981.84/984.42 c #Conflicts: 678000 | #Constraints: 42137
981.84/984.42 c #Conflicts: 679000 | #Constraints: 43137
981.84/984.42 c #Conflicts: 680000 | #Constraints: 44137
981.84/984.42 c #Conflicts: 681000 | #Constraints: 45137
981.84/984.42 c #Conflicts: 682000 | #Constraints: 46137
981.84/984.42 c #Conflicts: 683000 | #Constraints: 47137
981.84/984.42 c #Conflicts: 684000 | #Constraints: 48137
981.84/984.42 c #Conflicts: 685000 | #Constraints: 49137
981.84/984.42 c #Conflicts: 686000 | #Constraints: 50137
981.84/984.42 c INPROCESSING
981.84/984.42 c GARBAGE COLLECT
981.84/984.42 c #Conflicts: 687000 | #Constraints: 29969
981.84/984.42 c #Conflicts: 688000 | #Constraints: 30969
981.84/984.42 c #Conflicts: 689000 | #Constraints: 31969
981.84/984.42 c #Conflicts: 690000 | #Constraints: 32969
981.84/984.42 c #Conflicts: 691000 | #Constraints: 33970
981.84/984.42 c #Conflicts: 692000 | #Constraints: 34970
981.84/984.42 c #Conflicts: 693000 | #Constraints: 35970
981.84/984.42 c #Conflicts: 694000 | #Constraints: 36970
981.84/984.42 c #Conflicts: 695000 | #Constraints: 37970
981.84/984.42 c #Conflicts: 696000 | #Constraints: 38970
981.84/984.42 c #Conflicts: 697000 | #Constraints: 39970
981.84/984.42 c #Conflicts: 698000 | #Constraints: 40970
981.84/984.42 c #Conflicts: 699000 | #Constraints: 41970
981.84/984.42 c #Conflicts: 700000 | #Constraints: 42970
981.84/984.42 c #Conflicts: 701000 | #Constraints: 43970
981.84/984.42 c #Conflicts: 702000 | #Constraints: 44970
981.84/984.42 c #Conflicts: 703000 | #Constraints: 45970
981.84/984.42 c #Conflicts: 704000 | #Constraints: 46970
981.84/984.42 c #Conflicts: 705000 | #Constraints: 47970
981.84/984.42 c INPROCESSING
981.84/984.42 c GARBAGE COLLECT
981.84/984.42 c #Conflicts: 706000 | #Constraints: 28967
981.84/984.42 c #Conflicts: 707000 | #Constraints: 29967
981.84/984.42 c #Conflicts: 708000 | #Constraints: 30967
981.84/984.42 c #Conflicts: 709000 | #Constraints: 31967
981.84/984.42 c #Conflicts: 710000 | #Constraints: 32967
981.84/984.42 c #Conflicts: 711000 | #Constraints: 33967
981.84/984.42 c #Conflicts: 712000 | #Constraints: 34967
981.84/984.42 c #Conflicts: 713000 | #Constraints: 35967
1152.68/1155.78 c #Conflicts: 714000 | #Constraints: 36967
1152.68/1155.78 c #Conflicts: 715000 | #Constraints: 37967
1152.68/1155.78 c #Conflicts: 716000 | #Constraints: 38967
1152.68/1155.78 c #Conflicts: 717000 | #Constraints: 39967
1152.68/1155.78 c #Conflicts: 718000 | #Constraints: 40967
1152.68/1155.78 c #Conflicts: 719000 | #Constraints: 41968
1152.68/1155.78 c #Conflicts: 720000 | #Constraints: 42968
1152.68/1155.78 c #Conflicts: 721000 | #Constraints: 43968
1152.68/1155.78 c #Conflicts: 722000 | #Constraints: 44968
1152.68/1155.78 c #Conflicts: 723000 | #Constraints: 45968
1152.68/1155.78 c #Conflicts: 724000 | #Constraints: 46968
1152.68/1155.78 c #Conflicts: 725000 | #Constraints: 47968
1152.68/1155.78 c #Conflicts: 726000 | #Constraints: 48968
1152.68/1155.78 c #Conflicts: 727000 | #Constraints: 49968
1152.68/1155.78 c #Conflicts: 728000 | #Constraints: 50968
1152.68/1155.78 c #Conflicts: 729000 | #Constraints: 51968
1152.68/1155.78 c #Conflicts: 730000 | #Constraints: 52968
1152.68/1155.78 c #Conflicts: 731000 | #Constraints: 53968
1152.68/1155.78 c #Conflicts: 732000 | #Constraints: 54968
1152.68/1155.78 c #Conflicts: 733000 | #Constraints: 55968
1152.68/1155.78 c #Conflicts: 734000 | #Constraints: 56968
1152.68/1155.78 c #Conflicts: 735000 | #Constraints: 57968
1152.68/1155.78 c #Conflicts: 736000 | #Constraints: 58968
1152.68/1155.78 c #Conflicts: 737000 | #Constraints: 59968
1152.68/1155.78 c #Conflicts: 738000 | #Constraints: 60968
1152.68/1155.78 c #Conflicts: 739000 | #Constraints: 61968
1152.68/1155.78 c #Conflicts: 740000 | #Constraints: 62968
1152.68/1155.78 c #Conflicts: 741000 | #Constraints: 63968
1152.68/1155.78 c #Conflicts: 742000 | #Constraints: 64968
1152.68/1155.78 c #Conflicts: 743000 | #Constraints: 65968
1152.68/1155.78 c #Conflicts: 744000 | #Constraints: 66968
1152.68/1155.78 c #Conflicts: 745000 | #Constraints: 67968
1152.68/1155.78 c #Conflicts: 746000 | #Constraints: 68968
1152.68/1155.78 c #Conflicts: 747000 | #Constraints: 69968
1152.68/1155.78 c #Conflicts: 748000 | #Constraints: 70968
1152.68/1155.78 c #Conflicts: 749000 | #Constraints: 71968
1152.68/1155.78 c #Conflicts: 750000 | #Constraints: 72968
1152.68/1155.78 c #Conflicts: 751000 | #Constraints: 73968
1152.68/1155.78 c #Conflicts: 752000 | #Constraints: 74968
1152.68/1155.78 c #Conflicts: 753000 | #Constraints: 75968
1152.68/1155.78 c #Conflicts: 754000 | #Constraints: 76968
1152.68/1155.78 c #Conflicts: 755000 | #Constraints: 77968
1152.68/1155.78 c #Conflicts: 756000 | #Constraints: 78968
1152.68/1155.78 c #Conflicts: 757000 | #Constraints: 79968
1152.68/1155.78 c #Conflicts: 758000 | #Constraints: 80968
1152.68/1155.78 c #Conflicts: 759000 | #Constraints: 81968
1152.68/1155.78 c #Conflicts: 760000 | #Constraints: 82968
1152.68/1155.78 c #Conflicts: 761000 | #Constraints: 83968
1152.68/1155.78 c #Conflicts: 762000 | #Constraints: 84968
1152.68/1155.78 c #Conflicts: 763000 | #Constraints: 85968
1152.68/1155.78 c #Conflicts: 764000 | #Constraints: 86968
1152.68/1155.78 c #Conflicts: 765000 | #Constraints: 87968
1152.68/1155.78 c #Conflicts: 766000 | #Constraints: 88968
1152.68/1155.78 c #Conflicts: 767000 | #Constraints: 89968
1152.68/1155.78 c #Conflicts: 768000 | #Constraints: 90968
1152.68/1155.78 c #Conflicts: 769000 | #Constraints: 91968
1152.68/1155.78 c #Conflicts: 770000 | #Constraints: 92968
1152.68/1155.78 c INPROCESSING
1152.68/1155.78 c GARBAGE COLLECT
1152.68/1155.78 c #Conflicts: 771000 | #Constraints: 51377
1152.68/1155.78 c #Conflicts: 772000 | #Constraints: 52377
1152.68/1155.78 c #Conflicts: 773000 | #Constraints: 53377
1152.68/1155.78 c #Conflicts: 774000 | #Constraints: 54377
1152.68/1155.78 c #Conflicts: 775000 | #Constraints: 55377
1152.68/1155.78 c #Conflicts: 776000 | #Constraints: 56377
1152.68/1155.78 c #Conflicts: 777000 | #Constraints: 57377
1152.68/1155.78 c #Conflicts: 778000 | #Constraints: 58377
1152.68/1155.78 c #Conflicts: 779000 | #Constraints: 59377
1152.68/1155.78 c #Conflicts: 780000 | #Constraints: 60377
1152.68/1155.78 c #Conflicts: 781000 | #Constraints: 61377
1152.68/1155.78 c #Conflicts: 782000 | #Constraints: 62377
1152.68/1155.78 c #Conflicts: 783000 | #Constraints: 63377
1152.68/1155.78 c #Conflicts: 784000 | #Constraints: 64377
1152.68/1155.78 c #Conflicts: 785000 | #Constraints: 65377
1152.68/1155.78 c #Conflicts: 786000 | #Constraints: 66377
1152.68/1155.78 c #Conflicts: 787000 | #Constraints: 67377
1152.68/1155.78 c #Conflicts: 788000 | #Constraints: 68377
1152.68/1155.78 c #Conflicts: 789000 | #Constraints: 69377
1152.68/1155.78 c #Conflicts: 790000 | #Constraints: 70377
1152.68/1155.78 c INPROCESSING
1152.68/1155.78 c GARBAGE COLLECT
1152.68/1155.78 c #Conflicts: 791000 | #Constraints: 39891
1212.13/1215.34 c #Conflicts: 792000 | #Constraints: 40891
1212.13/1215.34 c #Conflicts: 793000 | #Constraints: 41891
1212.13/1215.34 c #Conflicts: 794000 | #Constraints: 42891
1212.13/1215.34 c #Conflicts: 795000 | #Constraints: 43891
1212.13/1215.34 c #Conflicts: 796000 | #Constraints: 44891
1212.13/1215.34 c #Conflicts: 797000 | #Constraints: 45891
1212.13/1215.34 c #Conflicts: 798000 | #Constraints: 46891
1212.13/1215.34 c #Conflicts: 799000 | #Constraints: 47891
1212.13/1215.34 c #Conflicts: 800000 | #Constraints: 48891
1212.13/1215.34 c #Conflicts: 801000 | #Constraints: 49891
1212.13/1215.34 c #Conflicts: 802000 | #Constraints: 50891
1212.13/1215.34 c #Conflicts: 803000 | #Constraints: 51891
1212.13/1215.34 c #Conflicts: 804000 | #Constraints: 52891
1212.13/1215.34 c #Conflicts: 805000 | #Constraints: 53891
1212.13/1215.34 c #Conflicts: 806000 | #Constraints: 54891
1212.13/1215.34 c #Conflicts: 807000 | #Constraints: 55891
1212.13/1215.34 c #Conflicts: 808000 | #Constraints: 56891
1212.13/1215.34 c #Conflicts: 809000 | #Constraints: 57891
1212.13/1215.34 c #Conflicts: 810000 | #Constraints: 58891
1212.13/1215.34 c INPROCESSING
1212.13/1215.34 c GARBAGE COLLECT
1212.13/1215.34 c #Conflicts: 811000 | #Constraints: 33943
1212.13/1215.34 c #Conflicts: 812000 | #Constraints: 34943
1212.13/1215.34 c #Conflicts: 813000 | #Constraints: 35944
1212.13/1215.34 c #Conflicts: 814000 | #Constraints: 36944
1212.13/1215.34 c #Conflicts: 815000 | #Constraints: 37944
1212.13/1215.34 c #Conflicts: 816000 | #Constraints: 38944
1212.13/1215.34 c #Conflicts: 817000 | #Constraints: 39944
1212.13/1215.34 c #Conflicts: 818000 | #Constraints: 40944
1212.13/1215.34 c #Conflicts: 819000 | #Constraints: 41944
1212.13/1215.34 c #Conflicts: 820000 | #Constraints: 42945
1212.13/1215.34 c #Conflicts: 821000 | #Constraints: 43945
1212.13/1215.34 c #Conflicts: 822000 | #Constraints: 44945
1212.13/1215.34 c #Conflicts: 823000 | #Constraints: 45945
1212.13/1215.34 c #Conflicts: 824000 | #Constraints: 46945
1212.13/1215.34 c #Conflicts: 825000 | #Constraints: 47945
1212.13/1215.34 c #Conflicts: 826000 | #Constraints: 48945
1212.13/1215.34 c #Conflicts: 827000 | #Constraints: 49945
1212.13/1215.34 c #Conflicts: 828000 | #Constraints: 50945
1212.13/1215.34 c #Conflicts: 829000 | #Constraints: 51945
1212.13/1215.34 c #Conflicts: 830000 | #Constraints: 52945
1212.13/1215.34 c #Conflicts: 831000 | #Constraints: 53945
1212.13/1215.34 c INPROCESSING
1212.13/1215.34 c GARBAGE COLLECT
1212.13/1215.34 c #Conflicts: 832000 | #Constraints: 31616
1212.13/1215.34 c #Conflicts: 833000 | #Constraints: 32616
1212.13/1215.34 c #Conflicts: 834000 | #Constraints: 33616
1212.13/1215.34 c cpu time 1200.63 s
1212.13/1215.34 c deterministic time 82493592920 8.25e+10
1212.13/1215.34 c optimization time 0.000391 s
1212.13/1215.34 c total solve time 1200.6 s
1212.13/1215.34 c core-guided solve time 0 s
1212.13/1215.34 c propagation time 647.557 s
1212.13/1215.34 c conflict analysis time 436.199 s
1212.13/1215.34 c propagations 378656691
1212.13/1215.34 c resolve steps 33776776
1212.13/1215.34 c decisions 8338586
1212.13/1215.34 c conflicts 834925
1212.13/1215.34 c restarts 1788
1212.13/1215.34 c inprocessing phases 54
1212.13/1215.34 c garbage collections 54 ,( 100.00 )
1212.13/1215.34 c input clauses 6971 ,( 98.57 )
1212.13/1215.34 c input cardinalities 101 ,( 1.43 )
1212.13/1215.34 c input general constraints 0 ,( 0.00 )
1212.13/1215.34 c input average constraint length 6.24
1212.13/1215.34 c input average constraint degree 1.94
1212.13/1215.34 c learned clauses 600032 ,( 71.86 )
1212.13/1215.34 c learned cardinalities 20440 ,( 2.45 )
1212.13/1215.34 c learned general constraints 214474 ,( 25.69 )
1212.13/1215.34 c learned average constraint length 583.70
1212.13/1215.34 c learned average constraint degree 8300312.29
1212.13/1215.34 c watched CF 32, 64, 128, Arb: 64344 , 0 , 0 , 0
1212.13/1215.34 c counting CF 32, 64, 128, Arb: 150130 , 0 , 0 , 0
1212.13/1215.34 c watched constraints 64344 ,( 30.00 )
1212.13/1215.34 c counting constraints 150130 ,( 70.00 )
1212.13/1215.34 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 472334154 , 267733215 , 1141930212 ,( 60227073 , 1081703139 )
1212.13/1215.34 c gcd simplifications 626
1212.13/1215.34 c detected cardinalities 1794
1212.13/1215.34 c weakened non-implied lits 147839828
1212.13/1215.34 c weakened non-implying lits 107706
1212.13/1215.34 c original variables 6868
1212.13/1215.34 c clausal propagations 149740152
1212.13/1215.34 c cardinality propagations 143056051
1212.13/1215.34 c watched propagations 1970974
1212.13/1215.34 c counting propagations 80171564
1212.13/1215.34 c watch lookups 37830335275
1212.13/1215.34 c watch backjump lookups 0
1212.13/1215.34 c watch checks 13948743707
1212.13/1215.34 c propagation checks 28270152314
1212.13/1215.34 c constraint additions 1669355119
1212.13/1215.34 c trail pops 387829765
1212.13/1215.34 c formula constraints 7072
1212.13/1215.34 c learned constraints 834921
1212.13/1215.34 c bound constraints 0
1212.13/1215.34 c core-guided constraints 0
1212.13/1215.34 c encountered formula constraints 21230844
1212.13/1215.34 c encountered learned constraints 13380749
1212.13/1215.34 c encountered bound constraints 0
1212.13/1215.34 c encountered core-guided constraints 0
1212.13/1215.34 c LP total time 95.2303 s
1212.13/1215.34 c LP solve time 90.81 s
1212.13/1215.34 c LP constraints added 7204
1212.13/1215.34 c LP constraints removed 19
1212.13/1215.34 c LP pivots internal 84258
1212.13/1215.34 c LP pivots root 97204
1212.13/1215.34 c LP calls 27
1212.13/1215.34 c LP optimalities 2
1212.13/1215.34 c LP no pivot count 0
1212.13/1215.34 c LP infeasibilities 18
1212.13/1215.34 c LP valid Farkas constraints 18
1212.13/1215.34 c LP learned Farkas constraints 4
1212.13/1215.34 c LP basis resets 1
1212.13/1215.34 c LP cycling count 0
1212.13/1215.34 c LP singular count 1
1212.13/1215.34 c LP no primal count 0
1212.13/1215.34 c LP no farkas count 0
1212.13/1215.34 c LP other issue count 0
1212.13/1215.34 c LP Gomory cuts 3
1212.13/1215.34 c LP learned cuts 129
1212.13/1215.34 c LP deleted cuts 19
1212.13/1215.34 c LP encountered Gomory constraints 6
1212.13/1215.34 c LP encountered Farkas constraints 93
1212.13/1215.34 c LP encountered learned Farkas constraints 5
1212.13/1215.34 c CG auxiliary variables introduced 0
1212.13/1215.34 c CG solutions found 0
1212.13/1215.34 c CG cores constructed 0
1212.13/1215.34 c CG core cardinality constraints returned 0
1212.13/1215.34 c CG unit cores 0
1212.13/1215.34 c CG single cores 0
1212.13/1215.34 c CG blocks removed during cardinality reduction 0
1212.13/1215.34 c CG first core best 0
1212.13/1215.34 c CG decision core best 0
1212.13/1215.34 c CG core reduction tie 0
1212.13/1215.34 c CG core degree average 0.00
1212.13/1215.34 c CG core slack average 0.00
1212.13/1215.34 c CG core upper bound improvements 0
1212.13/1215.34 c STR number of successful calls 0
1212.13/1215.34 c STR number of unsuccessful calls 0
1212.13/1215.34 c STR number of inconclusive calls 0
1212.13/1215.34 c STR number of successful attempts 0
1212.13/1215.34 c STR number of unsuccessful attempts 0
1212.13/1215.34 c STR number of inconclusive attempts 0
1212.13/1215.34 c STR average degree increase per successful call inf
1212.13/1215.34 c STR average degree increase per successful attempt inf
1212.13/1215.34 c STR total number of conflicts for successful attempts 0
1212.13/1215.34 c STR total number of conflicts for unsuccessful attempts 0
1212.13/1215.34 c STR total number of conflicts for inconclusive attempts 0
1212.13/1215.34 c STR average number of conflicts per successful attempt inf
1212.13/1215.34 c STR average number of conflicts per unsuccessful attempt inf
1212.13/1215.34 c STR average number of conflicts per inconclusive attempt inf
1212.13/1215.34 c AVG.sumWPerc 61.63
1212.13/1215.34 c bigint constraints 0
1212.13/1215.34 s SATISFIABLE
1212.13/1215.34 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: 63708 MiB (56601 MiB free)
memory of node 1: 64465 MiB (55624 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507447-1751178170/watcher-4507447-1751178170 -o /tmp/evaluation-result-4507447-1751178170/solver-4507447-1751178170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507447-1751178170.opb PROOFDIR/proof-4507447-1751178170
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21895, runsolver pid=21892
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.17 4.17 4.11 5/272 21897
/proc/meminfo: memFree=114911012/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=74664 memory=27792 CPUtime=0.08 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 5525 0 0 0 6 2 0 0 20 0 1 0 33491506 76455936 6948 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 18666 6948 2304 1147 0 6093 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78856 KiB
Current children cumulated memory: 30736 KiB
[startup+0.205706 s]*
/proc/loadavg: 4.17 4.17 4.11 5/272 21897
/proc/meminfo: memFree=114911012/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=75260 memory=28432 CPUtime=0.18 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 5706 0 0 0 16 2 0 0 20 0 1 0 33491506 77066240 7108 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 18815 7108 2304 1147 0 6242 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79452 KiB
Current children cumulated memory: 31376 KiB
[startup+0.305551 s]*
/proc/loadavg: 4.17 4.17 4.11 5/272 21897
/proc/meminfo: memFree=114911012/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=75260 memory=28432 CPUtime=0.28 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 5706 0 0 0 26 2 0 0 20 0 1 0 33491506 77066240 7108 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 18815 7108 2304 1147 0 6242 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79452 KiB
Current children cumulated memory: 31376 KiB
[startup+0.700184 s]
/proc/loadavg: 4.17 4.17 4.11 5/272 21897
/proc/meminfo: memFree=114902948/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=76376 memory=29584 CPUtime=0.68 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 5984 0 0 0 65 3 0 0 20 0 1 0 33491506 78209024 7396 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 19094 7396 2304 1147 0 6521 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80568 KiB
Current children cumulated memory: 32528 KiB
[startup+1.50016 s]
/proc/loadavg: 4.17 4.17 4.11 5/272 21897
/proc/meminfo: memFree=114890856/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=77536 memory=32272 CPUtime=1.47 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 6613 0 0 0 142 5 0 0 20 0 1 0 33491506 79396864 8068 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 19384 8068 2336 1147 0 6811 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 81728 KiB
Current children cumulated memory: 35216 KiB
[startup+3.10546 s]
/proc/loadavg: 4.16 4.17 4.11 5/272 21897
/proc/meminfo: memFree=114842472/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=82084 memory=39672 CPUtime=3.08 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 7941 0 0 0 298 10 0 0 20 0 1 0 33491506 84054016 9918 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 20521 9918 2368 1147 0 7948 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 86276 KiB
Current children cumulated memory: 42616 KiB
[startup+6.30023 s]
/proc/loadavg: 4.16 4.17 4.11 5/272 21897
/proc/meminfo: memFree=114826384/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=85584 memory=43256 CPUtime=6.26 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 8821 0 0 0 607 19 0 0 20 0 1 0 33491506 87638016 10814 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 21396 10814 2368 1147 0 8823 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 89776 KiB
Current children cumulated memory: 46200 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.11 5/272 21898
/proc/meminfo: memFree=114791844/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=92820 memory=50084 CPUtime=12.65 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 10032 0 0 0 1233 32 0 0 20 0 1 0 33491506 95047680 12521 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 23205 12521 2368 1147 0 10632 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 97012 KiB
Current children cumulated memory: 53028 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.16 4.11 5/272 21899
/proc/meminfo: memFree=114676380/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=102004 memory=58612 CPUtime=25.41 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 11641 0 0 0 2485 56 0 0 20 0 1 0 33491506 104452096 14653 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 25501 14653 2368 1147 0 12928 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 106196 KiB
Current children cumulated memory: 61556 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.16 4.11 5/272 21900
/proc/meminfo: memFree=114450424/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=169604 memory=114016 CPUtime=50.95 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 20386 0 0 0 4990 105 0 0 20 0 1 0 33491506 173674496 28504 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 42401 28504 2368 1147 0 29828 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 173796 KiB
Current children cumulated memory: 116960 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/274 21906
/proc/meminfo: memFree=113916608/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=217804 memory=148612 CPUtime=102.01 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 24958 0 0 0 10021 180 0 0 20 0 1 0 33491506 223031296 37153 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 54451 37153 2368 1147 0 41878 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 221996 KiB
Current children cumulated memory: 151556 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 4.22 4.14 5/274 21913
/proc/meminfo: memFree=113401768/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=276792 memory=228016 CPUtime=161.85 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 39209 0 0 0 15926 259 0 0 20 0 1 0 33491506 283435008 57004 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 69198 57004 2368 1147 0 56625 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 280984 KiB
Current children cumulated memory: 230960 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.20 4.13 5/274 21960
/proc/meminfo: memFree=119707648/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=329688 memory=254812 CPUtime=221.7 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 40798 0 0 0 21859 311 0 0 20 0 1 0 33491506 337600512 63703 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
################
# More data... #
################
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 63182 0 0 0 93025 959 0 0 20 0 1 0 33491506 656547840 118705 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 160290 118705 2368 1147 0 147717 0
Current children cumulated CPU time: 939.84 s
Current children cumulated vsize: 645352 KiB
Current children cumulated memory: 477764 KiB
[startup+1002.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/274 22000
/proc/meminfo: memFree=113089824/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=642824 memory=476868 CPUtime=999.69 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 63611 0 0 0 98952 1017 0 0 20 0 1 0 33491506 658251776 119217 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 160706 119217 2464 1147 0 148133 0
Current children cumulated CPU time: 999.69 s
Current children cumulated vsize: 647016 KiB
Current children cumulated memory: 479812 KiB
[startup+1062.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/274 22002
/proc/meminfo: memFree=112661384/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=642824 memory=477252 CPUtime=1059.53 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 63704 0 0 0 104902 1051 0 0 20 0 1 0 33491506 658251776 119313 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 160706 119313 2464 1147 0 148133 0
Current children cumulated CPU time: 1059.53 s
Current children cumulated vsize: 647016 KiB
Current children cumulated memory: 480196 KiB
[startup+1122.3 s]
/proc/loadavg: 4.34 4.17 4.11 5/273 22005
/proc/meminfo: memFree=112300680/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=660092 memory=491332 CPUtime=1119.38 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 67238 0 0 0 110860 1078 0 0 20 0 1 0 33491506 675934208 122833 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 165023 122833 2464 1147 0 152450 0
Current children cumulated CPU time: 1119.38 s
Current children cumulated vsize: 664284 KiB
Current children cumulated memory: 494276 KiB
[startup+1182.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/273 22008
/proc/meminfo: memFree=111951968/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=660092 memory=491588 CPUtime=1179.22 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 67287 0 0 0 116797 1125 0 0 20 0 1 0 33491506 675934208 122897 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 165023 122897 2464 1147 0 152450 0
Current children cumulated CPU time: 1179.22 s
Current children cumulated vsize: 664284 KiB
Current children cumulated memory: 494532 KiB
[startup+1215.47 s]
# the end of solver process 21895 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1200.64 s, system=11.5764 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.15 4.14 4.10 5/273 22056
/proc/meminfo: memFree=119013652/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=660092 memory=491588 CPUtime=1187.3 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 67288 0 0 0 117595 1135 0 0 20 0 1 0 33491506 675934208 122897 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 165023 122897 2464 1147 0 152450 0
Current children cumulated CPU time: 1187.3 s
Current children cumulated vsize: 664284 KiB
Current children cumulated memory: 494532 KiB
[startup+1203.2 s]
/proc/loadavg: 4.19 4.15 4.10 5/273 22056
/proc/meminfo: memFree=118909160/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=660092 memory=491588 CPUtime=1200.06 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 67288 0 0 0 118859 1147 0 0 20 0 1 0 33491506 675934208 122897 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 165023 122897 2464 1147 0 152450 0
Current children cumulated CPU time: 1200.06 s
Current children cumulated vsize: 664284 KiB
Current children cumulated memory: 494532 KiB
[startup+1209.6 s]
/proc/loadavg: 4.17 4.15 4.10 5/273 22056
/proc/meminfo: memFree=118870280/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=660092 memory=491588 CPUtime=1206.44 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 67288 0 0 0 119495 1149 0 0 20 0 1 0 33491506 675934208 122897 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 165023 122897 2464 1147 0 152450 0
Current children cumulated CPU time: 1206.44 s
Current children cumulated vsize: 664284 KiB
Current children cumulated memory: 494532 KiB
[startup+1212.8 s]
/proc/loadavg: 4.17 4.15 4.10 5/273 22056
/proc/meminfo: memFree=118846608/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=660092 memory=491588 CPUtime=1209.64 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 67288 0 0 0 119813 1151 0 0 20 0 1 0 33491506 675934208 122897 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 165023 122897 2464 1147 0 152450 0
Current children cumulated CPU time: 1209.64 s
Current children cumulated vsize: 664284 KiB
Current children cumulated memory: 494532 KiB
[startup+1214.4 s]
/proc/loadavg: 4.16 4.15 4.10 5/273 22056
/proc/meminfo: memFree=118822668/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=660092 memory=491588 CPUtime=1211.23 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 67288 0 0 0 119970 1153 0 0 20 0 1 0 33491506 675934208 122897 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 165023 122897 2464 1147 0 152450 0
Current children cumulated CPU time: 1211.23 s
Current children cumulated vsize: 664284 KiB
Current children cumulated memory: 494532 KiB
[startup+1215.2 s]
/proc/loadavg: 4.16 4.15 4.10 5/273 22056
/proc/meminfo: memFree=118823892/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=660092 memory=491588 CPUtime=1212.04 cores=4,6
/proc/21897/stat : 21897 (roundingsat) R 21895 21895 20833 0 -1 4194304 67288 0 0 0 120049 1155 0 0 20 0 1 0 33491506 675934208 122897 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 165023 122897 2464 1147 0 152450 0
Current children cumulated CPU time: 1212.04 s
Current children cumulated vsize: 664284 KiB
Current children cumulated memory: 494532 KiB
[startup+1215.4 s]
/proc/loadavg: 4.16 4.15 4.10 5/273 22056
/proc/meminfo: memFree=118823892/131249992 swapFree=33010672/33010684
[pid=21895] ppid=21892 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21895/stat : 21895 (run-dec-ls-log.) S 21892 21895 20833 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33491506 4292608 736 18446744073709551615 94627930808320 94627931702853 140721000134368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94627931941904 94627931989648 94627955363840 140721000139035 140721000139233 140721000139233 140721000144835 0
/proc/21895/statm: 1048 736 672 219 0 110 0
[pid=21897] ppid=21895 vsize=660092 memory=491588 CPUtime=1212.18 cores=4,6
/proc/21897/stat : 21897 (roundingsat) D 21895 21895 20833 0 -1 4194304 67288 0 0 0 120063 1155 0 0 20 0 1 0 33491506 675934208 122897 18446744073709551615 4227072 8923433 140731525013552 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 28336128 140731525019984 140731525020200 140731525020200 140731525025770 0
/proc/21897/statm: 165023 122897 2464 1147 0 152450 0
Current children cumulated CPU time: 1212.18 s
Current children cumulated vsize: 664284 KiB
Current children cumulated memory: 494532 KiB
Child status: 0
Real time (s): 1215.47
CPU time (s): 1212.21
CPU user time (s): 1200.64
CPU system time (s): 11.5764
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 664284
Max. memory (cumulated for all children) (KiB): 494532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.64
system time used= 11.5764
maximum resident set size= 491588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4233088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 811
involuntary context switches= 1752
# summary of solver processes directly reported to runsolver:
# pid: 21895
# total CPU time (s): 1212.21
# total CPU user time (s): 1200.64
# total CPU system time (s): 11.5764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.33032 second user time and 4.98316 second system time
The end
Begin job on nodeC035 at 2025-06-29 08:22:50
IDJOB=4507447
IDBENCH=158353
IDSOLVER=3354
FILE ID=nodeC035/4507447-1751178170
RUNJOBID= nodeC035-1751170667-20844
SLURM_JOB_ID= 9587529
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507447-1751178170/watcher-4507447-1751178170 -o /tmp/evaluation-result-4507447-1751178170/solver-4507447-1751178170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507447-1751178170.opb PROOFDIR/proof-4507447-1751178170
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 169808018047e4e4c90ba93c1e86b926
RANDOM SEED=1859563635
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.741
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.750
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3846.172
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3651.697
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.760
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.736
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3567.760
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.500
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 114918888 kB
MemAvailable: 127550752 kB
Buffers: 2352 kB
Cached: 13421788 kB
SwapCached: 8 kB
Active: 2470092 kB
Inactive: 13222584 kB
Active(anon): 2280560 kB
Inactive(anon): 6040 kB
Active(file): 189532 kB
Inactive(file): 13216544 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 104948 kB
Writeback: 0 kB
AnonPages: 2268716 kB
Mapped: 116248 kB
Shmem: 18056 kB
KReclaimable: 130052 kB
Slab: 219664 kB
SReclaimable: 130052 kB
SUnreclaim: 89612 kB
KernelStack: 4368 kB
PageTables: 7700 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2843264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1191936 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC035 at 2025-06-29 08:43:05