0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 6528 #constraints 6722
41.18/41.37 c #Conflicts: 1000 | #Constraints: 7721
41.18/41.37 c #Conflicts: 2000 | #Constraints: 8721
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 3000 | #Constraints: 8407
41.18/41.37 c #Conflicts: 4000 | #Constraints: 9407
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 5000 | #Constraints: 8876
41.18/41.37 c #Conflicts: 6000 | #Constraints: 9876
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 7000 | #Constraints: 8936
41.18/41.37 c #Conflicts: 8000 | #Constraints: 9936
41.18/41.37 c #Conflicts: 9000 | #Constraints: 10936
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 10000 | #Constraints: 9695
41.18/41.37 c #Conflicts: 11000 | #Constraints: 10695
41.18/41.37 c #Conflicts: 12000 | #Constraints: 11695
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 13000 | #Constraints: 10151
41.18/41.37 c #Conflicts: 14000 | #Constraints: 11151
41.18/41.37 c #Conflicts: 15000 | #Constraints: 12151
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 16000 | #Constraints: 10422
41.18/41.37 c #Conflicts: 17000 | #Constraints: 11422
41.18/41.37 c #Conflicts: 18000 | #Constraints: 12422
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 19000 | #Constraints: 10444
41.18/41.37 c #Conflicts: 20000 | #Constraints: 11444
41.18/41.37 c #Conflicts: 21000 | #Constraints: 12444
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 22000 | #Constraints: 10260
41.18/41.37 c #Conflicts: 23000 | #Constraints: 11260
41.18/41.37 c #Conflicts: 24000 | #Constraints: 12260
41.18/41.37 c #Conflicts: 25000 | #Constraints: 13260
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 26000 | #Constraints: 10936
41.18/41.37 c #Conflicts: 27000 | #Constraints: 11936
41.18/41.37 c #Conflicts: 28000 | #Constraints: 12936
41.18/41.37 c #Conflicts: 29000 | #Constraints: 13936
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 30000 | #Constraints: 11326
41.18/41.37 c #Conflicts: 31000 | #Constraints: 12326
41.18/41.37 c #Conflicts: 32000 | #Constraints: 13326
41.18/41.37 c #Conflicts: 33000 | #Constraints: 14326
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 34000 | #Constraints: 11521
41.18/41.37 c #Conflicts: 35000 | #Constraints: 12521
41.18/41.37 c #Conflicts: 36000 | #Constraints: 13521
41.18/41.37 c #Conflicts: 37000 | #Constraints: 14521
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 38000 | #Constraints: 11553
41.18/41.37 c #Conflicts: 39000 | #Constraints: 12553
41.18/41.37 c #Conflicts: 40000 | #Constraints: 13553
41.18/41.37 c #Conflicts: 41000 | #Constraints: 14553
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 42000 | #Constraints: 11397
41.18/41.37 c #Conflicts: 43000 | #Constraints: 12397
41.18/41.37 c #Conflicts: 44000 | #Constraints: 13397
41.18/41.37 c #Conflicts: 45000 | #Constraints: 14397
41.18/41.37 c #Conflicts: 46000 | #Constraints: 15397
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c #Conflicts: 47000 | #Constraints: 12030
41.18/41.37 c #Conflicts: 48000 | #Constraints: 13030
41.18/41.37 c #Conflicts: 49000 | #Constraints: 14030
41.18/41.37 c #Conflicts: 50000 | #Constraints: 15030
41.18/41.37 c #Conflicts: 51000 | #Constraints: 16030
41.18/41.37 c #Conflicts: 52000 | #Constraints: 17030
41.18/41.37 c #Conflicts: 53000 | #Constraints: 18030
41.18/41.37 c #Conflicts: 54000 | #Constraints: 19030
41.18/41.37 c #Conflicts: 55000 | #Constraints: 20030
41.18/41.37 c #Conflicts: 56000 | #Constraints: 21030
41.18/41.37 c #Conflicts: 57000 | #Constraints: 22030
41.18/41.37 c #Conflicts: 58000 | #Constraints: 23030
41.18/41.37 c #Conflicts: 59000 | #Constraints: 24030
41.18/41.37 c #Conflicts: 60000 | #Constraints: 25030
41.18/41.37 c #Conflicts: 61000 | #Constraints: 26030
41.18/41.37 c #Conflicts: 62000 | #Constraints: 27030
41.18/41.37 c #Conflicts: 63000 | #Constraints: 28030
41.18/41.37 c #Conflicts: 64000 | #Constraints: 29030
41.18/41.37 c INPROCESSING
41.18/41.37 c GARBAGE COLLECT
41.18/41.37 c rational objective 96
101.63/101.96 c #Conflicts: 65000 | #Constraints: 18778
101.63/101.96 c #Conflicts: 66000 | #Constraints: 19778
101.63/101.96 c #Conflicts: 67000 | #Constraints: 20778
101.63/101.96 c #Conflicts: 68000 | #Constraints: 21778
101.63/101.96 c #Conflicts: 69000 | #Constraints: 22778
101.63/101.96 c #Conflicts: 70000 | #Constraints: 23778
101.63/101.96 c INPROCESSING
101.63/101.96 c GARBAGE COLLECT
101.63/101.96 c #Conflicts: 71000 | #Constraints: 16213
101.63/101.96 c #Conflicts: 72000 | #Constraints: 17213
101.63/101.96 c #Conflicts: 73000 | #Constraints: 18213
101.63/101.96 c #Conflicts: 74000 | #Constraints: 19213
101.63/101.96 c #Conflicts: 75000 | #Constraints: 20213
101.63/101.96 c #Conflicts: 76000 | #Constraints: 21213
101.63/101.96 c INPROCESSING
101.63/101.96 c GARBAGE COLLECT
101.63/101.96 c #Conflicts: 77000 | #Constraints: 14860
101.63/101.96 c #Conflicts: 78000 | #Constraints: 15860
101.63/101.96 c #Conflicts: 79000 | #Constraints: 16860
101.63/101.96 c #Conflicts: 80000 | #Constraints: 17860
101.63/101.96 c #Conflicts: 81000 | #Constraints: 18860
101.63/101.96 c #Conflicts: 82000 | #Constraints: 19860
101.63/101.96 c INPROCESSING
101.63/101.96 c GARBAGE COLLECT
101.63/101.96 c #Conflicts: 83000 | #Constraints: 13998
101.63/101.96 c #Conflicts: 84000 | #Constraints: 14998
101.63/101.96 c #Conflicts: 85000 | #Constraints: 15998
101.63/101.96 c #Conflicts: 86000 | #Constraints: 16998
101.63/101.96 c #Conflicts: 87000 | #Constraints: 17998
101.63/101.96 c #Conflicts: 88000 | #Constraints: 18998
101.63/101.96 c #Conflicts: 89000 | #Constraints: 19998
101.63/101.96 c INPROCESSING
101.63/101.96 c GARBAGE COLLECT
101.63/101.96 c #Conflicts: 90000 | #Constraints: 14304
101.63/101.96 c #Conflicts: 91000 | #Constraints: 15304
101.63/101.96 c #Conflicts: 92000 | #Constraints: 16304
101.63/101.96 c #Conflicts: 93000 | #Constraints: 17304
101.63/101.96 c #Conflicts: 94000 | #Constraints: 18304
101.63/101.96 c #Conflicts: 95000 | #Constraints: 19304
101.63/101.96 c #Conflicts: 96000 | #Constraints: 20304
101.63/101.96 c #Conflicts: 97000 | #Constraints: 21304
101.63/101.96 c #Conflicts: 98000 | #Constraints: 22304
101.63/101.96 c #Conflicts: 99000 | #Constraints: 23304
101.63/101.96 c #Conflicts: 100000 | #Constraints: 24304
101.63/101.96 c #Conflicts: 101000 | #Constraints: 25304
101.63/101.96 c #Conflicts: 102000 | #Constraints: 26304
101.63/101.96 c #Conflicts: 103000 | #Constraints: 27304
101.63/101.96 c #Conflicts: 104000 | #Constraints: 28304
101.63/101.96 c #Conflicts: 105000 | #Constraints: 29304
101.63/101.96 c #Conflicts: 106000 | #Constraints: 30304
101.63/101.96 c #Conflicts: 107000 | #Constraints: 31304
101.63/101.96 c #Conflicts: 108000 | #Constraints: 32304
101.63/101.96 c #Conflicts: 109000 | #Constraints: 33304
101.63/101.96 c #Conflicts: 110000 | #Constraints: 34304
101.63/101.96 c #Conflicts: 111000 | #Constraints: 35304
101.63/101.96 c #Conflicts: 112000 | #Constraints: 36304
101.63/101.96 c #Conflicts: 113000 | #Constraints: 37304
101.63/101.96 c #Conflicts: 114000 | #Constraints: 38304
101.63/101.96 c INPROCESSING
101.63/101.96 c GARBAGE COLLECT
101.63/101.96 c #Conflicts: 115000 | #Constraints: 23677
101.63/101.96 c #Conflicts: 116000 | #Constraints: 24677
101.63/101.96 c #Conflicts: 117000 | #Constraints: 25677
101.63/101.96 c #Conflicts: 118000 | #Constraints: 26677
101.63/101.96 c #Conflicts: 119000 | #Constraints: 27677
101.63/101.96 c #Conflicts: 120000 | #Constraints: 28677
101.63/101.96 c #Conflicts: 121000 | #Constraints: 29677
101.63/101.96 c INPROCESSING
101.63/101.96 c GARBAGE COLLECT
101.63/101.96 c #Conflicts: 122000 | #Constraints: 18982
101.63/101.96 c #Conflicts: 123000 | #Constraints: 19982
101.63/101.96 c #Conflicts: 124000 | #Constraints: 20982
101.63/101.96 c #Conflicts: 125000 | #Constraints: 21982
101.63/101.96 c #Conflicts: 126000 | #Constraints: 22982
101.63/101.96 c #Conflicts: 127000 | #Constraints: 23982
101.63/101.96 c #Conflicts: 128000 | #Constraints: 24982
101.63/101.96 c #Conflicts: 129000 | #Constraints: 25982
101.63/101.96 c INPROCESSING
101.63/101.96 c GARBAGE COLLECT
101.63/101.96 c #Conflicts: 130000 | #Constraints: 17141
101.63/101.96 c #Conflicts: 131000 | #Constraints: 18141
101.63/101.96 c #Conflicts: 132000 | #Constraints: 19141
101.63/101.96 c #Conflicts: 133000 | #Constraints: 20141
101.63/101.96 c #Conflicts: 134000 | #Constraints: 21141
101.63/101.96 c #Conflicts: 135000 | #Constraints: 22141
101.63/101.96 c #Conflicts: 136000 | #Constraints: 23141
101.63/101.96 c #Conflicts: 137000 | #Constraints: 24141
101.63/101.96 c #Conflicts: 138000 | #Constraints: 25141
101.63/101.96 c INPROCESSING
101.63/101.96 c GARBAGE COLLECT
172.45/172.90 c #Conflicts: 139000 | #Constraints: 17066
172.45/172.90 c #Conflicts: 140000 | #Constraints: 18066
172.45/172.90 c #Conflicts: 141000 | #Constraints: 19066
172.45/172.90 c #Conflicts: 142000 | #Constraints: 20066
172.45/172.90 c #Conflicts: 143000 | #Constraints: 21066
172.45/172.90 c #Conflicts: 144000 | #Constraints: 22066
172.45/172.90 c #Conflicts: 145000 | #Constraints: 23066
172.45/172.90 c #Conflicts: 146000 | #Constraints: 24066
172.45/172.90 c #Conflicts: 147000 | #Constraints: 25066
172.45/172.90 c #Conflicts: 148000 | #Constraints: 26066
172.45/172.90 c #Conflicts: 149000 | #Constraints: 27066
172.45/172.90 c #Conflicts: 150000 | #Constraints: 28066
172.45/172.90 c #Conflicts: 151000 | #Constraints: 29066
172.45/172.90 c #Conflicts: 152000 | #Constraints: 30066
172.45/172.90 c #Conflicts: 153000 | #Constraints: 31066
172.45/172.90 c #Conflicts: 154000 | #Constraints: 32066
172.45/172.90 c #Conflicts: 155000 | #Constraints: 33066
172.45/172.90 c #Conflicts: 156000 | #Constraints: 34066
172.45/172.90 c #Conflicts: 157000 | #Constraints: 35066
172.45/172.90 c #Conflicts: 158000 | #Constraints: 36066
172.45/172.90 c #Conflicts: 159000 | #Constraints: 37066
172.45/172.90 c #Conflicts: 160000 | #Constraints: 38066
172.45/172.90 c #Conflicts: 161000 | #Constraints: 39066
172.45/172.90 c #Conflicts: 162000 | #Constraints: 40066
172.45/172.90 c #Conflicts: 163000 | #Constraints: 41066
172.45/172.90 c #Conflicts: 164000 | #Constraints: 42066
172.45/172.90 c #Conflicts: 165000 | #Constraints: 43066
172.45/172.90 c #Conflicts: 166000 | #Constraints: 44066
172.45/172.90 c #Conflicts: 167000 | #Constraints: 45066
172.45/172.90 c #Conflicts: 168000 | #Constraints: 46066
172.45/172.90 c INPROCESSING
172.45/172.90 c GARBAGE COLLECT
172.45/172.90 c #Conflicts: 169000 | #Constraints: 27603
172.45/172.90 c #Conflicts: 170000 | #Constraints: 28603
172.45/172.90 c #Conflicts: 171000 | #Constraints: 29603
172.45/172.90 c #Conflicts: 172000 | #Constraints: 30603
172.45/172.90 c #Conflicts: 173000 | #Constraints: 31603
172.45/172.90 c #Conflicts: 174000 | #Constraints: 32603
172.45/172.90 c #Conflicts: 175000 | #Constraints: 33603
172.45/172.90 c #Conflicts: 176000 | #Constraints: 34603
172.45/172.90 c #Conflicts: 177000 | #Constraints: 35603
172.45/172.90 c INPROCESSING
172.45/172.90 c GARBAGE COLLECT
172.45/172.90 c #Conflicts: 178000 | #Constraints: 22134
172.45/172.90 c #Conflicts: 179000 | #Constraints: 23134
172.45/172.90 c #Conflicts: 180000 | #Constraints: 24134
172.45/172.90 c #Conflicts: 181000 | #Constraints: 25134
172.45/172.90 c #Conflicts: 182000 | #Constraints: 26134
172.45/172.90 c #Conflicts: 183000 | #Constraints: 27134
172.45/172.90 c #Conflicts: 184000 | #Constraints: 28134
172.45/172.90 c #Conflicts: 185000 | #Constraints: 29134
172.45/172.90 c #Conflicts: 186000 | #Constraints: 30134
172.45/172.90 c #Conflicts: 187000 | #Constraints: 31134
172.45/172.90 c INPROCESSING
172.45/172.90 c GARBAGE COLLECT
172.45/172.90 c #Conflicts: 188000 | #Constraints: 20076
172.45/172.90 c #Conflicts: 189000 | #Constraints: 21076
172.45/172.90 c #Conflicts: 190000 | #Constraints: 22077
172.45/172.90 c #Conflicts: 191000 | #Constraints: 23077
172.45/172.90 c #Conflicts: 192000 | #Constraints: 24077
172.45/172.90 c #Conflicts: 193000 | #Constraints: 25077
172.45/172.90 c #Conflicts: 194000 | #Constraints: 26077
172.45/172.90 c #Conflicts: 195000 | #Constraints: 27077
172.45/172.90 c #Conflicts: 196000 | #Constraints: 28077
172.45/172.90 c #Conflicts: 197000 | #Constraints: 29077
172.45/172.90 c INPROCESSING
172.45/172.90 c GARBAGE COLLECT
172.45/172.90 c rational objective 96
268.60/269.35 c #Conflicts: 198000 | #Constraints: 19064
268.60/269.35 c #Conflicts: 199000 | #Constraints: 20064
268.60/269.35 c #Conflicts: 200000 | #Constraints: 21064
268.60/269.35 c #Conflicts: 201000 | #Constraints: 22064
268.60/269.35 c #Conflicts: 202000 | #Constraints: 23064
268.60/269.35 c #Conflicts: 203000 | #Constraints: 24064
268.60/269.35 c #Conflicts: 204000 | #Constraints: 25064
268.60/269.35 c #Conflicts: 205000 | #Constraints: 26064
268.60/269.35 c #Conflicts: 206000 | #Constraints: 27064
268.60/269.35 c #Conflicts: 207000 | #Constraints: 28064
268.60/269.35 c INPROCESSING
268.60/269.35 c GARBAGE COLLECT
268.60/269.35 c #Conflicts: 208000 | #Constraints: 18525
268.60/269.35 c #Conflicts: 209000 | #Constraints: 19525
268.60/269.35 c #Conflicts: 210000 | #Constraints: 20525
268.60/269.35 c #Conflicts: 211000 | #Constraints: 21525
268.60/269.35 c #Conflicts: 212000 | #Constraints: 22525
268.60/269.35 c #Conflicts: 213000 | #Constraints: 23525
268.60/269.35 c #Conflicts: 214000 | #Constraints: 24525
268.60/269.35 c #Conflicts: 215000 | #Constraints: 25525
268.60/269.35 c #Conflicts: 216000 | #Constraints: 26525
268.60/269.35 c #Conflicts: 217000 | #Constraints: 27525
268.60/269.35 c #Conflicts: 218000 | #Constraints: 28525
268.60/269.35 c #Conflicts: 219000 | #Constraints: 29525
268.60/269.35 c #Conflicts: 220000 | #Constraints: 30525
268.60/269.35 c #Conflicts: 221000 | #Constraints: 31525
268.60/269.35 c #Conflicts: 222000 | #Constraints: 32525
268.60/269.35 c #Conflicts: 223000 | #Constraints: 33525
268.60/269.35 c #Conflicts: 224000 | #Constraints: 34525
268.60/269.35 c #Conflicts: 225000 | #Constraints: 35525
268.60/269.35 c #Conflicts: 226000 | #Constraints: 36525
268.60/269.35 c #Conflicts: 227000 | #Constraints: 37525
268.60/269.35 c #Conflicts: 228000 | #Constraints: 38525
268.60/269.35 c #Conflicts: 229000 | #Constraints: 39525
268.60/269.35 c #Conflicts: 230000 | #Constraints: 40525
268.60/269.35 c #Conflicts: 231000 | #Constraints: 41525
268.60/269.35 c #Conflicts: 232000 | #Constraints: 42525
268.60/269.35 c #Conflicts: 233000 | #Constraints: 43525
268.60/269.35 c #Conflicts: 234000 | #Constraints: 44525
268.60/269.35 c #Conflicts: 235000 | #Constraints: 45525
268.60/269.35 c #Conflicts: 236000 | #Constraints: 46525
268.60/269.35 c #Conflicts: 237000 | #Constraints: 47525
268.60/269.35 c #Conflicts: 238000 | #Constraints: 48525
268.60/269.35 c #Conflicts: 239000 | #Constraints: 49525
268.60/269.35 c #Conflicts: 240000 | #Constraints: 50525
268.60/269.35 c #Conflicts: 241000 | #Constraints: 51525
268.60/269.35 c #Conflicts: 242000 | #Constraints: 52525
268.60/269.35 c #Conflicts: 243000 | #Constraints: 53525
268.60/269.35 c INPROCESSING
268.60/269.35 c GARBAGE COLLECT
268.60/269.35 c #Conflicts: 244000 | #Constraints: 31104
268.60/269.35 c #Conflicts: 245000 | #Constraints: 32104
268.60/269.35 c #Conflicts: 246000 | #Constraints: 33104
268.60/269.35 c #Conflicts: 247000 | #Constraints: 34104
268.60/269.35 c #Conflicts: 248000 | #Constraints: 35104
268.60/269.35 c #Conflicts: 249000 | #Constraints: 36104
268.60/269.35 c #Conflicts: 250000 | #Constraints: 37104
268.60/269.35 c #Conflicts: 251000 | #Constraints: 38104
268.60/269.35 c #Conflicts: 252000 | #Constraints: 39104
268.60/269.35 c #Conflicts: 253000 | #Constraints: 40104
268.60/269.35 c #Conflicts: 254000 | #Constraints: 41104
268.60/269.35 c #Conflicts: 255000 | #Constraints: 42104
268.60/269.35 c INPROCESSING
268.60/269.35 c GARBAGE COLLECT
268.60/269.35 c #Conflicts: 256000 | #Constraints: 25696
268.60/269.35 c #Conflicts: 257000 | #Constraints: 26696
268.60/269.35 c #Conflicts: 258000 | #Constraints: 27696
268.60/269.35 c #Conflicts: 259000 | #Constraints: 28696
268.60/269.35 c #Conflicts: 260000 | #Constraints: 29696
268.60/269.35 c #Conflicts: 261000 | #Constraints: 30696
268.60/269.35 c #Conflicts: 262000 | #Constraints: 31696
268.60/269.35 c #Conflicts: 263000 | #Constraints: 32696
268.60/269.35 c #Conflicts: 264000 | #Constraints: 33696
268.60/269.35 c #Conflicts: 265000 | #Constraints: 34696
268.60/269.35 c #Conflicts: 266000 | #Constraints: 35696
268.60/269.35 c INPROCESSING
268.60/269.35 c GARBAGE COLLECT
268.60/269.35 c #Conflicts: 267000 | #Constraints: 22207
268.60/269.35 c #Conflicts: 268000 | #Constraints: 23207
268.60/269.35 c #Conflicts: 269000 | #Constraints: 24207
268.60/269.35 c #Conflicts: 270000 | #Constraints: 25207
268.60/269.35 c #Conflicts: 271000 | #Constraints: 26207
268.60/269.35 c #Conflicts: 272000 | #Constraints: 27207
268.60/269.35 c #Conflicts: 273000 | #Constraints: 28207
268.60/269.35 c #Conflicts: 274000 | #Constraints: 29207
364.43/365.45 c #Conflicts: 275000 | #Constraints: 30207
364.43/365.45 c #Conflicts: 276000 | #Constraints: 31207
364.43/365.45 c #Conflicts: 277000 | #Constraints: 32207
364.43/365.45 c #Conflicts: 278000 | #Constraints: 33207
364.43/365.45 c INPROCESSING
364.43/365.45 c GARBAGE COLLECT
364.43/365.45 c #Conflicts: 279000 | #Constraints: 21026
364.43/365.45 c #Conflicts: 280000 | #Constraints: 22026
364.43/365.45 c #Conflicts: 281000 | #Constraints: 23026
364.43/365.45 c #Conflicts: 282000 | #Constraints: 24026
364.43/365.45 c #Conflicts: 283000 | #Constraints: 25026
364.43/365.45 c #Conflicts: 284000 | #Constraints: 26026
364.43/365.45 c #Conflicts: 285000 | #Constraints: 27026
364.43/365.45 c #Conflicts: 286000 | #Constraints: 28026
364.43/365.45 c #Conflicts: 287000 | #Constraints: 29026
364.43/365.45 c #Conflicts: 288000 | #Constraints: 30026
364.43/365.45 c #Conflicts: 289000 | #Constraints: 31026
364.43/365.45 c #Conflicts: 290000 | #Constraints: 32026
364.43/365.45 c INPROCESSING
364.43/365.45 c GARBAGE COLLECT
364.43/365.45 c #Conflicts: 291000 | #Constraints: 20392
364.43/365.45 c #Conflicts: 292000 | #Constraints: 21392
364.43/365.45 c #Conflicts: 293000 | #Constraints: 22392
364.43/365.45 c #Conflicts: 294000 | #Constraints: 23392
364.43/365.45 c #Conflicts: 295000 | #Constraints: 24392
364.43/365.45 c #Conflicts: 296000 | #Constraints: 25392
364.43/365.45 c #Conflicts: 297000 | #Constraints: 26392
364.43/365.45 c #Conflicts: 298000 | #Constraints: 27392
364.43/365.45 c #Conflicts: 299000 | #Constraints: 28392
364.43/365.45 c #Conflicts: 300000 | #Constraints: 29392
364.43/365.45 c #Conflicts: 301000 | #Constraints: 30392
364.43/365.45 c #Conflicts: 302000 | #Constraints: 31392
364.43/365.45 c #Conflicts: 303000 | #Constraints: 32392
364.43/365.45 c #Conflicts: 304000 | #Constraints: 33392
364.43/365.45 c #Conflicts: 305000 | #Constraints: 34392
364.43/365.45 c #Conflicts: 306000 | #Constraints: 35392
364.43/365.45 c #Conflicts: 307000 | #Constraints: 36392
364.43/365.45 c #Conflicts: 308000 | #Constraints: 37392
364.43/365.45 c #Conflicts: 309000 | #Constraints: 38392
364.43/365.45 c #Conflicts: 310000 | #Constraints: 39392
364.43/365.45 c #Conflicts: 311000 | #Constraints: 40392
364.43/365.45 c #Conflicts: 312000 | #Constraints: 41392
364.43/365.45 c #Conflicts: 313000 | #Constraints: 42392
364.43/365.45 c #Conflicts: 314000 | #Constraints: 43392
364.43/365.45 c #Conflicts: 315000 | #Constraints: 44392
364.43/365.45 c #Conflicts: 316000 | #Constraints: 45392
364.43/365.45 c #Conflicts: 317000 | #Constraints: 46392
364.43/365.45 c #Conflicts: 318000 | #Constraints: 47392
364.43/365.45 c #Conflicts: 319000 | #Constraints: 48392
364.43/365.45 c #Conflicts: 320000 | #Constraints: 49392
364.43/365.45 c #Conflicts: 321000 | #Constraints: 50392
364.43/365.45 c #Conflicts: 322000 | #Constraints: 51392
364.43/365.45 c #Conflicts: 323000 | #Constraints: 52392
364.43/365.45 c #Conflicts: 324000 | #Constraints: 53392
364.43/365.45 c #Conflicts: 325000 | #Constraints: 54392
364.43/365.45 c #Conflicts: 326000 | #Constraints: 55392
364.43/365.45 c #Conflicts: 327000 | #Constraints: 56392
364.43/365.45 c #Conflicts: 328000 | #Constraints: 57392
364.43/365.45 c #Conflicts: 329000 | #Constraints: 58392
364.43/365.45 c #Conflicts: 330000 | #Constraints: 59392
364.43/365.45 c #Conflicts: 331000 | #Constraints: 60392
364.43/365.45 c #Conflicts: 332000 | #Constraints: 61392
364.43/365.45 c #Conflicts: 333000 | #Constraints: 62392
364.43/365.45 c INPROCESSING
364.43/365.45 c GARBAGE COLLECT
364.43/365.45 c #Conflicts: 334000 | #Constraints: 35750
364.43/365.45 c #Conflicts: 335000 | #Constraints: 36750
364.43/365.45 c #Conflicts: 336000 | #Constraints: 37750
364.43/365.45 c #Conflicts: 337000 | #Constraints: 38750
364.43/365.45 c #Conflicts: 338000 | #Constraints: 39750
364.43/365.45 c #Conflicts: 339000 | #Constraints: 40750
364.43/365.45 c #Conflicts: 340000 | #Constraints: 41750
364.43/365.45 c #Conflicts: 341000 | #Constraints: 42750
364.43/365.45 c #Conflicts: 342000 | #Constraints: 43750
364.43/365.45 c #Conflicts: 343000 | #Constraints: 44750
364.43/365.45 c #Conflicts: 344000 | #Constraints: 45750
364.43/365.45 c #Conflicts: 345000 | #Constraints: 46750
364.43/365.45 c #Conflicts: 346000 | #Constraints: 47750
364.43/365.45 c INPROCESSING
364.43/365.45 c GARBAGE COLLECT
364.43/365.45 c rational objective 96
386.49/387.57 c #Conflicts: 347000 | #Constraints: 28268
386.49/387.57 c #Conflicts: 348000 | #Constraints: 29268
386.49/387.57 c #Conflicts: 349000 | #Constraints: 30268
386.49/387.57 c #Conflicts: 350000 | #Constraints: 31268
386.49/387.57 c #Conflicts: 351000 | #Constraints: 32268
386.49/387.57 c #Conflicts: 352000 | #Constraints: 33268
386.49/387.57 c #Conflicts: 353000 | #Constraints: 34268
386.49/387.57 c #Conflicts: 354000 | #Constraints: 35268
386.49/387.57 c #Conflicts: 355000 | #Constraints: 36268
386.49/387.57 c #Conflicts: 356000 | #Constraints: 37268
386.49/387.57 c #Conflicts: 357000 | #Constraints: 38268
386.49/387.57 c #Conflicts: 358000 | #Constraints: 39268
386.49/387.57 c #Conflicts: 359000 | #Constraints: 40268
386.49/387.57 c #Conflicts: 360000 | #Constraints: 41268
386.49/387.57 c INPROCESSING
386.49/387.57 c GARBAGE COLLECT
386.49/387.57 c rational objective 96
494.02/495.35 c #Conflicts: 361000 | #Constraints: 25335
494.02/495.35 c #Conflicts: 362000 | #Constraints: 26335
494.02/495.35 c #Conflicts: 363000 | #Constraints: 27335
494.02/495.35 c #Conflicts: 364000 | #Constraints: 28335
494.02/495.35 c #Conflicts: 365000 | #Constraints: 29335
494.02/495.35 c #Conflicts: 366000 | #Constraints: 30335
494.02/495.35 c #Conflicts: 367000 | #Constraints: 31335
494.02/495.35 c #Conflicts: 368000 | #Constraints: 32335
494.02/495.35 c #Conflicts: 369000 | #Constraints: 33335
494.02/495.35 c #Conflicts: 370000 | #Constraints: 34335
494.02/495.35 c #Conflicts: 371000 | #Constraints: 35335
494.02/495.35 c #Conflicts: 372000 | #Constraints: 36335
494.02/495.35 c #Conflicts: 373000 | #Constraints: 37335
494.02/495.35 c INPROCESSING
494.02/495.35 c GARBAGE COLLECT
494.02/495.35 c #Conflicts: 374000 | #Constraints: 22934
494.02/495.35 c #Conflicts: 375000 | #Constraints: 23934
494.02/495.35 c #Conflicts: 376000 | #Constraints: 24934
494.02/495.35 c #Conflicts: 377000 | #Constraints: 25934
494.02/495.35 c #Conflicts: 378000 | #Constraints: 26934
494.02/495.35 c #Conflicts: 379000 | #Constraints: 27934
494.02/495.35 c #Conflicts: 380000 | #Constraints: 28934
494.02/495.35 c #Conflicts: 381000 | #Constraints: 29934
494.02/495.35 c #Conflicts: 382000 | #Constraints: 30934
494.02/495.35 c #Conflicts: 383000 | #Constraints: 31934
494.02/495.35 c #Conflicts: 384000 | #Constraints: 32934
494.02/495.35 c #Conflicts: 385000 | #Constraints: 33934
494.02/495.35 c #Conflicts: 386000 | #Constraints: 34934
494.02/495.35 c #Conflicts: 387000 | #Constraints: 35934
494.02/495.35 c INPROCESSING
494.02/495.35 c GARBAGE COLLECT
494.02/495.35 c #Conflicts: 388000 | #Constraints: 22330
494.02/495.35 c #Conflicts: 389000 | #Constraints: 23330
494.02/495.35 c #Conflicts: 390000 | #Constraints: 24330
494.02/495.35 c #Conflicts: 391000 | #Constraints: 25330
494.02/495.35 c #Conflicts: 392000 | #Constraints: 26330
494.02/495.35 c #Conflicts: 393000 | #Constraints: 27330
494.02/495.35 c #Conflicts: 394000 | #Constraints: 28330
494.02/495.35 c #Conflicts: 395000 | #Constraints: 29330
494.02/495.35 c #Conflicts: 396000 | #Constraints: 30330
494.02/495.35 c #Conflicts: 397000 | #Constraints: 31330
494.02/495.35 c #Conflicts: 398000 | #Constraints: 32330
494.02/495.35 c #Conflicts: 399000 | #Constraints: 33330
494.02/495.35 c #Conflicts: 400000 | #Constraints: 34330
494.02/495.35 c #Conflicts: 401000 | #Constraints: 35330
494.02/495.35 c #Conflicts: 402000 | #Constraints: 36330
494.02/495.35 c #Conflicts: 403000 | #Constraints: 37330
494.02/495.35 c #Conflicts: 404000 | #Constraints: 38330
494.02/495.35 c #Conflicts: 405000 | #Constraints: 39330
494.02/495.35 c #Conflicts: 406000 | #Constraints: 40330
494.02/495.35 c #Conflicts: 407000 | #Constraints: 41330
494.02/495.35 c #Conflicts: 408000 | #Constraints: 42330
494.02/495.35 c #Conflicts: 409000 | #Constraints: 43330
494.02/495.35 c #Conflicts: 410000 | #Constraints: 44330
494.02/495.35 c #Conflicts: 411000 | #Constraints: 45330
494.02/495.35 c #Conflicts: 412000 | #Constraints: 46330
494.02/495.35 c #Conflicts: 413000 | #Constraints: 47330
494.02/495.35 c #Conflicts: 414000 | #Constraints: 48330
494.02/495.35 c #Conflicts: 415000 | #Constraints: 49330
494.02/495.35 c #Conflicts: 416000 | #Constraints: 50330
494.02/495.35 c #Conflicts: 417000 | #Constraints: 51330
494.02/495.35 c #Conflicts: 418000 | #Constraints: 52330
494.02/495.35 c #Conflicts: 419000 | #Constraints: 53330
494.02/495.35 c #Conflicts: 420000 | #Constraints: 54330
494.02/495.35 c #Conflicts: 421000 | #Constraints: 55330
494.02/495.35 c #Conflicts: 422000 | #Constraints: 56330
494.02/495.35 c #Conflicts: 423000 | #Constraints: 57330
494.02/495.35 c #Conflicts: 424000 | #Constraints: 58330
494.02/495.35 c #Conflicts: 425000 | #Constraints: 59330
494.02/495.35 c #Conflicts: 426000 | #Constraints: 60330
494.02/495.35 c #Conflicts: 427000 | #Constraints: 61330
494.02/495.35 c #Conflicts: 428000 | #Constraints: 62330
494.02/495.35 c #Conflicts: 429000 | #Constraints: 63330
494.02/495.35 c #Conflicts: 430000 | #Constraints: 64330
494.02/495.35 c #Conflicts: 431000 | #Constraints: 65330
494.02/495.35 c #Conflicts: 432000 | #Constraints: 66330
494.02/495.35 c #Conflicts: 433000 | #Constraints: 67330
494.02/495.35 c #Conflicts: 434000 | #Constraints: 68330
494.02/495.35 c #Conflicts: 435000 | #Constraints: 69330
494.02/495.35 c #Conflicts: 436000 | #Constraints: 70330
494.02/495.35 c INPROCESSING
494.02/495.35 c GARBAGE COLLECT
494.02/495.35 c #Conflicts: 437000 | #Constraints: 39447
552.17/553.64 c #Conflicts: 438000 | #Constraints: 40447
552.17/553.64 c #Conflicts: 439000 | #Constraints: 41447
552.17/553.64 c #Conflicts: 440000 | #Constraints: 42447
552.17/553.64 c #Conflicts: 441000 | #Constraints: 43447
552.17/553.64 c #Conflicts: 442000 | #Constraints: 44447
552.17/553.64 c #Conflicts: 443000 | #Constraints: 45447
552.17/553.64 c #Conflicts: 444000 | #Constraints: 46447
552.17/553.64 c #Conflicts: 445000 | #Constraints: 47447
552.17/553.64 c #Conflicts: 446000 | #Constraints: 48447
552.17/553.64 c #Conflicts: 447000 | #Constraints: 49447
552.17/553.64 c #Conflicts: 448000 | #Constraints: 50447
552.17/553.64 c #Conflicts: 449000 | #Constraints: 51447
552.17/553.64 c #Conflicts: 450000 | #Constraints: 52447
552.17/553.64 c #Conflicts: 451000 | #Constraints: 53447
552.17/553.64 c #Conflicts: 452000 | #Constraints: 54447
552.17/553.64 c INPROCESSING
552.17/553.64 c GARBAGE COLLECT
552.17/553.64 c #Conflicts: 453000 | #Constraints: 31936
552.17/553.64 c #Conflicts: 454000 | #Constraints: 32936
552.17/553.64 c #Conflicts: 455000 | #Constraints: 33936
552.17/553.64 c #Conflicts: 456000 | #Constraints: 34936
552.17/553.64 c #Conflicts: 457000 | #Constraints: 35936
552.17/553.64 c #Conflicts: 458000 | #Constraints: 36936
552.17/553.64 c #Conflicts: 459000 | #Constraints: 37936
552.17/553.64 c #Conflicts: 460000 | #Constraints: 38936
552.17/553.64 c #Conflicts: 461000 | #Constraints: 39936
552.17/553.64 c #Conflicts: 462000 | #Constraints: 40936
552.17/553.64 c #Conflicts: 463000 | #Constraints: 41936
552.17/553.64 c #Conflicts: 464000 | #Constraints: 42936
552.17/553.64 c #Conflicts: 465000 | #Constraints: 43936
552.17/553.64 c #Conflicts: 466000 | #Constraints: 44936
552.17/553.64 c #Conflicts: 467000 | #Constraints: 45936
552.17/553.64 c INPROCESSING
552.17/553.64 c GARBAGE COLLECT
552.17/553.64 c #Conflicts: 468000 | #Constraints: 27553
552.17/553.64 c #Conflicts: 469000 | #Constraints: 28553
552.17/553.64 c #Conflicts: 470000 | #Constraints: 29553
552.17/553.64 c #Conflicts: 471000 | #Constraints: 30553
552.17/553.64 c #Conflicts: 472000 | #Constraints: 31553
552.17/553.64 c #Conflicts: 473000 | #Constraints: 32553
552.17/553.64 c #Conflicts: 474000 | #Constraints: 33553
552.17/553.64 c #Conflicts: 475000 | #Constraints: 34553
552.17/553.64 c #Conflicts: 476000 | #Constraints: 35553
552.17/553.64 c #Conflicts: 477000 | #Constraints: 36553
552.17/553.64 c #Conflicts: 478000 | #Constraints: 37553
552.17/553.64 c #Conflicts: 479000 | #Constraints: 38553
552.17/553.64 c #Conflicts: 480000 | #Constraints: 39553
552.17/553.64 c #Conflicts: 481000 | #Constraints: 40553
552.17/553.64 c #Conflicts: 482000 | #Constraints: 41553
552.17/553.64 c #Conflicts: 483000 | #Constraints: 42553
552.17/553.64 c INPROCESSING
552.17/553.64 c GARBAGE COLLECT
552.17/553.64 c rational objective 96
577.12/578.60 c #Conflicts: 484000 | #Constraints: 26040
577.12/578.60 c #Conflicts: 485000 | #Constraints: 27040
577.12/578.60 c #Conflicts: 486000 | #Constraints: 28040
577.12/578.60 c #Conflicts: 487000 | #Constraints: 29040
577.12/578.60 c #Conflicts: 488000 | #Constraints: 30040
577.12/578.60 c #Conflicts: 489000 | #Constraints: 31040
577.12/578.60 c #Conflicts: 490000 | #Constraints: 32040
577.12/578.60 c #Conflicts: 491000 | #Constraints: 33040
577.12/578.60 c #Conflicts: 492000 | #Constraints: 34040
577.12/578.60 c #Conflicts: 493000 | #Constraints: 35040
577.12/578.60 c #Conflicts: 494000 | #Constraints: 36040
577.12/578.60 c #Conflicts: 495000 | #Constraints: 37040
577.12/578.60 c #Conflicts: 496000 | #Constraints: 38040
577.12/578.60 c #Conflicts: 497000 | #Constraints: 39040
577.12/578.60 c #Conflicts: 498000 | #Constraints: 40040
577.12/578.60 c INPROCESSING
577.12/578.60 c GARBAGE COLLECT
577.12/578.60 c rational objective 96
687.15/688.95 c #Conflicts: 499000 | #Constraints: 24302
687.15/688.95 c #Conflicts: 500000 | #Constraints: 25302
687.15/688.95 c #Conflicts: 501000 | #Constraints: 26302
687.15/688.95 c #Conflicts: 502000 | #Constraints: 27302
687.15/688.95 c #Conflicts: 503000 | #Constraints: 28302
687.15/688.95 c #Conflicts: 504000 | #Constraints: 29302
687.15/688.95 c #Conflicts: 505000 | #Constraints: 30302
687.15/688.95 c #Conflicts: 506000 | #Constraints: 31302
687.15/688.95 c #Conflicts: 507000 | #Constraints: 32302
687.15/688.95 c #Conflicts: 508000 | #Constraints: 33302
687.15/688.95 c #Conflicts: 509000 | #Constraints: 34302
687.15/688.95 c #Conflicts: 510000 | #Constraints: 35302
687.15/688.95 c #Conflicts: 511000 | #Constraints: 36302
687.15/688.95 c #Conflicts: 512000 | #Constraints: 37302
687.15/688.95 c #Conflicts: 513000 | #Constraints: 38302
687.15/688.95 c #Conflicts: 514000 | #Constraints: 39302
687.15/688.95 c #Conflicts: 515000 | #Constraints: 40302
687.15/688.95 c #Conflicts: 516000 | #Constraints: 41302
687.15/688.95 c #Conflicts: 517000 | #Constraints: 42302
687.15/688.95 c #Conflicts: 518000 | #Constraints: 43302
687.15/688.95 c #Conflicts: 519000 | #Constraints: 44302
687.15/688.95 c #Conflicts: 520000 | #Constraints: 45302
687.15/688.95 c #Conflicts: 521000 | #Constraints: 46302
687.15/688.95 c #Conflicts: 522000 | #Constraints: 47302
687.15/688.95 c #Conflicts: 523000 | #Constraints: 48302
687.15/688.95 c #Conflicts: 524000 | #Constraints: 49302
687.15/688.95 c #Conflicts: 525000 | #Constraints: 50302
687.15/688.95 c #Conflicts: 526000 | #Constraints: 51302
687.15/688.95 c #Conflicts: 527000 | #Constraints: 52302
687.15/688.95 c #Conflicts: 528000 | #Constraints: 53302
687.15/688.95 c #Conflicts: 529000 | #Constraints: 54302
687.15/688.95 c #Conflicts: 530000 | #Constraints: 55302
687.15/688.95 c #Conflicts: 531000 | #Constraints: 56302
687.15/688.95 c #Conflicts: 532000 | #Constraints: 57302
687.15/688.95 c #Conflicts: 533000 | #Constraints: 58302
687.15/688.95 c #Conflicts: 534000 | #Constraints: 59302
687.15/688.95 c #Conflicts: 535000 | #Constraints: 60302
687.15/688.95 c #Conflicts: 536000 | #Constraints: 61302
687.15/688.95 c #Conflicts: 537000 | #Constraints: 62302
687.15/688.95 c #Conflicts: 538000 | #Constraints: 63302
687.15/688.95 c #Conflicts: 539000 | #Constraints: 64303
687.15/688.95 c #Conflicts: 540000 | #Constraints: 65303
687.15/688.95 c #Conflicts: 541000 | #Constraints: 66303
687.15/688.95 c #Conflicts: 542000 | #Constraints: 67303
687.15/688.95 c #Conflicts: 543000 | #Constraints: 68303
687.15/688.95 c #Conflicts: 544000 | #Constraints: 69303
687.15/688.95 c #Conflicts: 545000 | #Constraints: 70303
687.15/688.95 c #Conflicts: 546000 | #Constraints: 71303
687.15/688.95 c #Conflicts: 547000 | #Constraints: 72303
687.15/688.95 c #Conflicts: 548000 | #Constraints: 73303
687.15/688.95 c #Conflicts: 549000 | #Constraints: 74303
687.15/688.95 c #Conflicts: 550000 | #Constraints: 75303
687.15/688.95 c #Conflicts: 551000 | #Constraints: 76303
687.15/688.95 c #Conflicts: 552000 | #Constraints: 77303
687.15/688.95 c #Conflicts: 553000 | #Constraints: 78303
687.15/688.95 c #Conflicts: 554000 | #Constraints: 79303
687.15/688.95 c INPROCESSING
687.15/688.95 c GARBAGE COLLECT
687.15/688.95 c rational objective 96
786.01/788.06 c #Conflicts: 555000 | #Constraints: 44217
786.01/788.06 c #Conflicts: 556000 | #Constraints: 45217
786.01/788.06 c #Conflicts: 557000 | #Constraints: 46217
786.01/788.06 c #Conflicts: 558000 | #Constraints: 47217
786.01/788.06 c #Conflicts: 559000 | #Constraints: 48217
786.01/788.06 c #Conflicts: 560000 | #Constraints: 49217
786.01/788.06 c #Conflicts: 561000 | #Constraints: 50217
786.01/788.06 c #Conflicts: 562000 | #Constraints: 51217
786.01/788.06 c #Conflicts: 563000 | #Constraints: 52217
786.01/788.06 c #Conflicts: 564000 | #Constraints: 53217
786.01/788.06 c #Conflicts: 565000 | #Constraints: 54217
786.01/788.06 c #Conflicts: 566000 | #Constraints: 55217
786.01/788.06 c #Conflicts: 567000 | #Constraints: 56217
786.01/788.06 c #Conflicts: 568000 | #Constraints: 57217
786.01/788.06 c #Conflicts: 569000 | #Constraints: 58217
786.01/788.06 c #Conflicts: 570000 | #Constraints: 59217
786.01/788.06 c #Conflicts: 571000 | #Constraints: 60217
786.01/788.06 c INPROCESSING
786.01/788.06 c GARBAGE COLLECT
786.01/788.06 c #Conflicts: 572000 | #Constraints: 34607
786.01/788.06 c #Conflicts: 573000 | #Constraints: 35607
786.01/788.06 c #Conflicts: 574000 | #Constraints: 36607
786.01/788.06 c #Conflicts: 575000 | #Constraints: 37607
786.01/788.06 c #Conflicts: 576000 | #Constraints: 38607
786.01/788.06 c #Conflicts: 577000 | #Constraints: 39607
786.01/788.06 c #Conflicts: 578000 | #Constraints: 40607
786.01/788.06 c #Conflicts: 579000 | #Constraints: 41607
786.01/788.06 c #Conflicts: 580000 | #Constraints: 42607
786.01/788.06 c #Conflicts: 581000 | #Constraints: 43607
786.01/788.06 c #Conflicts: 582000 | #Constraints: 44607
786.01/788.06 c #Conflicts: 583000 | #Constraints: 45607
786.01/788.06 c #Conflicts: 584000 | #Constraints: 46607
786.01/788.06 c #Conflicts: 585000 | #Constraints: 47607
786.01/788.06 c #Conflicts: 586000 | #Constraints: 48607
786.01/788.06 c #Conflicts: 587000 | #Constraints: 49607
786.01/788.06 c #Conflicts: 588000 | #Constraints: 50607
786.01/788.06 c INPROCESSING
786.01/788.06 c GARBAGE COLLECT
786.01/788.06 c #Conflicts: 589000 | #Constraints: 29610
786.01/788.06 c #Conflicts: 590000 | #Constraints: 30610
786.01/788.06 c #Conflicts: 591000 | #Constraints: 31610
786.01/788.06 c #Conflicts: 592000 | #Constraints: 32610
786.01/788.06 c #Conflicts: 593000 | #Constraints: 33610
786.01/788.06 c #Conflicts: 594000 | #Constraints: 34610
786.01/788.06 c #Conflicts: 595000 | #Constraints: 35610
786.01/788.06 c #Conflicts: 596000 | #Constraints: 36610
786.01/788.06 c #Conflicts: 597000 | #Constraints: 37610
786.01/788.06 c #Conflicts: 598000 | #Constraints: 38610
786.01/788.06 c #Conflicts: 599000 | #Constraints: 39610
786.01/788.06 c #Conflicts: 600000 | #Constraints: 40610
786.01/788.06 c #Conflicts: 601000 | #Constraints: 41610
786.01/788.06 c #Conflicts: 602000 | #Constraints: 42610
786.01/788.06 c #Conflicts: 603000 | #Constraints: 43610
786.01/788.06 c #Conflicts: 604000 | #Constraints: 44610
786.01/788.06 c #Conflicts: 605000 | #Constraints: 45610
786.01/788.06 c #Conflicts: 606000 | #Constraints: 46610
786.01/788.06 c INPROCESSING
786.01/788.06 c GARBAGE COLLECT
786.01/788.06 c #Conflicts: 607000 | #Constraints: 27823
786.01/788.06 c #Conflicts: 608000 | #Constraints: 28823
786.01/788.06 c #Conflicts: 609000 | #Constraints: 29823
786.01/788.06 c #Conflicts: 610000 | #Constraints: 30823
786.01/788.06 c #Conflicts: 611000 | #Constraints: 31823
786.01/788.06 c #Conflicts: 612000 | #Constraints: 32823
786.01/788.06 c #Conflicts: 613000 | #Constraints: 33823
786.01/788.06 c #Conflicts: 614000 | #Constraints: 34823
786.01/788.06 c #Conflicts: 615000 | #Constraints: 35823
786.01/788.06 c #Conflicts: 616000 | #Constraints: 36823
786.01/788.06 c #Conflicts: 617000 | #Constraints: 37823
786.01/788.06 c #Conflicts: 618000 | #Constraints: 38823
786.01/788.06 c #Conflicts: 619000 | #Constraints: 39823
786.01/788.06 c #Conflicts: 620000 | #Constraints: 40823
786.01/788.06 c #Conflicts: 621000 | #Constraints: 41823
786.01/788.06 c #Conflicts: 622000 | #Constraints: 42823
786.01/788.06 c #Conflicts: 623000 | #Constraints: 43823
786.01/788.06 c #Conflicts: 624000 | #Constraints: 44823
786.01/788.06 c INPROCESSING
786.01/788.06 c GARBAGE COLLECT
786.01/788.06 c #Conflicts: 625000 | #Constraints: 27102
786.01/788.06 c #Conflicts: 626000 | #Constraints: 28102
786.01/788.06 c #Conflicts: 627000 | #Constraints: 29102
786.01/788.06 c #Conflicts: 628000 | #Constraints: 30102
786.01/788.06 c #Conflicts: 629000 | #Constraints: 31102
786.01/788.06 c #Conflicts: 630000 | #Constraints: 32102
786.01/788.06 c #Conflicts: 631000 | #Constraints: 33102
917.27/919.68 c #Conflicts: 632000 | #Constraints: 34102
917.27/919.68 c #Conflicts: 633000 | #Constraints: 35102
917.27/919.68 c #Conflicts: 634000 | #Constraints: 36102
917.27/919.68 c #Conflicts: 635000 | #Constraints: 37102
917.27/919.68 c #Conflicts: 636000 | #Constraints: 38102
917.27/919.68 c #Conflicts: 637000 | #Constraints: 39102
917.27/919.68 c #Conflicts: 638000 | #Constraints: 40102
917.27/919.68 c #Conflicts: 639000 | #Constraints: 41102
917.27/919.68 c #Conflicts: 640000 | #Constraints: 42102
917.27/919.68 c #Conflicts: 641000 | #Constraints: 43102
917.27/919.68 c #Conflicts: 642000 | #Constraints: 44102
917.27/919.68 c #Conflicts: 643000 | #Constraints: 45102
917.27/919.68 c #Conflicts: 644000 | #Constraints: 46102
917.27/919.68 c #Conflicts: 645000 | #Constraints: 47102
917.27/919.68 c #Conflicts: 646000 | #Constraints: 48102
917.27/919.68 c #Conflicts: 647000 | #Constraints: 49102
917.27/919.68 c #Conflicts: 648000 | #Constraints: 50102
917.27/919.68 c #Conflicts: 649000 | #Constraints: 51102
917.27/919.68 c #Conflicts: 650000 | #Constraints: 52102
917.27/919.68 c #Conflicts: 651000 | #Constraints: 53102
917.27/919.68 c #Conflicts: 652000 | #Constraints: 54102
917.27/919.68 c #Conflicts: 653000 | #Constraints: 55102
917.27/919.68 c #Conflicts: 654000 | #Constraints: 56102
917.27/919.68 c #Conflicts: 655000 | #Constraints: 57102
917.27/919.68 c #Conflicts: 656000 | #Constraints: 58102
917.27/919.68 c #Conflicts: 657000 | #Constraints: 59102
917.27/919.68 c #Conflicts: 658000 | #Constraints: 60102
917.27/919.68 c #Conflicts: 659000 | #Constraints: 61102
917.27/919.68 c #Conflicts: 660000 | #Constraints: 62102
917.27/919.68 c #Conflicts: 661000 | #Constraints: 63102
917.27/919.68 c #Conflicts: 662000 | #Constraints: 64102
917.27/919.68 c #Conflicts: 663000 | #Constraints: 65102
917.27/919.68 c #Conflicts: 664000 | #Constraints: 66102
917.27/919.68 c #Conflicts: 665000 | #Constraints: 67102
917.27/919.68 c #Conflicts: 666000 | #Constraints: 68102
917.27/919.68 c #Conflicts: 667000 | #Constraints: 69102
917.27/919.68 c #Conflicts: 668000 | #Constraints: 70102
917.27/919.68 c #Conflicts: 669000 | #Constraints: 71102
917.27/919.68 c #Conflicts: 670000 | #Constraints: 72102
917.27/919.68 c #Conflicts: 671000 | #Constraints: 73102
917.27/919.68 c #Conflicts: 672000 | #Constraints: 74102
917.27/919.68 c #Conflicts: 673000 | #Constraints: 75102
917.27/919.68 c #Conflicts: 674000 | #Constraints: 76102
917.27/919.68 c #Conflicts: 675000 | #Constraints: 77102
917.27/919.68 c #Conflicts: 676000 | #Constraints: 78102
917.27/919.68 c #Conflicts: 677000 | #Constraints: 79102
917.27/919.68 c #Conflicts: 678000 | #Constraints: 80102
917.27/919.68 c #Conflicts: 679000 | #Constraints: 81102
917.27/919.68 c #Conflicts: 680000 | #Constraints: 82102
917.27/919.68 c #Conflicts: 681000 | #Constraints: 83102
917.27/919.68 c #Conflicts: 682000 | #Constraints: 84102
917.27/919.68 c #Conflicts: 683000 | #Constraints: 85102
917.27/919.68 c #Conflicts: 684000 | #Constraints: 86102
917.27/919.68 c #Conflicts: 685000 | #Constraints: 87102
917.27/919.68 c #Conflicts: 686000 | #Constraints: 88102
917.27/919.68 c INPROCESSING
917.27/919.68 c GARBAGE COLLECT
917.27/919.68 c rational objective 96
958.47/960.92 c #Conflicts: 687000 | #Constraints: 48758
958.47/960.92 c #Conflicts: 688000 | #Constraints: 49758
958.47/960.92 c #Conflicts: 689000 | #Constraints: 50758
958.47/960.92 c #Conflicts: 690000 | #Constraints: 51758
958.47/960.92 c #Conflicts: 691000 | #Constraints: 52758
958.47/960.92 c #Conflicts: 692000 | #Constraints: 53758
958.47/960.92 c #Conflicts: 693000 | #Constraints: 54758
958.47/960.92 c #Conflicts: 694000 | #Constraints: 55758
958.47/960.92 c #Conflicts: 695000 | #Constraints: 56758
958.47/960.92 c #Conflicts: 696000 | #Constraints: 57758
958.47/960.92 c #Conflicts: 697000 | #Constraints: 58758
958.47/960.92 c #Conflicts: 698000 | #Constraints: 59758
958.47/960.92 c #Conflicts: 699000 | #Constraints: 60758
958.47/960.92 c #Conflicts: 700000 | #Constraints: 61758
958.47/960.92 c #Conflicts: 701000 | #Constraints: 62758
958.47/960.92 c #Conflicts: 702000 | #Constraints: 63758
958.47/960.92 c #Conflicts: 703000 | #Constraints: 64758
958.47/960.92 c #Conflicts: 704000 | #Constraints: 65758
958.47/960.92 c #Conflicts: 705000 | #Constraints: 66758
958.47/960.92 c INPROCESSING
958.47/960.92 c GARBAGE COLLECT
958.47/960.92 c rational objective 96
1064.60/1067.35 c #Conflicts: 706000 | #Constraints: 38159
1064.60/1067.35 c #Conflicts: 707000 | #Constraints: 39159
1064.60/1067.35 c #Conflicts: 708000 | #Constraints: 40159
1064.60/1067.35 c #Conflicts: 709000 | #Constraints: 41159
1064.60/1067.35 c #Conflicts: 710000 | #Constraints: 42159
1064.60/1067.35 c #Conflicts: 711000 | #Constraints: 43159
1064.60/1067.35 c #Conflicts: 712000 | #Constraints: 44159
1064.60/1067.35 c #Conflicts: 713000 | #Constraints: 45159
1064.60/1067.35 c #Conflicts: 714000 | #Constraints: 46159
1064.60/1067.35 c #Conflicts: 715000 | #Constraints: 47159
1064.60/1067.35 c #Conflicts: 716000 | #Constraints: 48159
1064.60/1067.35 c #Conflicts: 717000 | #Constraints: 49159
1064.60/1067.35 c #Conflicts: 718000 | #Constraints: 50159
1064.60/1067.35 c #Conflicts: 719000 | #Constraints: 51159
1064.60/1067.35 c #Conflicts: 720000 | #Constraints: 52159
1064.60/1067.35 c #Conflicts: 721000 | #Constraints: 53159
1064.60/1067.35 c #Conflicts: 722000 | #Constraints: 54159
1064.60/1067.35 c #Conflicts: 723000 | #Constraints: 55159
1064.60/1067.35 c #Conflicts: 724000 | #Constraints: 56159
1064.60/1067.35 c INPROCESSING
1064.60/1067.35 c GARBAGE COLLECT
1064.60/1067.35 c #Conflicts: 725000 | #Constraints: 32713
1064.60/1067.35 c #Conflicts: 726000 | #Constraints: 33713
1064.60/1067.35 c #Conflicts: 727000 | #Constraints: 34713
1064.60/1067.35 c #Conflicts: 728000 | #Constraints: 35713
1064.60/1067.35 c #Conflicts: 729000 | #Constraints: 36713
1064.60/1067.35 c #Conflicts: 730000 | #Constraints: 37713
1064.60/1067.35 c #Conflicts: 731000 | #Constraints: 38713
1064.60/1067.35 c #Conflicts: 732000 | #Constraints: 39713
1064.60/1067.35 c #Conflicts: 733000 | #Constraints: 40713
1064.60/1067.35 c #Conflicts: 734000 | #Constraints: 41713
1064.60/1067.35 c #Conflicts: 735000 | #Constraints: 42713
1064.60/1067.35 c #Conflicts: 736000 | #Constraints: 43713
1064.60/1067.35 c #Conflicts: 737000 | #Constraints: 44713
1064.60/1067.35 c #Conflicts: 738000 | #Constraints: 45713
1064.60/1067.35 c #Conflicts: 739000 | #Constraints: 46713
1064.60/1067.35 c #Conflicts: 740000 | #Constraints: 47713
1064.60/1067.35 c #Conflicts: 741000 | #Constraints: 48713
1064.60/1067.35 c #Conflicts: 742000 | #Constraints: 49713
1064.60/1067.35 c #Conflicts: 743000 | #Constraints: 50713
1064.60/1067.35 c INPROCESSING
1064.60/1067.35 c GARBAGE COLLECT
1064.60/1067.35 c #Conflicts: 744000 | #Constraints: 29858
1064.60/1067.35 c #Conflicts: 745000 | #Constraints: 30858
1064.60/1067.35 c #Conflicts: 746000 | #Constraints: 31858
1064.60/1067.35 c #Conflicts: 747000 | #Constraints: 32858
1064.60/1067.35 c #Conflicts: 748000 | #Constraints: 33858
1064.60/1067.35 c #Conflicts: 749000 | #Constraints: 34859
1064.60/1067.35 c #Conflicts: 750000 | #Constraints: 35859
1064.60/1067.35 c #Conflicts: 751000 | #Constraints: 36859
1064.60/1067.35 c #Conflicts: 752000 | #Constraints: 37859
1064.60/1067.35 c #Conflicts: 753000 | #Constraints: 38859
1064.60/1067.35 c #Conflicts: 754000 | #Constraints: 39859
1064.60/1067.35 c #Conflicts: 755000 | #Constraints: 40859
1064.60/1067.35 c #Conflicts: 756000 | #Constraints: 41859
1064.60/1067.35 c #Conflicts: 757000 | #Constraints: 42859
1064.60/1067.35 c #Conflicts: 758000 | #Constraints: 43859
1064.60/1067.35 c #Conflicts: 759000 | #Constraints: 44859
1064.60/1067.35 c #Conflicts: 760000 | #Constraints: 45859
1064.60/1067.35 c #Conflicts: 761000 | #Constraints: 46859
1064.60/1067.35 c #Conflicts: 762000 | #Constraints: 47859
1064.60/1067.35 c #Conflicts: 763000 | #Constraints: 48859
1064.60/1067.35 c INPROCESSING
1064.60/1067.35 c GARBAGE COLLECT
1064.60/1067.35 c #Conflicts: 764000 | #Constraints: 29168
1064.60/1067.35 c #Conflicts: 765000 | #Constraints: 30168
1064.60/1067.35 c #Conflicts: 766000 | #Constraints: 31168
1064.60/1067.35 c #Conflicts: 767000 | #Constraints: 32168
1064.60/1067.35 c #Conflicts: 768000 | #Constraints: 33168
1064.60/1067.35 c #Conflicts: 769000 | #Constraints: 34168
1064.60/1067.35 c #Conflicts: 770000 | #Constraints: 35168
1064.60/1067.35 c #Conflicts: 771000 | #Constraints: 36168
1064.60/1067.35 c #Conflicts: 772000 | #Constraints: 37168
1064.60/1067.35 c #Conflicts: 773000 | #Constraints: 38168
1064.60/1067.35 c #Conflicts: 774000 | #Constraints: 39168
1064.60/1067.35 c #Conflicts: 775000 | #Constraints: 40168
1064.60/1067.35 c #Conflicts: 776000 | #Constraints: 41168
1064.60/1067.35 c #Conflicts: 777000 | #Constraints: 42168
1064.60/1067.35 c #Conflicts: 778000 | #Constraints: 43168
1064.60/1067.35 c #Conflicts: 779000 | #Constraints: 44168
1064.60/1067.35 c #Conflicts: 780000 | #Constraints: 45168
1064.60/1067.35 c #Conflicts: 781000 | #Constraints: 46168
1064.60/1067.35 c #Conflicts: 782000 | #Constraints: 47168
1203.85/1206.99 c #Conflicts: 783000 | #Constraints: 48168
1203.85/1206.99 c #Conflicts: 784000 | #Constraints: 49168
1203.85/1206.99 c #Conflicts: 785000 | #Constraints: 50168
1203.85/1206.99 c #Conflicts: 786000 | #Constraints: 51168
1203.85/1206.99 c #Conflicts: 787000 | #Constraints: 52168
1203.85/1206.99 c #Conflicts: 788000 | #Constraints: 53168
1203.85/1206.99 c #Conflicts: 789000 | #Constraints: 54168
1203.85/1206.99 c #Conflicts: 790000 | #Constraints: 55168
1203.85/1206.99 c #Conflicts: 791000 | #Constraints: 56168
1203.85/1206.99 c #Conflicts: 792000 | #Constraints: 57168
1203.85/1206.99 c #Conflicts: 793000 | #Constraints: 58168
1203.85/1206.99 c #Conflicts: 794000 | #Constraints: 59168
1203.85/1206.99 c #Conflicts: 795000 | #Constraints: 60168
1203.85/1206.99 c #Conflicts: 796000 | #Constraints: 61168
1203.85/1206.99 c #Conflicts: 797000 | #Constraints: 62168
1203.85/1206.99 c #Conflicts: 798000 | #Constraints: 63168
1203.85/1206.99 c #Conflicts: 799000 | #Constraints: 64168
1203.85/1206.99 c #Conflicts: 800000 | #Constraints: 65168
1203.85/1206.99 c #Conflicts: 801000 | #Constraints: 66168
1203.85/1206.99 c #Conflicts: 802000 | #Constraints: 67168
1203.85/1206.99 c #Conflicts: 803000 | #Constraints: 68168
1203.85/1206.99 c #Conflicts: 804000 | #Constraints: 69168
1203.85/1206.99 c #Conflicts: 805000 | #Constraints: 70168
1203.85/1206.99 c #Conflicts: 806000 | #Constraints: 71168
1203.85/1206.99 c #Conflicts: 807000 | #Constraints: 72168
1203.85/1206.99 c #Conflicts: 808000 | #Constraints: 73168
1203.85/1206.99 c #Conflicts: 809000 | #Constraints: 74168
1203.85/1206.99 c #Conflicts: 810000 | #Constraints: 75168
1203.85/1206.99 c #Conflicts: 811000 | #Constraints: 76168
1203.85/1206.99 c #Conflicts: 812000 | #Constraints: 77169
1203.85/1206.99 c #Conflicts: 813000 | #Constraints: 78169
1203.85/1206.99 c #Conflicts: 814000 | #Constraints: 79169
1203.85/1206.99 c #Conflicts: 815000 | #Constraints: 80169
1203.85/1206.99 c #Conflicts: 816000 | #Constraints: 81169
1203.85/1206.99 c #Conflicts: 817000 | #Constraints: 82169
1203.85/1206.99 c #Conflicts: 818000 | #Constraints: 83169
1203.85/1206.99 c #Conflicts: 819000 | #Constraints: 84169
1203.85/1206.99 c #Conflicts: 820000 | #Constraints: 85169
1203.85/1206.99 c #Conflicts: 821000 | #Constraints: 86169
1203.85/1206.99 c #Conflicts: 822000 | #Constraints: 87169
1203.85/1206.99 c #Conflicts: 823000 | #Constraints: 88169
1203.85/1206.99 c #Conflicts: 824000 | #Constraints: 89169
1203.85/1206.99 c #Conflicts: 825000 | #Constraints: 90169
1203.85/1206.99 c #Conflicts: 826000 | #Constraints: 91169
1203.85/1206.99 c #Conflicts: 827000 | #Constraints: 92169
1203.85/1206.99 c #Conflicts: 828000 | #Constraints: 93169
1203.85/1206.99 c #Conflicts: 829000 | #Constraints: 94169
1203.85/1206.99 c #Conflicts: 830000 | #Constraints: 95169
1203.85/1206.99 c #Conflicts: 831000 | #Constraints: 96169
1203.85/1206.99 c INPROCESSING
1203.85/1206.99 c GARBAGE COLLECT
1203.85/1206.99 c rational objective 96
1322.55/1325.92 c #Conflicts: 832000 | #Constraints: 52524
1322.55/1325.92 c #Conflicts: 833000 | #Constraints: 53524
1322.55/1325.92 c #Conflicts: 834000 | #Constraints: 54524
1322.55/1325.92 c #Conflicts: 835000 | #Constraints: 55524
1322.55/1325.92 c #Conflicts: 836000 | #Constraints: 56524
1322.55/1325.92 c #Conflicts: 837000 | #Constraints: 57524
1322.55/1325.92 c #Conflicts: 838000 | #Constraints: 58524
1322.55/1325.92 c #Conflicts: 839000 | #Constraints: 59524
1322.55/1325.92 c #Conflicts: 840000 | #Constraints: 60524
1322.55/1325.92 c #Conflicts: 841000 | #Constraints: 61524
1322.55/1325.92 c #Conflicts: 842000 | #Constraints: 62524
1322.55/1325.92 c #Conflicts: 843000 | #Constraints: 63524
1322.55/1325.92 c #Conflicts: 844000 | #Constraints: 64524
1322.55/1325.92 c #Conflicts: 845000 | #Constraints: 65524
1322.55/1325.92 c #Conflicts: 846000 | #Constraints: 66524
1322.55/1325.92 c #Conflicts: 847000 | #Constraints: 67524
1322.55/1325.92 c #Conflicts: 848000 | #Constraints: 68524
1322.55/1325.92 c #Conflicts: 849000 | #Constraints: 69524
1322.55/1325.92 c #Conflicts: 850000 | #Constraints: 70524
1322.55/1325.92 c #Conflicts: 851000 | #Constraints: 71524
1322.55/1325.92 c #Conflicts: 852000 | #Constraints: 72524
1322.55/1325.92 c INPROCESSING
1322.55/1325.92 c GARBAGE COLLECT
1322.55/1325.92 c #Conflicts: 853000 | #Constraints: 40804
1322.55/1325.92 c #Conflicts: 854000 | #Constraints: 41804
1322.55/1325.92 c #Conflicts: 855000 | #Constraints: 42804
1322.55/1325.92 c #Conflicts: 856000 | #Constraints: 43804
1322.55/1325.92 c #Conflicts: 857000 | #Constraints: 44804
1322.55/1325.92 c #Conflicts: 858000 | #Constraints: 45804
1322.55/1325.92 c #Conflicts: 859000 | #Constraints: 46804
1322.55/1325.92 c #Conflicts: 860000 | #Constraints: 47804
1322.55/1325.92 c #Conflicts: 861000 | #Constraints: 48804
1322.55/1325.92 c #Conflicts: 862000 | #Constraints: 49804
1322.55/1325.92 c #Conflicts: 863000 | #Constraints: 50804
1322.55/1325.92 c #Conflicts: 864000 | #Constraints: 51804
1322.55/1325.92 c #Conflicts: 865000 | #Constraints: 52804
1322.55/1325.92 c #Conflicts: 866000 | #Constraints: 53804
1322.55/1325.92 c #Conflicts: 867000 | #Constraints: 54804
1322.55/1325.92 c #Conflicts: 868000 | #Constraints: 55804
1322.55/1325.92 c #Conflicts: 869000 | #Constraints: 56804
1322.55/1325.92 c #Conflicts: 870000 | #Constraints: 57804
1322.55/1325.92 c #Conflicts: 871000 | #Constraints: 58804
1322.55/1325.92 c #Conflicts: 872000 | #Constraints: 59804
1322.55/1325.92 c #Conflicts: 873000 | #Constraints: 60804
1322.55/1325.92 c INPROCESSING
1322.55/1325.92 c GARBAGE COLLECT
1322.55/1325.92 c #Conflicts: 874000 | #Constraints: 34934
1322.55/1325.92 c #Conflicts: 875000 | #Constraints: 35934
1322.55/1325.92 c #Conflicts: 876000 | #Constraints: 36934
1322.55/1325.92 c #Conflicts: 877000 | #Constraints: 37934
1322.55/1325.92 c #Conflicts: 878000 | #Constraints: 38934
1322.55/1325.92 c #Conflicts: 879000 | #Constraints: 39934
1322.55/1325.92 c #Conflicts: 880000 | #Constraints: 40934
1322.55/1325.92 c #Conflicts: 881000 | #Constraints: 41934
1322.55/1325.92 c #Conflicts: 882000 | #Constraints: 42935
1322.55/1325.92 c #Conflicts: 883000 | #Constraints: 43935
1322.55/1325.92 c #Conflicts: 884000 | #Constraints: 44935
1322.55/1325.92 c #Conflicts: 885000 | #Constraints: 45935
1322.55/1325.92 c #Conflicts: 886000 | #Constraints: 46935
1322.55/1325.92 c #Conflicts: 887000 | #Constraints: 47935
1322.55/1325.92 c #Conflicts: 888000 | #Constraints: 48935
1322.55/1325.92 c #Conflicts: 889000 | #Constraints: 49935
1322.55/1325.92 c #Conflicts: 890000 | #Constraints: 50935
1322.55/1325.92 c #Conflicts: 891000 | #Constraints: 51935
1322.55/1325.92 c #Conflicts: 892000 | #Constraints: 52935
1322.55/1325.92 c #Conflicts: 893000 | #Constraints: 53935
1322.55/1325.92 c #Conflicts: 894000 | #Constraints: 54935
1322.55/1325.92 c INPROCESSING
1322.55/1325.92 c GARBAGE COLLECT
1322.55/1325.92 c #Conflicts: 895000 | #Constraints: 31773
1322.55/1325.92 c #Conflicts: 896000 | #Constraints: 32773
1322.55/1325.92 c #Conflicts: 897000 | #Constraints: 33773
1322.55/1325.92 c #Conflicts: 898000 | #Constraints: 34773
1322.55/1325.92 c #Conflicts: 899000 | #Constraints: 35773
1322.55/1325.92 c #Conflicts: 900000 | #Constraints: 36773
1322.55/1325.92 c #Conflicts: 901000 | #Constraints: 37773
1322.55/1325.92 c #Conflicts: 902000 | #Constraints: 38773
1322.55/1325.92 c #Conflicts: 903000 | #Constraints: 39773
1322.55/1325.92 c #Conflicts: 904000 | #Constraints: 40773
1322.55/1325.92 c #Conflicts: 905000 | #Constraints: 41773
1322.55/1325.92 c #Conflicts: 906000 | #Constraints: 42773
1322.55/1325.92 c #Conflicts: 907000 | #Constraints: 43773
1322.55/1325.92 c #Conflicts: 908000 | #Constraints: 44773
1500.93/1504.87 c #Conflicts: 909000 | #Constraints: 45773
1500.93/1504.87 c #Conflicts: 910000 | #Constraints: 46773
1500.93/1504.87 c #Conflicts: 911000 | #Constraints: 47773
1500.93/1504.87 c #Conflicts: 912000 | #Constraints: 48773
1500.93/1504.87 c #Conflicts: 913000 | #Constraints: 49773
1500.93/1504.87 c #Conflicts: 914000 | #Constraints: 50773
1500.93/1504.87 c #Conflicts: 915000 | #Constraints: 51773
1500.93/1504.87 c #Conflicts: 916000 | #Constraints: 52773
1500.93/1504.87 c INPROCESSING
1500.93/1504.87 c GARBAGE COLLECT
1500.93/1504.87 c #Conflicts: 917000 | #Constraints: 30958
1500.93/1504.87 c #Conflicts: 918000 | #Constraints: 31958
1500.93/1504.87 c #Conflicts: 919000 | #Constraints: 32958
1500.93/1504.87 c #Conflicts: 920000 | #Constraints: 33958
1500.93/1504.87 c #Conflicts: 921000 | #Constraints: 34958
1500.93/1504.87 c #Conflicts: 922000 | #Constraints: 35958
1500.93/1504.87 c #Conflicts: 923000 | #Constraints: 36958
1500.93/1504.87 c #Conflicts: 924000 | #Constraints: 37958
1500.93/1504.87 c #Conflicts: 925000 | #Constraints: 38958
1500.93/1504.87 c #Conflicts: 926000 | #Constraints: 39958
1500.93/1504.87 c #Conflicts: 927000 | #Constraints: 40958
1500.93/1504.87 c #Conflicts: 928000 | #Constraints: 41958
1500.93/1504.87 c #Conflicts: 929000 | #Constraints: 42958
1500.93/1504.87 c #Conflicts: 930000 | #Constraints: 43958
1500.93/1504.87 c #Conflicts: 931000 | #Constraints: 44958
1500.93/1504.87 c #Conflicts: 932000 | #Constraints: 45958
1500.93/1504.87 c #Conflicts: 933000 | #Constraints: 46958
1500.93/1504.87 c #Conflicts: 934000 | #Constraints: 47958
1500.93/1504.87 c #Conflicts: 935000 | #Constraints: 48958
1500.93/1504.87 c #Conflicts: 936000 | #Constraints: 49958
1500.93/1504.87 c #Conflicts: 937000 | #Constraints: 50958
1500.93/1504.87 c #Conflicts: 938000 | #Constraints: 51958
1500.93/1504.87 c #Conflicts: 939000 | #Constraints: 52958
1500.93/1504.87 c #Conflicts: 940000 | #Constraints: 53958
1500.93/1504.87 c #Conflicts: 941000 | #Constraints: 54958
1500.93/1504.87 c #Conflicts: 942000 | #Constraints: 55958
1500.93/1504.87 c #Conflicts: 943000 | #Constraints: 56958
1500.93/1504.87 c #Conflicts: 944000 | #Constraints: 57958
1500.93/1504.87 c #Conflicts: 945000 | #Constraints: 58958
1500.93/1504.87 c #Conflicts: 946000 | #Constraints: 59958
1500.93/1504.87 c #Conflicts: 947000 | #Constraints: 60958
1500.93/1504.87 c #Conflicts: 948000 | #Constraints: 61958
1500.93/1504.87 c #Conflicts: 949000 | #Constraints: 62958
1500.93/1504.87 c #Conflicts: 950000 | #Constraints: 63958
1500.93/1504.87 c #Conflicts: 951000 | #Constraints: 64958
1500.93/1504.87 c #Conflicts: 952000 | #Constraints: 65958
1500.93/1504.87 c #Conflicts: 953000 | #Constraints: 66958
1500.93/1504.87 c #Conflicts: 954000 | #Constraints: 67958
1500.93/1504.87 c #Conflicts: 955000 | #Constraints: 68958
1500.93/1504.87 c #Conflicts: 956000 | #Constraints: 69958
1500.93/1504.87 c #Conflicts: 957000 | #Constraints: 70958
1500.93/1504.87 c #Conflicts: 958000 | #Constraints: 71958
1500.93/1504.87 c #Conflicts: 959000 | #Constraints: 72958
1500.93/1504.87 c #Conflicts: 960000 | #Constraints: 73958
1500.93/1504.87 c #Conflicts: 961000 | #Constraints: 74958
1500.93/1504.87 c #Conflicts: 962000 | #Constraints: 75958
1500.93/1504.87 c #Conflicts: 963000 | #Constraints: 76958
1500.93/1504.87 c #Conflicts: 964000 | #Constraints: 77958
1500.93/1504.87 c #Conflicts: 965000 | #Constraints: 78958
1500.93/1504.87 c #Conflicts: 966000 | #Constraints: 79958
1500.93/1504.87 c #Conflicts: 967000 | #Constraints: 80958
1500.93/1504.87 c #Conflicts: 968000 | #Constraints: 81958
1500.93/1504.87 c #Conflicts: 969000 | #Constraints: 82958
1500.93/1504.87 c #Conflicts: 970000 | #Constraints: 83958
1500.93/1504.87 c #Conflicts: 971000 | #Constraints: 84958
1500.93/1504.87 c #Conflicts: 972000 | #Constraints: 85958
1500.93/1504.87 c #Conflicts: 973000 | #Constraints: 86958
1500.93/1504.87 c #Conflicts: 974000 | #Constraints: 87958
1500.93/1504.87 c #Conflicts: 975000 | #Constraints: 88958
1500.93/1504.87 c #Conflicts: 976000 | #Constraints: 89958
1500.93/1504.87 c #Conflicts: 977000 | #Constraints: 90958
1500.93/1504.87 c #Conflicts: 978000 | #Constraints: 91958
1500.93/1504.87 c #Conflicts: 979000 | #Constraints: 92958
1500.93/1504.87 c #Conflicts: 980000 | #Constraints: 93958
1500.93/1504.87 c #Conflicts: 981000 | #Constraints: 94958
1500.93/1504.87 c #Conflicts: 982000 | #Constraints: 95958
1500.93/1504.87 c #Conflicts: 983000 | #Constraints: 96958
1500.93/1504.87 c #Conflicts: 984000 | #Constraints: 97958
1500.93/1504.87 c #Conflicts: 985000 | #Constraints: 98958
1500.93/1504.87 c #Conflicts: 986000 | #Constraints: 99958
1671.03/1675.42 c #Conflicts: 987000 | #Constraints: 100958
1671.03/1675.42 c #Conflicts: 988000 | #Constraints: 101958
1671.03/1675.42 c #Conflicts: 989000 | #Constraints: 102958
1671.03/1675.42 c #Conflicts: 990000 | #Constraints: 103958
1671.03/1675.42 c #Conflicts: 991000 | #Constraints: 104958
1671.03/1675.42 c INPROCESSING
1671.03/1675.42 c GARBAGE COLLECT
1671.03/1675.42 c #Conflicts: 992000 | #Constraints: 57215
1671.03/1675.42 c #Conflicts: 993000 | #Constraints: 58215
1671.03/1675.42 c #Conflicts: 994000 | #Constraints: 59215
1671.03/1675.42 c #Conflicts: 995000 | #Constraints: 60215
1671.03/1675.42 c #Conflicts: 996000 | #Constraints: 61215
1671.03/1675.42 c #Conflicts: 997000 | #Constraints: 62215
1671.03/1675.42 c #Conflicts: 998000 | #Constraints: 63215
1671.03/1675.42 c #Conflicts: 999000 | #Constraints: 64215
1671.03/1675.42 c #Conflicts: 1000000 | #Constraints: 65215
1671.03/1675.42 c #Conflicts: 1001000 | #Constraints: 66215
1671.03/1675.42 c #Conflicts: 1002000 | #Constraints: 67215
1671.03/1675.42 c #Conflicts: 1003000 | #Constraints: 68215
1671.03/1675.42 c #Conflicts: 1004000 | #Constraints: 69215
1671.03/1675.42 c #Conflicts: 1005000 | #Constraints: 70215
1671.03/1675.42 c #Conflicts: 1006000 | #Constraints: 71215
1671.03/1675.42 c #Conflicts: 1007000 | #Constraints: 72215
1671.03/1675.42 c #Conflicts: 1008000 | #Constraints: 73215
1671.03/1675.42 c #Conflicts: 1009000 | #Constraints: 74215
1671.03/1675.42 c #Conflicts: 1010000 | #Constraints: 75215
1671.03/1675.42 c #Conflicts: 1011000 | #Constraints: 76215
1671.03/1675.42 c #Conflicts: 1012000 | #Constraints: 77215
1671.03/1675.42 c #Conflicts: 1013000 | #Constraints: 78215
1671.03/1675.42 c #Conflicts: 1014000 | #Constraints: 79215
1671.03/1675.42 c INPROCESSING
1671.03/1675.42 c GARBAGE COLLECT
1671.03/1675.42 c #Conflicts: 1015000 | #Constraints: 44354
1671.03/1675.42 c #Conflicts: 1016000 | #Constraints: 45354
1671.03/1675.42 c #Conflicts: 1017000 | #Constraints: 46354
1671.03/1675.42 c #Conflicts: 1018000 | #Constraints: 47354
1671.03/1675.42 c #Conflicts: 1019000 | #Constraints: 48354
1671.03/1675.42 c #Conflicts: 1020000 | #Constraints: 49354
1671.03/1675.42 c #Conflicts: 1021000 | #Constraints: 50354
1671.03/1675.42 c #Conflicts: 1022000 | #Constraints: 51354
1671.03/1675.42 c #Conflicts: 1023000 | #Constraints: 52354
1671.03/1675.42 c #Conflicts: 1024000 | #Constraints: 53354
1671.03/1675.42 c #Conflicts: 1025000 | #Constraints: 54354
1671.03/1675.42 c #Conflicts: 1026000 | #Constraints: 55354
1671.03/1675.42 c #Conflicts: 1027000 | #Constraints: 56354
1671.03/1675.42 c #Conflicts: 1028000 | #Constraints: 57354
1671.03/1675.42 c #Conflicts: 1029000 | #Constraints: 58354
1671.03/1675.42 c #Conflicts: 1030000 | #Constraints: 59354
1671.03/1675.42 c #Conflicts: 1031000 | #Constraints: 60354
1671.03/1675.42 c #Conflicts: 1032000 | #Constraints: 61354
1671.03/1675.42 c #Conflicts: 1033000 | #Constraints: 62354
1671.03/1675.42 c #Conflicts: 1034000 | #Constraints: 63354
1671.03/1675.42 c #Conflicts: 1035000 | #Constraints: 64354
1671.03/1675.42 c #Conflicts: 1036000 | #Constraints: 65354
1671.03/1675.42 c #Conflicts: 1037000 | #Constraints: 66354
1671.03/1675.42 c INPROCESSING
1671.03/1675.42 c GARBAGE COLLECT
1671.03/1675.42 c #Conflicts: 1038000 | #Constraints: 37952
1671.03/1675.42 c #Conflicts: 1039000 | #Constraints: 38952
1671.03/1675.42 c #Conflicts: 1040000 | #Constraints: 39952
1671.03/1675.42 c #Conflicts: 1041000 | #Constraints: 40952
1671.03/1675.42 c #Conflicts: 1042000 | #Constraints: 41952
1671.03/1675.42 c #Conflicts: 1043000 | #Constraints: 42952
1671.03/1675.42 c #Conflicts: 1044000 | #Constraints: 43952
1671.03/1675.42 c #Conflicts: 1045000 | #Constraints: 44952
1671.03/1675.42 c #Conflicts: 1046000 | #Constraints: 45952
1671.03/1675.42 c #Conflicts: 1047000 | #Constraints: 46952
1671.03/1675.42 c #Conflicts: 1048000 | #Constraints: 47952
1671.03/1675.42 c #Conflicts: 1049000 | #Constraints: 48952
1671.03/1675.42 c #Conflicts: 1050000 | #Constraints: 49952
1671.03/1675.42 c #Conflicts: 1051000 | #Constraints: 50952
1671.03/1675.42 c #Conflicts: 1052000 | #Constraints: 51952
1671.03/1675.42 c #Conflicts: 1053000 | #Constraints: 52952
1671.03/1675.42 c #Conflicts: 1054000 | #Constraints: 53952
1671.03/1675.42 c #Conflicts: 1055000 | #Constraints: 54952
1671.03/1675.42 c #Conflicts: 1056000 | #Constraints: 55952
1671.03/1675.42 c #Conflicts: 1057000 | #Constraints: 56952
1671.03/1675.42 c #Conflicts: 1058000 | #Constraints: 57952
1671.03/1675.42 c #Conflicts: 1059000 | #Constraints: 58952
1671.03/1675.42 c #Conflicts: 1060000 | #Constraints: 59952
1671.03/1675.42 c INPROCESSING
1671.03/1675.42 c GARBAGE COLLECT
1671.03/1675.42 c #Conflicts: 1061000 | #Constraints: 34695
1671.03/1675.42 c #Conflicts: 1062000 | #Constraints: 35695
1671.03/1675.42 c #Conflicts: 1063000 | #Constraints: 36695
1830.71/1835.54 c #Conflicts: 1064000 | #Constraints: 37695
1830.71/1835.54 c #Conflicts: 1065000 | #Constraints: 38695
1830.71/1835.54 c #Conflicts: 1066000 | #Constraints: 39695
1830.71/1835.54 c #Conflicts: 1067000 | #Constraints: 40695
1830.71/1835.54 c #Conflicts: 1068000 | #Constraints: 41695
1830.71/1835.54 c #Conflicts: 1069000 | #Constraints: 42695
1830.71/1835.54 c #Conflicts: 1070000 | #Constraints: 43695
1830.71/1835.54 c #Conflicts: 1071000 | #Constraints: 44695
1830.71/1835.54 c #Conflicts: 1072000 | #Constraints: 45695
1830.71/1835.54 c #Conflicts: 1073000 | #Constraints: 46695
1830.71/1835.54 c #Conflicts: 1074000 | #Constraints: 47695
1830.71/1835.54 c #Conflicts: 1075000 | #Constraints: 48695
1830.71/1835.54 c #Conflicts: 1076000 | #Constraints: 49695
1830.71/1835.54 c #Conflicts: 1077000 | #Constraints: 50695
1830.71/1835.54 c #Conflicts: 1078000 | #Constraints: 51695
1830.71/1835.54 c #Conflicts: 1079000 | #Constraints: 52695
1830.71/1835.54 c #Conflicts: 1080000 | #Constraints: 53695
1830.71/1835.54 c #Conflicts: 1081000 | #Constraints: 54695
1830.71/1835.54 c #Conflicts: 1082000 | #Constraints: 55695
1830.71/1835.54 c #Conflicts: 1083000 | #Constraints: 56695
1830.71/1835.54 c INPROCESSING
1830.71/1835.54 c GARBAGE COLLECT
1830.71/1835.54 c #Conflicts: 1084000 | #Constraints: 32790
1830.71/1835.54 c #Conflicts: 1085000 | #Constraints: 33790
1830.71/1835.54 c #Conflicts: 1086000 | #Constraints: 34790
1830.71/1835.54 c #Conflicts: 1087000 | #Constraints: 35790
1830.71/1835.54 c #Conflicts: 1088000 | #Constraints: 36790
1830.71/1835.54 c #Conflicts: 1089000 | #Constraints: 37790
1830.71/1835.54 c #Conflicts: 1090000 | #Constraints: 38790
1830.71/1835.54 c #Conflicts: 1091000 | #Constraints: 39790
1830.71/1835.54 c #Conflicts: 1092000 | #Constraints: 40790
1830.71/1835.54 c #Conflicts: 1093000 | #Constraints: 41790
1830.71/1835.54 c #Conflicts: 1094000 | #Constraints: 42790
1830.71/1835.54 c #Conflicts: 1095000 | #Constraints: 43790
1830.71/1835.54 c #Conflicts: 1096000 | #Constraints: 44790
1830.71/1835.54 c #Conflicts: 1097000 | #Constraints: 45790
1830.71/1835.54 c #Conflicts: 1098000 | #Constraints: 46790
1830.71/1835.54 c #Conflicts: 1099000 | #Constraints: 47790
1830.71/1835.54 c #Conflicts: 1100000 | #Constraints: 48790
1830.71/1835.54 c #Conflicts: 1101000 | #Constraints: 49790
1830.71/1835.54 c #Conflicts: 1102000 | #Constraints: 50790
1830.71/1835.54 c #Conflicts: 1103000 | #Constraints: 51790
1830.71/1835.54 c #Conflicts: 1104000 | #Constraints: 52791
1830.71/1835.54 c #Conflicts: 1105000 | #Constraints: 53791
1830.71/1835.54 c #Conflicts: 1106000 | #Constraints: 54791
1830.71/1835.54 c #Conflicts: 1107000 | #Constraints: 55791
1830.71/1835.54 c #Conflicts: 1108000 | #Constraints: 56791
1830.71/1835.54 c #Conflicts: 1109000 | #Constraints: 57791
1830.71/1835.54 c #Conflicts: 1110000 | #Constraints: 58791
1830.71/1835.54 c #Conflicts: 1111000 | #Constraints: 59791
1830.71/1835.54 c #Conflicts: 1112000 | #Constraints: 60791
1830.71/1835.54 c #Conflicts: 1113000 | #Constraints: 61791
1830.71/1835.54 c #Conflicts: 1114000 | #Constraints: 62791
1830.71/1835.54 c #Conflicts: 1115000 | #Constraints: 63791
1830.71/1835.54 c #Conflicts: 1116000 | #Constraints: 64791
1830.71/1835.54 c #Conflicts: 1117000 | #Constraints: 65791
1830.71/1835.54 c #Conflicts: 1118000 | #Constraints: 66791
1830.71/1835.54 c #Conflicts: 1119000 | #Constraints: 67791
1830.71/1835.54 c #Conflicts: 1120000 | #Constraints: 68791
1830.71/1835.54 c #Conflicts: 1121000 | #Constraints: 69791
1830.71/1835.54 c #Conflicts: 1122000 | #Constraints: 70791
1830.71/1835.54 c #Conflicts: 1123000 | #Constraints: 71791
1830.71/1835.54 c #Conflicts: 1124000 | #Constraints: 72791
1830.71/1835.54 c #Conflicts: 1125000 | #Constraints: 73791
1830.71/1835.54 c #Conflicts: 1126000 | #Constraints: 74791
1830.71/1835.54 c #Conflicts: 1127000 | #Constraints: 75791
1830.71/1835.54 c #Conflicts: 1128000 | #Constraints: 76792
1830.71/1835.54 c #Conflicts: 1129000 | #Constraints: 77792
1830.71/1835.54 c #Conflicts: 1130000 | #Constraints: 78792
1830.71/1835.54 c #Conflicts: 1131000 | #Constraints: 79792
1830.71/1835.54 c #Conflicts: 1132000 | #Constraints: 80792
1830.71/1835.54 c #Conflicts: 1133000 | #Constraints: 81792
1830.71/1835.54 c #Conflicts: 1134000 | #Constraints: 82792
1830.71/1835.54 c #Conflicts: 1135000 | #Constraints: 83792
1830.71/1835.54 c #Conflicts: 1136000 | #Constraints: 84792
1830.71/1835.54 c #Conflicts: 1137000 | #Constraints: 85792
1830.71/1835.54 c #Conflicts: 1138000 | #Constraints: 86792
1830.71/1835.54 c #Conflicts: 1139000 | #Constraints: 87792
1830.71/1835.54 c #Conflicts: 1140000 | #Constraints: 88792
1830.71/1835.54 c #Conflicts: 1141000 | #Constraints: 89792
1923.99/1929.04 c #Conflicts: 1142000 | #Constraints: 90792
1923.99/1929.04 c #Conflicts: 1143000 | #Constraints: 91792
1923.99/1929.04 c #Conflicts: 1144000 | #Constraints: 92792
1923.99/1929.04 c #Conflicts: 1145000 | #Constraints: 93792
1923.99/1929.04 c #Conflicts: 1146000 | #Constraints: 94792
1923.99/1929.04 c #Conflicts: 1147000 | #Constraints: 95792
1923.99/1929.04 c #Conflicts: 1148000 | #Constraints: 96792
1923.99/1929.04 c #Conflicts: 1149000 | #Constraints: 97792
1923.99/1929.04 c #Conflicts: 1150000 | #Constraints: 98792
1923.99/1929.04 c #Conflicts: 1151000 | #Constraints: 99792
1923.99/1929.04 c #Conflicts: 1152000 | #Constraints: 100792
1923.99/1929.04 c #Conflicts: 1153000 | #Constraints: 101792
1923.99/1929.04 c #Conflicts: 1154000 | #Constraints: 102792
1923.99/1929.04 c #Conflicts: 1155000 | #Constraints: 103792
1923.99/1929.04 c #Conflicts: 1156000 | #Constraints: 104792
1923.99/1929.04 c #Conflicts: 1157000 | #Constraints: 105792
1923.99/1929.04 c #Conflicts: 1158000 | #Constraints: 106792
1923.99/1929.04 c #Conflicts: 1159000 | #Constraints: 107792
1923.99/1929.04 c #Conflicts: 1160000 | #Constraints: 108792
1923.99/1929.04 c #Conflicts: 1161000 | #Constraints: 109792
1923.99/1929.05 c #Conflicts: 1162000 | #Constraints: 110792
1923.99/1929.05 c #Conflicts: 1163000 | #Constraints: 111792
1923.99/1929.05 c #Conflicts: 1164000 | #Constraints: 112792
1923.99/1929.05 c INPROCESSING
1923.99/1929.05 c GARBAGE COLLECT
1923.99/1929.05 c rational objective 96
1939.34/1944.46 c #Conflicts: 1165000 | #Constraints: 60823
1939.34/1944.46 c #Conflicts: 1166000 | #Constraints: 61823
1939.34/1944.46 c #Conflicts: 1167000 | #Constraints: 62823
1939.34/1944.46 c #Conflicts: 1168000 | #Constraints: 63823
1939.34/1944.46 c #Conflicts: 1169000 | #Constraints: 64823
1939.34/1944.46 c #Conflicts: 1170000 | #Constraints: 65823
1939.34/1944.46 c #Conflicts: 1171000 | #Constraints: 66823
1939.34/1944.46 c #Conflicts: 1172000 | #Constraints: 67823
1939.34/1944.46 c cpu time 1924.32 s
1939.34/1944.46 c deterministic time 138989998550 1.39e+11
1939.34/1944.46 c optimization time 6.2e-05 s
1939.34/1944.46 c total solve time 1924.29 s
1939.34/1944.46 c core-guided solve time 0 s
1939.34/1944.46 c propagation time 1065.55 s
1939.34/1944.46 c conflict analysis time 736.246 s
1939.34/1944.46 c propagations 550146295
1939.34/1944.46 c resolve steps 49926781
1939.34/1944.46 c decisions 9850725
1939.34/1944.46 c conflicts 1172824
1939.34/1944.46 c restarts 2173
1939.34/1944.46 c inprocessing phases 64
1939.34/1944.46 c garbage collections 64 ,( 100.00 )
1939.34/1944.46 c input clauses 6626 ,( 98.57 )
1939.34/1944.46 c input cardinalities 96 ,( 1.43 )
1939.34/1944.46 c input general constraints 0 ,( 0.00 )
1939.34/1944.46 c input average constraint length 6.23
1939.34/1944.46 c input average constraint degree 1.94
1939.34/1944.46 c learned clauses 874515 ,( 74.56 )
1939.34/1944.46 c learned cardinalities 23704 ,( 2.02 )
1939.34/1944.46 c learned general constraints 274622 ,( 23.42 )
1939.34/1944.46 c learned average constraint length 646.96
1939.34/1944.46 c learned average constraint degree 8019048.94
1939.34/1944.46 c watched CF 32, 64, 128, Arb: 85503 , 0 , 0 , 0
1939.34/1944.46 c counting CF 32, 64, 128, Arb: 189119 , 0 , 0 , 0
1939.34/1944.46 c watched constraints 85503 ,( 31.13 )
1939.34/1944.46 c counting constraints 189119 ,( 68.87 )
1939.34/1944.46 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 766541219 , 400941918 , 1782509695 ,( 81510067 , 1700999628 )
1939.34/1944.46 c gcd simplifications 766
1939.34/1944.46 c detected cardinalities 1955
1939.34/1944.46 c weakened non-implied lits 217095825
1939.34/1944.46 c weakened non-implying lits 164913
1939.34/1944.46 c original variables 6528
1939.34/1944.46 c clausal propagations 209108279
1939.34/1944.46 c cardinality propagations 208763596
1939.34/1944.46 c watched propagations 2840091
1939.34/1944.46 c counting propagations 124886602
1939.34/1944.46 c watch lookups 71126518933
1939.34/1944.46 c watch backjump lookups 0
1939.34/1944.46 c watch checks 21919164279
1939.34/1944.46 c propagation checks 42203724322
1939.34/1944.46 c constraint additions 2619185156
1939.34/1944.46 c trail pops 561169404
1939.34/1944.46 c formula constraints 6722
1939.34/1944.46 c learned constraints 1172817
1939.34/1944.46 c bound constraints 0
1939.34/1944.46 c core-guided constraints 0
1939.34/1944.46 c encountered formula constraints 30254891
1939.34/1944.46 c encountered learned constraints 20844692
1939.34/1944.46 c encountered bound constraints 0
1939.34/1944.46 c encountered core-guided constraints 0
1939.34/1944.46 c LP total time 119.975 s
1939.34/1944.46 c LP solve time 95.08 s
1939.34/1944.46 c LP constraints added 7769
1939.34/1944.46 c LP constraints removed 876
1939.34/1944.46 c LP pivots internal 127105
1939.34/1944.46 c LP pivots root 112330
1939.34/1944.46 c LP calls 30
1939.34/1944.46 c LP optimalities 18
1939.34/1944.46 c LP no pivot count 2
1939.34/1944.46 c LP infeasibilities 7
1939.34/1944.46 c LP valid Farkas constraints 7
1939.34/1944.46 c LP learned Farkas constraints 7
1939.34/1944.46 c LP basis resets 0
1939.34/1944.46 c LP cycling count 0
1939.34/1944.46 c LP singular count 0
1939.34/1944.46 c LP no primal count 0
1939.34/1944.46 c LP no farkas count 0
1939.34/1944.46 c LP other issue count 0
1939.34/1944.46 c LP Gomory cuts 10
1939.34/1944.46 c LP learned cuts 1103
1939.34/1944.46 c LP deleted cuts 1030
1939.34/1944.46 c LP encountered Gomory constraints 1
1939.34/1944.46 c LP encountered Farkas constraints 7
1939.34/1944.46 c LP encountered learned Farkas constraints 7
1939.34/1944.46 c CG auxiliary variables introduced 0
1939.34/1944.46 c CG solutions found 0
1939.34/1944.46 c CG cores constructed 0
1939.34/1944.46 c CG core cardinality constraints returned 0
1939.34/1944.46 c CG unit cores 0
1939.34/1944.46 c CG single cores 0
1939.34/1944.46 c CG blocks removed during cardinality reduction 0
1939.34/1944.46 c CG first core best 0
1939.34/1944.46 c CG decision core best 0
1939.34/1944.46 c CG core reduction tie 0
1939.34/1944.46 c CG core degree average 0.00
1939.34/1944.46 c CG core slack average 0.00
1939.34/1944.46 c CG core upper bound improvements 0
1939.34/1944.46 c STR number of successful calls 0
1939.34/1944.46 c STR number of unsuccessful calls 0
1939.34/1944.46 c STR number of inconclusive calls 0
1939.34/1944.46 c STR number of successful attempts 0
1939.34/1944.46 c STR number of unsuccessful attempts 0
1939.34/1944.46 c STR number of inconclusive attempts 0
1939.34/1944.46 c STR average degree increase per successful call inf
1939.34/1944.46 c STR average degree increase per successful attempt inf
1939.34/1944.46 c STR total number of conflicts for successful attempts 0
1939.34/1944.46 c STR total number of conflicts for unsuccessful attempts 0
1939.34/1944.46 c STR total number of conflicts for inconclusive attempts 0
1939.34/1944.46 c STR average number of conflicts per successful attempt inf
1939.34/1944.46 c STR average number of conflicts per unsuccessful attempt inf
1939.34/1944.46 c STR average number of conflicts per inconclusive attempt inf
1939.34/1944.46 c AVG.sumWPerc 60.76
1939.34/1944.46 c bigint constraints 0
1939.34/1944.46 s SATISFIABLE
1939.34/1944.46 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
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: 63665 MiB (54033 MiB free)
memory of node 1: 64507 MiB (59660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507589-1751188861/watcher-4507589-1751188861 -o /tmp/evaluation-result-4507589-1751188861/solver-4507589-1751188861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24188 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507589-1751188861.opb PROOFDIR/proof-4507589-1751188861
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=24893, runsolver pid=24890
[startup+0.100065 s]*
/proc/loadavg: 4.06 4.12 4.10 5/274 24895
/proc/meminfo: memFree=116399548/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=71768 memory=26392 CPUtime=0.08 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 4696 0 0 0 7 1 0 0 20 0 1 0 34566356 73490432 6598 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 17942 6598 2240 1147 0 5369 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75960 KiB
Current children cumulated memory: 29336 KiB
[startup+0.205732 s]*
/proc/loadavg: 4.06 4.12 4.10 5/274 24895
/proc/meminfo: memFree=116399548/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=72276 memory=27416 CPUtime=0.18 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 4923 0 0 0 17 1 0 0 20 0 1 0 34566356 74010624 6854 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 18069 6854 2272 1147 0 5496 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76468 KiB
Current children cumulated memory: 30360 KiB
[startup+0.305702 s]*
/proc/loadavg: 4.06 4.12 4.10 5/274 24895
/proc/meminfo: memFree=116399548/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=72276 memory=27416 CPUtime=0.29 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 4925 0 0 0 27 2 0 0 20 0 1 0 34566356 74010624 6854 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 18069 6854 2272 1147 0 5496 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76468 KiB
Current children cumulated memory: 30360 KiB
[startup+0.700208 s]
/proc/loadavg: 4.06 4.12 4.10 5/274 24895
/proc/meminfo: memFree=116399548/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=72884 memory=27800 CPUtime=0.68 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 5034 0 0 0 66 2 0 0 20 0 1 0 34566356 74633216 6950 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 18221 6950 2272 1147 0 5648 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77076 KiB
Current children cumulated memory: 30744 KiB
[startup+1.50019 s]
/proc/loadavg: 4.06 4.11 4.09 5/274 24895
/proc/meminfo: memFree=116395516/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=75968 memory=33492 CPUtime=1.48 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 5902 0 0 0 141 7 0 0 20 0 1 0 34566356 77791232 8373 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 18992 8373 2304 1147 0 6419 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80160 KiB
Current children cumulated memory: 36436 KiB
[startup+3.10545 s]
/proc/loadavg: 4.06 4.11 4.09 5/274 24895
/proc/meminfo: memFree=116355420/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=79216 memory=36692 CPUtime=3.08 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 6724 0 0 0 294 14 0 0 20 0 1 0 34566356 81117184 9173 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 19804 9173 2304 1147 0 7231 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83408 KiB
Current children cumulated memory: 39636 KiB
[startup+6.30013 s]
/proc/loadavg: 4.05 4.11 4.09 5/274 24895
/proc/meminfo: memFree=116339944/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=86188 memory=43556 CPUtime=6.26 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 7914 0 0 0 602 24 0 0 20 0 1 0 34566356 88256512 10889 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 21547 10889 2304 1147 0 8974 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 90380 KiB
Current children cumulated memory: 46500 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.11 4.09 5/274 24895
/proc/meminfo: memFree=116243144/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=89896 memory=47140 CPUtime=12.65 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 8812 0 0 0 1225 40 0 0 20 0 1 0 34566356 92053504 11785 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 22474 11785 2304 1147 0 9901 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 94088 KiB
Current children cumulated memory: 50084 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.10 5/274 24896
/proc/meminfo: memFree=116157208/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=108172 memory=61068 CPUtime=25.42 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 11788 0 0 0 2467 75 0 0 20 0 1 0 34566356 110768128 15267 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 27043 15267 2304 1147 0 14470 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 112364 KiB
Current children cumulated memory: 64012 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 24896
/proc/meminfo: memFree=115902952/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=191212 memory=132584 CPUtime=50.96 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 25545 0 0 0 4975 121 0 0 20 0 1 0 34566356 195801088 33146 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 47803 33146 2336 1147 0 35230 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 195404 KiB
Current children cumulated memory: 135528 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 24900
/proc/meminfo: memFree=115578560/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=238888 memory=177656 CPUtime=102.03 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 30176 0 0 0 10003 200 0 0 20 0 1 0 34566356 244621312 44414 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 59722 44414 2336 1147 0 47149 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 243080 KiB
Current children cumulated memory: 180600 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/273 24903
/proc/meminfo: memFree=115259888/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=257120 memory=209480 CPUtime=161.88 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 34576 0 0 0 15918 270 0 0 20 0 1 0 34566356 263290880 52370 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 64280 52370 2336 1147 0 51707 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 261312 KiB
Current children cumulated memory: 212424 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/272 24905
/proc/meminfo: memFree=114837720/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=332616 memory=248572 CPUtime=221.72 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 40776 0 0 0 21843 329 0 0 20 0 1 0 34566356 340598784 62143 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
################
# More data... #
################
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 74433 0 0 0 164424 1373 0 0 20 0 1 0 34566356 700301312 138571 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 170972 138571 2336 1147 0 158399 0
Current children cumulated CPU time: 1657.97 s
Current children cumulated vsize: 688080 KiB
Current children cumulated memory: 557228 KiB
[startup+1722.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/273 25442
/proc/meminfo: memFree=125642800/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=683888 memory=558508 CPUtime=1717.8 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 74482 0 0 0 170377 1403 0 0 20 0 1 0 34566356 700301312 139627 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 170972 139627 2336 1147 0 158399 0
Current children cumulated CPU time: 1717.8 s
Current children cumulated vsize: 688080 KiB
Current children cumulated memory: 561452 KiB
[startup+1782.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/273 25446
/proc/meminfo: memFree=125175168/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=683888 memory=568364 CPUtime=1777.64 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 74507 0 0 0 176329 1435 0 0 20 0 1 0 34566356 700301312 142091 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 170972 142091 2336 1147 0 158399 0
Current children cumulated CPU time: 1777.64 s
Current children cumulated vsize: 688080 KiB
Current children cumulated memory: 571308 KiB
[startup+1842.3 s]
/proc/loadavg: 4.40 4.19 4.11 5/271 25448
/proc/meminfo: memFree=124780248/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=683888 memory=568364 CPUtime=1837.49 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 74540 0 0 0 182288 1461 0 0 20 0 1 0 34566356 700301312 142091 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 170972 142091 2336 1147 0 158399 0
Current children cumulated CPU time: 1837.49 s
Current children cumulated vsize: 688080 KiB
Current children cumulated memory: 571308 KiB
[startup+1902.3 s]
/proc/loadavg: 4.55 4.29 4.15 5/271 25452
/proc/meminfo: memFree=124416012/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=689656 memory=586332 CPUtime=1897.34 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 75494 0 0 0 188246 1488 0 0 20 0 1 0 34566356 706207744 146583 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 172414 146583 2336 1147 0 159841 0
Current children cumulated CPU time: 1897.34 s
Current children cumulated vsize: 693848 KiB
Current children cumulated memory: 589276 KiB
[startup+1944.5 s]
# the end of solver process 24893 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1924.33 s, system=15.0993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1920 s]*
/proc/loadavg: 4.43 4.27 4.15 5/270 25452
/proc/meminfo: memFree=124294488/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=694872 memory=602064 CPUtime=1915.01 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 76360 0 0 0 190006 1495 0 0 20 0 1 0 34566356 711548928 150516 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 173718 150516 2336 1147 0 161145 0
Current children cumulated CPU time: 1915.01 s
Current children cumulated vsize: 699064 KiB
Current children cumulated memory: 605008 KiB
[startup+1932.8 s]
/proc/loadavg: 4.40 4.27 4.15 5/270 25453
/proc/meminfo: memFree=124152144/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=726616 memory=633556 CPUtime=1927.77 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 82702 0 0 0 191274 1503 0 0 20 0 1 0 34566356 744054784 158389 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 181654 158389 2336 1147 0 169081 0
Current children cumulated CPU time: 1927.77 s
Current children cumulated vsize: 730808 KiB
Current children cumulated memory: 636500 KiB
[startup+1939.2 s]
/proc/loadavg: 4.37 4.27 4.15 5/270 25454
/proc/meminfo: memFree=124110488/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=726616 memory=633556 CPUtime=1934.16 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 82702 0 0 0 191910 1506 0 0 20 0 1 0 34566356 744054784 158389 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 181654 158389 2336 1147 0 169081 0
Current children cumulated CPU time: 1934.16 s
Current children cumulated vsize: 730808 KiB
Current children cumulated memory: 636500 KiB
[startup+1942.4 s]
/proc/loadavg: 4.34 4.26 4.15 5/270 25454
/proc/meminfo: memFree=124096596/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=726616 memory=633556 CPUtime=1937.35 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 82702 0 0 0 192228 1507 0 0 20 0 1 0 34566356 744054784 158389 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 181654 158389 2336 1147 0 169081 0
Current children cumulated CPU time: 1937.35 s
Current children cumulated vsize: 730808 KiB
Current children cumulated memory: 636500 KiB
[startup+1943.2 s]
/proc/loadavg: 4.34 4.26 4.15 5/270 25454
/proc/meminfo: memFree=124093572/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=726616 memory=633556 CPUtime=1938.15 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 82702 0 0 0 192307 1508 0 0 20 0 1 0 34566356 744054784 158389 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 181654 158389 2336 1147 0 169081 0
Current children cumulated CPU time: 1938.15 s
Current children cumulated vsize: 730808 KiB
Current children cumulated memory: 636500 KiB
[startup+1944 s]*
/proc/loadavg: 4.34 4.26 4.15 5/270 25454
/proc/meminfo: memFree=124076688/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=726616 memory=633556 CPUtime=1938.95 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 82702 0 0 0 192387 1508 0 0 20 0 1 0 34566356 744054784 158389 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 181654 158389 2336 1147 0 169081 0
Current children cumulated CPU time: 1938.95 s
Current children cumulated vsize: 730808 KiB
Current children cumulated memory: 636500 KiB
[startup+1944.4 s]
/proc/loadavg: 4.34 4.26 4.15 5/270 25454
/proc/meminfo: memFree=124076688/131250000 swapFree=33010684/33010684
[pid=24893] ppid=24890 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/24893/stat : 24893 (run-dec-log.sh) S 24890 24893 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34566355 4292608 736 18446744073709551615 94146658103296 94146658997829 140720627529760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94146659236880 94146659284624 94146685345792 140720627538209 140720627538404 140720627538404 140720627544006 0
/proc/24893/statm: 1048 736 672 219 0 110 0
[pid=24895] ppid=24893 vsize=726616 memory=633556 CPUtime=1939.34 cores=5,7
/proc/24895/stat : 24895 (roundingsat) R 24893 24893 24175 0 -1 4194304 82702 0 0 0 192426 1508 0 0 20 0 1 0 34566356 744054784 158389 18446744073709551615 4227072 8923433 140735970206176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15323136 140735970212199 140735970212392 140735970212392 140735970217962 0
/proc/24895/statm: 181654 158389 2336 1147 0 169081 0
Current children cumulated CPU time: 1939.34 s
Current children cumulated vsize: 730808 KiB
Current children cumulated memory: 636500 KiB
Child status: 0
Real time (s): 1944.5
CPU time (s): 1939.43
CPU user time (s): 1924.33
CPU system time (s): 15.0993
CPU usage (%): 99.7396
Max. virtual memory (cumulated for all children) (KiB): 730808
Max. memory (cumulated for all children) (KiB): 636500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1924.33
system time used= 15.0993
maximum resident set size= 633556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82931
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6854024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 415
involuntary context switches= 2595
# summary of solver processes directly reported to runsolver:
# pid: 24893
# total CPU time (s): 1939.43
# total CPU user time (s): 1924.33
# total CPU system time (s): 15.0993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.65516 second user time and 9.28286 second system time
The end
Begin job on nodeC013 at 2025-06-29 11:21:01
IDJOB=4507589
IDBENCH=158367
IDSOLVER=3352
FILE ID=nodeC013/4507589-1751188861
RUNJOBID= nodeC013-1751183146-24188
SLURM_JOB_ID= 9587568
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507589-1751188861/watcher-4507589-1751188861 -o /tmp/evaluation-result-4507589-1751188861/solver-4507589-1751188861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24188 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507589-1751188861.opb PROOFDIR/proof-4507589-1751188861
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=406442356
nodeC013 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.815
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.67
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.820
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.67
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 : 3695.650
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.67
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 : 3599.188
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.67
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.836
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.67
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 : 3602.474
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.67
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 : 3601.263
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.67
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.833
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 116422012 kB
MemAvailable: 127842268 kB
Buffers: 3280 kB
Cached: 12212284 kB
SwapCached: 0 kB
Active: 2227256 kB
Inactive: 12003416 kB
Active(anon): 2028436 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 12003416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61496 kB
Writeback: 0 kB
AnonPages: 2016904 kB
Mapped: 111408 kB
Shmem: 13284 kB
KReclaimable: 114120 kB
Slab: 201964 kB
SReclaimable: 114120 kB
SUnreclaim: 87844 kB
KernelStack: 4432 kB
PageTables: 7200 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2577912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1646592 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC013 at 2025-06-29 11:53:26