0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.06 c #variables 6528 #constraints 6722
45.65/45.89 c #Conflicts: 1000 | #Constraints: 7721
45.65/45.89 c #Conflicts: 2000 | #Constraints: 8721
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 3000 | #Constraints: 8407
45.65/45.89 c #Conflicts: 4000 | #Constraints: 9407
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 5000 | #Constraints: 8876
45.65/45.89 c #Conflicts: 6000 | #Constraints: 9876
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 7000 | #Constraints: 8936
45.65/45.89 c #Conflicts: 8000 | #Constraints: 9936
45.65/45.89 c #Conflicts: 9000 | #Constraints: 10936
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 10000 | #Constraints: 9695
45.65/45.89 c #Conflicts: 11000 | #Constraints: 10695
45.65/45.89 c #Conflicts: 12000 | #Constraints: 11695
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 13000 | #Constraints: 10151
45.65/45.89 c #Conflicts: 14000 | #Constraints: 11151
45.65/45.89 c #Conflicts: 15000 | #Constraints: 12151
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 16000 | #Constraints: 10422
45.65/45.89 c #Conflicts: 17000 | #Constraints: 11422
45.65/45.89 c #Conflicts: 18000 | #Constraints: 12422
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 19000 | #Constraints: 10444
45.65/45.89 c #Conflicts: 20000 | #Constraints: 11444
45.65/45.89 c #Conflicts: 21000 | #Constraints: 12444
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 22000 | #Constraints: 10260
45.65/45.89 c #Conflicts: 23000 | #Constraints: 11260
45.65/45.89 c #Conflicts: 24000 | #Constraints: 12260
45.65/45.89 c #Conflicts: 25000 | #Constraints: 13260
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 26000 | #Constraints: 10936
45.65/45.89 c #Conflicts: 27000 | #Constraints: 11936
45.65/45.89 c #Conflicts: 28000 | #Constraints: 12936
45.65/45.89 c #Conflicts: 29000 | #Constraints: 13936
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 30000 | #Constraints: 11326
45.65/45.89 c #Conflicts: 31000 | #Constraints: 12326
45.65/45.89 c #Conflicts: 32000 | #Constraints: 13326
45.65/45.89 c #Conflicts: 33000 | #Constraints: 14326
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 34000 | #Constraints: 11521
45.65/45.89 c #Conflicts: 35000 | #Constraints: 12521
45.65/45.89 c #Conflicts: 36000 | #Constraints: 13521
45.65/45.89 c #Conflicts: 37000 | #Constraints: 14521
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 38000 | #Constraints: 11553
45.65/45.89 c #Conflicts: 39000 | #Constraints: 12553
45.65/45.89 c #Conflicts: 40000 | #Constraints: 13553
45.65/45.89 c #Conflicts: 41000 | #Constraints: 14553
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 42000 | #Constraints: 11397
45.65/45.89 c #Conflicts: 43000 | #Constraints: 12397
45.65/45.89 c #Conflicts: 44000 | #Constraints: 13397
45.65/45.89 c #Conflicts: 45000 | #Constraints: 14397
45.65/45.89 c #Conflicts: 46000 | #Constraints: 15397
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c #Conflicts: 47000 | #Constraints: 12030
45.65/45.89 c #Conflicts: 48000 | #Constraints: 13030
45.65/45.89 c #Conflicts: 49000 | #Constraints: 14030
45.65/45.89 c #Conflicts: 50000 | #Constraints: 15030
45.65/45.89 c #Conflicts: 51000 | #Constraints: 16030
45.65/45.89 c #Conflicts: 52000 | #Constraints: 17030
45.65/45.89 c #Conflicts: 53000 | #Constraints: 18030
45.65/45.89 c #Conflicts: 54000 | #Constraints: 19030
45.65/45.89 c #Conflicts: 55000 | #Constraints: 20030
45.65/45.89 c #Conflicts: 56000 | #Constraints: 21030
45.65/45.89 c #Conflicts: 57000 | #Constraints: 22030
45.65/45.89 c #Conflicts: 58000 | #Constraints: 23030
45.65/45.89 c #Conflicts: 59000 | #Constraints: 24030
45.65/45.89 c #Conflicts: 60000 | #Constraints: 25030
45.65/45.89 c #Conflicts: 61000 | #Constraints: 26030
45.65/45.89 c #Conflicts: 62000 | #Constraints: 27030
45.65/45.89 c #Conflicts: 63000 | #Constraints: 28030
45.65/45.89 c #Conflicts: 64000 | #Constraints: 29030
45.65/45.89 c INPROCESSING
45.65/45.89 c GARBAGE COLLECT
45.65/45.89 c rational objective 96
106.70/107.09 c #Conflicts: 65000 | #Constraints: 18778
106.70/107.09 c #Conflicts: 66000 | #Constraints: 19778
106.70/107.09 c #Conflicts: 67000 | #Constraints: 20778
106.70/107.09 c #Conflicts: 68000 | #Constraints: 21778
106.70/107.09 c #Conflicts: 69000 | #Constraints: 22778
106.70/107.09 c #Conflicts: 70000 | #Constraints: 23778
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 71000 | #Constraints: 16213
106.70/107.09 c #Conflicts: 72000 | #Constraints: 17213
106.70/107.09 c #Conflicts: 73000 | #Constraints: 18213
106.70/107.09 c #Conflicts: 74000 | #Constraints: 19213
106.70/107.09 c #Conflicts: 75000 | #Constraints: 20213
106.70/107.09 c #Conflicts: 76000 | #Constraints: 21213
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 77000 | #Constraints: 14860
106.70/107.09 c #Conflicts: 78000 | #Constraints: 15860
106.70/107.09 c #Conflicts: 79000 | #Constraints: 16860
106.70/107.09 c #Conflicts: 80000 | #Constraints: 17860
106.70/107.09 c #Conflicts: 81000 | #Constraints: 18860
106.70/107.09 c #Conflicts: 82000 | #Constraints: 19860
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 83000 | #Constraints: 13998
106.70/107.09 c #Conflicts: 84000 | #Constraints: 14998
106.70/107.09 c #Conflicts: 85000 | #Constraints: 15998
106.70/107.09 c #Conflicts: 86000 | #Constraints: 16998
106.70/107.09 c #Conflicts: 87000 | #Constraints: 17998
106.70/107.09 c #Conflicts: 88000 | #Constraints: 18998
106.70/107.09 c #Conflicts: 89000 | #Constraints: 19998
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 90000 | #Constraints: 14304
106.70/107.09 c #Conflicts: 91000 | #Constraints: 15304
106.70/107.09 c #Conflicts: 92000 | #Constraints: 16304
106.70/107.09 c #Conflicts: 93000 | #Constraints: 17304
106.70/107.09 c #Conflicts: 94000 | #Constraints: 18304
106.70/107.09 c #Conflicts: 95000 | #Constraints: 19304
106.70/107.09 c #Conflicts: 96000 | #Constraints: 20304
106.70/107.09 c #Conflicts: 97000 | #Constraints: 21304
106.70/107.09 c #Conflicts: 98000 | #Constraints: 22304
106.70/107.09 c #Conflicts: 99000 | #Constraints: 23304
106.70/107.09 c #Conflicts: 100000 | #Constraints: 24304
106.70/107.09 c #Conflicts: 101000 | #Constraints: 25304
106.70/107.09 c #Conflicts: 102000 | #Constraints: 26304
106.70/107.09 c #Conflicts: 103000 | #Constraints: 27304
106.70/107.09 c #Conflicts: 104000 | #Constraints: 28304
106.70/107.09 c #Conflicts: 105000 | #Constraints: 29304
106.70/107.09 c #Conflicts: 106000 | #Constraints: 30304
106.70/107.09 c #Conflicts: 107000 | #Constraints: 31304
106.70/107.09 c #Conflicts: 108000 | #Constraints: 32304
106.70/107.09 c #Conflicts: 109000 | #Constraints: 33304
106.70/107.09 c #Conflicts: 110000 | #Constraints: 34304
106.70/107.09 c #Conflicts: 111000 | #Constraints: 35304
106.70/107.09 c #Conflicts: 112000 | #Constraints: 36304
106.70/107.09 c #Conflicts: 113000 | #Constraints: 37304
106.70/107.09 c #Conflicts: 114000 | #Constraints: 38304
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 115000 | #Constraints: 23677
106.70/107.09 c #Conflicts: 116000 | #Constraints: 24677
106.70/107.09 c #Conflicts: 117000 | #Constraints: 25677
106.70/107.09 c #Conflicts: 118000 | #Constraints: 26677
106.70/107.09 c #Conflicts: 119000 | #Constraints: 27677
106.70/107.09 c #Conflicts: 120000 | #Constraints: 28677
106.70/107.09 c #Conflicts: 121000 | #Constraints: 29677
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 122000 | #Constraints: 18982
106.70/107.09 c #Conflicts: 123000 | #Constraints: 19982
106.70/107.09 c #Conflicts: 124000 | #Constraints: 20982
106.70/107.09 c #Conflicts: 125000 | #Constraints: 21982
106.70/107.09 c #Conflicts: 126000 | #Constraints: 22982
106.70/107.09 c #Conflicts: 127000 | #Constraints: 23982
106.70/107.09 c #Conflicts: 128000 | #Constraints: 24982
106.70/107.09 c #Conflicts: 129000 | #Constraints: 25982
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
106.70/107.09 c #Conflicts: 130000 | #Constraints: 17141
106.70/107.09 c #Conflicts: 131000 | #Constraints: 18141
106.70/107.09 c #Conflicts: 132000 | #Constraints: 19141
106.70/107.09 c #Conflicts: 133000 | #Constraints: 20141
106.70/107.09 c #Conflicts: 134000 | #Constraints: 21141
106.70/107.09 c #Conflicts: 135000 | #Constraints: 22141
106.70/107.09 c #Conflicts: 136000 | #Constraints: 23141
106.70/107.09 c #Conflicts: 137000 | #Constraints: 24141
106.70/107.09 c #Conflicts: 138000 | #Constraints: 25141
106.70/107.09 c INPROCESSING
106.70/107.09 c GARBAGE COLLECT
175.61/176.17 c #Conflicts: 139000 | #Constraints: 17066
175.61/176.17 c #Conflicts: 140000 | #Constraints: 18066
175.61/176.17 c #Conflicts: 141000 | #Constraints: 19066
175.61/176.17 c #Conflicts: 142000 | #Constraints: 20066
175.61/176.17 c #Conflicts: 143000 | #Constraints: 21066
175.61/176.17 c #Conflicts: 144000 | #Constraints: 22066
175.61/176.17 c #Conflicts: 145000 | #Constraints: 23066
175.61/176.17 c #Conflicts: 146000 | #Constraints: 24066
175.61/176.17 c #Conflicts: 147000 | #Constraints: 25066
175.61/176.17 c #Conflicts: 148000 | #Constraints: 26066
175.61/176.17 c #Conflicts: 149000 | #Constraints: 27066
175.61/176.17 c #Conflicts: 150000 | #Constraints: 28066
175.61/176.17 c #Conflicts: 151000 | #Constraints: 29066
175.61/176.17 c #Conflicts: 152000 | #Constraints: 30066
175.61/176.17 c #Conflicts: 153000 | #Constraints: 31066
175.61/176.17 c #Conflicts: 154000 | #Constraints: 32066
175.61/176.17 c #Conflicts: 155000 | #Constraints: 33066
175.61/176.17 c #Conflicts: 156000 | #Constraints: 34066
175.61/176.17 c #Conflicts: 157000 | #Constraints: 35066
175.61/176.17 c #Conflicts: 158000 | #Constraints: 36066
175.61/176.17 c #Conflicts: 159000 | #Constraints: 37066
175.61/176.17 c #Conflicts: 160000 | #Constraints: 38066
175.61/176.17 c #Conflicts: 161000 | #Constraints: 39066
175.61/176.17 c #Conflicts: 162000 | #Constraints: 40066
175.61/176.17 c #Conflicts: 163000 | #Constraints: 41066
175.61/176.17 c #Conflicts: 164000 | #Constraints: 42066
175.61/176.17 c #Conflicts: 165000 | #Constraints: 43066
175.61/176.17 c #Conflicts: 166000 | #Constraints: 44066
175.61/176.17 c #Conflicts: 167000 | #Constraints: 45066
175.61/176.17 c #Conflicts: 168000 | #Constraints: 46066
175.61/176.17 c INPROCESSING
175.61/176.17 c GARBAGE COLLECT
175.61/176.17 c #Conflicts: 169000 | #Constraints: 27603
175.61/176.17 c #Conflicts: 170000 | #Constraints: 28603
175.61/176.17 c #Conflicts: 171000 | #Constraints: 29603
175.61/176.17 c #Conflicts: 172000 | #Constraints: 30603
175.61/176.17 c #Conflicts: 173000 | #Constraints: 31603
175.61/176.17 c #Conflicts: 174000 | #Constraints: 32603
175.61/176.17 c #Conflicts: 175000 | #Constraints: 33603
175.61/176.17 c #Conflicts: 176000 | #Constraints: 34603
175.61/176.17 c #Conflicts: 177000 | #Constraints: 35603
175.61/176.17 c INPROCESSING
175.61/176.17 c GARBAGE COLLECT
175.61/176.17 c #Conflicts: 178000 | #Constraints: 22134
175.61/176.17 c #Conflicts: 179000 | #Constraints: 23134
175.61/176.17 c #Conflicts: 180000 | #Constraints: 24134
175.61/176.17 c #Conflicts: 181000 | #Constraints: 25134
175.61/176.17 c #Conflicts: 182000 | #Constraints: 26134
175.61/176.17 c #Conflicts: 183000 | #Constraints: 27134
175.61/176.17 c #Conflicts: 184000 | #Constraints: 28134
175.61/176.17 c #Conflicts: 185000 | #Constraints: 29134
175.61/176.17 c #Conflicts: 186000 | #Constraints: 30134
175.61/176.17 c #Conflicts: 187000 | #Constraints: 31134
175.61/176.17 c INPROCESSING
175.61/176.17 c GARBAGE COLLECT
175.61/176.17 c #Conflicts: 188000 | #Constraints: 20076
175.61/176.17 c #Conflicts: 189000 | #Constraints: 21076
175.61/176.17 c #Conflicts: 190000 | #Constraints: 22077
175.61/176.17 c #Conflicts: 191000 | #Constraints: 23077
175.61/176.17 c #Conflicts: 192000 | #Constraints: 24077
175.61/176.17 c #Conflicts: 193000 | #Constraints: 25077
175.61/176.17 c #Conflicts: 194000 | #Constraints: 26077
175.61/176.17 c #Conflicts: 195000 | #Constraints: 27077
175.61/176.17 c #Conflicts: 196000 | #Constraints: 28077
175.61/176.17 c #Conflicts: 197000 | #Constraints: 29077
175.61/176.17 c INPROCESSING
175.61/176.17 c GARBAGE COLLECT
175.61/176.17 c rational objective 96
270.25/271.00 c #Conflicts: 198000 | #Constraints: 19064
270.25/271.00 c #Conflicts: 199000 | #Constraints: 20064
270.25/271.00 c #Conflicts: 200000 | #Constraints: 21064
270.25/271.00 c #Conflicts: 201000 | #Constraints: 22064
270.25/271.00 c #Conflicts: 202000 | #Constraints: 23064
270.25/271.00 c #Conflicts: 203000 | #Constraints: 24064
270.25/271.00 c #Conflicts: 204000 | #Constraints: 25064
270.25/271.00 c #Conflicts: 205000 | #Constraints: 26064
270.25/271.00 c #Conflicts: 206000 | #Constraints: 27064
270.25/271.00 c #Conflicts: 207000 | #Constraints: 28064
270.25/271.00 c INPROCESSING
270.25/271.00 c GARBAGE COLLECT
270.25/271.00 c #Conflicts: 208000 | #Constraints: 18525
270.25/271.00 c #Conflicts: 209000 | #Constraints: 19525
270.25/271.00 c #Conflicts: 210000 | #Constraints: 20525
270.25/271.00 c #Conflicts: 211000 | #Constraints: 21525
270.25/271.00 c #Conflicts: 212000 | #Constraints: 22525
270.25/271.00 c #Conflicts: 213000 | #Constraints: 23525
270.25/271.00 c #Conflicts: 214000 | #Constraints: 24525
270.25/271.00 c #Conflicts: 215000 | #Constraints: 25525
270.25/271.00 c #Conflicts: 216000 | #Constraints: 26525
270.25/271.00 c #Conflicts: 217000 | #Constraints: 27525
270.25/271.00 c #Conflicts: 218000 | #Constraints: 28525
270.25/271.00 c #Conflicts: 219000 | #Constraints: 29525
270.25/271.00 c #Conflicts: 220000 | #Constraints: 30525
270.25/271.00 c #Conflicts: 221000 | #Constraints: 31525
270.25/271.00 c #Conflicts: 222000 | #Constraints: 32525
270.25/271.00 c #Conflicts: 223000 | #Constraints: 33525
270.25/271.00 c #Conflicts: 224000 | #Constraints: 34525
270.25/271.00 c #Conflicts: 225000 | #Constraints: 35525
270.25/271.00 c #Conflicts: 226000 | #Constraints: 36525
270.25/271.00 c #Conflicts: 227000 | #Constraints: 37525
270.25/271.00 c #Conflicts: 228000 | #Constraints: 38525
270.25/271.00 c #Conflicts: 229000 | #Constraints: 39525
270.25/271.00 c #Conflicts: 230000 | #Constraints: 40525
270.25/271.00 c #Conflicts: 231000 | #Constraints: 41525
270.25/271.00 c #Conflicts: 232000 | #Constraints: 42525
270.25/271.00 c #Conflicts: 233000 | #Constraints: 43525
270.25/271.00 c #Conflicts: 234000 | #Constraints: 44525
270.25/271.00 c #Conflicts: 235000 | #Constraints: 45525
270.25/271.00 c #Conflicts: 236000 | #Constraints: 46525
270.25/271.00 c #Conflicts: 237000 | #Constraints: 47525
270.25/271.00 c #Conflicts: 238000 | #Constraints: 48525
270.25/271.00 c #Conflicts: 239000 | #Constraints: 49525
270.25/271.00 c #Conflicts: 240000 | #Constraints: 50525
270.25/271.00 c #Conflicts: 241000 | #Constraints: 51525
270.25/271.00 c #Conflicts: 242000 | #Constraints: 52525
270.25/271.00 c #Conflicts: 243000 | #Constraints: 53525
270.25/271.00 c INPROCESSING
270.25/271.00 c GARBAGE COLLECT
270.25/271.00 c #Conflicts: 244000 | #Constraints: 31104
270.25/271.00 c #Conflicts: 245000 | #Constraints: 32104
270.25/271.00 c #Conflicts: 246000 | #Constraints: 33104
270.25/271.00 c #Conflicts: 247000 | #Constraints: 34104
270.25/271.00 c #Conflicts: 248000 | #Constraints: 35104
270.25/271.00 c #Conflicts: 249000 | #Constraints: 36104
270.25/271.00 c #Conflicts: 250000 | #Constraints: 37104
270.25/271.00 c #Conflicts: 251000 | #Constraints: 38104
270.25/271.00 c #Conflicts: 252000 | #Constraints: 39104
270.25/271.00 c #Conflicts: 253000 | #Constraints: 40104
270.25/271.00 c #Conflicts: 254000 | #Constraints: 41104
270.25/271.00 c #Conflicts: 255000 | #Constraints: 42104
270.25/271.00 c INPROCESSING
270.25/271.00 c GARBAGE COLLECT
270.25/271.00 c #Conflicts: 256000 | #Constraints: 25696
270.25/271.00 c #Conflicts: 257000 | #Constraints: 26696
270.25/271.00 c #Conflicts: 258000 | #Constraints: 27696
270.25/271.00 c #Conflicts: 259000 | #Constraints: 28696
270.25/271.00 c #Conflicts: 260000 | #Constraints: 29696
270.25/271.00 c #Conflicts: 261000 | #Constraints: 30696
270.25/271.00 c #Conflicts: 262000 | #Constraints: 31696
270.25/271.00 c #Conflicts: 263000 | #Constraints: 32696
270.25/271.00 c #Conflicts: 264000 | #Constraints: 33696
270.25/271.00 c #Conflicts: 265000 | #Constraints: 34696
270.25/271.00 c #Conflicts: 266000 | #Constraints: 35696
270.25/271.00 c INPROCESSING
270.25/271.00 c GARBAGE COLLECT
270.25/271.00 c #Conflicts: 267000 | #Constraints: 22207
270.25/271.00 c #Conflicts: 268000 | #Constraints: 23207
270.25/271.00 c #Conflicts: 269000 | #Constraints: 24207
270.25/271.00 c #Conflicts: 270000 | #Constraints: 25207
270.25/271.00 c #Conflicts: 271000 | #Constraints: 26207
270.25/271.00 c #Conflicts: 272000 | #Constraints: 27207
270.25/271.00 c #Conflicts: 273000 | #Constraints: 28207
270.25/271.00 c #Conflicts: 274000 | #Constraints: 29207
368.17/369.20 c #Conflicts: 275000 | #Constraints: 30207
368.17/369.20 c #Conflicts: 276000 | #Constraints: 31207
368.17/369.20 c #Conflicts: 277000 | #Constraints: 32207
368.17/369.20 c #Conflicts: 278000 | #Constraints: 33207
368.17/369.20 c INPROCESSING
368.17/369.20 c GARBAGE COLLECT
368.17/369.20 c #Conflicts: 279000 | #Constraints: 21026
368.17/369.20 c #Conflicts: 280000 | #Constraints: 22026
368.17/369.20 c #Conflicts: 281000 | #Constraints: 23026
368.17/369.20 c #Conflicts: 282000 | #Constraints: 24026
368.17/369.20 c #Conflicts: 283000 | #Constraints: 25026
368.17/369.20 c #Conflicts: 284000 | #Constraints: 26026
368.17/369.20 c #Conflicts: 285000 | #Constraints: 27026
368.17/369.20 c #Conflicts: 286000 | #Constraints: 28026
368.17/369.20 c #Conflicts: 287000 | #Constraints: 29026
368.17/369.20 c #Conflicts: 288000 | #Constraints: 30026
368.17/369.20 c #Conflicts: 289000 | #Constraints: 31026
368.17/369.20 c #Conflicts: 290000 | #Constraints: 32026
368.17/369.20 c INPROCESSING
368.17/369.20 c GARBAGE COLLECT
368.17/369.20 c #Conflicts: 291000 | #Constraints: 20392
368.17/369.20 c #Conflicts: 292000 | #Constraints: 21392
368.17/369.20 c #Conflicts: 293000 | #Constraints: 22392
368.17/369.20 c #Conflicts: 294000 | #Constraints: 23392
368.17/369.20 c #Conflicts: 295000 | #Constraints: 24392
368.17/369.20 c #Conflicts: 296000 | #Constraints: 25392
368.17/369.20 c #Conflicts: 297000 | #Constraints: 26392
368.17/369.20 c #Conflicts: 298000 | #Constraints: 27392
368.17/369.20 c #Conflicts: 299000 | #Constraints: 28392
368.17/369.20 c #Conflicts: 300000 | #Constraints: 29392
368.17/369.20 c #Conflicts: 301000 | #Constraints: 30392
368.17/369.20 c #Conflicts: 302000 | #Constraints: 31392
368.17/369.20 c #Conflicts: 303000 | #Constraints: 32392
368.17/369.20 c #Conflicts: 304000 | #Constraints: 33392
368.17/369.20 c #Conflicts: 305000 | #Constraints: 34392
368.17/369.20 c #Conflicts: 306000 | #Constraints: 35392
368.17/369.20 c #Conflicts: 307000 | #Constraints: 36392
368.17/369.20 c #Conflicts: 308000 | #Constraints: 37392
368.17/369.20 c #Conflicts: 309000 | #Constraints: 38392
368.17/369.20 c #Conflicts: 310000 | #Constraints: 39392
368.17/369.20 c #Conflicts: 311000 | #Constraints: 40392
368.17/369.20 c #Conflicts: 312000 | #Constraints: 41392
368.17/369.20 c #Conflicts: 313000 | #Constraints: 42392
368.17/369.20 c #Conflicts: 314000 | #Constraints: 43392
368.17/369.20 c #Conflicts: 315000 | #Constraints: 44392
368.17/369.20 c #Conflicts: 316000 | #Constraints: 45392
368.17/369.20 c #Conflicts: 317000 | #Constraints: 46392
368.17/369.20 c #Conflicts: 318000 | #Constraints: 47392
368.17/369.20 c #Conflicts: 319000 | #Constraints: 48392
368.17/369.20 c #Conflicts: 320000 | #Constraints: 49392
368.17/369.20 c #Conflicts: 321000 | #Constraints: 50392
368.17/369.20 c #Conflicts: 322000 | #Constraints: 51392
368.17/369.20 c #Conflicts: 323000 | #Constraints: 52392
368.17/369.20 c #Conflicts: 324000 | #Constraints: 53392
368.17/369.20 c #Conflicts: 325000 | #Constraints: 54392
368.17/369.20 c #Conflicts: 326000 | #Constraints: 55392
368.17/369.20 c #Conflicts: 327000 | #Constraints: 56392
368.17/369.20 c #Conflicts: 328000 | #Constraints: 57392
368.17/369.20 c #Conflicts: 329000 | #Constraints: 58392
368.17/369.20 c #Conflicts: 330000 | #Constraints: 59392
368.17/369.20 c #Conflicts: 331000 | #Constraints: 60392
368.17/369.20 c #Conflicts: 332000 | #Constraints: 61392
368.17/369.20 c #Conflicts: 333000 | #Constraints: 62392
368.17/369.20 c INPROCESSING
368.17/369.20 c GARBAGE COLLECT
368.17/369.20 c #Conflicts: 334000 | #Constraints: 35750
368.17/369.20 c #Conflicts: 335000 | #Constraints: 36750
368.17/369.20 c #Conflicts: 336000 | #Constraints: 37750
368.17/369.20 c #Conflicts: 337000 | #Constraints: 38750
368.17/369.20 c #Conflicts: 338000 | #Constraints: 39750
368.17/369.20 c #Conflicts: 339000 | #Constraints: 40750
368.17/369.20 c #Conflicts: 340000 | #Constraints: 41750
368.17/369.20 c #Conflicts: 341000 | #Constraints: 42750
368.17/369.20 c #Conflicts: 342000 | #Constraints: 43750
368.17/369.20 c #Conflicts: 343000 | #Constraints: 44750
368.17/369.20 c #Conflicts: 344000 | #Constraints: 45750
368.17/369.20 c #Conflicts: 345000 | #Constraints: 46750
368.17/369.20 c #Conflicts: 346000 | #Constraints: 47750
368.17/369.20 c INPROCESSING
368.17/369.20 c GARBAGE COLLECT
368.17/369.20 c rational objective 96
391.02/392.16 c #Conflicts: 347000 | #Constraints: 28268
391.02/392.16 c #Conflicts: 348000 | #Constraints: 29268
391.02/392.16 c #Conflicts: 349000 | #Constraints: 30268
391.02/392.16 c #Conflicts: 350000 | #Constraints: 31268
391.02/392.16 c #Conflicts: 351000 | #Constraints: 32268
391.02/392.16 c #Conflicts: 352000 | #Constraints: 33268
391.02/392.16 c #Conflicts: 353000 | #Constraints: 34268
391.02/392.16 c #Conflicts: 354000 | #Constraints: 35268
391.02/392.16 c #Conflicts: 355000 | #Constraints: 36268
391.02/392.16 c #Conflicts: 356000 | #Constraints: 37268
391.02/392.16 c #Conflicts: 357000 | #Constraints: 38268
391.02/392.16 c #Conflicts: 358000 | #Constraints: 39268
391.02/392.16 c #Conflicts: 359000 | #Constraints: 40268
391.02/392.16 c #Conflicts: 360000 | #Constraints: 41268
391.02/392.16 c INPROCESSING
391.02/392.16 c GARBAGE COLLECT
391.02/392.16 c rational objective 96
503.42/504.89 c #Conflicts: 361000 | #Constraints: 25335
503.42/504.89 c #Conflicts: 362000 | #Constraints: 26335
503.42/504.89 c #Conflicts: 363000 | #Constraints: 27335
503.42/504.89 c #Conflicts: 364000 | #Constraints: 28335
503.42/504.89 c #Conflicts: 365000 | #Constraints: 29335
503.42/504.89 c #Conflicts: 366000 | #Constraints: 30335
503.42/504.89 c #Conflicts: 367000 | #Constraints: 31335
503.42/504.89 c #Conflicts: 368000 | #Constraints: 32335
503.42/504.89 c #Conflicts: 369000 | #Constraints: 33335
503.42/504.89 c #Conflicts: 370000 | #Constraints: 34335
503.42/504.89 c #Conflicts: 371000 | #Constraints: 35335
503.42/504.89 c #Conflicts: 372000 | #Constraints: 36335
503.42/504.89 c #Conflicts: 373000 | #Constraints: 37335
503.42/504.89 c INPROCESSING
503.42/504.89 c GARBAGE COLLECT
503.42/504.89 c #Conflicts: 374000 | #Constraints: 22934
503.42/504.89 c #Conflicts: 375000 | #Constraints: 23934
503.42/504.89 c #Conflicts: 376000 | #Constraints: 24934
503.42/504.89 c #Conflicts: 377000 | #Constraints: 25934
503.42/504.89 c #Conflicts: 378000 | #Constraints: 26934
503.42/504.89 c #Conflicts: 379000 | #Constraints: 27934
503.42/504.89 c #Conflicts: 380000 | #Constraints: 28934
503.42/504.89 c #Conflicts: 381000 | #Constraints: 29934
503.42/504.89 c #Conflicts: 382000 | #Constraints: 30934
503.42/504.89 c #Conflicts: 383000 | #Constraints: 31934
503.42/504.89 c #Conflicts: 384000 | #Constraints: 32934
503.42/504.89 c #Conflicts: 385000 | #Constraints: 33934
503.42/504.89 c #Conflicts: 386000 | #Constraints: 34934
503.42/504.89 c #Conflicts: 387000 | #Constraints: 35934
503.42/504.89 c INPROCESSING
503.42/504.89 c GARBAGE COLLECT
503.42/504.89 c #Conflicts: 388000 | #Constraints: 22330
503.42/504.89 c #Conflicts: 389000 | #Constraints: 23330
503.42/504.89 c #Conflicts: 390000 | #Constraints: 24330
503.42/504.89 c #Conflicts: 391000 | #Constraints: 25330
503.42/504.89 c #Conflicts: 392000 | #Constraints: 26330
503.42/504.89 c #Conflicts: 393000 | #Constraints: 27330
503.42/504.89 c #Conflicts: 394000 | #Constraints: 28330
503.42/504.89 c #Conflicts: 395000 | #Constraints: 29330
503.42/504.89 c #Conflicts: 396000 | #Constraints: 30330
503.42/504.89 c #Conflicts: 397000 | #Constraints: 31330
503.42/504.89 c #Conflicts: 398000 | #Constraints: 32330
503.42/504.89 c #Conflicts: 399000 | #Constraints: 33330
503.42/504.89 c #Conflicts: 400000 | #Constraints: 34330
503.42/504.89 c #Conflicts: 401000 | #Constraints: 35330
503.42/504.89 c #Conflicts: 402000 | #Constraints: 36330
503.42/504.89 c #Conflicts: 403000 | #Constraints: 37330
503.42/504.89 c #Conflicts: 404000 | #Constraints: 38330
503.42/504.89 c #Conflicts: 405000 | #Constraints: 39330
503.42/504.89 c #Conflicts: 406000 | #Constraints: 40330
503.42/504.89 c #Conflicts: 407000 | #Constraints: 41330
503.42/504.89 c #Conflicts: 408000 | #Constraints: 42330
503.42/504.89 c #Conflicts: 409000 | #Constraints: 43330
503.42/504.89 c #Conflicts: 410000 | #Constraints: 44330
503.42/504.89 c #Conflicts: 411000 | #Constraints: 45330
503.42/504.89 c #Conflicts: 412000 | #Constraints: 46330
503.42/504.89 c #Conflicts: 413000 | #Constraints: 47330
503.42/504.89 c #Conflicts: 414000 | #Constraints: 48330
503.42/504.89 c #Conflicts: 415000 | #Constraints: 49330
503.42/504.89 c #Conflicts: 416000 | #Constraints: 50330
503.42/504.89 c #Conflicts: 417000 | #Constraints: 51330
503.42/504.89 c #Conflicts: 418000 | #Constraints: 52330
503.42/504.89 c #Conflicts: 419000 | #Constraints: 53330
503.42/504.89 c #Conflicts: 420000 | #Constraints: 54330
503.42/504.89 c #Conflicts: 421000 | #Constraints: 55330
503.42/504.89 c #Conflicts: 422000 | #Constraints: 56330
503.42/504.89 c #Conflicts: 423000 | #Constraints: 57330
503.42/504.89 c #Conflicts: 424000 | #Constraints: 58330
503.42/504.89 c #Conflicts: 425000 | #Constraints: 59330
503.42/504.89 c #Conflicts: 426000 | #Constraints: 60330
503.42/504.89 c #Conflicts: 427000 | #Constraints: 61330
503.42/504.89 c #Conflicts: 428000 | #Constraints: 62330
503.42/504.89 c #Conflicts: 429000 | #Constraints: 63330
503.42/504.89 c #Conflicts: 430000 | #Constraints: 64330
503.42/504.89 c #Conflicts: 431000 | #Constraints: 65330
503.42/504.89 c #Conflicts: 432000 | #Constraints: 66330
503.42/504.89 c #Conflicts: 433000 | #Constraints: 67330
503.42/504.89 c #Conflicts: 434000 | #Constraints: 68330
503.42/504.89 c #Conflicts: 435000 | #Constraints: 69330
503.42/504.89 c #Conflicts: 436000 | #Constraints: 70330
503.42/504.89 c INPROCESSING
503.42/504.89 c GARBAGE COLLECT
503.42/504.89 c #Conflicts: 437000 | #Constraints: 39447
563.76/565.39 c #Conflicts: 438000 | #Constraints: 40447
563.76/565.39 c #Conflicts: 439000 | #Constraints: 41447
563.76/565.39 c #Conflicts: 440000 | #Constraints: 42447
563.76/565.39 c #Conflicts: 441000 | #Constraints: 43447
563.76/565.39 c #Conflicts: 442000 | #Constraints: 44447
563.76/565.39 c #Conflicts: 443000 | #Constraints: 45447
563.76/565.39 c #Conflicts: 444000 | #Constraints: 46447
563.76/565.39 c #Conflicts: 445000 | #Constraints: 47447
563.76/565.39 c #Conflicts: 446000 | #Constraints: 48447
563.76/565.39 c #Conflicts: 447000 | #Constraints: 49447
563.76/565.39 c #Conflicts: 448000 | #Constraints: 50447
563.76/565.39 c #Conflicts: 449000 | #Constraints: 51447
563.76/565.39 c #Conflicts: 450000 | #Constraints: 52447
563.76/565.39 c #Conflicts: 451000 | #Constraints: 53447
563.76/565.39 c #Conflicts: 452000 | #Constraints: 54447
563.76/565.39 c INPROCESSING
563.76/565.39 c GARBAGE COLLECT
563.76/565.39 c #Conflicts: 453000 | #Constraints: 31936
563.76/565.39 c #Conflicts: 454000 | #Constraints: 32936
563.76/565.39 c #Conflicts: 455000 | #Constraints: 33936
563.76/565.39 c #Conflicts: 456000 | #Constraints: 34936
563.76/565.39 c #Conflicts: 457000 | #Constraints: 35936
563.76/565.39 c #Conflicts: 458000 | #Constraints: 36936
563.76/565.39 c #Conflicts: 459000 | #Constraints: 37936
563.76/565.39 c #Conflicts: 460000 | #Constraints: 38936
563.76/565.39 c #Conflicts: 461000 | #Constraints: 39936
563.76/565.39 c #Conflicts: 462000 | #Constraints: 40936
563.76/565.39 c #Conflicts: 463000 | #Constraints: 41936
563.76/565.39 c #Conflicts: 464000 | #Constraints: 42936
563.76/565.39 c #Conflicts: 465000 | #Constraints: 43936
563.76/565.39 c #Conflicts: 466000 | #Constraints: 44936
563.76/565.39 c #Conflicts: 467000 | #Constraints: 45936
563.76/565.39 c INPROCESSING
563.76/565.39 c GARBAGE COLLECT
563.76/565.39 c #Conflicts: 468000 | #Constraints: 27553
563.76/565.39 c #Conflicts: 469000 | #Constraints: 28553
563.76/565.39 c #Conflicts: 470000 | #Constraints: 29553
563.76/565.39 c #Conflicts: 471000 | #Constraints: 30553
563.76/565.39 c #Conflicts: 472000 | #Constraints: 31553
563.76/565.39 c #Conflicts: 473000 | #Constraints: 32553
563.76/565.39 c #Conflicts: 474000 | #Constraints: 33553
563.76/565.39 c #Conflicts: 475000 | #Constraints: 34553
563.76/565.39 c #Conflicts: 476000 | #Constraints: 35553
563.76/565.39 c #Conflicts: 477000 | #Constraints: 36553
563.76/565.39 c #Conflicts: 478000 | #Constraints: 37553
563.76/565.39 c #Conflicts: 479000 | #Constraints: 38553
563.76/565.39 c #Conflicts: 480000 | #Constraints: 39553
563.76/565.39 c #Conflicts: 481000 | #Constraints: 40553
563.76/565.39 c #Conflicts: 482000 | #Constraints: 41553
563.76/565.39 c #Conflicts: 483000 | #Constraints: 42553
563.76/565.39 c INPROCESSING
563.76/565.39 c GARBAGE COLLECT
563.76/565.39 c rational objective 96
589.78/591.46 c #Conflicts: 484000 | #Constraints: 26040
589.78/591.46 c #Conflicts: 485000 | #Constraints: 27040
589.78/591.46 c #Conflicts: 486000 | #Constraints: 28040
589.78/591.46 c #Conflicts: 487000 | #Constraints: 29040
589.78/591.46 c #Conflicts: 488000 | #Constraints: 30040
589.78/591.46 c #Conflicts: 489000 | #Constraints: 31040
589.78/591.46 c #Conflicts: 490000 | #Constraints: 32040
589.78/591.46 c #Conflicts: 491000 | #Constraints: 33040
589.78/591.46 c #Conflicts: 492000 | #Constraints: 34040
589.78/591.46 c #Conflicts: 493000 | #Constraints: 35040
589.78/591.46 c #Conflicts: 494000 | #Constraints: 36040
589.78/591.46 c #Conflicts: 495000 | #Constraints: 37040
589.78/591.46 c #Conflicts: 496000 | #Constraints: 38040
589.78/591.46 c #Conflicts: 497000 | #Constraints: 39040
589.78/591.46 c #Conflicts: 498000 | #Constraints: 40040
589.78/591.46 c INPROCESSING
589.78/591.46 c GARBAGE COLLECT
589.78/591.46 c rational objective 96
701.60/703.55 c #Conflicts: 499000 | #Constraints: 24302
701.60/703.55 c #Conflicts: 500000 | #Constraints: 25302
701.60/703.55 c #Conflicts: 501000 | #Constraints: 26302
701.60/703.55 c #Conflicts: 502000 | #Constraints: 27302
701.60/703.55 c #Conflicts: 503000 | #Constraints: 28302
701.60/703.55 c #Conflicts: 504000 | #Constraints: 29302
701.60/703.55 c #Conflicts: 505000 | #Constraints: 30302
701.60/703.55 c #Conflicts: 506000 | #Constraints: 31302
701.60/703.55 c #Conflicts: 507000 | #Constraints: 32302
701.60/703.55 c #Conflicts: 508000 | #Constraints: 33302
701.60/703.55 c #Conflicts: 509000 | #Constraints: 34302
701.60/703.55 c #Conflicts: 510000 | #Constraints: 35302
701.60/703.55 c #Conflicts: 511000 | #Constraints: 36302
701.60/703.55 c #Conflicts: 512000 | #Constraints: 37302
701.60/703.55 c #Conflicts: 513000 | #Constraints: 38302
701.60/703.55 c #Conflicts: 514000 | #Constraints: 39302
701.60/703.55 c #Conflicts: 515000 | #Constraints: 40302
701.60/703.55 c #Conflicts: 516000 | #Constraints: 41302
701.60/703.55 c #Conflicts: 517000 | #Constraints: 42302
701.60/703.55 c #Conflicts: 518000 | #Constraints: 43302
701.60/703.55 c #Conflicts: 519000 | #Constraints: 44302
701.60/703.55 c #Conflicts: 520000 | #Constraints: 45302
701.60/703.55 c #Conflicts: 521000 | #Constraints: 46302
701.60/703.55 c #Conflicts: 522000 | #Constraints: 47302
701.60/703.55 c #Conflicts: 523000 | #Constraints: 48302
701.60/703.55 c #Conflicts: 524000 | #Constraints: 49302
701.60/703.55 c #Conflicts: 525000 | #Constraints: 50302
701.60/703.55 c #Conflicts: 526000 | #Constraints: 51302
701.60/703.55 c #Conflicts: 527000 | #Constraints: 52302
701.60/703.55 c #Conflicts: 528000 | #Constraints: 53302
701.60/703.55 c #Conflicts: 529000 | #Constraints: 54302
701.60/703.55 c #Conflicts: 530000 | #Constraints: 55302
701.60/703.55 c #Conflicts: 531000 | #Constraints: 56302
701.60/703.55 c #Conflicts: 532000 | #Constraints: 57302
701.60/703.55 c #Conflicts: 533000 | #Constraints: 58302
701.60/703.55 c #Conflicts: 534000 | #Constraints: 59302
701.60/703.55 c #Conflicts: 535000 | #Constraints: 60302
701.60/703.55 c #Conflicts: 536000 | #Constraints: 61302
701.60/703.55 c #Conflicts: 537000 | #Constraints: 62302
701.60/703.55 c #Conflicts: 538000 | #Constraints: 63302
701.60/703.55 c #Conflicts: 539000 | #Constraints: 64303
701.60/703.55 c #Conflicts: 540000 | #Constraints: 65303
701.60/703.55 c #Conflicts: 541000 | #Constraints: 66303
701.60/703.55 c #Conflicts: 542000 | #Constraints: 67303
701.60/703.55 c #Conflicts: 543000 | #Constraints: 68303
701.60/703.55 c #Conflicts: 544000 | #Constraints: 69303
701.60/703.55 c #Conflicts: 545000 | #Constraints: 70303
701.60/703.55 c #Conflicts: 546000 | #Constraints: 71303
701.60/703.55 c #Conflicts: 547000 | #Constraints: 72303
701.60/703.55 c #Conflicts: 548000 | #Constraints: 73303
701.60/703.55 c #Conflicts: 549000 | #Constraints: 74303
701.60/703.55 c #Conflicts: 550000 | #Constraints: 75303
701.60/703.55 c #Conflicts: 551000 | #Constraints: 76303
701.60/703.55 c #Conflicts: 552000 | #Constraints: 77303
701.60/703.55 c #Conflicts: 553000 | #Constraints: 78303
701.60/703.55 c #Conflicts: 554000 | #Constraints: 79303
701.60/703.55 c INPROCESSING
701.60/703.55 c GARBAGE COLLECT
701.60/703.55 c rational objective 96
802.53/804.74 c #Conflicts: 555000 | #Constraints: 44217
802.53/804.74 c #Conflicts: 556000 | #Constraints: 45217
802.53/804.74 c #Conflicts: 557000 | #Constraints: 46217
802.53/804.74 c #Conflicts: 558000 | #Constraints: 47217
802.53/804.74 c #Conflicts: 559000 | #Constraints: 48217
802.53/804.74 c #Conflicts: 560000 | #Constraints: 49217
802.53/804.74 c #Conflicts: 561000 | #Constraints: 50217
802.53/804.74 c #Conflicts: 562000 | #Constraints: 51217
802.53/804.74 c #Conflicts: 563000 | #Constraints: 52217
802.53/804.74 c #Conflicts: 564000 | #Constraints: 53217
802.53/804.74 c #Conflicts: 565000 | #Constraints: 54217
802.53/804.74 c #Conflicts: 566000 | #Constraints: 55217
802.53/804.74 c #Conflicts: 567000 | #Constraints: 56217
802.53/804.74 c #Conflicts: 568000 | #Constraints: 57217
802.53/804.74 c #Conflicts: 569000 | #Constraints: 58217
802.53/804.74 c #Conflicts: 570000 | #Constraints: 59217
802.53/804.74 c #Conflicts: 571000 | #Constraints: 60217
802.53/804.74 c INPROCESSING
802.53/804.74 c GARBAGE COLLECT
802.53/804.74 c #Conflicts: 572000 | #Constraints: 34607
802.53/804.74 c #Conflicts: 573000 | #Constraints: 35607
802.53/804.74 c #Conflicts: 574000 | #Constraints: 36607
802.53/804.74 c #Conflicts: 575000 | #Constraints: 37607
802.53/804.74 c #Conflicts: 576000 | #Constraints: 38607
802.53/804.74 c #Conflicts: 577000 | #Constraints: 39607
802.53/804.74 c #Conflicts: 578000 | #Constraints: 40607
802.53/804.74 c #Conflicts: 579000 | #Constraints: 41607
802.53/804.74 c #Conflicts: 580000 | #Constraints: 42607
802.53/804.74 c #Conflicts: 581000 | #Constraints: 43607
802.53/804.74 c #Conflicts: 582000 | #Constraints: 44607
802.53/804.74 c #Conflicts: 583000 | #Constraints: 45607
802.53/804.74 c #Conflicts: 584000 | #Constraints: 46607
802.53/804.74 c #Conflicts: 585000 | #Constraints: 47607
802.53/804.74 c #Conflicts: 586000 | #Constraints: 48607
802.53/804.74 c #Conflicts: 587000 | #Constraints: 49607
802.53/804.74 c #Conflicts: 588000 | #Constraints: 50607
802.53/804.74 c INPROCESSING
802.53/804.74 c GARBAGE COLLECT
802.53/804.74 c #Conflicts: 589000 | #Constraints: 29610
802.53/804.74 c #Conflicts: 590000 | #Constraints: 30610
802.53/804.74 c #Conflicts: 591000 | #Constraints: 31610
802.53/804.74 c #Conflicts: 592000 | #Constraints: 32610
802.53/804.74 c #Conflicts: 593000 | #Constraints: 33610
802.53/804.74 c #Conflicts: 594000 | #Constraints: 34610
802.53/804.74 c #Conflicts: 595000 | #Constraints: 35610
802.53/804.74 c #Conflicts: 596000 | #Constraints: 36610
802.53/804.74 c #Conflicts: 597000 | #Constraints: 37610
802.53/804.74 c #Conflicts: 598000 | #Constraints: 38610
802.53/804.74 c #Conflicts: 599000 | #Constraints: 39610
802.53/804.74 c #Conflicts: 600000 | #Constraints: 40610
802.53/804.74 c #Conflicts: 601000 | #Constraints: 41610
802.53/804.74 c #Conflicts: 602000 | #Constraints: 42610
802.53/804.74 c #Conflicts: 603000 | #Constraints: 43610
802.53/804.74 c #Conflicts: 604000 | #Constraints: 44610
802.53/804.74 c #Conflicts: 605000 | #Constraints: 45610
802.53/804.74 c #Conflicts: 606000 | #Constraints: 46610
802.53/804.74 c INPROCESSING
802.53/804.74 c GARBAGE COLLECT
802.53/804.74 c #Conflicts: 607000 | #Constraints: 27823
802.53/804.74 c #Conflicts: 608000 | #Constraints: 28823
802.53/804.74 c #Conflicts: 609000 | #Constraints: 29823
802.53/804.74 c #Conflicts: 610000 | #Constraints: 30823
802.53/804.74 c #Conflicts: 611000 | #Constraints: 31823
802.53/804.74 c #Conflicts: 612000 | #Constraints: 32823
802.53/804.74 c #Conflicts: 613000 | #Constraints: 33823
802.53/804.74 c #Conflicts: 614000 | #Constraints: 34823
802.53/804.74 c #Conflicts: 615000 | #Constraints: 35823
802.53/804.74 c #Conflicts: 616000 | #Constraints: 36823
802.53/804.74 c #Conflicts: 617000 | #Constraints: 37823
802.53/804.74 c #Conflicts: 618000 | #Constraints: 38823
802.53/804.74 c #Conflicts: 619000 | #Constraints: 39823
802.53/804.74 c #Conflicts: 620000 | #Constraints: 40823
802.53/804.74 c #Conflicts: 621000 | #Constraints: 41823
802.53/804.74 c #Conflicts: 622000 | #Constraints: 42823
802.53/804.74 c #Conflicts: 623000 | #Constraints: 43823
802.53/804.74 c #Conflicts: 624000 | #Constraints: 44823
802.53/804.74 c INPROCESSING
802.53/804.74 c GARBAGE COLLECT
802.53/804.74 c #Conflicts: 625000 | #Constraints: 27102
802.53/804.74 c #Conflicts: 626000 | #Constraints: 28102
802.53/804.74 c #Conflicts: 627000 | #Constraints: 29102
802.53/804.74 c #Conflicts: 628000 | #Constraints: 30102
802.53/804.74 c #Conflicts: 629000 | #Constraints: 31102
802.53/804.74 c #Conflicts: 630000 | #Constraints: 32102
802.53/804.74 c #Conflicts: 631000 | #Constraints: 33102
935.15/937.70 c #Conflicts: 632000 | #Constraints: 34102
935.15/937.70 c #Conflicts: 633000 | #Constraints: 35102
935.15/937.70 c #Conflicts: 634000 | #Constraints: 36102
935.15/937.70 c #Conflicts: 635000 | #Constraints: 37102
935.15/937.70 c #Conflicts: 636000 | #Constraints: 38102
935.15/937.70 c #Conflicts: 637000 | #Constraints: 39102
935.15/937.70 c #Conflicts: 638000 | #Constraints: 40102
935.15/937.70 c #Conflicts: 639000 | #Constraints: 41102
935.15/937.70 c #Conflicts: 640000 | #Constraints: 42102
935.15/937.70 c #Conflicts: 641000 | #Constraints: 43102
935.15/937.70 c #Conflicts: 642000 | #Constraints: 44102
935.15/937.70 c #Conflicts: 643000 | #Constraints: 45102
935.15/937.70 c #Conflicts: 644000 | #Constraints: 46102
935.15/937.70 c #Conflicts: 645000 | #Constraints: 47102
935.15/937.70 c #Conflicts: 646000 | #Constraints: 48102
935.15/937.70 c #Conflicts: 647000 | #Constraints: 49102
935.15/937.70 c #Conflicts: 648000 | #Constraints: 50102
935.15/937.70 c #Conflicts: 649000 | #Constraints: 51102
935.15/937.70 c #Conflicts: 650000 | #Constraints: 52102
935.15/937.70 c #Conflicts: 651000 | #Constraints: 53102
935.15/937.70 c #Conflicts: 652000 | #Constraints: 54102
935.15/937.70 c #Conflicts: 653000 | #Constraints: 55102
935.15/937.70 c #Conflicts: 654000 | #Constraints: 56102
935.15/937.70 c #Conflicts: 655000 | #Constraints: 57102
935.15/937.70 c #Conflicts: 656000 | #Constraints: 58102
935.15/937.70 c #Conflicts: 657000 | #Constraints: 59102
935.15/937.70 c #Conflicts: 658000 | #Constraints: 60102
935.15/937.70 c #Conflicts: 659000 | #Constraints: 61102
935.15/937.70 c #Conflicts: 660000 | #Constraints: 62102
935.15/937.70 c #Conflicts: 661000 | #Constraints: 63102
935.15/937.70 c #Conflicts: 662000 | #Constraints: 64102
935.15/937.70 c #Conflicts: 663000 | #Constraints: 65102
935.15/937.70 c #Conflicts: 664000 | #Constraints: 66102
935.15/937.70 c #Conflicts: 665000 | #Constraints: 67102
935.15/937.70 c #Conflicts: 666000 | #Constraints: 68102
935.15/937.70 c #Conflicts: 667000 | #Constraints: 69102
935.15/937.70 c #Conflicts: 668000 | #Constraints: 70102
935.15/937.70 c #Conflicts: 669000 | #Constraints: 71102
935.15/937.70 c #Conflicts: 670000 | #Constraints: 72102
935.15/937.70 c #Conflicts: 671000 | #Constraints: 73102
935.15/937.70 c #Conflicts: 672000 | #Constraints: 74102
935.15/937.70 c #Conflicts: 673000 | #Constraints: 75102
935.15/937.70 c #Conflicts: 674000 | #Constraints: 76102
935.15/937.70 c #Conflicts: 675000 | #Constraints: 77102
935.15/937.70 c #Conflicts: 676000 | #Constraints: 78102
935.15/937.70 c #Conflicts: 677000 | #Constraints: 79102
935.15/937.70 c #Conflicts: 678000 | #Constraints: 80102
935.15/937.70 c #Conflicts: 679000 | #Constraints: 81102
935.15/937.70 c #Conflicts: 680000 | #Constraints: 82102
935.15/937.70 c #Conflicts: 681000 | #Constraints: 83102
935.15/937.70 c #Conflicts: 682000 | #Constraints: 84102
935.15/937.70 c #Conflicts: 683000 | #Constraints: 85102
935.15/937.70 c #Conflicts: 684000 | #Constraints: 86102
935.15/937.70 c #Conflicts: 685000 | #Constraints: 87102
935.15/937.70 c #Conflicts: 686000 | #Constraints: 88102
935.15/937.70 c INPROCESSING
935.15/937.70 c GARBAGE COLLECT
935.15/937.70 c rational objective 96
977.92/980.62 c #Conflicts: 687000 | #Constraints: 48758
977.92/980.62 c #Conflicts: 688000 | #Constraints: 49758
977.92/980.62 c #Conflicts: 689000 | #Constraints: 50758
977.92/980.62 c #Conflicts: 690000 | #Constraints: 51758
977.92/980.62 c #Conflicts: 691000 | #Constraints: 52758
977.92/980.62 c #Conflicts: 692000 | #Constraints: 53758
977.92/980.62 c #Conflicts: 693000 | #Constraints: 54758
977.92/980.62 c #Conflicts: 694000 | #Constraints: 55758
977.92/980.62 c #Conflicts: 695000 | #Constraints: 56758
977.92/980.62 c #Conflicts: 696000 | #Constraints: 57758
977.92/980.62 c #Conflicts: 697000 | #Constraints: 58758
977.92/980.62 c #Conflicts: 698000 | #Constraints: 59758
977.92/980.62 c #Conflicts: 699000 | #Constraints: 60758
977.92/980.62 c #Conflicts: 700000 | #Constraints: 61758
977.92/980.62 c #Conflicts: 701000 | #Constraints: 62758
977.92/980.62 c #Conflicts: 702000 | #Constraints: 63758
977.92/980.62 c #Conflicts: 703000 | #Constraints: 64758
977.92/980.62 c #Conflicts: 704000 | #Constraints: 65758
977.92/980.62 c #Conflicts: 705000 | #Constraints: 66758
977.92/980.62 c INPROCESSING
977.92/980.62 c GARBAGE COLLECT
977.92/980.62 c rational objective 96
1089.28/1092.33 c #Conflicts: 706000 | #Constraints: 38159
1089.28/1092.33 c #Conflicts: 707000 | #Constraints: 39159
1089.28/1092.33 c #Conflicts: 708000 | #Constraints: 40159
1089.28/1092.33 c #Conflicts: 709000 | #Constraints: 41159
1089.28/1092.33 c #Conflicts: 710000 | #Constraints: 42159
1089.28/1092.33 c #Conflicts: 711000 | #Constraints: 43159
1089.28/1092.33 c #Conflicts: 712000 | #Constraints: 44159
1089.28/1092.33 c #Conflicts: 713000 | #Constraints: 45159
1089.28/1092.33 c #Conflicts: 714000 | #Constraints: 46159
1089.28/1092.33 c #Conflicts: 715000 | #Constraints: 47159
1089.28/1092.33 c #Conflicts: 716000 | #Constraints: 48159
1089.28/1092.33 c #Conflicts: 717000 | #Constraints: 49159
1089.28/1092.33 c #Conflicts: 718000 | #Constraints: 50159
1089.28/1092.33 c #Conflicts: 719000 | #Constraints: 51159
1089.28/1092.33 c #Conflicts: 720000 | #Constraints: 52159
1089.28/1092.33 c #Conflicts: 721000 | #Constraints: 53159
1089.28/1092.33 c #Conflicts: 722000 | #Constraints: 54159
1089.28/1092.33 c #Conflicts: 723000 | #Constraints: 55159
1089.28/1092.33 c #Conflicts: 724000 | #Constraints: 56159
1089.28/1092.33 c INPROCESSING
1089.28/1092.33 c GARBAGE COLLECT
1089.28/1092.33 c #Conflicts: 725000 | #Constraints: 32713
1089.28/1092.33 c #Conflicts: 726000 | #Constraints: 33713
1089.28/1092.33 c #Conflicts: 727000 | #Constraints: 34713
1089.28/1092.33 c #Conflicts: 728000 | #Constraints: 35713
1089.28/1092.33 c #Conflicts: 729000 | #Constraints: 36713
1089.28/1092.33 c #Conflicts: 730000 | #Constraints: 37713
1089.28/1092.33 c #Conflicts: 731000 | #Constraints: 38713
1089.28/1092.33 c #Conflicts: 732000 | #Constraints: 39713
1089.28/1092.33 c #Conflicts: 733000 | #Constraints: 40713
1089.28/1092.33 c #Conflicts: 734000 | #Constraints: 41713
1089.28/1092.33 c #Conflicts: 735000 | #Constraints: 42713
1089.28/1092.33 c #Conflicts: 736000 | #Constraints: 43713
1089.28/1092.33 c #Conflicts: 737000 | #Constraints: 44713
1089.28/1092.33 c #Conflicts: 738000 | #Constraints: 45713
1089.28/1092.33 c #Conflicts: 739000 | #Constraints: 46713
1089.28/1092.33 c #Conflicts: 740000 | #Constraints: 47713
1089.28/1092.33 c #Conflicts: 741000 | #Constraints: 48713
1089.28/1092.33 c #Conflicts: 742000 | #Constraints: 49713
1089.28/1092.33 c #Conflicts: 743000 | #Constraints: 50713
1089.28/1092.33 c INPROCESSING
1089.28/1092.33 c GARBAGE COLLECT
1089.28/1092.33 c #Conflicts: 744000 | #Constraints: 29858
1089.28/1092.33 c #Conflicts: 745000 | #Constraints: 30858
1089.28/1092.33 c #Conflicts: 746000 | #Constraints: 31858
1089.28/1092.33 c #Conflicts: 747000 | #Constraints: 32858
1089.28/1092.33 c #Conflicts: 748000 | #Constraints: 33858
1089.28/1092.33 c #Conflicts: 749000 | #Constraints: 34859
1089.28/1092.33 c #Conflicts: 750000 | #Constraints: 35859
1089.28/1092.33 c #Conflicts: 751000 | #Constraints: 36859
1089.28/1092.33 c #Conflicts: 752000 | #Constraints: 37859
1089.28/1092.33 c #Conflicts: 753000 | #Constraints: 38859
1089.28/1092.33 c #Conflicts: 754000 | #Constraints: 39859
1089.28/1092.33 c #Conflicts: 755000 | #Constraints: 40859
1089.28/1092.33 c #Conflicts: 756000 | #Constraints: 41859
1089.28/1092.33 c #Conflicts: 757000 | #Constraints: 42859
1089.28/1092.33 c #Conflicts: 758000 | #Constraints: 43859
1089.28/1092.33 c #Conflicts: 759000 | #Constraints: 44859
1089.28/1092.33 c #Conflicts: 760000 | #Constraints: 45859
1089.28/1092.33 c #Conflicts: 761000 | #Constraints: 46859
1089.28/1092.33 c #Conflicts: 762000 | #Constraints: 47859
1089.28/1092.33 c #Conflicts: 763000 | #Constraints: 48859
1089.28/1092.33 c INPROCESSING
1089.28/1092.33 c GARBAGE COLLECT
1089.28/1092.33 c #Conflicts: 764000 | #Constraints: 29168
1089.28/1092.33 c #Conflicts: 765000 | #Constraints: 30168
1089.28/1092.33 c #Conflicts: 766000 | #Constraints: 31168
1089.28/1092.33 c #Conflicts: 767000 | #Constraints: 32168
1089.28/1092.33 c #Conflicts: 768000 | #Constraints: 33168
1089.28/1092.33 c #Conflicts: 769000 | #Constraints: 34168
1089.28/1092.33 c #Conflicts: 770000 | #Constraints: 35168
1089.28/1092.33 c #Conflicts: 771000 | #Constraints: 36168
1089.28/1092.33 c #Conflicts: 772000 | #Constraints: 37168
1089.28/1092.33 c #Conflicts: 773000 | #Constraints: 38168
1089.28/1092.33 c #Conflicts: 774000 | #Constraints: 39168
1089.28/1092.33 c #Conflicts: 775000 | #Constraints: 40168
1089.28/1092.33 c #Conflicts: 776000 | #Constraints: 41168
1089.28/1092.33 c #Conflicts: 777000 | #Constraints: 42168
1089.28/1092.33 c #Conflicts: 778000 | #Constraints: 43168
1089.28/1092.33 c #Conflicts: 779000 | #Constraints: 44168
1089.28/1092.33 c #Conflicts: 780000 | #Constraints: 45168
1089.28/1092.33 c #Conflicts: 781000 | #Constraints: 46168
1089.28/1092.33 c #Conflicts: 782000 | #Constraints: 47168
1231.26/1234.74 c #Conflicts: 783000 | #Constraints: 48168
1231.26/1234.74 c #Conflicts: 784000 | #Constraints: 49168
1231.26/1234.74 c #Conflicts: 785000 | #Constraints: 50168
1231.26/1234.74 c #Conflicts: 786000 | #Constraints: 51168
1231.26/1234.74 c #Conflicts: 787000 | #Constraints: 52168
1231.26/1234.74 c #Conflicts: 788000 | #Constraints: 53168
1231.26/1234.74 c #Conflicts: 789000 | #Constraints: 54168
1231.26/1234.74 c #Conflicts: 790000 | #Constraints: 55168
1231.26/1234.74 c #Conflicts: 791000 | #Constraints: 56168
1231.26/1234.74 c #Conflicts: 792000 | #Constraints: 57168
1231.26/1234.74 c #Conflicts: 793000 | #Constraints: 58168
1231.26/1234.74 c #Conflicts: 794000 | #Constraints: 59168
1231.26/1234.74 c #Conflicts: 795000 | #Constraints: 60168
1231.26/1234.74 c #Conflicts: 796000 | #Constraints: 61168
1231.26/1234.74 c #Conflicts: 797000 | #Constraints: 62168
1231.26/1234.74 c #Conflicts: 798000 | #Constraints: 63168
1231.26/1234.74 c #Conflicts: 799000 | #Constraints: 64168
1231.26/1234.74 c #Conflicts: 800000 | #Constraints: 65168
1231.26/1234.74 c #Conflicts: 801000 | #Constraints: 66168
1231.26/1234.74 c #Conflicts: 802000 | #Constraints: 67168
1231.26/1234.74 c #Conflicts: 803000 | #Constraints: 68168
1231.26/1234.74 c #Conflicts: 804000 | #Constraints: 69168
1231.26/1234.74 c #Conflicts: 805000 | #Constraints: 70168
1231.26/1234.74 c #Conflicts: 806000 | #Constraints: 71168
1231.26/1234.74 c #Conflicts: 807000 | #Constraints: 72168
1231.26/1234.74 c #Conflicts: 808000 | #Constraints: 73168
1231.26/1234.74 c #Conflicts: 809000 | #Constraints: 74168
1231.26/1234.74 c #Conflicts: 810000 | #Constraints: 75168
1231.26/1234.74 c #Conflicts: 811000 | #Constraints: 76168
1231.26/1234.74 c #Conflicts: 812000 | #Constraints: 77169
1231.26/1234.74 c #Conflicts: 813000 | #Constraints: 78169
1231.26/1234.74 c #Conflicts: 814000 | #Constraints: 79169
1231.26/1234.74 c #Conflicts: 815000 | #Constraints: 80169
1231.26/1234.74 c #Conflicts: 816000 | #Constraints: 81169
1231.26/1234.74 c #Conflicts: 817000 | #Constraints: 82169
1231.26/1234.74 c #Conflicts: 818000 | #Constraints: 83169
1231.26/1234.74 c #Conflicts: 819000 | #Constraints: 84169
1231.26/1234.74 c #Conflicts: 820000 | #Constraints: 85169
1231.26/1234.74 c #Conflicts: 821000 | #Constraints: 86169
1231.26/1234.74 c #Conflicts: 822000 | #Constraints: 87169
1231.26/1234.74 c #Conflicts: 823000 | #Constraints: 88169
1231.26/1234.74 c #Conflicts: 824000 | #Constraints: 89169
1231.26/1234.74 c #Conflicts: 825000 | #Constraints: 90169
1231.26/1234.74 c #Conflicts: 826000 | #Constraints: 91169
1231.26/1234.74 c #Conflicts: 827000 | #Constraints: 92169
1231.26/1234.74 c #Conflicts: 828000 | #Constraints: 93169
1231.26/1234.74 c #Conflicts: 829000 | #Constraints: 94169
1231.26/1234.74 c #Conflicts: 830000 | #Constraints: 95169
1231.26/1234.74 c #Conflicts: 831000 | #Constraints: 96169
1231.26/1234.74 c INPROCESSING
1231.26/1234.74 c GARBAGE COLLECT
1231.26/1234.74 c rational objective 96
1353.39/1357.21 c #Conflicts: 832000 | #Constraints: 52524
1353.39/1357.21 c #Conflicts: 833000 | #Constraints: 53524
1353.39/1357.21 c #Conflicts: 834000 | #Constraints: 54524
1353.39/1357.21 c #Conflicts: 835000 | #Constraints: 55524
1353.39/1357.21 c #Conflicts: 836000 | #Constraints: 56524
1353.39/1357.21 c #Conflicts: 837000 | #Constraints: 57524
1353.39/1357.21 c #Conflicts: 838000 | #Constraints: 58524
1353.39/1357.21 c #Conflicts: 839000 | #Constraints: 59524
1353.39/1357.21 c #Conflicts: 840000 | #Constraints: 60524
1353.39/1357.21 c #Conflicts: 841000 | #Constraints: 61524
1353.39/1357.21 c #Conflicts: 842000 | #Constraints: 62524
1353.39/1357.21 c #Conflicts: 843000 | #Constraints: 63524
1353.39/1357.21 c #Conflicts: 844000 | #Constraints: 64524
1353.39/1357.21 c #Conflicts: 845000 | #Constraints: 65524
1353.39/1357.21 c #Conflicts: 846000 | #Constraints: 66524
1353.39/1357.21 c #Conflicts: 847000 | #Constraints: 67524
1353.39/1357.21 c #Conflicts: 848000 | #Constraints: 68524
1353.39/1357.21 c #Conflicts: 849000 | #Constraints: 69524
1353.39/1357.21 c #Conflicts: 850000 | #Constraints: 70524
1353.39/1357.21 c #Conflicts: 851000 | #Constraints: 71524
1353.39/1357.21 c #Conflicts: 852000 | #Constraints: 72524
1353.39/1357.21 c INPROCESSING
1353.39/1357.21 c GARBAGE COLLECT
1353.39/1357.21 c #Conflicts: 853000 | #Constraints: 40804
1353.39/1357.21 c #Conflicts: 854000 | #Constraints: 41804
1353.39/1357.21 c #Conflicts: 855000 | #Constraints: 42804
1353.39/1357.21 c #Conflicts: 856000 | #Constraints: 43804
1353.39/1357.21 c #Conflicts: 857000 | #Constraints: 44804
1353.39/1357.21 c #Conflicts: 858000 | #Constraints: 45804
1353.39/1357.21 c #Conflicts: 859000 | #Constraints: 46804
1353.39/1357.21 c #Conflicts: 860000 | #Constraints: 47804
1353.39/1357.21 c #Conflicts: 861000 | #Constraints: 48804
1353.39/1357.21 c #Conflicts: 862000 | #Constraints: 49804
1353.39/1357.21 c #Conflicts: 863000 | #Constraints: 50804
1353.39/1357.21 c #Conflicts: 864000 | #Constraints: 51804
1353.39/1357.21 c #Conflicts: 865000 | #Constraints: 52804
1353.39/1357.21 c #Conflicts: 866000 | #Constraints: 53804
1353.39/1357.21 c #Conflicts: 867000 | #Constraints: 54804
1353.39/1357.21 c #Conflicts: 868000 | #Constraints: 55804
1353.39/1357.21 c #Conflicts: 869000 | #Constraints: 56804
1353.39/1357.21 c #Conflicts: 870000 | #Constraints: 57804
1353.39/1357.21 c #Conflicts: 871000 | #Constraints: 58804
1353.39/1357.21 c #Conflicts: 872000 | #Constraints: 59804
1353.39/1357.21 c #Conflicts: 873000 | #Constraints: 60804
1353.39/1357.21 c INPROCESSING
1353.39/1357.21 c GARBAGE COLLECT
1353.39/1357.21 c #Conflicts: 874000 | #Constraints: 34934
1353.39/1357.21 c #Conflicts: 875000 | #Constraints: 35934
1353.39/1357.21 c #Conflicts: 876000 | #Constraints: 36934
1353.39/1357.21 c #Conflicts: 877000 | #Constraints: 37934
1353.39/1357.21 c #Conflicts: 878000 | #Constraints: 38934
1353.39/1357.21 c #Conflicts: 879000 | #Constraints: 39934
1353.39/1357.21 c #Conflicts: 880000 | #Constraints: 40934
1353.39/1357.21 c #Conflicts: 881000 | #Constraints: 41934
1353.39/1357.21 c #Conflicts: 882000 | #Constraints: 42935
1353.39/1357.21 c #Conflicts: 883000 | #Constraints: 43935
1353.39/1357.21 c #Conflicts: 884000 | #Constraints: 44935
1353.39/1357.21 c #Conflicts: 885000 | #Constraints: 45935
1353.39/1357.21 c #Conflicts: 886000 | #Constraints: 46935
1353.39/1357.21 c #Conflicts: 887000 | #Constraints: 47935
1353.39/1357.21 c #Conflicts: 888000 | #Constraints: 48935
1353.39/1357.21 c #Conflicts: 889000 | #Constraints: 49935
1353.39/1357.21 c #Conflicts: 890000 | #Constraints: 50935
1353.39/1357.21 c #Conflicts: 891000 | #Constraints: 51935
1353.39/1357.21 c #Conflicts: 892000 | #Constraints: 52935
1353.39/1357.21 c #Conflicts: 893000 | #Constraints: 53935
1353.39/1357.21 c #Conflicts: 894000 | #Constraints: 54935
1353.39/1357.21 c INPROCESSING
1353.39/1357.21 c GARBAGE COLLECT
1353.39/1357.21 c #Conflicts: 895000 | #Constraints: 31773
1353.39/1357.21 c #Conflicts: 896000 | #Constraints: 32773
1353.39/1357.21 c #Conflicts: 897000 | #Constraints: 33773
1353.39/1357.21 c #Conflicts: 898000 | #Constraints: 34773
1353.39/1357.21 c #Conflicts: 899000 | #Constraints: 35773
1353.39/1357.21 c #Conflicts: 900000 | #Constraints: 36773
1353.39/1357.21 c #Conflicts: 901000 | #Constraints: 37773
1353.39/1357.21 c #Conflicts: 902000 | #Constraints: 38773
1353.39/1357.21 c #Conflicts: 903000 | #Constraints: 39773
1353.39/1357.21 c #Conflicts: 904000 | #Constraints: 40773
1353.39/1357.21 c #Conflicts: 905000 | #Constraints: 41773
1353.39/1357.21 c #Conflicts: 906000 | #Constraints: 42773
1353.39/1357.21 c #Conflicts: 907000 | #Constraints: 43773
1353.39/1357.21 c #Conflicts: 908000 | #Constraints: 44773
1532.34/1536.72 c #Conflicts: 909000 | #Constraints: 45773
1532.34/1536.72 c #Conflicts: 910000 | #Constraints: 46773
1532.34/1536.72 c #Conflicts: 911000 | #Constraints: 47773
1532.34/1536.72 c #Conflicts: 912000 | #Constraints: 48773
1532.34/1536.72 c #Conflicts: 913000 | #Constraints: 49773
1532.34/1536.72 c #Conflicts: 914000 | #Constraints: 50773
1532.34/1536.72 c #Conflicts: 915000 | #Constraints: 51773
1532.34/1536.72 c #Conflicts: 916000 | #Constraints: 52773
1532.34/1536.72 c INPROCESSING
1532.34/1536.72 c GARBAGE COLLECT
1532.34/1536.72 c #Conflicts: 917000 | #Constraints: 30958
1532.34/1536.72 c #Conflicts: 918000 | #Constraints: 31958
1532.34/1536.72 c #Conflicts: 919000 | #Constraints: 32958
1532.34/1536.72 c #Conflicts: 920000 | #Constraints: 33958
1532.34/1536.72 c #Conflicts: 921000 | #Constraints: 34958
1532.34/1536.72 c #Conflicts: 922000 | #Constraints: 35958
1532.34/1536.72 c #Conflicts: 923000 | #Constraints: 36958
1532.34/1536.72 c #Conflicts: 924000 | #Constraints: 37958
1532.34/1536.72 c #Conflicts: 925000 | #Constraints: 38958
1532.34/1536.72 c #Conflicts: 926000 | #Constraints: 39958
1532.34/1536.72 c #Conflicts: 927000 | #Constraints: 40958
1532.34/1536.72 c #Conflicts: 928000 | #Constraints: 41958
1532.34/1536.72 c #Conflicts: 929000 | #Constraints: 42958
1532.34/1536.72 c #Conflicts: 930000 | #Constraints: 43958
1532.34/1536.72 c #Conflicts: 931000 | #Constraints: 44958
1532.34/1536.72 c #Conflicts: 932000 | #Constraints: 45958
1532.34/1536.72 c #Conflicts: 933000 | #Constraints: 46958
1532.34/1536.72 c #Conflicts: 934000 | #Constraints: 47958
1532.34/1536.72 c #Conflicts: 935000 | #Constraints: 48958
1532.34/1536.72 c #Conflicts: 936000 | #Constraints: 49958
1532.34/1536.72 c #Conflicts: 937000 | #Constraints: 50958
1532.34/1536.72 c #Conflicts: 938000 | #Constraints: 51958
1532.34/1536.72 c #Conflicts: 939000 | #Constraints: 52958
1532.34/1536.72 c #Conflicts: 940000 | #Constraints: 53958
1532.34/1536.72 c #Conflicts: 941000 | #Constraints: 54958
1532.34/1536.72 c #Conflicts: 942000 | #Constraints: 55958
1532.34/1536.72 c #Conflicts: 943000 | #Constraints: 56958
1532.34/1536.72 c #Conflicts: 944000 | #Constraints: 57958
1532.34/1536.72 c #Conflicts: 945000 | #Constraints: 58958
1532.34/1536.72 c #Conflicts: 946000 | #Constraints: 59958
1532.34/1536.72 c #Conflicts: 947000 | #Constraints: 60958
1532.34/1536.72 c #Conflicts: 948000 | #Constraints: 61958
1532.34/1536.72 c #Conflicts: 949000 | #Constraints: 62958
1532.34/1536.72 c #Conflicts: 950000 | #Constraints: 63958
1532.34/1536.72 c #Conflicts: 951000 | #Constraints: 64958
1532.34/1536.72 c #Conflicts: 952000 | #Constraints: 65958
1532.34/1536.72 c #Conflicts: 953000 | #Constraints: 66958
1532.34/1536.72 c #Conflicts: 954000 | #Constraints: 67958
1532.34/1536.72 c #Conflicts: 955000 | #Constraints: 68958
1532.34/1536.72 c #Conflicts: 956000 | #Constraints: 69958
1532.34/1536.72 c #Conflicts: 957000 | #Constraints: 70958
1532.34/1536.72 c #Conflicts: 958000 | #Constraints: 71958
1532.34/1536.72 c #Conflicts: 959000 | #Constraints: 72958
1532.34/1536.72 c #Conflicts: 960000 | #Constraints: 73958
1532.34/1536.72 c #Conflicts: 961000 | #Constraints: 74958
1532.34/1536.72 c #Conflicts: 962000 | #Constraints: 75958
1532.34/1536.72 c #Conflicts: 963000 | #Constraints: 76958
1532.34/1536.72 c #Conflicts: 964000 | #Constraints: 77958
1532.34/1536.72 c #Conflicts: 965000 | #Constraints: 78958
1532.34/1536.72 c #Conflicts: 966000 | #Constraints: 79958
1532.34/1536.72 c #Conflicts: 967000 | #Constraints: 80958
1532.34/1536.72 c #Conflicts: 968000 | #Constraints: 81958
1532.34/1536.72 c #Conflicts: 969000 | #Constraints: 82958
1532.34/1536.72 c #Conflicts: 970000 | #Constraints: 83958
1532.34/1536.72 c #Conflicts: 971000 | #Constraints: 84958
1532.34/1536.72 c #Conflicts: 972000 | #Constraints: 85958
1532.34/1536.72 c #Conflicts: 973000 | #Constraints: 86958
1532.34/1536.72 c #Conflicts: 974000 | #Constraints: 87958
1532.34/1536.72 c #Conflicts: 975000 | #Constraints: 88958
1532.34/1536.72 c #Conflicts: 976000 | #Constraints: 89958
1532.34/1536.72 c #Conflicts: 977000 | #Constraints: 90958
1532.34/1536.72 c #Conflicts: 978000 | #Constraints: 91958
1532.34/1536.72 c #Conflicts: 979000 | #Constraints: 92958
1532.34/1536.72 c #Conflicts: 980000 | #Constraints: 93958
1532.34/1536.72 c #Conflicts: 981000 | #Constraints: 94958
1532.34/1536.72 c #Conflicts: 982000 | #Constraints: 95958
1532.34/1536.72 c #Conflicts: 983000 | #Constraints: 96958
1532.34/1536.72 c #Conflicts: 984000 | #Constraints: 97958
1532.34/1536.72 c #Conflicts: 985000 | #Constraints: 98958
1532.34/1536.72 c #Conflicts: 986000 | #Constraints: 99958
1707.32/1712.20 c #Conflicts: 987000 | #Constraints: 100958
1707.32/1712.20 c #Conflicts: 988000 | #Constraints: 101958
1707.32/1712.20 c #Conflicts: 989000 | #Constraints: 102958
1707.32/1712.20 c #Conflicts: 990000 | #Constraints: 103958
1707.32/1712.20 c #Conflicts: 991000 | #Constraints: 104958
1707.32/1712.20 c INPROCESSING
1707.32/1712.20 c GARBAGE COLLECT
1707.32/1712.20 c #Conflicts: 992000 | #Constraints: 57215
1707.32/1712.20 c #Conflicts: 993000 | #Constraints: 58215
1707.32/1712.20 c #Conflicts: 994000 | #Constraints: 59215
1707.32/1712.20 c #Conflicts: 995000 | #Constraints: 60215
1707.32/1712.20 c #Conflicts: 996000 | #Constraints: 61215
1707.32/1712.20 c #Conflicts: 997000 | #Constraints: 62215
1707.32/1712.20 c #Conflicts: 998000 | #Constraints: 63215
1707.32/1712.20 c #Conflicts: 999000 | #Constraints: 64215
1707.32/1712.20 c #Conflicts: 1000000 | #Constraints: 65215
1707.32/1712.20 c #Conflicts: 1001000 | #Constraints: 66215
1707.32/1712.20 c #Conflicts: 1002000 | #Constraints: 67215
1707.32/1712.20 c #Conflicts: 1003000 | #Constraints: 68215
1707.32/1712.20 c #Conflicts: 1004000 | #Constraints: 69215
1707.32/1712.20 c #Conflicts: 1005000 | #Constraints: 70215
1707.32/1712.20 c #Conflicts: 1006000 | #Constraints: 71215
1707.32/1712.20 c #Conflicts: 1007000 | #Constraints: 72215
1707.32/1712.20 c #Conflicts: 1008000 | #Constraints: 73215
1707.32/1712.20 c #Conflicts: 1009000 | #Constraints: 74215
1707.32/1712.20 c #Conflicts: 1010000 | #Constraints: 75215
1707.32/1712.20 c #Conflicts: 1011000 | #Constraints: 76215
1707.32/1712.20 c #Conflicts: 1012000 | #Constraints: 77215
1707.32/1712.20 c #Conflicts: 1013000 | #Constraints: 78215
1707.32/1712.20 c #Conflicts: 1014000 | #Constraints: 79215
1707.32/1712.20 c INPROCESSING
1707.32/1712.20 c GARBAGE COLLECT
1707.32/1712.20 c #Conflicts: 1015000 | #Constraints: 44354
1707.32/1712.20 c #Conflicts: 1016000 | #Constraints: 45354
1707.32/1712.20 c #Conflicts: 1017000 | #Constraints: 46354
1707.32/1712.20 c #Conflicts: 1018000 | #Constraints: 47354
1707.32/1712.20 c #Conflicts: 1019000 | #Constraints: 48354
1707.32/1712.20 c #Conflicts: 1020000 | #Constraints: 49354
1707.32/1712.20 c #Conflicts: 1021000 | #Constraints: 50354
1707.32/1712.20 c #Conflicts: 1022000 | #Constraints: 51354
1707.32/1712.20 c #Conflicts: 1023000 | #Constraints: 52354
1707.32/1712.20 c #Conflicts: 1024000 | #Constraints: 53354
1707.32/1712.20 c #Conflicts: 1025000 | #Constraints: 54354
1707.32/1712.20 c #Conflicts: 1026000 | #Constraints: 55354
1707.32/1712.20 c #Conflicts: 1027000 | #Constraints: 56354
1707.32/1712.20 c #Conflicts: 1028000 | #Constraints: 57354
1707.32/1712.20 c #Conflicts: 1029000 | #Constraints: 58354
1707.32/1712.20 c #Conflicts: 1030000 | #Constraints: 59354
1707.32/1712.20 c #Conflicts: 1031000 | #Constraints: 60354
1707.32/1712.20 c #Conflicts: 1032000 | #Constraints: 61354
1707.32/1712.20 c #Conflicts: 1033000 | #Constraints: 62354
1707.32/1712.20 c #Conflicts: 1034000 | #Constraints: 63354
1707.32/1712.20 c #Conflicts: 1035000 | #Constraints: 64354
1707.32/1712.20 c #Conflicts: 1036000 | #Constraints: 65354
1707.32/1712.20 c #Conflicts: 1037000 | #Constraints: 66354
1707.32/1712.20 c INPROCESSING
1707.32/1712.20 c GARBAGE COLLECT
1707.32/1712.20 c #Conflicts: 1038000 | #Constraints: 37952
1707.32/1712.20 c #Conflicts: 1039000 | #Constraints: 38952
1707.32/1712.20 c #Conflicts: 1040000 | #Constraints: 39952
1707.32/1712.20 c #Conflicts: 1041000 | #Constraints: 40952
1707.32/1712.20 c #Conflicts: 1042000 | #Constraints: 41952
1707.32/1712.20 c #Conflicts: 1043000 | #Constraints: 42952
1707.32/1712.20 c #Conflicts: 1044000 | #Constraints: 43952
1707.32/1712.20 c #Conflicts: 1045000 | #Constraints: 44952
1707.32/1712.20 c #Conflicts: 1046000 | #Constraints: 45952
1707.32/1712.20 c #Conflicts: 1047000 | #Constraints: 46952
1707.32/1712.20 c #Conflicts: 1048000 | #Constraints: 47952
1707.32/1712.20 c #Conflicts: 1049000 | #Constraints: 48952
1707.32/1712.20 c #Conflicts: 1050000 | #Constraints: 49952
1707.32/1712.20 c #Conflicts: 1051000 | #Constraints: 50952
1707.32/1712.20 c #Conflicts: 1052000 | #Constraints: 51952
1707.32/1712.20 c #Conflicts: 1053000 | #Constraints: 52952
1707.32/1712.20 c #Conflicts: 1054000 | #Constraints: 53952
1707.32/1712.20 c #Conflicts: 1055000 | #Constraints: 54952
1707.32/1712.20 c #Conflicts: 1056000 | #Constraints: 55952
1707.32/1712.20 c #Conflicts: 1057000 | #Constraints: 56952
1707.32/1712.20 c #Conflicts: 1058000 | #Constraints: 57952
1707.32/1712.20 c #Conflicts: 1059000 | #Constraints: 58952
1707.32/1712.20 c #Conflicts: 1060000 | #Constraints: 59952
1707.32/1712.20 c INPROCESSING
1707.32/1712.20 c GARBAGE COLLECT
1707.32/1712.20 c #Conflicts: 1061000 | #Constraints: 34695
1707.32/1712.20 c #Conflicts: 1062000 | #Constraints: 35695
1707.32/1712.20 c #Conflicts: 1063000 | #Constraints: 36695
1864.02/1869.36 c #Conflicts: 1064000 | #Constraints: 37695
1864.02/1869.36 c #Conflicts: 1065000 | #Constraints: 38695
1864.02/1869.36 c #Conflicts: 1066000 | #Constraints: 39695
1864.02/1869.36 c #Conflicts: 1067000 | #Constraints: 40695
1864.02/1869.36 c #Conflicts: 1068000 | #Constraints: 41695
1864.02/1869.36 c #Conflicts: 1069000 | #Constraints: 42695
1864.02/1869.36 c #Conflicts: 1070000 | #Constraints: 43695
1864.02/1869.36 c #Conflicts: 1071000 | #Constraints: 44695
1864.02/1869.36 c #Conflicts: 1072000 | #Constraints: 45695
1864.02/1869.36 c #Conflicts: 1073000 | #Constraints: 46695
1864.02/1869.36 c #Conflicts: 1074000 | #Constraints: 47695
1864.02/1869.36 c #Conflicts: 1075000 | #Constraints: 48695
1864.02/1869.36 c #Conflicts: 1076000 | #Constraints: 49695
1864.02/1869.36 c #Conflicts: 1077000 | #Constraints: 50695
1864.02/1869.36 c #Conflicts: 1078000 | #Constraints: 51695
1864.02/1869.36 c #Conflicts: 1079000 | #Constraints: 52695
1864.02/1869.36 c #Conflicts: 1080000 | #Constraints: 53695
1864.02/1869.36 c #Conflicts: 1081000 | #Constraints: 54695
1864.02/1869.36 c #Conflicts: 1082000 | #Constraints: 55695
1864.02/1869.36 c #Conflicts: 1083000 | #Constraints: 56695
1864.02/1869.36 c INPROCESSING
1864.02/1869.36 c GARBAGE COLLECT
1864.02/1869.36 c #Conflicts: 1084000 | #Constraints: 32790
1864.02/1869.36 c #Conflicts: 1085000 | #Constraints: 33790
1864.02/1869.36 c #Conflicts: 1086000 | #Constraints: 34790
1864.02/1869.36 c #Conflicts: 1087000 | #Constraints: 35790
1864.02/1869.36 c #Conflicts: 1088000 | #Constraints: 36790
1864.02/1869.36 c #Conflicts: 1089000 | #Constraints: 37790
1864.02/1869.36 c #Conflicts: 1090000 | #Constraints: 38790
1864.02/1869.36 c #Conflicts: 1091000 | #Constraints: 39790
1864.02/1869.36 c #Conflicts: 1092000 | #Constraints: 40790
1864.02/1869.36 c #Conflicts: 1093000 | #Constraints: 41790
1864.02/1869.36 c #Conflicts: 1094000 | #Constraints: 42790
1864.02/1869.36 c #Conflicts: 1095000 | #Constraints: 43790
1864.02/1869.36 c #Conflicts: 1096000 | #Constraints: 44790
1864.02/1869.36 c #Conflicts: 1097000 | #Constraints: 45790
1864.02/1869.36 c #Conflicts: 1098000 | #Constraints: 46790
1864.02/1869.36 c #Conflicts: 1099000 | #Constraints: 47790
1864.02/1869.36 c #Conflicts: 1100000 | #Constraints: 48790
1864.02/1869.36 c #Conflicts: 1101000 | #Constraints: 49790
1864.02/1869.36 c #Conflicts: 1102000 | #Constraints: 50790
1864.02/1869.36 c #Conflicts: 1103000 | #Constraints: 51790
1864.02/1869.36 c #Conflicts: 1104000 | #Constraints: 52791
1864.02/1869.36 c #Conflicts: 1105000 | #Constraints: 53791
1864.02/1869.36 c #Conflicts: 1106000 | #Constraints: 54791
1864.02/1869.36 c #Conflicts: 1107000 | #Constraints: 55791
1864.02/1869.36 c #Conflicts: 1108000 | #Constraints: 56791
1864.02/1869.36 c #Conflicts: 1109000 | #Constraints: 57791
1864.02/1869.36 c #Conflicts: 1110000 | #Constraints: 58791
1864.02/1869.36 c #Conflicts: 1111000 | #Constraints: 59791
1864.02/1869.36 c #Conflicts: 1112000 | #Constraints: 60791
1864.02/1869.36 c #Conflicts: 1113000 | #Constraints: 61791
1864.02/1869.36 c #Conflicts: 1114000 | #Constraints: 62791
1864.02/1869.36 c #Conflicts: 1115000 | #Constraints: 63791
1864.02/1869.36 c #Conflicts: 1116000 | #Constraints: 64791
1864.02/1869.36 c #Conflicts: 1117000 | #Constraints: 65791
1864.02/1869.36 c #Conflicts: 1118000 | #Constraints: 66791
1864.02/1869.36 c #Conflicts: 1119000 | #Constraints: 67791
1864.02/1869.36 c #Conflicts: 1120000 | #Constraints: 68791
1864.02/1869.36 c #Conflicts: 1121000 | #Constraints: 69791
1864.02/1869.36 c #Conflicts: 1122000 | #Constraints: 70791
1864.02/1869.36 c #Conflicts: 1123000 | #Constraints: 71791
1864.02/1869.36 c #Conflicts: 1124000 | #Constraints: 72791
1864.02/1869.36 c #Conflicts: 1125000 | #Constraints: 73791
1864.02/1869.36 c #Conflicts: 1126000 | #Constraints: 74791
1864.02/1869.36 c #Conflicts: 1127000 | #Constraints: 75791
1864.02/1869.36 c #Conflicts: 1128000 | #Constraints: 76792
1864.02/1869.36 c #Conflicts: 1129000 | #Constraints: 77792
1864.02/1869.36 c #Conflicts: 1130000 | #Constraints: 78792
1864.02/1869.36 c #Conflicts: 1131000 | #Constraints: 79792
1864.02/1869.36 c #Conflicts: 1132000 | #Constraints: 80792
1864.02/1869.36 c #Conflicts: 1133000 | #Constraints: 81792
1864.02/1869.36 c #Conflicts: 1134000 | #Constraints: 82792
1864.02/1869.36 c #Conflicts: 1135000 | #Constraints: 83792
1864.02/1869.36 c #Conflicts: 1136000 | #Constraints: 84792
1864.02/1869.36 c #Conflicts: 1137000 | #Constraints: 85792
1864.02/1869.36 c #Conflicts: 1138000 | #Constraints: 86792
1864.02/1869.36 c #Conflicts: 1139000 | #Constraints: 87792
1864.02/1869.36 c #Conflicts: 1140000 | #Constraints: 88792
1864.02/1869.36 c #Conflicts: 1141000 | #Constraints: 89792
1953.90/1959.53 c #Conflicts: 1142000 | #Constraints: 90792
1953.90/1959.53 c #Conflicts: 1143000 | #Constraints: 91792
1953.90/1959.53 c #Conflicts: 1144000 | #Constraints: 92792
1953.90/1959.53 c #Conflicts: 1145000 | #Constraints: 93792
1953.90/1959.53 c #Conflicts: 1146000 | #Constraints: 94792
1953.90/1959.53 c #Conflicts: 1147000 | #Constraints: 95792
1953.90/1959.53 c #Conflicts: 1148000 | #Constraints: 96792
1953.90/1959.53 c #Conflicts: 1149000 | #Constraints: 97792
1953.90/1959.53 c #Conflicts: 1150000 | #Constraints: 98792
1953.90/1959.53 c #Conflicts: 1151000 | #Constraints: 99792
1953.90/1959.53 c #Conflicts: 1152000 | #Constraints: 100792
1953.90/1959.53 c #Conflicts: 1153000 | #Constraints: 101792
1953.90/1959.53 c #Conflicts: 1154000 | #Constraints: 102792
1953.90/1959.53 c #Conflicts: 1155000 | #Constraints: 103792
1953.90/1959.53 c #Conflicts: 1156000 | #Constraints: 104792
1953.90/1959.53 c #Conflicts: 1157000 | #Constraints: 105792
1953.90/1959.53 c #Conflicts: 1158000 | #Constraints: 106792
1953.90/1959.53 c #Conflicts: 1159000 | #Constraints: 107792
1953.90/1959.53 c #Conflicts: 1160000 | #Constraints: 108792
1953.90/1959.53 c #Conflicts: 1161000 | #Constraints: 109792
1953.90/1959.53 c #Conflicts: 1162000 | #Constraints: 110792
1953.90/1959.53 c #Conflicts: 1163000 | #Constraints: 111792
1953.90/1959.53 c #Conflicts: 1164000 | #Constraints: 112792
1953.90/1959.53 c INPROCESSING
1953.90/1959.53 c GARBAGE COLLECT
1953.90/1959.53 c rational objective 96
1969.07/1974.72 c #Conflicts: 1165000 | #Constraints: 60823
1969.07/1974.72 c #Conflicts: 1166000 | #Constraints: 61823
1969.07/1974.72 c #Conflicts: 1167000 | #Constraints: 62823
1969.07/1974.72 c #Conflicts: 1168000 | #Constraints: 63823
1969.07/1974.72 c #Conflicts: 1169000 | #Constraints: 64823
1969.07/1974.72 c #Conflicts: 1170000 | #Constraints: 65823
1969.07/1974.72 c #Conflicts: 1171000 | #Constraints: 66823
1969.07/1974.72 c #Conflicts: 1172000 | #Constraints: 67823
1969.07/1974.72 c cpu time 1953.61 s
1969.07/1974.72 c deterministic time 138989998550 1.39e+11
1969.07/1974.72 c optimization time 0.000384 s
1969.07/1974.72 c total solve time 1953.57 s
1969.07/1974.72 c core-guided solve time 0 s
1969.07/1974.72 c propagation time 1074.22 s
1969.07/1974.72 c conflict analysis time 735.636 s
1969.07/1974.72 c propagations 550146295
1969.07/1974.72 c resolve steps 49926781
1969.07/1974.72 c decisions 9850725
1969.07/1974.72 c conflicts 1172824
1969.07/1974.72 c restarts 2173
1969.07/1974.72 c inprocessing phases 64
1969.07/1974.72 c garbage collections 64 ,( 100.00 )
1969.07/1974.72 c input clauses 6626 ,( 98.57 )
1969.07/1974.72 c input cardinalities 96 ,( 1.43 )
1969.07/1974.72 c input general constraints 0 ,( 0.00 )
1969.07/1974.72 c input average constraint length 6.23
1969.07/1974.72 c input average constraint degree 1.94
1969.07/1974.72 c learned clauses 874515 ,( 74.56 )
1969.07/1974.72 c learned cardinalities 23704 ,( 2.02 )
1969.07/1974.72 c learned general constraints 274622 ,( 23.42 )
1969.07/1974.72 c learned average constraint length 646.96
1969.07/1974.72 c learned average constraint degree 8019048.94
1969.07/1974.72 c watched CF 32, 64, 128, Arb: 85503 , 0 , 0 , 0
1969.07/1974.72 c counting CF 32, 64, 128, Arb: 189119 , 0 , 0 , 0
1969.07/1974.72 c watched constraints 85503 ,( 31.13 )
1969.07/1974.72 c counting constraints 189119 ,( 68.87 )
1969.07/1974.72 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 766541219 , 400941918 , 1782509695 ,( 81510067 , 1700999628 )
1969.07/1974.72 c gcd simplifications 766
1969.07/1974.72 c detected cardinalities 1955
1969.07/1974.72 c weakened non-implied lits 217095825
1969.07/1974.72 c weakened non-implying lits 164913
1969.07/1974.72 c original variables 6528
1969.07/1974.72 c clausal propagations 209108279
1969.07/1974.72 c cardinality propagations 208763596
1969.07/1974.72 c watched propagations 2840091
1969.07/1974.72 c counting propagations 124886602
1969.07/1974.72 c watch lookups 71126518933
1969.07/1974.72 c watch backjump lookups 0
1969.07/1974.72 c watch checks 21919164279
1969.07/1974.72 c propagation checks 42203724322
1969.07/1974.72 c constraint additions 2619185156
1969.07/1974.72 c trail pops 561169404
1969.07/1974.72 c formula constraints 6722
1969.07/1974.72 c learned constraints 1172817
1969.07/1974.72 c bound constraints 0
1969.07/1974.72 c core-guided constraints 0
1969.07/1974.72 c encountered formula constraints 30254891
1969.07/1974.72 c encountered learned constraints 20844692
1969.07/1974.72 c encountered bound constraints 0
1969.07/1974.72 c encountered core-guided constraints 0
1969.07/1974.72 c LP total time 119.914 s
1969.07/1974.72 c LP solve time 94.92 s
1969.07/1974.72 c LP constraints added 7769
1969.07/1974.72 c LP constraints removed 876
1969.07/1974.72 c LP pivots internal 127105
1969.07/1974.72 c LP pivots root 112330
1969.07/1974.72 c LP calls 30
1969.07/1974.72 c LP optimalities 18
1969.07/1974.72 c LP no pivot count 2
1969.07/1974.72 c LP infeasibilities 7
1969.07/1974.72 c LP valid Farkas constraints 7
1969.07/1974.72 c LP learned Farkas constraints 7
1969.07/1974.72 c LP basis resets 0
1969.07/1974.72 c LP cycling count 0
1969.07/1974.72 c LP singular count 0
1969.07/1974.72 c LP no primal count 0
1969.07/1974.72 c LP no farkas count 0
1969.07/1974.72 c LP other issue count 0
1969.07/1974.72 c LP Gomory cuts 10
1969.07/1974.72 c LP learned cuts 1103
1969.07/1974.72 c LP deleted cuts 1030
1969.07/1974.72 c LP encountered Gomory constraints 1
1969.07/1974.72 c LP encountered Farkas constraints 7
1969.07/1974.72 c LP encountered learned Farkas constraints 7
1969.07/1974.72 c CG auxiliary variables introduced 0
1969.07/1974.72 c CG solutions found 0
1969.07/1974.72 c CG cores constructed 0
1969.07/1974.72 c CG core cardinality constraints returned 0
1969.07/1974.72 c CG unit cores 0
1969.07/1974.72 c CG single cores 0
1969.07/1974.72 c CG blocks removed during cardinality reduction 0
1969.07/1974.72 c CG first core best 0
1969.07/1974.72 c CG decision core best 0
1969.07/1974.72 c CG core reduction tie 0
1969.07/1974.72 c CG core degree average 0.00
1969.07/1974.72 c CG core slack average 0.00
1969.07/1974.72 c CG core upper bound improvements 0
1969.07/1974.72 c STR number of successful calls 0
1969.07/1974.72 c STR number of unsuccessful calls 0
1969.07/1974.72 c STR number of inconclusive calls 0
1969.07/1974.72 c STR number of successful attempts 0
1969.07/1974.72 c STR number of unsuccessful attempts 0
1969.07/1974.72 c STR number of inconclusive attempts 0
1969.07/1974.72 c STR average degree increase per successful call inf
1969.07/1974.72 c STR average degree increase per successful attempt inf
1969.07/1974.72 c STR total number of conflicts for successful attempts 0
1969.07/1974.72 c STR total number of conflicts for unsuccessful attempts 0
1969.07/1974.72 c STR total number of conflicts for inconclusive attempts 0
1969.07/1974.72 c STR average number of conflicts per successful attempt inf
1969.07/1974.72 c STR average number of conflicts per unsuccessful attempt inf
1969.07/1974.72 c STR average number of conflicts per inconclusive attempt inf
1969.07/1974.72 c AVG.sumWPerc 60.76
1969.07/1974.72 c bigint constraints 0
1969.07/1974.72 s SATISFIABLE
1969.07/1974.72 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: 63708 MiB (59073 MiB free)
memory of node 1: 64465 MiB (54086 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507591-1751180301/watcher-4507591-1751180301 -o /tmp/evaluation-result-4507591-1751180301/solver-4507591-1751180301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507591-1751180301.opb PROOFDIR/proof-4507591-1751180301
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22199, runsolver pid=22196
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.09 4.09 4.09 5/273 22201
/proc/meminfo: memFree=115865932/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=74344 memory=28804 CPUtime=0.09 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 5329 0 0 0 8 1 0 0 20 0 1 0 33704670 76128256 7201 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 18586 7201 2240 1147 0 6013 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78536 KiB
Current children cumulated memory: 31876 KiB
[startup+0.205728 s]*
/proc/loadavg: 4.09 4.09 4.09 5/273 22201
/proc/meminfo: memFree=115865964/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=74856 memory=29828 CPUtime=0.19 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 5541 0 0 0 18 1 0 0 20 0 1 0 33704670 76652544 7457 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 18714 7457 2272 1147 0 6141 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79048 KiB
Current children cumulated memory: 32900 KiB
[startup+0.305628 s]*
/proc/loadavg: 4.09 4.09 4.09 5/273 22201
/proc/meminfo: memFree=115865964/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=74856 memory=29828 CPUtime=0.29 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 5541 0 0 0 28 1 0 0 20 0 1 0 33704670 76652544 7457 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 18714 7457 2272 1147 0 6141 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79048 KiB
Current children cumulated memory: 32900 KiB
[startup+0.700187 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 22201
/proc/meminfo: memFree=115865964/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=75028 memory=30212 CPUtime=0.68 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 5653 0 0 0 67 1 0 0 20 0 1 0 33704670 76828672 7553 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 18757 7553 2272 1147 0 6184 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79220 KiB
Current children cumulated memory: 33284 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 22201
/proc/meminfo: memFree=115861932/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=78324 memory=33796 CPUtime=1.47 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 6516 0 0 0 142 5 0 0 20 0 1 0 33704670 80203776 8449 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 19581 8449 2304 1147 0 7008 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 82516 KiB
Current children cumulated memory: 36868 KiB
[startup+3.1055 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 22201
/proc/meminfo: memFree=115837740/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=80840 memory=38396 CPUtime=3.07 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 7136 0 0 0 298 9 0 0 20 0 1 0 33704670 82780160 9599 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 20210 9599 2304 1147 0 7637 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 85032 KiB
Current children cumulated memory: 41468 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.08 4.09 5/273 22201
/proc/meminfo: memFree=115832984/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=87608 memory=45192 CPUtime=6.26 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 8326 0 0 0 607 19 0 0 20 0 1 0 33704670 89710592 11298 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 21902 11298 2304 1147 0 9329 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 91800 KiB
Current children cumulated memory: 48264 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 22201
/proc/meminfo: memFree=115778152/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=92880 memory=49800 CPUtime=12.65 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 9506 0 0 0 1233 32 0 0 20 0 1 0 33704670 95109120 12450 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 23220 12450 2304 1147 0 10647 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 97072 KiB
Current children cumulated memory: 52872 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 6/272 22201
/proc/meminfo: memFree=115649524/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=108708 memory=60324 CPUtime=25.4 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 11395 0 0 0 2482 58 0 0 20 0 1 0 33704670 111316992 15081 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 27177 15081 2304 1147 0 14604 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 112900 KiB
Current children cumulated memory: 63396 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 22202
/proc/meminfo: memFree=115335588/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=193688 memory=136324 CPUtime=50.94 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 25692 0 0 0 4988 106 0 0 20 0 1 0 33704670 198336512 34081 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 48422 34081 2336 1147 0 35849 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 197880 KiB
Current children cumulated memory: 139396 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 22204
/proc/meminfo: memFree=114857496/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=241712 memory=181540 CPUtime=102.01 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 30363 0 0 0 10020 181 0 0 20 0 1 0 33704670 247513088 45385 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 60428 45385 2336 1147 0 47855 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 245904 KiB
Current children cumulated memory: 184612 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 22217
/proc/meminfo: memFree=114312712/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=259624 memory=213452 CPUtime=161.84 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 34753 0 0 0 15928 256 0 0 20 0 1 0 33704670 265854976 53363 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 64906 53363 2336 1147 0 52333 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 263816 KiB
Current children cumulated memory: 216524 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.18 4.12 5/272 22218
/proc/meminfo: memFree=113866716/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=334204 memory=249500 CPUtime=221.68 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 40721 0 0 0 21845 323 0 0 20 0 1 0 33704670 342224896 62375 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 83551 62375 2336 1147 0 70978 0
################
# More data... #
################
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 74698 0 0 0 170313 1427 0 0 20 0 1 0 33704670 703041536 139094 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 171641 139094 2336 1147 0 159068 0
Current children cumulated CPU time: 1717.4 s
Current children cumulated vsize: 690756 KiB
Current children cumulated memory: 559448 KiB
[startup+1782.3 s]
/proc/loadavg: 2.26 2.91 3.51 3/261 22372
/proc/meminfo: memFree=118389364/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=686564 memory=556632 CPUtime=1777.24 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 74756 0 0 0 176268 1456 0 0 20 0 1 0 33704670 703041536 139158 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 171641 139158 2336 1147 0 159068 0
Current children cumulated CPU time: 1777.24 s
Current children cumulated vsize: 690756 KiB
Current children cumulated memory: 559704 KiB
[startup+1842.3 s]
/proc/loadavg: 2.15 2.76 3.42 3/259 22374
/proc/meminfo: memFree=118228324/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=686564 memory=559576 CPUtime=1837.09 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 74894 0 0 0 182223 1486 0 0 20 0 1 0 33704670 703041536 139894 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 171641 139894 2336 1147 0 159068 0
Current children cumulated CPU time: 1837.09 s
Current children cumulated vsize: 690756 KiB
Current children cumulated memory: 562648 KiB
[startup+1902.3 s]
/proc/loadavg: 2.09 2.63 3.33 3/258 22376
/proc/meminfo: memFree=118074484/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=687384 memory=571352 CPUtime=1896.94 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 75121 0 0 0 188181 1513 0 0 20 0 1 0 33704670 703881216 142838 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 171846 142838 2336 1147 0 159273 0
Current children cumulated CPU time: 1896.94 s
Current children cumulated vsize: 691576 KiB
Current children cumulated memory: 574424 KiB
[startup+1962.3 s]
/proc/loadavg: 2.42 2.63 3.28 3/257 22381
/proc/meminfo: memFree=117856136/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=729132 memory=635764 CPUtime=1956.7 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 83031 0 0 0 194127 1543 0 0 20 0 1 0 33704670 746631168 158941 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 182283 158941 2336 1147 0 169710 0
Current children cumulated CPU time: 1956.7 s
Current children cumulated vsize: 733324 KiB
Current children cumulated memory: 638836 KiB
[startup+1974.76 s]
# the end of solver process 22199 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1953.62 s, system=15.5035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1964.8 s]
/proc/loadavg: 2.42 2.63 3.28 3/257 22381
/proc/meminfo: memFree=117840008/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=729132 memory=635764 CPUtime=1959.19 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 83033 0 0 0 194374 1545 0 0 20 0 1 0 33704670 746631168 158941 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 182283 158941 2336 1147 0 169710 0
Current children cumulated CPU time: 1959.19 s
Current children cumulated vsize: 733324 KiB
Current children cumulated memory: 638836 KiB
[startup+1971.2 s]
/proc/loadavg: 2.39 2.61 3.27 3/257 22381
/proc/meminfo: memFree=117821948/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=729132 memory=635764 CPUtime=1965.58 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 83033 0 0 0 195011 1547 0 0 20 0 1 0 33704670 746631168 158941 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 182283 158941 2336 1147 0 169710 0
Current children cumulated CPU time: 1965.58 s
Current children cumulated vsize: 733324 KiB
Current children cumulated memory: 638836 KiB
[startup+1972.8 s]
/proc/loadavg: 2.36 2.60 3.27 3/257 22381
/proc/meminfo: memFree=117821708/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=729132 memory=635764 CPUtime=1967.17 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 83033 0 0 0 195169 1548 0 0 20 0 1 0 33704670 746631168 158941 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 182283 158941 2336 1147 0 169710 0
Current children cumulated CPU time: 1967.17 s
Current children cumulated vsize: 733324 KiB
Current children cumulated memory: 638836 KiB
[startup+1973.6 s]
/proc/loadavg: 2.36 2.60 3.27 3/257 22381
/proc/meminfo: memFree=117813644/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=729132 memory=635764 CPUtime=1967.98 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 83033 0 0 0 195249 1549 0 0 20 0 1 0 33704670 746631168 158941 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 182283 158941 2336 1147 0 169710 0
Current children cumulated CPU time: 1967.98 s
Current children cumulated vsize: 733324 KiB
Current children cumulated memory: 638836 KiB
[startup+1974.4 s]
/proc/loadavg: 2.36 2.60 3.27 3/257 22381
/proc/meminfo: memFree=117813644/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=729132 memory=635764 CPUtime=1968.77 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 83033 0 0 0 195328 1549 0 0 20 0 1 0 33704670 746631168 158941 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 182283 158941 2336 1147 0 169710 0
Current children cumulated CPU time: 1968.77 s
Current children cumulated vsize: 733324 KiB
Current children cumulated memory: 638836 KiB
[startup+1974.6 s]
/proc/loadavg: 2.36 2.60 3.27 3/257 22381
/proc/meminfo: memFree=117813644/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=729132 memory=635764 CPUtime=1968.97 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 83033 0 0 0 195348 1549 0 0 20 0 1 0 33704670 746631168 158941 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 182283 158941 2336 1147 0 169710 0
Current children cumulated CPU time: 1968.97 s
Current children cumulated vsize: 733324 KiB
Current children cumulated memory: 638836 KiB
[startup+1974.7 s]
/proc/loadavg: 2.36 2.60 3.27 3/257 22381
/proc/meminfo: memFree=117813644/131249992 swapFree=33010672/33010684
[pid=22199] ppid=22196 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22199/stat : 22199 (run-dec-ls-log.) S 22196 22199 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33704670 4292608 768 18446744073709551615 94001507713024 94001508607557 140736807456464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001508846608 94001508894352 94001538256896 140736807459099 140736807459297 140736807459297 140736807464899 0
/proc/22199/statm: 1048 768 704 219 0 110 0
[pid=22201] ppid=22199 vsize=729132 memory=635764 CPUtime=1969.07 cores=4,6
/proc/22201/stat : 22201 (roundingsat) R 22199 22199 20833 0 -1 4194304 83033 0 0 0 195358 1549 0 0 20 0 1 0 33704670 746631168 158941 18446744073709551615 4227072 8923433 140733430617984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16683008 140733430626640 140733430626856 140733430626856 140733430632426 0
/proc/22201/statm: 182283 158941 2336 1147 0 169710 0
Current children cumulated CPU time: 1969.07 s
Current children cumulated vsize: 733324 KiB
Current children cumulated memory: 638836 KiB
Child status: 0
Real time (s): 1974.76
CPU time (s): 1969.12
CPU user time (s): 1953.62
CPU system time (s): 15.5035
CPU usage (%): 99.7145
Max. virtual memory (cumulated for all children) (KiB): 733324
Max. memory (cumulated for all children) (KiB): 638836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1953.62
system time used= 15.5035
maximum resident set size= 635764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83265
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= 800
involuntary context switches= 2950
# summary of solver processes directly reported to runsolver:
# pid: 22199
# total CPU time (s): 1969.12
# total CPU user time (s): 1953.62
# total CPU system time (s): 15.5035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.93066 second user time and 8.95302 second system time
The end
Begin job on nodeC035 at 2025-06-29 08:58:21
IDJOB=4507591
IDBENCH=158367
IDSOLVER=3354
FILE ID=nodeC035/4507591-1751180301
RUNJOBID= nodeC035-1751170667-20844
SLURM_JOB_ID= 9587529
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507591-1751180301/watcher-4507591-1751180301 -o /tmp/evaluation-result-4507591-1751180301/solver-4507591-1751180301 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20844 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507591-1751180301.opb PROOFDIR/proof-4507591-1751180301
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=1848871514
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.747
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.766
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.576
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3419.037
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.687
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.740
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.984
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3580.464
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 115875320 kB
MemAvailable: 128016884 kB
Buffers: 2352 kB
Cached: 12936088 kB
SwapCached: 8 kB
Active: 2012292 kB
Inactive: 12737144 kB
Active(anon): 1822760 kB
Inactive(anon): 6040 kB
Active(file): 189532 kB
Inactive(file): 12731104 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 97500 kB
Writeback: 0 kB
AnonPages: 1810672 kB
Mapped: 116256 kB
Shmem: 18056 kB
KReclaimable: 120336 kB
Slab: 209568 kB
SReclaimable: 120336 kB
SUnreclaim: 89232 kB
KernelStack: 4400 kB
PageTables: 6760 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2408524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1613824 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC035 at 2025-06-29 09:31:16