0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.07/0.13 c #variables 6528 #constraints 6722
39.34/39.54 c #Conflicts: 1000 | #Constraints: 7721
39.34/39.54 c #Conflicts: 2000 | #Constraints: 8721
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 3000 | #Constraints: 8407
39.34/39.54 c #Conflicts: 4000 | #Constraints: 9407
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 5000 | #Constraints: 8876
39.34/39.54 c #Conflicts: 6000 | #Constraints: 9876
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 7000 | #Constraints: 8936
39.34/39.54 c #Conflicts: 8000 | #Constraints: 9936
39.34/39.54 c #Conflicts: 9000 | #Constraints: 10936
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 10000 | #Constraints: 9695
39.34/39.54 c #Conflicts: 11000 | #Constraints: 10695
39.34/39.54 c #Conflicts: 12000 | #Constraints: 11695
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 13000 | #Constraints: 10151
39.34/39.54 c #Conflicts: 14000 | #Constraints: 11151
39.34/39.54 c #Conflicts: 15000 | #Constraints: 12151
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 16000 | #Constraints: 10422
39.34/39.54 c #Conflicts: 17000 | #Constraints: 11422
39.34/39.54 c #Conflicts: 18000 | #Constraints: 12422
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 19000 | #Constraints: 10444
39.34/39.54 c #Conflicts: 20000 | #Constraints: 11444
39.34/39.54 c #Conflicts: 21000 | #Constraints: 12444
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 22000 | #Constraints: 10260
39.34/39.54 c #Conflicts: 23000 | #Constraints: 11260
39.34/39.54 c #Conflicts: 24000 | #Constraints: 12260
39.34/39.54 c #Conflicts: 25000 | #Constraints: 13260
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 26000 | #Constraints: 10936
39.34/39.54 c #Conflicts: 27000 | #Constraints: 11936
39.34/39.54 c #Conflicts: 28000 | #Constraints: 12936
39.34/39.54 c #Conflicts: 29000 | #Constraints: 13936
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 30000 | #Constraints: 11326
39.34/39.54 c #Conflicts: 31000 | #Constraints: 12326
39.34/39.54 c #Conflicts: 32000 | #Constraints: 13326
39.34/39.54 c #Conflicts: 33000 | #Constraints: 14326
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 34000 | #Constraints: 11521
39.34/39.54 c #Conflicts: 35000 | #Constraints: 12521
39.34/39.54 c #Conflicts: 36000 | #Constraints: 13521
39.34/39.54 c #Conflicts: 37000 | #Constraints: 14521
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 38000 | #Constraints: 11553
39.34/39.54 c #Conflicts: 39000 | #Constraints: 12553
39.34/39.54 c #Conflicts: 40000 | #Constraints: 13553
39.34/39.54 c #Conflicts: 41000 | #Constraints: 14553
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 42000 | #Constraints: 11397
39.34/39.54 c #Conflicts: 43000 | #Constraints: 12397
39.34/39.54 c #Conflicts: 44000 | #Constraints: 13397
39.34/39.54 c #Conflicts: 45000 | #Constraints: 14397
39.34/39.54 c #Conflicts: 46000 | #Constraints: 15397
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c #Conflicts: 47000 | #Constraints: 12030
39.34/39.54 c #Conflicts: 48000 | #Constraints: 13030
39.34/39.54 c #Conflicts: 49000 | #Constraints: 14030
39.34/39.54 c #Conflicts: 50000 | #Constraints: 15030
39.34/39.54 c #Conflicts: 51000 | #Constraints: 16030
39.34/39.54 c #Conflicts: 52000 | #Constraints: 17030
39.34/39.54 c #Conflicts: 53000 | #Constraints: 18030
39.34/39.54 c #Conflicts: 54000 | #Constraints: 19030
39.34/39.54 c #Conflicts: 55000 | #Constraints: 20030
39.34/39.54 c #Conflicts: 56000 | #Constraints: 21030
39.34/39.54 c #Conflicts: 57000 | #Constraints: 22030
39.34/39.54 c #Conflicts: 58000 | #Constraints: 23030
39.34/39.54 c #Conflicts: 59000 | #Constraints: 24030
39.34/39.54 c #Conflicts: 60000 | #Constraints: 25030
39.34/39.54 c #Conflicts: 61000 | #Constraints: 26030
39.34/39.54 c #Conflicts: 62000 | #Constraints: 27030
39.34/39.54 c #Conflicts: 63000 | #Constraints: 28030
39.34/39.54 c #Conflicts: 64000 | #Constraints: 29030
39.34/39.54 c INPROCESSING
39.34/39.54 c GARBAGE COLLECT
39.34/39.54 c rational objective 96
93.40/93.74 c #Conflicts: 65000 | #Constraints: 18778
93.40/93.74 c #Conflicts: 66000 | #Constraints: 19778
93.40/93.74 c #Conflicts: 67000 | #Constraints: 20778
93.40/93.74 c #Conflicts: 68000 | #Constraints: 21778
93.40/93.74 c #Conflicts: 69000 | #Constraints: 22778
93.40/93.74 c #Conflicts: 70000 | #Constraints: 23778
93.40/93.74 c INPROCESSING
93.40/93.74 c GARBAGE COLLECT
93.40/93.74 c #Conflicts: 71000 | #Constraints: 16213
93.40/93.74 c #Conflicts: 72000 | #Constraints: 17213
93.40/93.74 c #Conflicts: 73000 | #Constraints: 18213
93.40/93.74 c #Conflicts: 74000 | #Constraints: 19213
93.40/93.74 c #Conflicts: 75000 | #Constraints: 20213
93.40/93.74 c #Conflicts: 76000 | #Constraints: 21213
93.40/93.74 c INPROCESSING
93.40/93.74 c GARBAGE COLLECT
93.40/93.74 c #Conflicts: 77000 | #Constraints: 14860
93.40/93.74 c #Conflicts: 78000 | #Constraints: 15860
93.40/93.74 c #Conflicts: 79000 | #Constraints: 16860
93.40/93.74 c #Conflicts: 80000 | #Constraints: 17860
93.40/93.74 c #Conflicts: 81000 | #Constraints: 18860
93.40/93.74 c #Conflicts: 82000 | #Constraints: 19860
93.40/93.74 c INPROCESSING
93.40/93.74 c GARBAGE COLLECT
93.40/93.74 c #Conflicts: 83000 | #Constraints: 13998
93.40/93.74 c #Conflicts: 84000 | #Constraints: 14998
93.40/93.74 c #Conflicts: 85000 | #Constraints: 15998
93.40/93.74 c #Conflicts: 86000 | #Constraints: 16998
93.40/93.74 c #Conflicts: 87000 | #Constraints: 17998
93.40/93.74 c #Conflicts: 88000 | #Constraints: 18998
93.40/93.74 c #Conflicts: 89000 | #Constraints: 19998
93.40/93.74 c INPROCESSING
93.40/93.74 c GARBAGE COLLECT
93.40/93.74 c #Conflicts: 90000 | #Constraints: 14304
93.40/93.74 c #Conflicts: 91000 | #Constraints: 15304
93.40/93.74 c #Conflicts: 92000 | #Constraints: 16304
93.40/93.74 c #Conflicts: 93000 | #Constraints: 17304
93.40/93.74 c #Conflicts: 94000 | #Constraints: 18304
93.40/93.74 c #Conflicts: 95000 | #Constraints: 19304
93.40/93.74 c #Conflicts: 96000 | #Constraints: 20304
93.40/93.74 c #Conflicts: 97000 | #Constraints: 21304
93.40/93.74 c #Conflicts: 98000 | #Constraints: 22304
93.40/93.74 c #Conflicts: 99000 | #Constraints: 23304
93.40/93.74 c #Conflicts: 100000 | #Constraints: 24304
93.40/93.74 c #Conflicts: 101000 | #Constraints: 25304
93.40/93.74 c #Conflicts: 102000 | #Constraints: 26304
93.40/93.74 c #Conflicts: 103000 | #Constraints: 27304
93.40/93.74 c #Conflicts: 104000 | #Constraints: 28304
93.40/93.74 c #Conflicts: 105000 | #Constraints: 29304
93.40/93.74 c #Conflicts: 106000 | #Constraints: 30304
93.40/93.74 c #Conflicts: 107000 | #Constraints: 31304
93.40/93.74 c #Conflicts: 108000 | #Constraints: 32304
93.40/93.74 c #Conflicts: 109000 | #Constraints: 33304
93.40/93.74 c #Conflicts: 110000 | #Constraints: 34304
93.40/93.74 c #Conflicts: 111000 | #Constraints: 35304
93.40/93.74 c #Conflicts: 112000 | #Constraints: 36304
93.40/93.74 c #Conflicts: 113000 | #Constraints: 37304
93.40/93.74 c #Conflicts: 114000 | #Constraints: 38304
93.40/93.74 c INPROCESSING
93.40/93.74 c GARBAGE COLLECT
93.40/93.74 c #Conflicts: 115000 | #Constraints: 23677
93.40/93.74 c #Conflicts: 116000 | #Constraints: 24677
93.40/93.74 c #Conflicts: 117000 | #Constraints: 25677
93.40/93.74 c #Conflicts: 118000 | #Constraints: 26677
93.40/93.74 c #Conflicts: 119000 | #Constraints: 27677
93.40/93.74 c #Conflicts: 120000 | #Constraints: 28677
93.40/93.74 c #Conflicts: 121000 | #Constraints: 29677
93.40/93.74 c INPROCESSING
93.40/93.74 c GARBAGE COLLECT
93.40/93.74 c #Conflicts: 122000 | #Constraints: 18982
93.40/93.74 c #Conflicts: 123000 | #Constraints: 19982
93.40/93.74 c #Conflicts: 124000 | #Constraints: 20982
93.40/93.74 c #Conflicts: 125000 | #Constraints: 21982
93.40/93.74 c #Conflicts: 126000 | #Constraints: 22982
93.40/93.74 c #Conflicts: 127000 | #Constraints: 23982
93.40/93.74 c #Conflicts: 128000 | #Constraints: 24982
93.40/93.74 c #Conflicts: 129000 | #Constraints: 25982
93.40/93.74 c INPROCESSING
93.40/93.74 c GARBAGE COLLECT
93.40/93.74 c #Conflicts: 130000 | #Constraints: 17141
93.40/93.74 c #Conflicts: 131000 | #Constraints: 18141
93.40/93.74 c #Conflicts: 132000 | #Constraints: 19141
93.40/93.74 c #Conflicts: 133000 | #Constraints: 20141
93.40/93.74 c #Conflicts: 134000 | #Constraints: 21141
93.40/93.74 c #Conflicts: 135000 | #Constraints: 22141
93.40/93.74 c #Conflicts: 136000 | #Constraints: 23141
93.40/93.74 c #Conflicts: 137000 | #Constraints: 24141
93.40/93.74 c #Conflicts: 138000 | #Constraints: 25141
93.40/93.74 c INPROCESSING
93.40/93.74 c GARBAGE COLLECT
158.45/158.98 c #Conflicts: 139000 | #Constraints: 17066
158.45/158.98 c #Conflicts: 140000 | #Constraints: 18066
158.45/158.98 c #Conflicts: 141000 | #Constraints: 19066
158.45/158.98 c #Conflicts: 142000 | #Constraints: 20066
158.45/158.98 c #Conflicts: 143000 | #Constraints: 21066
158.45/158.98 c #Conflicts: 144000 | #Constraints: 22066
158.45/158.98 c #Conflicts: 145000 | #Constraints: 23066
158.45/158.98 c #Conflicts: 146000 | #Constraints: 24066
158.45/158.98 c #Conflicts: 147000 | #Constraints: 25066
158.45/158.98 c #Conflicts: 148000 | #Constraints: 26066
158.45/158.98 c #Conflicts: 149000 | #Constraints: 27066
158.45/158.98 c #Conflicts: 150000 | #Constraints: 28066
158.45/158.98 c #Conflicts: 151000 | #Constraints: 29066
158.45/158.98 c #Conflicts: 152000 | #Constraints: 30066
158.45/158.98 c #Conflicts: 153000 | #Constraints: 31066
158.45/158.98 c #Conflicts: 154000 | #Constraints: 32066
158.45/158.98 c #Conflicts: 155000 | #Constraints: 33066
158.45/158.98 c #Conflicts: 156000 | #Constraints: 34066
158.45/158.98 c #Conflicts: 157000 | #Constraints: 35066
158.45/158.98 c #Conflicts: 158000 | #Constraints: 36066
158.45/158.98 c #Conflicts: 159000 | #Constraints: 37066
158.45/158.98 c #Conflicts: 160000 | #Constraints: 38066
158.45/158.98 c #Conflicts: 161000 | #Constraints: 39066
158.45/158.98 c #Conflicts: 162000 | #Constraints: 40066
158.45/158.98 c #Conflicts: 163000 | #Constraints: 41066
158.45/158.98 c #Conflicts: 164000 | #Constraints: 42066
158.45/158.98 c #Conflicts: 165000 | #Constraints: 43066
158.45/158.98 c #Conflicts: 166000 | #Constraints: 44066
158.45/158.98 c #Conflicts: 167000 | #Constraints: 45066
158.45/158.98 c #Conflicts: 168000 | #Constraints: 46066
158.45/158.98 c INPROCESSING
158.45/158.98 c GARBAGE COLLECT
158.45/158.98 c #Conflicts: 169000 | #Constraints: 27603
158.45/158.98 c #Conflicts: 170000 | #Constraints: 28603
158.45/158.98 c #Conflicts: 171000 | #Constraints: 29603
158.45/158.98 c #Conflicts: 172000 | #Constraints: 30603
158.45/158.98 c #Conflicts: 173000 | #Constraints: 31603
158.45/158.98 c #Conflicts: 174000 | #Constraints: 32603
158.45/158.98 c #Conflicts: 175000 | #Constraints: 33603
158.45/158.98 c #Conflicts: 176000 | #Constraints: 34603
158.45/158.98 c #Conflicts: 177000 | #Constraints: 35603
158.45/158.98 c INPROCESSING
158.45/158.98 c GARBAGE COLLECT
158.45/158.98 c #Conflicts: 178000 | #Constraints: 22134
158.45/158.98 c #Conflicts: 179000 | #Constraints: 23134
158.45/158.98 c #Conflicts: 180000 | #Constraints: 24134
158.45/158.98 c #Conflicts: 181000 | #Constraints: 25134
158.45/158.98 c #Conflicts: 182000 | #Constraints: 26134
158.45/158.98 c #Conflicts: 183000 | #Constraints: 27134
158.45/158.98 c #Conflicts: 184000 | #Constraints: 28134
158.45/158.98 c #Conflicts: 185000 | #Constraints: 29134
158.45/158.98 c #Conflicts: 186000 | #Constraints: 30134
158.45/158.98 c #Conflicts: 187000 | #Constraints: 31134
158.45/158.98 c INPROCESSING
158.45/158.98 c GARBAGE COLLECT
158.45/158.98 c #Conflicts: 188000 | #Constraints: 20076
158.45/158.98 c #Conflicts: 189000 | #Constraints: 21076
158.45/158.98 c #Conflicts: 190000 | #Constraints: 22077
158.45/158.98 c #Conflicts: 191000 | #Constraints: 23077
158.45/158.98 c #Conflicts: 192000 | #Constraints: 24077
158.45/158.98 c #Conflicts: 193000 | #Constraints: 25077
158.45/158.98 c #Conflicts: 194000 | #Constraints: 26077
158.45/158.98 c #Conflicts: 195000 | #Constraints: 27077
158.45/158.98 c #Conflicts: 196000 | #Constraints: 28077
158.45/158.98 c #Conflicts: 197000 | #Constraints: 29077
158.45/158.98 c INPROCESSING
158.45/158.98 c GARBAGE COLLECT
158.45/158.98 c rational objective 96
246.51/247.25 c #Conflicts: 198000 | #Constraints: 19064
246.51/247.25 c #Conflicts: 199000 | #Constraints: 20064
246.51/247.25 c #Conflicts: 200000 | #Constraints: 21064
246.51/247.25 c #Conflicts: 201000 | #Constraints: 22064
246.51/247.25 c #Conflicts: 202000 | #Constraints: 23064
246.51/247.25 c #Conflicts: 203000 | #Constraints: 24064
246.51/247.25 c #Conflicts: 204000 | #Constraints: 25064
246.51/247.25 c #Conflicts: 205000 | #Constraints: 26064
246.51/247.25 c #Conflicts: 206000 | #Constraints: 27064
246.51/247.25 c #Conflicts: 207000 | #Constraints: 28064
246.51/247.25 c INPROCESSING
246.51/247.25 c GARBAGE COLLECT
246.51/247.25 c #Conflicts: 208000 | #Constraints: 18525
246.51/247.25 c #Conflicts: 209000 | #Constraints: 19525
246.51/247.25 c #Conflicts: 210000 | #Constraints: 20525
246.51/247.25 c #Conflicts: 211000 | #Constraints: 21525
246.51/247.25 c #Conflicts: 212000 | #Constraints: 22525
246.51/247.25 c #Conflicts: 213000 | #Constraints: 23525
246.51/247.25 c #Conflicts: 214000 | #Constraints: 24525
246.51/247.25 c #Conflicts: 215000 | #Constraints: 25525
246.51/247.25 c #Conflicts: 216000 | #Constraints: 26525
246.51/247.25 c #Conflicts: 217000 | #Constraints: 27525
246.51/247.25 c #Conflicts: 218000 | #Constraints: 28525
246.51/247.25 c #Conflicts: 219000 | #Constraints: 29525
246.51/247.25 c #Conflicts: 220000 | #Constraints: 30525
246.51/247.25 c #Conflicts: 221000 | #Constraints: 31525
246.51/247.25 c #Conflicts: 222000 | #Constraints: 32525
246.51/247.25 c #Conflicts: 223000 | #Constraints: 33525
246.51/247.25 c #Conflicts: 224000 | #Constraints: 34525
246.51/247.25 c #Conflicts: 225000 | #Constraints: 35525
246.51/247.25 c #Conflicts: 226000 | #Constraints: 36525
246.51/247.25 c #Conflicts: 227000 | #Constraints: 37525
246.51/247.25 c #Conflicts: 228000 | #Constraints: 38525
246.51/247.25 c #Conflicts: 229000 | #Constraints: 39525
246.51/247.25 c #Conflicts: 230000 | #Constraints: 40525
246.51/247.25 c #Conflicts: 231000 | #Constraints: 41525
246.51/247.25 c #Conflicts: 232000 | #Constraints: 42525
246.51/247.25 c #Conflicts: 233000 | #Constraints: 43525
246.51/247.25 c #Conflicts: 234000 | #Constraints: 44525
246.51/247.25 c #Conflicts: 235000 | #Constraints: 45525
246.51/247.25 c #Conflicts: 236000 | #Constraints: 46525
246.51/247.25 c #Conflicts: 237000 | #Constraints: 47525
246.51/247.25 c #Conflicts: 238000 | #Constraints: 48525
246.51/247.25 c #Conflicts: 239000 | #Constraints: 49525
246.51/247.25 c #Conflicts: 240000 | #Constraints: 50525
246.51/247.25 c #Conflicts: 241000 | #Constraints: 51525
246.51/247.25 c #Conflicts: 242000 | #Constraints: 52525
246.51/247.25 c #Conflicts: 243000 | #Constraints: 53525
246.51/247.25 c INPROCESSING
246.51/247.25 c GARBAGE COLLECT
246.51/247.25 c #Conflicts: 244000 | #Constraints: 31104
246.51/247.25 c #Conflicts: 245000 | #Constraints: 32104
246.51/247.25 c #Conflicts: 246000 | #Constraints: 33104
246.51/247.25 c #Conflicts: 247000 | #Constraints: 34104
246.51/247.25 c #Conflicts: 248000 | #Constraints: 35104
246.51/247.25 c #Conflicts: 249000 | #Constraints: 36104
246.51/247.25 c #Conflicts: 250000 | #Constraints: 37104
246.51/247.25 c #Conflicts: 251000 | #Constraints: 38104
246.51/247.25 c #Conflicts: 252000 | #Constraints: 39104
246.51/247.25 c #Conflicts: 253000 | #Constraints: 40104
246.51/247.25 c #Conflicts: 254000 | #Constraints: 41104
246.51/247.25 c #Conflicts: 255000 | #Constraints: 42104
246.51/247.25 c INPROCESSING
246.51/247.25 c GARBAGE COLLECT
246.51/247.25 c #Conflicts: 256000 | #Constraints: 25696
246.51/247.25 c #Conflicts: 257000 | #Constraints: 26696
246.51/247.25 c #Conflicts: 258000 | #Constraints: 27696
246.51/247.25 c #Conflicts: 259000 | #Constraints: 28696
246.51/247.25 c #Conflicts: 260000 | #Constraints: 29696
246.51/247.25 c #Conflicts: 261000 | #Constraints: 30696
246.51/247.25 c #Conflicts: 262000 | #Constraints: 31696
246.51/247.25 c #Conflicts: 263000 | #Constraints: 32696
246.51/247.25 c #Conflicts: 264000 | #Constraints: 33696
246.51/247.25 c #Conflicts: 265000 | #Constraints: 34696
246.51/247.25 c #Conflicts: 266000 | #Constraints: 35696
246.51/247.25 c INPROCESSING
246.51/247.25 c GARBAGE COLLECT
246.51/247.25 c #Conflicts: 267000 | #Constraints: 22207
246.51/247.25 c #Conflicts: 268000 | #Constraints: 23207
246.51/247.25 c #Conflicts: 269000 | #Constraints: 24207
246.51/247.25 c #Conflicts: 270000 | #Constraints: 25207
246.51/247.25 c #Conflicts: 271000 | #Constraints: 26207
246.51/247.25 c #Conflicts: 272000 | #Constraints: 27207
246.51/247.25 c #Conflicts: 273000 | #Constraints: 28207
246.51/247.25 c #Conflicts: 274000 | #Constraints: 29207
339.64/340.64 c #Conflicts: 275000 | #Constraints: 30207
339.64/340.64 c #Conflicts: 276000 | #Constraints: 31207
339.64/340.64 c #Conflicts: 277000 | #Constraints: 32207
339.64/340.64 c #Conflicts: 278000 | #Constraints: 33207
339.64/340.64 c INPROCESSING
339.64/340.64 c GARBAGE COLLECT
339.64/340.64 c #Conflicts: 279000 | #Constraints: 21026
339.64/340.64 c #Conflicts: 280000 | #Constraints: 22026
339.64/340.64 c #Conflicts: 281000 | #Constraints: 23026
339.64/340.64 c #Conflicts: 282000 | #Constraints: 24026
339.64/340.64 c #Conflicts: 283000 | #Constraints: 25026
339.64/340.64 c #Conflicts: 284000 | #Constraints: 26026
339.64/340.64 c #Conflicts: 285000 | #Constraints: 27026
339.64/340.64 c #Conflicts: 286000 | #Constraints: 28026
339.64/340.64 c #Conflicts: 287000 | #Constraints: 29026
339.64/340.64 c #Conflicts: 288000 | #Constraints: 30026
339.64/340.64 c #Conflicts: 289000 | #Constraints: 31026
339.64/340.64 c #Conflicts: 290000 | #Constraints: 32026
339.64/340.64 c INPROCESSING
339.64/340.64 c GARBAGE COLLECT
339.64/340.64 c #Conflicts: 291000 | #Constraints: 20392
339.64/340.64 c #Conflicts: 292000 | #Constraints: 21392
339.64/340.64 c #Conflicts: 293000 | #Constraints: 22392
339.64/340.64 c #Conflicts: 294000 | #Constraints: 23392
339.64/340.64 c #Conflicts: 295000 | #Constraints: 24392
339.64/340.64 c #Conflicts: 296000 | #Constraints: 25392
339.64/340.64 c #Conflicts: 297000 | #Constraints: 26392
339.64/340.64 c #Conflicts: 298000 | #Constraints: 27392
339.64/340.64 c #Conflicts: 299000 | #Constraints: 28392
339.64/340.64 c #Conflicts: 300000 | #Constraints: 29392
339.64/340.64 c #Conflicts: 301000 | #Constraints: 30392
339.64/340.64 c #Conflicts: 302000 | #Constraints: 31392
339.64/340.64 c #Conflicts: 303000 | #Constraints: 32392
339.64/340.64 c #Conflicts: 304000 | #Constraints: 33392
339.64/340.64 c #Conflicts: 305000 | #Constraints: 34392
339.64/340.64 c #Conflicts: 306000 | #Constraints: 35392
339.64/340.64 c #Conflicts: 307000 | #Constraints: 36392
339.64/340.64 c #Conflicts: 308000 | #Constraints: 37392
339.64/340.64 c #Conflicts: 309000 | #Constraints: 38392
339.64/340.64 c #Conflicts: 310000 | #Constraints: 39392
339.64/340.64 c #Conflicts: 311000 | #Constraints: 40392
339.64/340.64 c #Conflicts: 312000 | #Constraints: 41392
339.64/340.64 c #Conflicts: 313000 | #Constraints: 42392
339.64/340.64 c #Conflicts: 314000 | #Constraints: 43392
339.64/340.64 c #Conflicts: 315000 | #Constraints: 44392
339.64/340.64 c #Conflicts: 316000 | #Constraints: 45392
339.64/340.64 c #Conflicts: 317000 | #Constraints: 46392
339.64/340.64 c #Conflicts: 318000 | #Constraints: 47392
339.64/340.64 c #Conflicts: 319000 | #Constraints: 48392
339.64/340.64 c #Conflicts: 320000 | #Constraints: 49392
339.64/340.64 c #Conflicts: 321000 | #Constraints: 50392
339.64/340.64 c #Conflicts: 322000 | #Constraints: 51392
339.64/340.64 c #Conflicts: 323000 | #Constraints: 52392
339.64/340.64 c #Conflicts: 324000 | #Constraints: 53392
339.64/340.64 c #Conflicts: 325000 | #Constraints: 54392
339.64/340.64 c #Conflicts: 326000 | #Constraints: 55392
339.64/340.64 c #Conflicts: 327000 | #Constraints: 56392
339.64/340.64 c #Conflicts: 328000 | #Constraints: 57392
339.64/340.64 c #Conflicts: 329000 | #Constraints: 58392
339.64/340.64 c #Conflicts: 330000 | #Constraints: 59392
339.64/340.64 c #Conflicts: 331000 | #Constraints: 60392
339.64/340.64 c #Conflicts: 332000 | #Constraints: 61392
339.64/340.64 c #Conflicts: 333000 | #Constraints: 62392
339.64/340.64 c INPROCESSING
339.64/340.64 c GARBAGE COLLECT
339.64/340.64 c #Conflicts: 334000 | #Constraints: 35750
339.64/340.64 c #Conflicts: 335000 | #Constraints: 36750
339.64/340.64 c #Conflicts: 336000 | #Constraints: 37750
339.64/340.64 c #Conflicts: 337000 | #Constraints: 38750
339.64/340.64 c #Conflicts: 338000 | #Constraints: 39750
339.64/340.64 c #Conflicts: 339000 | #Constraints: 40750
339.64/340.64 c #Conflicts: 340000 | #Constraints: 41750
339.64/340.64 c #Conflicts: 341000 | #Constraints: 42750
339.64/340.64 c #Conflicts: 342000 | #Constraints: 43750
339.64/340.64 c #Conflicts: 343000 | #Constraints: 44750
339.64/340.64 c #Conflicts: 344000 | #Constraints: 45750
339.64/340.64 c #Conflicts: 345000 | #Constraints: 46750
339.64/340.64 c #Conflicts: 346000 | #Constraints: 47750
339.64/340.64 c INPROCESSING
339.64/340.64 c GARBAGE COLLECT
339.64/340.64 c rational objective 96
360.17/361.23 c #Conflicts: 347000 | #Constraints: 28268
360.17/361.23 c #Conflicts: 348000 | #Constraints: 29268
360.17/361.23 c #Conflicts: 349000 | #Constraints: 30268
360.17/361.23 c #Conflicts: 350000 | #Constraints: 31268
360.17/361.23 c #Conflicts: 351000 | #Constraints: 32268
360.17/361.23 c #Conflicts: 352000 | #Constraints: 33268
360.17/361.23 c #Conflicts: 353000 | #Constraints: 34268
360.17/361.23 c #Conflicts: 354000 | #Constraints: 35268
360.17/361.23 c #Conflicts: 355000 | #Constraints: 36268
360.17/361.23 c #Conflicts: 356000 | #Constraints: 37268
360.17/361.23 c #Conflicts: 357000 | #Constraints: 38268
360.17/361.23 c #Conflicts: 358000 | #Constraints: 39268
360.17/361.23 c #Conflicts: 359000 | #Constraints: 40268
360.17/361.23 c #Conflicts: 360000 | #Constraints: 41268
360.17/361.23 c INPROCESSING
360.17/361.23 c GARBAGE COLLECT
360.17/361.23 c rational objective 96
466.36/467.79 c #Conflicts: 361000 | #Constraints: 25335
466.36/467.79 c #Conflicts: 362000 | #Constraints: 26335
466.36/467.79 c #Conflicts: 363000 | #Constraints: 27335
466.36/467.79 c #Conflicts: 364000 | #Constraints: 28335
466.36/467.79 c #Conflicts: 365000 | #Constraints: 29335
466.36/467.79 c #Conflicts: 366000 | #Constraints: 30335
466.36/467.79 c #Conflicts: 367000 | #Constraints: 31335
466.36/467.79 c #Conflicts: 368000 | #Constraints: 32335
466.36/467.79 c #Conflicts: 369000 | #Constraints: 33335
466.36/467.79 c #Conflicts: 370000 | #Constraints: 34335
466.36/467.79 c #Conflicts: 371000 | #Constraints: 35335
466.36/467.79 c #Conflicts: 372000 | #Constraints: 36335
466.36/467.79 c #Conflicts: 373000 | #Constraints: 37335
466.36/467.79 c INPROCESSING
466.36/467.79 c GARBAGE COLLECT
466.36/467.79 c #Conflicts: 374000 | #Constraints: 22934
466.36/467.79 c #Conflicts: 375000 | #Constraints: 23934
466.36/467.79 c #Conflicts: 376000 | #Constraints: 24934
466.36/467.79 c #Conflicts: 377000 | #Constraints: 25934
466.36/467.79 c #Conflicts: 378000 | #Constraints: 26934
466.36/467.79 c #Conflicts: 379000 | #Constraints: 27934
466.36/467.79 c #Conflicts: 380000 | #Constraints: 28934
466.36/467.79 c #Conflicts: 381000 | #Constraints: 29934
466.36/467.79 c #Conflicts: 382000 | #Constraints: 30934
466.36/467.79 c #Conflicts: 383000 | #Constraints: 31934
466.36/467.79 c #Conflicts: 384000 | #Constraints: 32934
466.36/467.79 c #Conflicts: 385000 | #Constraints: 33934
466.36/467.79 c #Conflicts: 386000 | #Constraints: 34934
466.36/467.79 c #Conflicts: 387000 | #Constraints: 35934
466.36/467.79 c INPROCESSING
466.36/467.79 c GARBAGE COLLECT
466.36/467.79 c #Conflicts: 388000 | #Constraints: 22330
466.36/467.79 c #Conflicts: 389000 | #Constraints: 23330
466.36/467.79 c #Conflicts: 390000 | #Constraints: 24330
466.36/467.79 c #Conflicts: 391000 | #Constraints: 25330
466.36/467.79 c #Conflicts: 392000 | #Constraints: 26330
466.36/467.79 c #Conflicts: 393000 | #Constraints: 27330
466.36/467.79 c #Conflicts: 394000 | #Constraints: 28330
466.36/467.79 c #Conflicts: 395000 | #Constraints: 29330
466.36/467.79 c #Conflicts: 396000 | #Constraints: 30330
466.36/467.79 c #Conflicts: 397000 | #Constraints: 31330
466.36/467.79 c #Conflicts: 398000 | #Constraints: 32330
466.36/467.79 c #Conflicts: 399000 | #Constraints: 33330
466.36/467.79 c #Conflicts: 400000 | #Constraints: 34330
466.36/467.79 c #Conflicts: 401000 | #Constraints: 35330
466.36/467.79 c #Conflicts: 402000 | #Constraints: 36330
466.36/467.79 c #Conflicts: 403000 | #Constraints: 37330
466.36/467.79 c #Conflicts: 404000 | #Constraints: 38330
466.36/467.79 c #Conflicts: 405000 | #Constraints: 39330
466.36/467.79 c #Conflicts: 406000 | #Constraints: 40330
466.36/467.79 c #Conflicts: 407000 | #Constraints: 41330
466.36/467.79 c #Conflicts: 408000 | #Constraints: 42330
466.36/467.79 c #Conflicts: 409000 | #Constraints: 43330
466.36/467.79 c #Conflicts: 410000 | #Constraints: 44330
466.36/467.79 c #Conflicts: 411000 | #Constraints: 45330
466.36/467.79 c #Conflicts: 412000 | #Constraints: 46330
466.36/467.79 c #Conflicts: 413000 | #Constraints: 47330
466.36/467.79 c #Conflicts: 414000 | #Constraints: 48330
466.36/467.79 c #Conflicts: 415000 | #Constraints: 49330
466.36/467.79 c #Conflicts: 416000 | #Constraints: 50330
466.36/467.79 c #Conflicts: 417000 | #Constraints: 51330
466.36/467.79 c #Conflicts: 418000 | #Constraints: 52330
466.36/467.79 c #Conflicts: 419000 | #Constraints: 53330
466.36/467.79 c #Conflicts: 420000 | #Constraints: 54330
466.36/467.79 c #Conflicts: 421000 | #Constraints: 55330
466.36/467.79 c #Conflicts: 422000 | #Constraints: 56330
466.36/467.79 c #Conflicts: 423000 | #Constraints: 57330
466.36/467.79 c #Conflicts: 424000 | #Constraints: 58330
466.36/467.79 c #Conflicts: 425000 | #Constraints: 59330
466.36/467.79 c #Conflicts: 426000 | #Constraints: 60330
466.36/467.79 c #Conflicts: 427000 | #Constraints: 61330
466.36/467.79 c #Conflicts: 428000 | #Constraints: 62330
466.36/467.79 c #Conflicts: 429000 | #Constraints: 63330
466.36/467.79 c #Conflicts: 430000 | #Constraints: 64330
466.36/467.79 c #Conflicts: 431000 | #Constraints: 65330
466.36/467.79 c #Conflicts: 432000 | #Constraints: 66330
466.36/467.79 c #Conflicts: 433000 | #Constraints: 67330
466.36/467.79 c #Conflicts: 434000 | #Constraints: 68330
466.36/467.79 c #Conflicts: 435000 | #Constraints: 69330
466.36/467.79 c #Conflicts: 436000 | #Constraints: 70330
466.36/467.79 c INPROCESSING
466.36/467.79 c GARBAGE COLLECT
466.36/467.79 c #Conflicts: 437000 | #Constraints: 39447
522.02/523.57 c #Conflicts: 438000 | #Constraints: 40447
522.02/523.57 c #Conflicts: 439000 | #Constraints: 41447
522.02/523.57 c #Conflicts: 440000 | #Constraints: 42447
522.02/523.57 c #Conflicts: 441000 | #Constraints: 43447
522.02/523.57 c #Conflicts: 442000 | #Constraints: 44447
522.02/523.57 c #Conflicts: 443000 | #Constraints: 45447
522.02/523.57 c #Conflicts: 444000 | #Constraints: 46447
522.02/523.57 c #Conflicts: 445000 | #Constraints: 47447
522.02/523.57 c #Conflicts: 446000 | #Constraints: 48447
522.02/523.57 c #Conflicts: 447000 | #Constraints: 49447
522.02/523.57 c #Conflicts: 448000 | #Constraints: 50447
522.02/523.57 c #Conflicts: 449000 | #Constraints: 51447
522.02/523.57 c #Conflicts: 450000 | #Constraints: 52447
522.02/523.57 c #Conflicts: 451000 | #Constraints: 53447
522.02/523.57 c #Conflicts: 452000 | #Constraints: 54447
522.02/523.57 c INPROCESSING
522.02/523.57 c GARBAGE COLLECT
522.02/523.57 c #Conflicts: 453000 | #Constraints: 31936
522.02/523.57 c #Conflicts: 454000 | #Constraints: 32936
522.02/523.57 c #Conflicts: 455000 | #Constraints: 33936
522.02/523.57 c #Conflicts: 456000 | #Constraints: 34936
522.02/523.57 c #Conflicts: 457000 | #Constraints: 35936
522.02/523.57 c #Conflicts: 458000 | #Constraints: 36936
522.02/523.57 c #Conflicts: 459000 | #Constraints: 37936
522.02/523.57 c #Conflicts: 460000 | #Constraints: 38936
522.02/523.57 c #Conflicts: 461000 | #Constraints: 39936
522.02/523.57 c #Conflicts: 462000 | #Constraints: 40936
522.02/523.57 c #Conflicts: 463000 | #Constraints: 41936
522.02/523.57 c #Conflicts: 464000 | #Constraints: 42936
522.02/523.57 c #Conflicts: 465000 | #Constraints: 43936
522.02/523.57 c #Conflicts: 466000 | #Constraints: 44936
522.02/523.57 c #Conflicts: 467000 | #Constraints: 45936
522.02/523.57 c INPROCESSING
522.02/523.57 c GARBAGE COLLECT
522.02/523.57 c #Conflicts: 468000 | #Constraints: 27553
522.02/523.57 c #Conflicts: 469000 | #Constraints: 28553
522.02/523.57 c #Conflicts: 470000 | #Constraints: 29553
522.02/523.57 c #Conflicts: 471000 | #Constraints: 30553
522.02/523.57 c #Conflicts: 472000 | #Constraints: 31553
522.02/523.57 c #Conflicts: 473000 | #Constraints: 32553
522.02/523.57 c #Conflicts: 474000 | #Constraints: 33553
522.02/523.57 c #Conflicts: 475000 | #Constraints: 34553
522.02/523.57 c #Conflicts: 476000 | #Constraints: 35553
522.02/523.57 c #Conflicts: 477000 | #Constraints: 36553
522.02/523.57 c #Conflicts: 478000 | #Constraints: 37553
522.02/523.57 c #Conflicts: 479000 | #Constraints: 38553
522.02/523.57 c #Conflicts: 480000 | #Constraints: 39553
522.02/523.57 c #Conflicts: 481000 | #Constraints: 40553
522.02/523.57 c #Conflicts: 482000 | #Constraints: 41553
522.02/523.57 c #Conflicts: 483000 | #Constraints: 42553
522.02/523.57 c INPROCESSING
522.02/523.57 c GARBAGE COLLECT
522.02/523.57 c rational objective 96
545.26/546.88 c #Conflicts: 484000 | #Constraints: 26040
545.26/546.88 c #Conflicts: 485000 | #Constraints: 27040
545.26/546.88 c #Conflicts: 486000 | #Constraints: 28040
545.26/546.88 c #Conflicts: 487000 | #Constraints: 29040
545.26/546.88 c #Conflicts: 488000 | #Constraints: 30040
545.26/546.88 c #Conflicts: 489000 | #Constraints: 31040
545.26/546.88 c #Conflicts: 490000 | #Constraints: 32040
545.26/546.88 c #Conflicts: 491000 | #Constraints: 33040
545.26/546.88 c #Conflicts: 492000 | #Constraints: 34040
545.26/546.88 c #Conflicts: 493000 | #Constraints: 35040
545.26/546.88 c #Conflicts: 494000 | #Constraints: 36040
545.26/546.88 c #Conflicts: 495000 | #Constraints: 37040
545.26/546.88 c #Conflicts: 496000 | #Constraints: 38040
545.26/546.88 c #Conflicts: 497000 | #Constraints: 39040
545.26/546.88 c #Conflicts: 498000 | #Constraints: 40040
545.26/546.88 c INPROCESSING
545.26/546.88 c GARBAGE COLLECT
545.26/546.88 c rational objective 96
654.21/656.11 c #Conflicts: 499000 | #Constraints: 24302
654.21/656.11 c #Conflicts: 500000 | #Constraints: 25302
654.21/656.11 c #Conflicts: 501000 | #Constraints: 26302
654.21/656.11 c #Conflicts: 502000 | #Constraints: 27302
654.21/656.11 c #Conflicts: 503000 | #Constraints: 28302
654.21/656.11 c #Conflicts: 504000 | #Constraints: 29302
654.21/656.11 c #Conflicts: 505000 | #Constraints: 30302
654.21/656.11 c #Conflicts: 506000 | #Constraints: 31302
654.21/656.11 c #Conflicts: 507000 | #Constraints: 32302
654.21/656.11 c #Conflicts: 508000 | #Constraints: 33302
654.21/656.11 c #Conflicts: 509000 | #Constraints: 34302
654.21/656.11 c #Conflicts: 510000 | #Constraints: 35302
654.21/656.11 c #Conflicts: 511000 | #Constraints: 36302
654.21/656.11 c #Conflicts: 512000 | #Constraints: 37302
654.21/656.11 c #Conflicts: 513000 | #Constraints: 38302
654.21/656.11 c #Conflicts: 514000 | #Constraints: 39302
654.21/656.11 c #Conflicts: 515000 | #Constraints: 40302
654.21/656.11 c #Conflicts: 516000 | #Constraints: 41302
654.21/656.11 c #Conflicts: 517000 | #Constraints: 42302
654.21/656.11 c #Conflicts: 518000 | #Constraints: 43302
654.21/656.11 c #Conflicts: 519000 | #Constraints: 44302
654.21/656.11 c #Conflicts: 520000 | #Constraints: 45302
654.21/656.11 c #Conflicts: 521000 | #Constraints: 46302
654.21/656.11 c #Conflicts: 522000 | #Constraints: 47302
654.21/656.11 c #Conflicts: 523000 | #Constraints: 48302
654.21/656.11 c #Conflicts: 524000 | #Constraints: 49302
654.21/656.11 c #Conflicts: 525000 | #Constraints: 50302
654.21/656.11 c #Conflicts: 526000 | #Constraints: 51302
654.21/656.11 c #Conflicts: 527000 | #Constraints: 52302
654.21/656.11 c #Conflicts: 528000 | #Constraints: 53302
654.21/656.11 c #Conflicts: 529000 | #Constraints: 54302
654.21/656.11 c #Conflicts: 530000 | #Constraints: 55302
654.21/656.11 c #Conflicts: 531000 | #Constraints: 56302
654.21/656.11 c #Conflicts: 532000 | #Constraints: 57302
654.21/656.11 c #Conflicts: 533000 | #Constraints: 58302
654.21/656.11 c #Conflicts: 534000 | #Constraints: 59302
654.21/656.11 c #Conflicts: 535000 | #Constraints: 60302
654.21/656.11 c #Conflicts: 536000 | #Constraints: 61302
654.21/656.11 c #Conflicts: 537000 | #Constraints: 62302
654.21/656.11 c #Conflicts: 538000 | #Constraints: 63302
654.21/656.11 c #Conflicts: 539000 | #Constraints: 64303
654.21/656.11 c #Conflicts: 540000 | #Constraints: 65303
654.21/656.11 c #Conflicts: 541000 | #Constraints: 66303
654.21/656.11 c #Conflicts: 542000 | #Constraints: 67303
654.21/656.11 c #Conflicts: 543000 | #Constraints: 68303
654.21/656.11 c #Conflicts: 544000 | #Constraints: 69303
654.21/656.11 c #Conflicts: 545000 | #Constraints: 70303
654.21/656.11 c #Conflicts: 546000 | #Constraints: 71303
654.21/656.11 c #Conflicts: 547000 | #Constraints: 72303
654.21/656.11 c #Conflicts: 548000 | #Constraints: 73303
654.21/656.11 c #Conflicts: 549000 | #Constraints: 74303
654.21/656.11 c #Conflicts: 550000 | #Constraints: 75303
654.21/656.11 c #Conflicts: 551000 | #Constraints: 76303
654.21/656.11 c #Conflicts: 552000 | #Constraints: 77303
654.21/656.11 c #Conflicts: 553000 | #Constraints: 78303
654.21/656.11 c #Conflicts: 554000 | #Constraints: 79303
654.21/656.11 c INPROCESSING
654.21/656.11 c GARBAGE COLLECT
654.21/656.11 c rational objective 96
747.15/749.22 c #Conflicts: 555000 | #Constraints: 44217
747.15/749.22 c #Conflicts: 556000 | #Constraints: 45217
747.15/749.22 c #Conflicts: 557000 | #Constraints: 46217
747.15/749.22 c #Conflicts: 558000 | #Constraints: 47217
747.15/749.22 c #Conflicts: 559000 | #Constraints: 48217
747.15/749.22 c #Conflicts: 560000 | #Constraints: 49217
747.15/749.22 c #Conflicts: 561000 | #Constraints: 50217
747.15/749.22 c #Conflicts: 562000 | #Constraints: 51217
747.15/749.22 c #Conflicts: 563000 | #Constraints: 52217
747.15/749.22 c #Conflicts: 564000 | #Constraints: 53217
747.15/749.22 c #Conflicts: 565000 | #Constraints: 54217
747.15/749.22 c #Conflicts: 566000 | #Constraints: 55217
747.15/749.22 c #Conflicts: 567000 | #Constraints: 56217
747.15/749.22 c #Conflicts: 568000 | #Constraints: 57217
747.15/749.22 c #Conflicts: 569000 | #Constraints: 58217
747.15/749.22 c #Conflicts: 570000 | #Constraints: 59217
747.15/749.22 c #Conflicts: 571000 | #Constraints: 60217
747.15/749.22 c INPROCESSING
747.15/749.22 c GARBAGE COLLECT
747.15/749.22 c #Conflicts: 572000 | #Constraints: 34607
747.15/749.22 c #Conflicts: 573000 | #Constraints: 35607
747.15/749.22 c #Conflicts: 574000 | #Constraints: 36607
747.15/749.22 c #Conflicts: 575000 | #Constraints: 37607
747.15/749.22 c #Conflicts: 576000 | #Constraints: 38607
747.15/749.22 c #Conflicts: 577000 | #Constraints: 39607
747.15/749.22 c #Conflicts: 578000 | #Constraints: 40607
747.15/749.22 c #Conflicts: 579000 | #Constraints: 41607
747.15/749.22 c #Conflicts: 580000 | #Constraints: 42607
747.15/749.22 c #Conflicts: 581000 | #Constraints: 43607
747.15/749.22 c #Conflicts: 582000 | #Constraints: 44607
747.15/749.22 c #Conflicts: 583000 | #Constraints: 45607
747.15/749.22 c #Conflicts: 584000 | #Constraints: 46607
747.15/749.22 c #Conflicts: 585000 | #Constraints: 47607
747.15/749.22 c #Conflicts: 586000 | #Constraints: 48607
747.15/749.22 c #Conflicts: 587000 | #Constraints: 49607
747.15/749.22 c #Conflicts: 588000 | #Constraints: 50607
747.15/749.22 c INPROCESSING
747.15/749.22 c GARBAGE COLLECT
747.15/749.22 c #Conflicts: 589000 | #Constraints: 29610
747.15/749.22 c #Conflicts: 590000 | #Constraints: 30610
747.15/749.22 c #Conflicts: 591000 | #Constraints: 31610
747.15/749.22 c #Conflicts: 592000 | #Constraints: 32610
747.15/749.22 c #Conflicts: 593000 | #Constraints: 33610
747.15/749.22 c #Conflicts: 594000 | #Constraints: 34610
747.15/749.22 c #Conflicts: 595000 | #Constraints: 35610
747.15/749.22 c #Conflicts: 596000 | #Constraints: 36610
747.15/749.22 c #Conflicts: 597000 | #Constraints: 37610
747.15/749.22 c #Conflicts: 598000 | #Constraints: 38610
747.15/749.22 c #Conflicts: 599000 | #Constraints: 39610
747.15/749.22 c #Conflicts: 600000 | #Constraints: 40610
747.15/749.22 c #Conflicts: 601000 | #Constraints: 41610
747.15/749.22 c #Conflicts: 602000 | #Constraints: 42610
747.15/749.22 c #Conflicts: 603000 | #Constraints: 43610
747.15/749.22 c #Conflicts: 604000 | #Constraints: 44610
747.15/749.22 c #Conflicts: 605000 | #Constraints: 45610
747.15/749.22 c #Conflicts: 606000 | #Constraints: 46610
747.15/749.22 c INPROCESSING
747.15/749.22 c GARBAGE COLLECT
747.15/749.22 c #Conflicts: 607000 | #Constraints: 27823
747.15/749.22 c #Conflicts: 608000 | #Constraints: 28823
747.15/749.22 c #Conflicts: 609000 | #Constraints: 29823
747.15/749.22 c #Conflicts: 610000 | #Constraints: 30823
747.15/749.22 c #Conflicts: 611000 | #Constraints: 31823
747.15/749.22 c #Conflicts: 612000 | #Constraints: 32823
747.15/749.22 c #Conflicts: 613000 | #Constraints: 33823
747.15/749.22 c #Conflicts: 614000 | #Constraints: 34823
747.15/749.22 c #Conflicts: 615000 | #Constraints: 35823
747.15/749.22 c #Conflicts: 616000 | #Constraints: 36823
747.15/749.22 c #Conflicts: 617000 | #Constraints: 37823
747.15/749.22 c #Conflicts: 618000 | #Constraints: 38823
747.15/749.22 c #Conflicts: 619000 | #Constraints: 39823
747.15/749.22 c #Conflicts: 620000 | #Constraints: 40823
747.15/749.22 c #Conflicts: 621000 | #Constraints: 41823
747.15/749.22 c #Conflicts: 622000 | #Constraints: 42823
747.15/749.22 c #Conflicts: 623000 | #Constraints: 43823
747.15/749.22 c #Conflicts: 624000 | #Constraints: 44823
747.15/749.22 c INPROCESSING
747.15/749.22 c GARBAGE COLLECT
747.15/749.22 c #Conflicts: 625000 | #Constraints: 27102
747.15/749.22 c #Conflicts: 626000 | #Constraints: 28102
747.15/749.22 c #Conflicts: 627000 | #Constraints: 29102
747.15/749.22 c #Conflicts: 628000 | #Constraints: 30102
747.15/749.22 c #Conflicts: 629000 | #Constraints: 31102
747.15/749.22 c #Conflicts: 630000 | #Constraints: 32102
747.15/749.22 c #Conflicts: 631000 | #Constraints: 33102
879.58/882.01 c #Conflicts: 632000 | #Constraints: 34102
879.58/882.01 c #Conflicts: 633000 | #Constraints: 35102
879.58/882.01 c #Conflicts: 634000 | #Constraints: 36102
879.58/882.01 c #Conflicts: 635000 | #Constraints: 37102
879.58/882.01 c #Conflicts: 636000 | #Constraints: 38102
879.58/882.01 c #Conflicts: 637000 | #Constraints: 39102
879.58/882.01 c #Conflicts: 638000 | #Constraints: 40102
879.58/882.01 c #Conflicts: 639000 | #Constraints: 41102
879.58/882.01 c #Conflicts: 640000 | #Constraints: 42102
879.58/882.01 c #Conflicts: 641000 | #Constraints: 43102
879.58/882.01 c #Conflicts: 642000 | #Constraints: 44102
879.58/882.01 c #Conflicts: 643000 | #Constraints: 45102
879.58/882.01 c #Conflicts: 644000 | #Constraints: 46102
879.58/882.01 c #Conflicts: 645000 | #Constraints: 47102
879.58/882.01 c #Conflicts: 646000 | #Constraints: 48102
879.58/882.01 c #Conflicts: 647000 | #Constraints: 49102
879.58/882.01 c #Conflicts: 648000 | #Constraints: 50102
879.58/882.01 c #Conflicts: 649000 | #Constraints: 51102
879.58/882.01 c #Conflicts: 650000 | #Constraints: 52102
879.58/882.01 c #Conflicts: 651000 | #Constraints: 53102
879.58/882.01 c #Conflicts: 652000 | #Constraints: 54102
879.58/882.01 c #Conflicts: 653000 | #Constraints: 55102
879.58/882.01 c #Conflicts: 654000 | #Constraints: 56102
879.58/882.01 c #Conflicts: 655000 | #Constraints: 57102
879.58/882.01 c #Conflicts: 656000 | #Constraints: 58102
879.58/882.01 c #Conflicts: 657000 | #Constraints: 59102
879.58/882.01 c #Conflicts: 658000 | #Constraints: 60102
879.58/882.01 c #Conflicts: 659000 | #Constraints: 61102
879.58/882.01 c #Conflicts: 660000 | #Constraints: 62102
879.58/882.01 c #Conflicts: 661000 | #Constraints: 63102
879.58/882.01 c #Conflicts: 662000 | #Constraints: 64102
879.58/882.01 c #Conflicts: 663000 | #Constraints: 65102
879.58/882.01 c #Conflicts: 664000 | #Constraints: 66102
879.58/882.01 c #Conflicts: 665000 | #Constraints: 67102
879.58/882.01 c #Conflicts: 666000 | #Constraints: 68102
879.58/882.01 c #Conflicts: 667000 | #Constraints: 69102
879.58/882.01 c #Conflicts: 668000 | #Constraints: 70102
879.58/882.01 c #Conflicts: 669000 | #Constraints: 71102
879.58/882.01 c #Conflicts: 670000 | #Constraints: 72102
879.58/882.01 c #Conflicts: 671000 | #Constraints: 73102
879.58/882.01 c #Conflicts: 672000 | #Constraints: 74102
879.58/882.01 c #Conflicts: 673000 | #Constraints: 75102
879.58/882.01 c #Conflicts: 674000 | #Constraints: 76102
879.58/882.01 c #Conflicts: 675000 | #Constraints: 77102
879.58/882.01 c #Conflicts: 676000 | #Constraints: 78102
879.58/882.01 c #Conflicts: 677000 | #Constraints: 79102
879.58/882.01 c #Conflicts: 678000 | #Constraints: 80102
879.58/882.01 c #Conflicts: 679000 | #Constraints: 81102
879.58/882.01 c #Conflicts: 680000 | #Constraints: 82102
879.58/882.01 c #Conflicts: 681000 | #Constraints: 83102
879.58/882.01 c #Conflicts: 682000 | #Constraints: 84102
879.58/882.01 c #Conflicts: 683000 | #Constraints: 85102
879.58/882.01 c #Conflicts: 684000 | #Constraints: 86102
879.58/882.01 c #Conflicts: 685000 | #Constraints: 87102
879.58/882.01 c #Conflicts: 686000 | #Constraints: 88102
879.58/882.01 c INPROCESSING
879.58/882.01 c GARBAGE COLLECT
879.58/882.01 c rational objective 96
919.66/922.21 c #Conflicts: 687000 | #Constraints: 48758
919.66/922.21 c #Conflicts: 688000 | #Constraints: 49758
919.66/922.21 c #Conflicts: 689000 | #Constraints: 50758
919.66/922.21 c #Conflicts: 690000 | #Constraints: 51758
919.66/922.21 c #Conflicts: 691000 | #Constraints: 52758
919.66/922.21 c #Conflicts: 692000 | #Constraints: 53758
919.66/922.21 c #Conflicts: 693000 | #Constraints: 54758
919.66/922.21 c #Conflicts: 694000 | #Constraints: 55758
919.66/922.21 c #Conflicts: 695000 | #Constraints: 56758
919.66/922.21 c #Conflicts: 696000 | #Constraints: 57758
919.66/922.21 c #Conflicts: 697000 | #Constraints: 58758
919.66/922.21 c #Conflicts: 698000 | #Constraints: 59758
919.66/922.21 c #Conflicts: 699000 | #Constraints: 60758
919.66/922.21 c #Conflicts: 700000 | #Constraints: 61758
919.66/922.21 c #Conflicts: 701000 | #Constraints: 62758
919.66/922.21 c #Conflicts: 702000 | #Constraints: 63758
919.66/922.21 c #Conflicts: 703000 | #Constraints: 64758
919.66/922.21 c #Conflicts: 704000 | #Constraints: 65758
919.66/922.21 c #Conflicts: 705000 | #Constraints: 66758
919.66/922.21 c INPROCESSING
919.66/922.21 c GARBAGE COLLECT
919.66/922.21 c rational objective 96
1020.57/1023.42 c #Conflicts: 706000 | #Constraints: 38159
1020.57/1023.42 c #Conflicts: 707000 | #Constraints: 39159
1020.57/1023.42 c #Conflicts: 708000 | #Constraints: 40159
1020.57/1023.42 c #Conflicts: 709000 | #Constraints: 41159
1020.57/1023.42 c #Conflicts: 710000 | #Constraints: 42159
1020.57/1023.42 c #Conflicts: 711000 | #Constraints: 43159
1020.57/1023.42 c #Conflicts: 712000 | #Constraints: 44159
1020.57/1023.42 c #Conflicts: 713000 | #Constraints: 45159
1020.57/1023.42 c #Conflicts: 714000 | #Constraints: 46159
1020.57/1023.42 c #Conflicts: 715000 | #Constraints: 47159
1020.57/1023.42 c #Conflicts: 716000 | #Constraints: 48159
1020.57/1023.42 c #Conflicts: 717000 | #Constraints: 49159
1020.57/1023.42 c #Conflicts: 718000 | #Constraints: 50159
1020.57/1023.42 c #Conflicts: 719000 | #Constraints: 51159
1020.57/1023.42 c #Conflicts: 720000 | #Constraints: 52159
1020.57/1023.42 c #Conflicts: 721000 | #Constraints: 53159
1020.57/1023.42 c #Conflicts: 722000 | #Constraints: 54159
1020.57/1023.42 c #Conflicts: 723000 | #Constraints: 55159
1020.57/1023.42 c #Conflicts: 724000 | #Constraints: 56159
1020.57/1023.42 c INPROCESSING
1020.57/1023.42 c GARBAGE COLLECT
1020.57/1023.42 c #Conflicts: 725000 | #Constraints: 32713
1020.57/1023.42 c #Conflicts: 726000 | #Constraints: 33713
1020.57/1023.42 c #Conflicts: 727000 | #Constraints: 34713
1020.57/1023.42 c #Conflicts: 728000 | #Constraints: 35713
1020.57/1023.42 c #Conflicts: 729000 | #Constraints: 36713
1020.57/1023.42 c #Conflicts: 730000 | #Constraints: 37713
1020.57/1023.42 c #Conflicts: 731000 | #Constraints: 38713
1020.57/1023.42 c #Conflicts: 732000 | #Constraints: 39713
1020.57/1023.42 c #Conflicts: 733000 | #Constraints: 40713
1020.57/1023.42 c #Conflicts: 734000 | #Constraints: 41713
1020.57/1023.42 c #Conflicts: 735000 | #Constraints: 42713
1020.57/1023.42 c #Conflicts: 736000 | #Constraints: 43713
1020.57/1023.42 c #Conflicts: 737000 | #Constraints: 44713
1020.57/1023.42 c #Conflicts: 738000 | #Constraints: 45713
1020.57/1023.42 c #Conflicts: 739000 | #Constraints: 46713
1020.57/1023.42 c #Conflicts: 740000 | #Constraints: 47713
1020.57/1023.42 c #Conflicts: 741000 | #Constraints: 48713
1020.57/1023.42 c #Conflicts: 742000 | #Constraints: 49713
1020.57/1023.42 c #Conflicts: 743000 | #Constraints: 50713
1020.57/1023.42 c INPROCESSING
1020.57/1023.42 c GARBAGE COLLECT
1020.57/1023.42 c #Conflicts: 744000 | #Constraints: 29858
1020.57/1023.42 c #Conflicts: 745000 | #Constraints: 30858
1020.57/1023.42 c #Conflicts: 746000 | #Constraints: 31858
1020.57/1023.42 c #Conflicts: 747000 | #Constraints: 32858
1020.57/1023.42 c #Conflicts: 748000 | #Constraints: 33858
1020.57/1023.42 c #Conflicts: 749000 | #Constraints: 34859
1020.57/1023.42 c #Conflicts: 750000 | #Constraints: 35859
1020.57/1023.42 c #Conflicts: 751000 | #Constraints: 36859
1020.57/1023.42 c #Conflicts: 752000 | #Constraints: 37859
1020.57/1023.42 c #Conflicts: 753000 | #Constraints: 38859
1020.57/1023.42 c #Conflicts: 754000 | #Constraints: 39859
1020.57/1023.42 c #Conflicts: 755000 | #Constraints: 40859
1020.57/1023.42 c #Conflicts: 756000 | #Constraints: 41859
1020.57/1023.42 c #Conflicts: 757000 | #Constraints: 42859
1020.57/1023.42 c #Conflicts: 758000 | #Constraints: 43859
1020.57/1023.42 c #Conflicts: 759000 | #Constraints: 44859
1020.57/1023.42 c #Conflicts: 760000 | #Constraints: 45859
1020.57/1023.42 c #Conflicts: 761000 | #Constraints: 46859
1020.57/1023.42 c #Conflicts: 762000 | #Constraints: 47859
1020.57/1023.42 c #Conflicts: 763000 | #Constraints: 48859
1020.57/1023.42 c INPROCESSING
1020.57/1023.42 c GARBAGE COLLECT
1020.57/1023.42 c #Conflicts: 764000 | #Constraints: 29168
1020.57/1023.42 c #Conflicts: 765000 | #Constraints: 30168
1020.57/1023.42 c #Conflicts: 766000 | #Constraints: 31168
1020.57/1023.42 c #Conflicts: 767000 | #Constraints: 32168
1020.57/1023.42 c #Conflicts: 768000 | #Constraints: 33168
1020.57/1023.42 c #Conflicts: 769000 | #Constraints: 34168
1020.57/1023.42 c #Conflicts: 770000 | #Constraints: 35168
1020.57/1023.42 c #Conflicts: 771000 | #Constraints: 36168
1020.57/1023.42 c #Conflicts: 772000 | #Constraints: 37168
1020.57/1023.42 c #Conflicts: 773000 | #Constraints: 38168
1020.57/1023.42 c #Conflicts: 774000 | #Constraints: 39168
1020.57/1023.42 c #Conflicts: 775000 | #Constraints: 40168
1020.57/1023.42 c #Conflicts: 776000 | #Constraints: 41168
1020.57/1023.42 c #Conflicts: 777000 | #Constraints: 42168
1020.57/1023.42 c #Conflicts: 778000 | #Constraints: 43168
1020.57/1023.42 c #Conflicts: 779000 | #Constraints: 44168
1020.57/1023.42 c #Conflicts: 780000 | #Constraints: 45168
1020.57/1023.42 c #Conflicts: 781000 | #Constraints: 46168
1020.57/1023.42 c #Conflicts: 782000 | #Constraints: 47168
1164.12/1167.36 c #Conflicts: 783000 | #Constraints: 48168
1164.12/1167.36 c #Conflicts: 784000 | #Constraints: 49168
1164.12/1167.36 c #Conflicts: 785000 | #Constraints: 50168
1164.12/1167.36 c #Conflicts: 786000 | #Constraints: 51168
1164.12/1167.36 c #Conflicts: 787000 | #Constraints: 52168
1164.12/1167.36 c #Conflicts: 788000 | #Constraints: 53168
1164.12/1167.36 c #Conflicts: 789000 | #Constraints: 54168
1164.12/1167.36 c #Conflicts: 790000 | #Constraints: 55168
1164.12/1167.36 c #Conflicts: 791000 | #Constraints: 56168
1164.12/1167.36 c #Conflicts: 792000 | #Constraints: 57168
1164.12/1167.36 c #Conflicts: 793000 | #Constraints: 58168
1164.12/1167.36 c #Conflicts: 794000 | #Constraints: 59168
1164.12/1167.36 c #Conflicts: 795000 | #Constraints: 60168
1164.12/1167.36 c #Conflicts: 796000 | #Constraints: 61168
1164.12/1167.36 c #Conflicts: 797000 | #Constraints: 62168
1164.12/1167.36 c #Conflicts: 798000 | #Constraints: 63168
1164.12/1167.36 c #Conflicts: 799000 | #Constraints: 64168
1164.12/1167.36 c #Conflicts: 800000 | #Constraints: 65168
1164.12/1167.36 c #Conflicts: 801000 | #Constraints: 66168
1164.12/1167.36 c #Conflicts: 802000 | #Constraints: 67168
1164.12/1167.36 c #Conflicts: 803000 | #Constraints: 68168
1164.12/1167.36 c #Conflicts: 804000 | #Constraints: 69168
1164.12/1167.36 c #Conflicts: 805000 | #Constraints: 70168
1164.12/1167.36 c #Conflicts: 806000 | #Constraints: 71168
1164.12/1167.36 c #Conflicts: 807000 | #Constraints: 72168
1164.12/1167.36 c #Conflicts: 808000 | #Constraints: 73168
1164.12/1167.36 c #Conflicts: 809000 | #Constraints: 74168
1164.12/1167.36 c #Conflicts: 810000 | #Constraints: 75168
1164.12/1167.36 c #Conflicts: 811000 | #Constraints: 76168
1164.12/1167.36 c #Conflicts: 812000 | #Constraints: 77169
1164.12/1167.36 c #Conflicts: 813000 | #Constraints: 78169
1164.12/1167.36 c #Conflicts: 814000 | #Constraints: 79169
1164.12/1167.36 c #Conflicts: 815000 | #Constraints: 80169
1164.12/1167.36 c #Conflicts: 816000 | #Constraints: 81169
1164.12/1167.36 c #Conflicts: 817000 | #Constraints: 82169
1164.12/1167.36 c #Conflicts: 818000 | #Constraints: 83169
1164.12/1167.36 c #Conflicts: 819000 | #Constraints: 84169
1164.12/1167.36 c #Conflicts: 820000 | #Constraints: 85169
1164.12/1167.36 c #Conflicts: 821000 | #Constraints: 86169
1164.12/1167.36 c #Conflicts: 822000 | #Constraints: 87169
1164.12/1167.36 c #Conflicts: 823000 | #Constraints: 88169
1164.12/1167.36 c #Conflicts: 824000 | #Constraints: 89169
1164.12/1167.36 c #Conflicts: 825000 | #Constraints: 90169
1164.12/1167.36 c #Conflicts: 826000 | #Constraints: 91169
1164.12/1167.36 c #Conflicts: 827000 | #Constraints: 92169
1164.12/1167.36 c #Conflicts: 828000 | #Constraints: 93169
1164.12/1167.36 c #Conflicts: 829000 | #Constraints: 94169
1164.12/1167.36 c #Conflicts: 830000 | #Constraints: 95169
1164.12/1167.36 c #Conflicts: 831000 | #Constraints: 96169
1164.12/1167.36 c INPROCESSING
1164.12/1167.36 c GARBAGE COLLECT
1164.12/1167.36 c rational objective 96
1279.34/1282.81 c #Conflicts: 832000 | #Constraints: 52524
1279.34/1282.81 c #Conflicts: 833000 | #Constraints: 53524
1279.34/1282.81 c #Conflicts: 834000 | #Constraints: 54524
1279.34/1282.81 c #Conflicts: 835000 | #Constraints: 55524
1279.34/1282.81 c #Conflicts: 836000 | #Constraints: 56524
1279.34/1282.81 c #Conflicts: 837000 | #Constraints: 57524
1279.34/1282.81 c #Conflicts: 838000 | #Constraints: 58524
1279.34/1282.81 c #Conflicts: 839000 | #Constraints: 59524
1279.34/1282.81 c #Conflicts: 840000 | #Constraints: 60524
1279.34/1282.81 c #Conflicts: 841000 | #Constraints: 61524
1279.34/1282.81 c #Conflicts: 842000 | #Constraints: 62524
1279.34/1282.81 c #Conflicts: 843000 | #Constraints: 63524
1279.34/1282.81 c #Conflicts: 844000 | #Constraints: 64524
1279.34/1282.81 c #Conflicts: 845000 | #Constraints: 65524
1279.34/1282.81 c #Conflicts: 846000 | #Constraints: 66524
1279.34/1282.81 c #Conflicts: 847000 | #Constraints: 67524
1279.34/1282.81 c #Conflicts: 848000 | #Constraints: 68524
1279.34/1282.81 c #Conflicts: 849000 | #Constraints: 69524
1279.34/1282.81 c #Conflicts: 850000 | #Constraints: 70524
1279.34/1282.81 c #Conflicts: 851000 | #Constraints: 71524
1279.34/1282.81 c #Conflicts: 852000 | #Constraints: 72524
1279.34/1282.81 c INPROCESSING
1279.34/1282.81 c GARBAGE COLLECT
1279.34/1282.81 c #Conflicts: 853000 | #Constraints: 40804
1279.34/1282.81 c #Conflicts: 854000 | #Constraints: 41804
1279.34/1282.81 c #Conflicts: 855000 | #Constraints: 42804
1279.34/1282.81 c #Conflicts: 856000 | #Constraints: 43804
1279.34/1282.81 c #Conflicts: 857000 | #Constraints: 44804
1279.34/1282.81 c #Conflicts: 858000 | #Constraints: 45804
1279.34/1282.81 c #Conflicts: 859000 | #Constraints: 46804
1279.34/1282.81 c #Conflicts: 860000 | #Constraints: 47804
1279.34/1282.81 c #Conflicts: 861000 | #Constraints: 48804
1279.34/1282.81 c #Conflicts: 862000 | #Constraints: 49804
1279.34/1282.81 c #Conflicts: 863000 | #Constraints: 50804
1279.34/1282.81 c #Conflicts: 864000 | #Constraints: 51804
1279.34/1282.81 c #Conflicts: 865000 | #Constraints: 52804
1279.34/1282.81 c #Conflicts: 866000 | #Constraints: 53804
1279.34/1282.81 c #Conflicts: 867000 | #Constraints: 54804
1279.34/1282.81 c #Conflicts: 868000 | #Constraints: 55804
1279.34/1282.81 c #Conflicts: 869000 | #Constraints: 56804
1279.34/1282.81 c #Conflicts: 870000 | #Constraints: 57804
1279.34/1282.81 c #Conflicts: 871000 | #Constraints: 58804
1279.34/1282.81 c #Conflicts: 872000 | #Constraints: 59804
1279.34/1282.81 c #Conflicts: 873000 | #Constraints: 60804
1279.34/1282.81 c INPROCESSING
1279.34/1282.81 c GARBAGE COLLECT
1279.34/1282.81 c #Conflicts: 874000 | #Constraints: 34934
1279.34/1282.81 c #Conflicts: 875000 | #Constraints: 35934
1279.34/1282.81 c #Conflicts: 876000 | #Constraints: 36934
1279.34/1282.81 c #Conflicts: 877000 | #Constraints: 37934
1279.34/1282.81 c #Conflicts: 878000 | #Constraints: 38934
1279.34/1282.81 c #Conflicts: 879000 | #Constraints: 39934
1279.34/1282.81 c #Conflicts: 880000 | #Constraints: 40934
1279.34/1282.81 c #Conflicts: 881000 | #Constraints: 41934
1279.34/1282.81 c #Conflicts: 882000 | #Constraints: 42935
1279.34/1282.81 c #Conflicts: 883000 | #Constraints: 43935
1279.34/1282.81 c #Conflicts: 884000 | #Constraints: 44935
1279.34/1282.81 c #Conflicts: 885000 | #Constraints: 45935
1279.34/1282.81 c #Conflicts: 886000 | #Constraints: 46935
1279.34/1282.81 c #Conflicts: 887000 | #Constraints: 47935
1279.34/1282.81 c #Conflicts: 888000 | #Constraints: 48935
1279.34/1282.81 c #Conflicts: 889000 | #Constraints: 49935
1279.34/1282.81 c #Conflicts: 890000 | #Constraints: 50935
1279.34/1282.81 c #Conflicts: 891000 | #Constraints: 51935
1279.34/1282.81 c #Conflicts: 892000 | #Constraints: 52935
1279.34/1282.81 c #Conflicts: 893000 | #Constraints: 53935
1279.34/1282.81 c #Conflicts: 894000 | #Constraints: 54935
1279.34/1282.81 c INPROCESSING
1279.34/1282.81 c GARBAGE COLLECT
1279.34/1282.81 c #Conflicts: 895000 | #Constraints: 31773
1279.34/1282.81 c #Conflicts: 896000 | #Constraints: 32773
1279.34/1282.81 c #Conflicts: 897000 | #Constraints: 33773
1279.34/1282.81 c #Conflicts: 898000 | #Constraints: 34773
1279.34/1282.81 c #Conflicts: 899000 | #Constraints: 35773
1279.34/1282.81 c #Conflicts: 900000 | #Constraints: 36773
1279.34/1282.81 c #Conflicts: 901000 | #Constraints: 37773
1279.34/1282.81 c #Conflicts: 902000 | #Constraints: 38773
1279.34/1282.81 c #Conflicts: 903000 | #Constraints: 39773
1279.34/1282.81 c #Conflicts: 904000 | #Constraints: 40773
1279.34/1282.81 c #Conflicts: 905000 | #Constraints: 41773
1279.34/1282.81 c #Conflicts: 906000 | #Constraints: 42773
1279.34/1282.81 c #Conflicts: 907000 | #Constraints: 43773
1279.34/1282.81 c #Conflicts: 908000 | #Constraints: 44773
1458.21/1462.20 c #Conflicts: 909000 | #Constraints: 45773
1458.21/1462.20 c #Conflicts: 910000 | #Constraints: 46773
1458.21/1462.20 c #Conflicts: 911000 | #Constraints: 47773
1458.21/1462.20 c #Conflicts: 912000 | #Constraints: 48773
1458.21/1462.20 c #Conflicts: 913000 | #Constraints: 49773
1458.21/1462.20 c #Conflicts: 914000 | #Constraints: 50773
1458.21/1462.20 c #Conflicts: 915000 | #Constraints: 51773
1458.21/1462.20 c #Conflicts: 916000 | #Constraints: 52773
1458.21/1462.20 c INPROCESSING
1458.21/1462.20 c GARBAGE COLLECT
1458.21/1462.20 c #Conflicts: 917000 | #Constraints: 30958
1458.21/1462.20 c #Conflicts: 918000 | #Constraints: 31958
1458.21/1462.20 c #Conflicts: 919000 | #Constraints: 32958
1458.21/1462.20 c #Conflicts: 920000 | #Constraints: 33958
1458.21/1462.20 c #Conflicts: 921000 | #Constraints: 34958
1458.21/1462.20 c #Conflicts: 922000 | #Constraints: 35958
1458.21/1462.20 c #Conflicts: 923000 | #Constraints: 36958
1458.21/1462.20 c #Conflicts: 924000 | #Constraints: 37958
1458.21/1462.20 c #Conflicts: 925000 | #Constraints: 38958
1458.21/1462.20 c #Conflicts: 926000 | #Constraints: 39958
1458.21/1462.20 c #Conflicts: 927000 | #Constraints: 40958
1458.21/1462.20 c #Conflicts: 928000 | #Constraints: 41958
1458.21/1462.20 c #Conflicts: 929000 | #Constraints: 42958
1458.21/1462.20 c #Conflicts: 930000 | #Constraints: 43958
1458.21/1462.20 c #Conflicts: 931000 | #Constraints: 44958
1458.21/1462.20 c #Conflicts: 932000 | #Constraints: 45958
1458.21/1462.20 c #Conflicts: 933000 | #Constraints: 46958
1458.21/1462.20 c #Conflicts: 934000 | #Constraints: 47958
1458.21/1462.20 c #Conflicts: 935000 | #Constraints: 48958
1458.21/1462.20 c #Conflicts: 936000 | #Constraints: 49958
1458.21/1462.20 c #Conflicts: 937000 | #Constraints: 50958
1458.21/1462.20 c #Conflicts: 938000 | #Constraints: 51958
1458.21/1462.20 c #Conflicts: 939000 | #Constraints: 52958
1458.21/1462.20 c #Conflicts: 940000 | #Constraints: 53958
1458.21/1462.20 c #Conflicts: 941000 | #Constraints: 54958
1458.21/1462.20 c #Conflicts: 942000 | #Constraints: 55958
1458.21/1462.20 c #Conflicts: 943000 | #Constraints: 56958
1458.21/1462.20 c #Conflicts: 944000 | #Constraints: 57958
1458.21/1462.20 c #Conflicts: 945000 | #Constraints: 58958
1458.21/1462.20 c #Conflicts: 946000 | #Constraints: 59958
1458.21/1462.20 c #Conflicts: 947000 | #Constraints: 60958
1458.21/1462.20 c #Conflicts: 948000 | #Constraints: 61958
1458.21/1462.20 c #Conflicts: 949000 | #Constraints: 62958
1458.21/1462.20 c #Conflicts: 950000 | #Constraints: 63958
1458.21/1462.20 c #Conflicts: 951000 | #Constraints: 64958
1458.21/1462.20 c #Conflicts: 952000 | #Constraints: 65958
1458.21/1462.20 c #Conflicts: 953000 | #Constraints: 66958
1458.21/1462.20 c #Conflicts: 954000 | #Constraints: 67958
1458.21/1462.20 c #Conflicts: 955000 | #Constraints: 68958
1458.21/1462.20 c #Conflicts: 956000 | #Constraints: 69958
1458.21/1462.20 c #Conflicts: 957000 | #Constraints: 70958
1458.21/1462.20 c #Conflicts: 958000 | #Constraints: 71958
1458.21/1462.20 c #Conflicts: 959000 | #Constraints: 72958
1458.21/1462.20 c #Conflicts: 960000 | #Constraints: 73958
1458.21/1462.20 c #Conflicts: 961000 | #Constraints: 74958
1458.21/1462.20 c #Conflicts: 962000 | #Constraints: 75958
1458.21/1462.20 c #Conflicts: 963000 | #Constraints: 76958
1458.21/1462.20 c #Conflicts: 964000 | #Constraints: 77958
1458.21/1462.20 c #Conflicts: 965000 | #Constraints: 78958
1458.21/1462.20 c #Conflicts: 966000 | #Constraints: 79958
1458.21/1462.20 c #Conflicts: 967000 | #Constraints: 80958
1458.21/1462.20 c #Conflicts: 968000 | #Constraints: 81958
1458.21/1462.20 c #Conflicts: 969000 | #Constraints: 82958
1458.21/1462.20 c #Conflicts: 970000 | #Constraints: 83958
1458.21/1462.20 c #Conflicts: 971000 | #Constraints: 84958
1458.21/1462.20 c #Conflicts: 972000 | #Constraints: 85958
1458.21/1462.20 c #Conflicts: 973000 | #Constraints: 86958
1458.21/1462.20 c #Conflicts: 974000 | #Constraints: 87958
1458.21/1462.20 c #Conflicts: 975000 | #Constraints: 88958
1458.21/1462.20 c #Conflicts: 976000 | #Constraints: 89958
1458.21/1462.20 c #Conflicts: 977000 | #Constraints: 90958
1458.21/1462.20 c #Conflicts: 978000 | #Constraints: 91958
1458.21/1462.20 c #Conflicts: 979000 | #Constraints: 92958
1458.21/1462.20 c #Conflicts: 980000 | #Constraints: 93958
1458.21/1462.20 c #Conflicts: 981000 | #Constraints: 94958
1458.21/1462.20 c #Conflicts: 982000 | #Constraints: 95958
1458.21/1462.20 c #Conflicts: 983000 | #Constraints: 96958
1458.21/1462.20 c #Conflicts: 984000 | #Constraints: 97958
1458.21/1462.20 c #Conflicts: 985000 | #Constraints: 98958
1458.21/1462.20 c #Conflicts: 986000 | #Constraints: 99958
1632.26/1636.69 c #Conflicts: 987000 | #Constraints: 100958
1632.26/1636.69 c #Conflicts: 988000 | #Constraints: 101958
1632.26/1636.69 c #Conflicts: 989000 | #Constraints: 102958
1632.26/1636.69 c #Conflicts: 990000 | #Constraints: 103958
1632.26/1636.69 c #Conflicts: 991000 | #Constraints: 104958
1632.26/1636.69 c INPROCESSING
1632.26/1636.69 c GARBAGE COLLECT
1632.26/1636.69 c #Conflicts: 992000 | #Constraints: 57215
1632.26/1636.69 c #Conflicts: 993000 | #Constraints: 58215
1632.26/1636.69 c #Conflicts: 994000 | #Constraints: 59215
1632.26/1636.69 c #Conflicts: 995000 | #Constraints: 60215
1632.26/1636.69 c #Conflicts: 996000 | #Constraints: 61215
1632.26/1636.69 c #Conflicts: 997000 | #Constraints: 62215
1632.26/1636.69 c #Conflicts: 998000 | #Constraints: 63215
1632.26/1636.69 c #Conflicts: 999000 | #Constraints: 64215
1632.26/1636.69 c #Conflicts: 1000000 | #Constraints: 65215
1632.26/1636.69 c #Conflicts: 1001000 | #Constraints: 66215
1632.26/1636.69 c #Conflicts: 1002000 | #Constraints: 67215
1632.26/1636.69 c #Conflicts: 1003000 | #Constraints: 68215
1632.26/1636.69 c #Conflicts: 1004000 | #Constraints: 69215
1632.26/1636.69 c #Conflicts: 1005000 | #Constraints: 70215
1632.26/1636.69 c #Conflicts: 1006000 | #Constraints: 71215
1632.26/1636.69 c #Conflicts: 1007000 | #Constraints: 72215
1632.26/1636.69 c #Conflicts: 1008000 | #Constraints: 73215
1632.26/1636.69 c #Conflicts: 1009000 | #Constraints: 74215
1632.26/1636.69 c #Conflicts: 1010000 | #Constraints: 75215
1632.26/1636.69 c #Conflicts: 1011000 | #Constraints: 76215
1632.26/1636.69 c #Conflicts: 1012000 | #Constraints: 77215
1632.26/1636.69 c #Conflicts: 1013000 | #Constraints: 78215
1632.26/1636.69 c #Conflicts: 1014000 | #Constraints: 79215
1632.26/1636.69 c INPROCESSING
1632.26/1636.69 c GARBAGE COLLECT
1632.26/1636.69 c #Conflicts: 1015000 | #Constraints: 44354
1632.26/1636.69 c #Conflicts: 1016000 | #Constraints: 45354
1632.26/1636.69 c #Conflicts: 1017000 | #Constraints: 46354
1632.26/1636.69 c #Conflicts: 1018000 | #Constraints: 47354
1632.26/1636.69 c #Conflicts: 1019000 | #Constraints: 48354
1632.26/1636.69 c #Conflicts: 1020000 | #Constraints: 49354
1632.26/1636.69 c #Conflicts: 1021000 | #Constraints: 50354
1632.26/1636.69 c #Conflicts: 1022000 | #Constraints: 51354
1632.26/1636.69 c #Conflicts: 1023000 | #Constraints: 52354
1632.26/1636.69 c #Conflicts: 1024000 | #Constraints: 53354
1632.26/1636.69 c #Conflicts: 1025000 | #Constraints: 54354
1632.26/1636.69 c #Conflicts: 1026000 | #Constraints: 55354
1632.26/1636.69 c #Conflicts: 1027000 | #Constraints: 56354
1632.26/1636.69 c #Conflicts: 1028000 | #Constraints: 57354
1632.26/1636.69 c #Conflicts: 1029000 | #Constraints: 58354
1632.26/1636.69 c #Conflicts: 1030000 | #Constraints: 59354
1632.26/1636.69 c #Conflicts: 1031000 | #Constraints: 60354
1632.26/1636.69 c #Conflicts: 1032000 | #Constraints: 61354
1632.26/1636.69 c #Conflicts: 1033000 | #Constraints: 62354
1632.26/1636.69 c #Conflicts: 1034000 | #Constraints: 63354
1632.26/1636.69 c #Conflicts: 1035000 | #Constraints: 64354
1632.26/1636.69 c #Conflicts: 1036000 | #Constraints: 65354
1632.26/1636.69 c #Conflicts: 1037000 | #Constraints: 66354
1632.26/1636.69 c INPROCESSING
1632.26/1636.69 c GARBAGE COLLECT
1632.26/1636.69 c #Conflicts: 1038000 | #Constraints: 37952
1632.26/1636.69 c #Conflicts: 1039000 | #Constraints: 38952
1632.26/1636.69 c #Conflicts: 1040000 | #Constraints: 39952
1632.26/1636.69 c #Conflicts: 1041000 | #Constraints: 40952
1632.26/1636.69 c #Conflicts: 1042000 | #Constraints: 41952
1632.26/1636.69 c #Conflicts: 1043000 | #Constraints: 42952
1632.26/1636.69 c #Conflicts: 1044000 | #Constraints: 43952
1632.26/1636.69 c #Conflicts: 1045000 | #Constraints: 44952
1632.26/1636.69 c #Conflicts: 1046000 | #Constraints: 45952
1632.26/1636.69 c #Conflicts: 1047000 | #Constraints: 46952
1632.26/1636.69 c #Conflicts: 1048000 | #Constraints: 47952
1632.26/1636.69 c #Conflicts: 1049000 | #Constraints: 48952
1632.26/1636.69 c #Conflicts: 1050000 | #Constraints: 49952
1632.26/1636.69 c #Conflicts: 1051000 | #Constraints: 50952
1632.26/1636.69 c #Conflicts: 1052000 | #Constraints: 51952
1632.26/1636.69 c #Conflicts: 1053000 | #Constraints: 52952
1632.26/1636.69 c #Conflicts: 1054000 | #Constraints: 53952
1632.26/1636.69 c #Conflicts: 1055000 | #Constraints: 54952
1632.26/1636.69 c #Conflicts: 1056000 | #Constraints: 55952
1632.26/1636.69 c #Conflicts: 1057000 | #Constraints: 56952
1632.26/1636.69 c #Conflicts: 1058000 | #Constraints: 57952
1632.26/1636.69 c #Conflicts: 1059000 | #Constraints: 58952
1632.26/1636.69 c #Conflicts: 1060000 | #Constraints: 59952
1632.26/1636.69 c INPROCESSING
1632.26/1636.69 c GARBAGE COLLECT
1632.26/1636.69 c #Conflicts: 1061000 | #Constraints: 34695
1632.26/1636.69 c #Conflicts: 1062000 | #Constraints: 35695
1632.26/1636.69 c #Conflicts: 1063000 | #Constraints: 36695
1797.03/1801.82 c #Conflicts: 1064000 | #Constraints: 37695
1797.03/1801.82 c #Conflicts: 1065000 | #Constraints: 38695
1797.03/1801.82 c #Conflicts: 1066000 | #Constraints: 39695
1797.03/1801.82 c #Conflicts: 1067000 | #Constraints: 40695
1797.03/1801.82 c #Conflicts: 1068000 | #Constraints: 41695
1797.03/1801.82 c #Conflicts: 1069000 | #Constraints: 42695
1797.03/1801.82 c #Conflicts: 1070000 | #Constraints: 43695
1797.03/1801.82 c #Conflicts: 1071000 | #Constraints: 44695
1797.03/1801.82 c #Conflicts: 1072000 | #Constraints: 45695
1797.03/1801.82 c #Conflicts: 1073000 | #Constraints: 46695
1797.03/1801.82 c #Conflicts: 1074000 | #Constraints: 47695
1797.03/1801.82 c #Conflicts: 1075000 | #Constraints: 48695
1797.03/1801.82 c #Conflicts: 1076000 | #Constraints: 49695
1797.03/1801.82 c #Conflicts: 1077000 | #Constraints: 50695
1797.03/1801.82 c #Conflicts: 1078000 | #Constraints: 51695
1797.03/1801.82 c #Conflicts: 1079000 | #Constraints: 52695
1797.03/1801.82 c #Conflicts: 1080000 | #Constraints: 53695
1797.03/1801.82 c #Conflicts: 1081000 | #Constraints: 54695
1797.03/1801.82 c #Conflicts: 1082000 | #Constraints: 55695
1797.03/1801.82 c #Conflicts: 1083000 | #Constraints: 56695
1797.03/1801.82 c INPROCESSING
1797.03/1801.82 c GARBAGE COLLECT
1797.03/1801.82 c #Conflicts: 1084000 | #Constraints: 32790
1797.03/1801.82 c #Conflicts: 1085000 | #Constraints: 33790
1797.03/1801.82 c #Conflicts: 1086000 | #Constraints: 34790
1797.03/1801.82 c #Conflicts: 1087000 | #Constraints: 35790
1797.03/1801.82 c #Conflicts: 1088000 | #Constraints: 36790
1797.03/1801.82 c #Conflicts: 1089000 | #Constraints: 37790
1797.03/1801.82 c #Conflicts: 1090000 | #Constraints: 38790
1797.03/1801.82 c #Conflicts: 1091000 | #Constraints: 39790
1797.03/1801.82 c #Conflicts: 1092000 | #Constraints: 40790
1797.03/1801.82 c #Conflicts: 1093000 | #Constraints: 41790
1797.03/1801.82 c #Conflicts: 1094000 | #Constraints: 42790
1797.03/1801.82 c #Conflicts: 1095000 | #Constraints: 43790
1797.03/1801.82 c #Conflicts: 1096000 | #Constraints: 44790
1797.03/1801.82 c #Conflicts: 1097000 | #Constraints: 45790
1797.03/1801.82 c #Conflicts: 1098000 | #Constraints: 46790
1797.03/1801.82 c #Conflicts: 1099000 | #Constraints: 47790
1797.03/1801.82 c #Conflicts: 1100000 | #Constraints: 48790
1797.03/1801.82 c #Conflicts: 1101000 | #Constraints: 49790
1797.03/1801.82 c #Conflicts: 1102000 | #Constraints: 50790
1797.03/1801.82 c #Conflicts: 1103000 | #Constraints: 51790
1797.03/1801.82 c #Conflicts: 1104000 | #Constraints: 52791
1797.03/1801.82 c #Conflicts: 1105000 | #Constraints: 53791
1797.03/1801.82 c #Conflicts: 1106000 | #Constraints: 54791
1797.03/1801.82 c #Conflicts: 1107000 | #Constraints: 55791
1797.03/1801.82 c #Conflicts: 1108000 | #Constraints: 56791
1797.03/1801.82 c #Conflicts: 1109000 | #Constraints: 57791
1797.03/1801.82 c #Conflicts: 1110000 | #Constraints: 58791
1797.03/1801.82 c #Conflicts: 1111000 | #Constraints: 59791
1797.03/1801.82 c #Conflicts: 1112000 | #Constraints: 60791
1797.03/1801.82 c #Conflicts: 1113000 | #Constraints: 61791
1797.03/1801.82 c #Conflicts: 1114000 | #Constraints: 62791
1797.03/1801.82 c #Conflicts: 1115000 | #Constraints: 63791
1797.03/1801.82 c #Conflicts: 1116000 | #Constraints: 64791
1797.03/1801.82 c #Conflicts: 1117000 | #Constraints: 65791
1797.03/1801.82 c #Conflicts: 1118000 | #Constraints: 66791
1797.03/1801.82 c #Conflicts: 1119000 | #Constraints: 67791
1797.03/1801.82 c #Conflicts: 1120000 | #Constraints: 68791
1797.03/1801.82 c #Conflicts: 1121000 | #Constraints: 69791
1797.03/1801.82 c #Conflicts: 1122000 | #Constraints: 70791
1797.03/1801.82 c #Conflicts: 1123000 | #Constraints: 71791
1797.03/1801.82 c #Conflicts: 1124000 | #Constraints: 72791
1797.03/1801.82 c #Conflicts: 1125000 | #Constraints: 73791
1797.03/1801.82 c #Conflicts: 1126000 | #Constraints: 74791
1797.03/1801.82 c #Conflicts: 1127000 | #Constraints: 75791
1797.03/1801.82 c #Conflicts: 1128000 | #Constraints: 76792
1797.03/1801.82 c #Conflicts: 1129000 | #Constraints: 77792
1797.03/1801.82 c #Conflicts: 1130000 | #Constraints: 78792
1797.03/1801.82 c #Conflicts: 1131000 | #Constraints: 79792
1797.03/1801.82 c #Conflicts: 1132000 | #Constraints: 80792
1797.03/1801.82 c #Conflicts: 1133000 | #Constraints: 81792
1797.03/1801.82 c #Conflicts: 1134000 | #Constraints: 82792
1797.03/1801.82 c #Conflicts: 1135000 | #Constraints: 83792
1797.03/1801.82 c #Conflicts: 1136000 | #Constraints: 84792
1797.03/1801.82 c #Conflicts: 1137000 | #Constraints: 85792
1797.03/1801.82 c #Conflicts: 1138000 | #Constraints: 86792
1797.03/1801.82 c #Conflicts: 1139000 | #Constraints: 87792
1797.03/1801.82 c #Conflicts: 1140000 | #Constraints: 88792
1797.03/1801.82 c #Conflicts: 1141000 | #Constraints: 89792
1898.86/1903.98 c #Conflicts: 1142000 | #Constraints: 90792
1898.86/1903.98 c #Conflicts: 1143000 | #Constraints: 91792
1898.86/1903.98 c #Conflicts: 1144000 | #Constraints: 92792
1898.86/1903.98 c #Conflicts: 1145000 | #Constraints: 93792
1898.86/1903.98 c #Conflicts: 1146000 | #Constraints: 94792
1898.86/1903.98 c #Conflicts: 1147000 | #Constraints: 95792
1898.86/1903.98 c #Conflicts: 1148000 | #Constraints: 96792
1898.86/1903.98 c #Conflicts: 1149000 | #Constraints: 97792
1898.86/1903.98 c #Conflicts: 1150000 | #Constraints: 98792
1898.86/1903.98 c #Conflicts: 1151000 | #Constraints: 99792
1898.86/1903.98 c #Conflicts: 1152000 | #Constraints: 100792
1898.86/1903.98 c #Conflicts: 1153000 | #Constraints: 101792
1898.86/1903.98 c #Conflicts: 1154000 | #Constraints: 102792
1898.86/1903.98 c #Conflicts: 1155000 | #Constraints: 103792
1898.86/1903.98 c #Conflicts: 1156000 | #Constraints: 104792
1898.86/1903.98 c #Conflicts: 1157000 | #Constraints: 105792
1898.86/1903.98 c #Conflicts: 1158000 | #Constraints: 106792
1898.86/1903.98 c #Conflicts: 1159000 | #Constraints: 107792
1898.86/1903.98 c #Conflicts: 1160000 | #Constraints: 108792
1898.86/1903.98 c #Conflicts: 1161000 | #Constraints: 109792
1898.86/1903.98 c #Conflicts: 1162000 | #Constraints: 110792
1898.86/1903.98 c #Conflicts: 1163000 | #Constraints: 111792
1898.86/1903.98 c #Conflicts: 1164000 | #Constraints: 112792
1898.86/1903.98 c INPROCESSING
1898.86/1903.98 c GARBAGE COLLECT
1898.86/1903.98 c rational objective 96
1913.72/1918.83 c #Conflicts: 1165000 | #Constraints: 60823
1913.72/1918.83 c #Conflicts: 1166000 | #Constraints: 61823
1913.72/1918.83 c #Conflicts: 1167000 | #Constraints: 62823
1913.72/1918.83 c #Conflicts: 1168000 | #Constraints: 63823
1913.72/1918.83 c #Conflicts: 1169000 | #Constraints: 64823
1913.72/1918.83 c #Conflicts: 1170000 | #Constraints: 65823
1913.72/1918.83 c #Conflicts: 1171000 | #Constraints: 66823
1913.72/1918.83 c #Conflicts: 1172000 | #Constraints: 67823
1913.72/1918.83 c cpu time 1901.91 s
1913.72/1918.83 c deterministic time 138989998550 1.39e+11
1913.72/1918.83 c optimization time 8.6e-05 s
1913.72/1918.83 c total solve time 1901.83 s
1913.72/1918.83 c core-guided solve time 0 s
1913.72/1918.83 c propagation time 1066.79 s
1913.72/1918.83 c conflict analysis time 727.507 s
1913.72/1918.83 c propagations 550146295
1913.72/1918.83 c resolve steps 49926781
1913.72/1918.83 c decisions 9850725
1913.72/1918.83 c conflicts 1172824
1913.72/1918.83 c restarts 2173
1913.72/1918.83 c inprocessing phases 64
1913.72/1918.83 c garbage collections 64 ,( 100.00 )
1913.72/1918.83 c input clauses 6626 ,( 98.57 )
1913.72/1918.83 c input cardinalities 96 ,( 1.43 )
1913.72/1918.83 c input general constraints 0 ,( 0.00 )
1913.72/1918.83 c input average constraint length 6.23
1913.72/1918.83 c input average constraint degree 1.94
1913.72/1918.83 c learned clauses 874515 ,( 74.56 )
1913.72/1918.83 c learned cardinalities 23704 ,( 2.02 )
1913.72/1918.83 c learned general constraints 274622 ,( 23.42 )
1913.72/1918.83 c learned average constraint length 646.96
1913.72/1918.83 c learned average constraint degree 8019048.94
1913.72/1918.83 c watched CF 32, 64, 128, Arb: 85503 , 0 , 0 , 0
1913.72/1918.83 c counting CF 32, 64, 128, Arb: 189119 , 0 , 0 , 0
1913.72/1918.83 c watched constraints 85503 ,( 31.13 )
1913.72/1918.83 c counting constraints 189119 ,( 68.87 )
1913.72/1918.83 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 766541219 , 400941918 , 1782509695 ,( 81510067 , 1700999628 )
1913.72/1918.83 c gcd simplifications 766
1913.72/1918.83 c detected cardinalities 1955
1913.72/1918.83 c weakened non-implied lits 217095825
1913.72/1918.83 c weakened non-implying lits 164913
1913.72/1918.83 c original variables 6528
1913.72/1918.83 c clausal propagations 209108279
1913.72/1918.83 c cardinality propagations 208763596
1913.72/1918.83 c watched propagations 2840091
1913.72/1918.83 c counting propagations 124886602
1913.72/1918.83 c watch lookups 71126518933
1913.72/1918.83 c watch backjump lookups 0
1913.72/1918.83 c watch checks 21919164279
1913.72/1918.83 c propagation checks 42203724322
1913.72/1918.83 c constraint additions 2619185156
1913.72/1918.83 c trail pops 561169404
1913.72/1918.83 c formula constraints 6722
1913.72/1918.83 c learned constraints 1172817
1913.72/1918.83 c bound constraints 0
1913.72/1918.83 c core-guided constraints 0
1913.72/1918.83 c encountered formula constraints 30254891
1913.72/1918.83 c encountered learned constraints 20844692
1913.72/1918.83 c encountered bound constraints 0
1913.72/1918.83 c encountered core-guided constraints 0
1913.72/1918.83 c LP total time 107.859 s
1913.72/1918.83 c LP solve time 96.35 s
1913.72/1918.83 c LP constraints added 7769
1913.72/1918.83 c LP constraints removed 876
1913.72/1918.83 c LP pivots internal 127105
1913.72/1918.83 c LP pivots root 112330
1913.72/1918.83 c LP calls 30
1913.72/1918.83 c LP optimalities 18
1913.72/1918.83 c LP no pivot count 2
1913.72/1918.83 c LP infeasibilities 7
1913.72/1918.83 c LP valid Farkas constraints 7
1913.72/1918.83 c LP learned Farkas constraints 7
1913.72/1918.83 c LP basis resets 0
1913.72/1918.83 c LP cycling count 0
1913.72/1918.83 c LP singular count 0
1913.72/1918.83 c LP no primal count 0
1913.72/1918.83 c LP no farkas count 0
1913.72/1918.83 c LP other issue count 0
1913.72/1918.83 c LP Gomory cuts 10
1913.72/1918.83 c LP learned cuts 1103
1913.72/1918.83 c LP deleted cuts 1030
1913.72/1918.83 c LP encountered Gomory constraints 1
1913.72/1918.83 c LP encountered Farkas constraints 7
1913.72/1918.83 c LP encountered learned Farkas constraints 7
1913.72/1918.83 c CG auxiliary variables introduced 0
1913.72/1918.83 c CG solutions found 0
1913.72/1918.83 c CG cores constructed 0
1913.72/1918.83 c CG core cardinality constraints returned 0
1913.72/1918.83 c CG unit cores 0
1913.72/1918.83 c CG single cores 0
1913.72/1918.83 c CG blocks removed during cardinality reduction 0
1913.72/1918.83 c CG first core best 0
1913.72/1918.83 c CG decision core best 0
1913.72/1918.83 c CG core reduction tie 0
1913.72/1918.83 c CG core degree average 0.00
1913.72/1918.83 c CG core slack average 0.00
1913.72/1918.83 c CG core upper bound improvements 0
1913.72/1918.83 c STR number of successful calls 0
1913.72/1918.83 c STR number of unsuccessful calls 0
1913.72/1918.83 c STR number of inconclusive calls 0
1913.72/1918.83 c STR number of successful attempts 0
1913.72/1918.83 c STR number of unsuccessful attempts 0
1913.72/1918.83 c STR number of inconclusive attempts 0
1913.72/1918.83 c STR average degree increase per successful call inf
1913.72/1918.83 c STR average degree increase per successful attempt inf
1913.72/1918.83 c STR total number of conflicts for successful attempts 0
1913.72/1918.83 c STR total number of conflicts for unsuccessful attempts 0
1913.72/1918.83 c STR total number of conflicts for inconclusive attempts 0
1913.72/1918.83 c STR average number of conflicts per successful attempt inf
1913.72/1918.83 c STR average number of conflicts per unsuccessful attempt inf
1913.72/1918.83 c STR average number of conflicts per inconclusive attempt inf
1913.72/1918.83 c AVG.sumWPerc 60.76
1913.72/1918.83 c bigint constraints 0
1913.72/1918.83 s SATISFIABLE
1913.72/1918.83 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: 63837 MiB (63287 MiB free)
memory of node 1: 64465 MiB (63318 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507588-1751189470/watcher-4507588-1751189470 -o /tmp/evaluation-result-4507588-1751189470/solver-4507588-1751189470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21366 --watchdog 3760 run-dec.sh HOME/instance-4507588-1751189470.opb
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 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=22068, runsolver pid=22061
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.10 4.12 4.14 3/244 22079
/proc/meminfo: memFree=129649116/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=62524 memory=17240 CPUtime=0.07 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 2092 0 0 0 5 2 0 0 20 0 1 0 34626095 64024576 4310 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 15631 4310 2208 1147 0 3058 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66716 KiB
Current children cumulated memory: 20056 KiB
[startup+0.213497 s]*
/proc/loadavg: 4.10 4.12 4.14 4/245 22084
/proc/meminfo: memFree=129637836/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=71512 memory=26116 CPUtime=0.19 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 4615 0 0 0 15 4 0 0 20 0 1 0 34626095 73228288 6529 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 17878 6529 2240 1147 0 5305 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75704 KiB
Current children cumulated memory: 28932 KiB
[startup+0.313624 s]*
/proc/loadavg: 4.10 4.12 4.14 3/247 22088
/proc/meminfo: memFree=129629800/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=71512 memory=26244 CPUtime=0.29 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 4651 0 0 0 25 4 0 0 20 0 1 0 34626095 73228288 6561 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 17878 6561 2240 1147 0 5305 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75704 KiB
Current children cumulated memory: 29060 KiB
[startup+0.700344 s]
/proc/loadavg: 4.10 4.12 4.14 4/250 22094
/proc/meminfo: memFree=129626296/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=72256 memory=27396 CPUtime=0.67 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 4954 0 0 0 62 5 0 0 20 0 1 0 34626095 73990144 6849 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 18064 6849 2240 1147 0 5491 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76448 KiB
Current children cumulated memory: 30212 KiB
[startup+1.50033 s]
/proc/loadavg: 4.10 4.12 4.14 5/252 22109
/proc/meminfo: memFree=129629276/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=72632 memory=27908 CPUtime=1.46 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 5017 0 0 0 140 6 0 0 20 0 1 0 34626095 74375168 6977 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 18158 6977 2304 1147 0 5585 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 76824 KiB
Current children cumulated memory: 30724 KiB
[startup+3.11299 s]
/proc/loadavg: 4.10 4.12 4.14 4/250 22147
/proc/meminfo: memFree=130254588/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=77076 memory=34704 CPUtime=3.07 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 6212 0 0 0 291 16 0 0 20 0 1 0 34626095 78925824 8676 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 19269 8676 2304 1147 0 6696 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 81268 KiB
Current children cumulated memory: 37520 KiB
[startup+6.30031 s]
/proc/loadavg: 4.17 4.13 4.15 5/254 22178
/proc/meminfo: memFree=130235200/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=84800 memory=42248 CPUtime=6.25 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 7586 0 0 0 600 25 0 0 20 0 1 0 34626095 86835200 10562 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 21200 10562 2304 1147 0 8627 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 88992 KiB
Current children cumulated memory: 45064 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.15 4.15 4/249 22186
/proc/meminfo: memFree=130234344/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=88540 memory=45832 CPUtime=12.63 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 8492 0 0 0 1221 42 0 0 20 0 1 0 34626095 90664960 11458 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 22135 11458 2304 1147 0 9562 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 92732 KiB
Current children cumulated memory: 48648 KiB
[startup+25.5004 s]
/proc/loadavg: 4.26 4.16 4.16 4/251 22238
/proc/meminfo: memFree=130181532/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=108192 memory=61804 CPUtime=25.38 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 11805 0 0 0 2467 71 0 0 20 0 1 0 34626095 110788608 15451 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 27048 15451 2304 1147 0 14475 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 112384 KiB
Current children cumulated memory: 64620 KiB
[startup+51.113 s]
/proc/loadavg: 4.17 4.14 4.15 5/254 22271
/proc/meminfo: memFree=130035852/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=174808 memory=119276 CPUtime=50.93 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 21589 0 0 0 4980 113 0 0 20 0 1 0 34626095 179003392 29819 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 43702 29819 2336 1147 0 31129 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 179000 KiB
Current children cumulated memory: 122092 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/255 22365
/proc/meminfo: memFree=129986652/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=224508 memory=165584 CPUtime=101.98 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 26551 0 0 0 10026 172 0 0 20 0 1 0 34626095 229896192 41396 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 56127 41396 2336 1147 0 43554 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 228700 KiB
Current children cumulated memory: 168400 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/255 22550
/proc/meminfo: memFree=130003304/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=244404 memory=198736 CPUtime=161.84 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 31279 0 0 0 15947 237 0 0 20 0 1 0 34626095 250269696 49684 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 61101 49684 2336 1147 0 48528 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 248596 KiB
Current children cumulated memory: 201552 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/255 22552
/proc/meminfo: memFree=129905004/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=320512 memory=256096 CPUtime=221.68 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 37463 0 0 0 21879 289 0 0 20 0 1 0 34626095 328204288 64024 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 80128 64024 2336 1147 0 67555 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 64537 0 0 0 158732 1073 0 0 20 0 1 0 34626095 676446208 133540 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 165148 133540 2336 1147 0 152575 0
Current children cumulated CPU time: 1598.05 s
Current children cumulated vsize: 664784 KiB
Current children cumulated memory: 536976 KiB
[startup+1662.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/253 22627
/proc/meminfo: memFree=129335208/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=660592 memory=534160 CPUtime=1657.9 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 64645 0 0 0 164697 1093 0 0 20 0 1 0 34626095 676446208 133540 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 165148 133540 2336 1147 0 152575 0
Current children cumulated CPU time: 1657.9 s
Current children cumulated vsize: 664784 KiB
Current children cumulated memory: 536976 KiB
[startup+1722.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/253 22629
/proc/meminfo: memFree=129338416/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=661056 memory=539664 CPUtime=1717.75 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 64767 0 0 0 170657 1118 0 0 20 0 1 0 34626095 676921344 134916 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 165264 134916 2336 1147 0 152691 0
Current children cumulated CPU time: 1717.75 s
Current children cumulated vsize: 665248 KiB
Current children cumulated memory: 542480 KiB
[startup+1782.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/253 22631
/proc/meminfo: memFree=129330436/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=663964 memory=547472 CPUtime=1777.58 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 65338 0 0 0 176620 1138 0 0 20 0 1 0 34626095 679899136 136868 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 165991 136868 2336 1147 0 153418 0
Current children cumulated CPU time: 1777.58 s
Current children cumulated vsize: 668156 KiB
Current children cumulated memory: 550288 KiB
[startup+1842.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/254 22647
/proc/meminfo: memFree=129330804/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=671696 memory=552976 CPUtime=1837.41 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 66733 0 0 0 182583 1158 0 0 20 0 1 0 34626095 687816704 138244 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 167924 138244 2336 1147 0 155351 0
Current children cumulated CPU time: 1837.41 s
Current children cumulated vsize: 675888 KiB
Current children cumulated memory: 555792 KiB
[startup+1902.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/254 22649
/proc/meminfo: memFree=129292296/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=683356 memory=591796 CPUtime=1897.26 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 68796 0 0 0 188548 1178 0 0 20 0 1 0 34626095 699756544 147949 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 170839 147949 2336 1147 0 158266 0
Current children cumulated CPU time: 1897.26 s
Current children cumulated vsize: 687548 KiB
Current children cumulated memory: 594612 KiB
[startup+1918.84 s]
# the end of solver process 22068 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1901.91 s, system=11.8667 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1907.2 s]
/proc/loadavg: 4.09 4.11 4.14 5/254 22649
/proc/meminfo: memFree=129288200/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=686116 memory=596324 CPUtime=1902.15 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 69405 0 0 0 189034 1181 0 0 20 0 1 0 34626095 702582784 149081 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 171529 149081 2336 1147 0 158956 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 690308 KiB
Current children cumulated memory: 599140 KiB
[startup+1913.6 s]
/proc/loadavg: 4.08 4.11 4.14 5/254 22649
/proc/meminfo: memFree=129286436/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=686116 memory=596324 CPUtime=1908.54 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 69405 0 0 0 189670 1184 0 0 20 0 1 0 34626095 702582784 149081 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 171529 149081 2336 1147 0 158956 0
Current children cumulated CPU time: 1908.54 s
Current children cumulated vsize: 690308 KiB
Current children cumulated memory: 599140 KiB
[startup+1916.8 s]
/proc/loadavg: 4.08 4.11 4.14 5/254 22649
/proc/meminfo: memFree=129286436/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=686116 memory=596324 CPUtime=1911.73 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 69405 0 0 0 189988 1185 0 0 20 0 1 0 34626095 702582784 149081 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 171529 149081 2336 1147 0 158956 0
Current children cumulated CPU time: 1911.73 s
Current children cumulated vsize: 690308 KiB
Current children cumulated memory: 599140 KiB
[startup+1917.6 s]
/proc/loadavg: 4.08 4.11 4.14 5/254 22649
/proc/meminfo: memFree=129286436/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=686116 memory=596324 CPUtime=1912.53 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 69405 0 0 0 190068 1185 0 0 20 0 1 0 34626095 702582784 149081 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 171529 149081 2336 1147 0 158956 0
Current children cumulated CPU time: 1912.53 s
Current children cumulated vsize: 690308 KiB
Current children cumulated memory: 599140 KiB
[startup+1918.4 s]
/proc/loadavg: 4.08 4.11 4.14 5/254 22649
/proc/meminfo: memFree=129286436/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=686116 memory=596324 CPUtime=1913.32 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 69405 0 0 0 190147 1185 0 0 20 0 1 0 34626095 702582784 149081 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 171529 149081 2336 1147 0 158956 0
Current children cumulated CPU time: 1913.32 s
Current children cumulated vsize: 690308 KiB
Current children cumulated memory: 599140 KiB
[startup+1918.8 s]
/proc/loadavg: 4.08 4.11 4.14 5/254 22649
/proc/meminfo: memFree=129286436/131382120 swapFree=33010684/33010684
[pid=22068] ppid=22061 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/22068/stat : 22068 (run-dec.sh) S 22061 22068 21352 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34626094 4292608 704 18446744073709551615 94090874851328 94090875745861 140735966384144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94090875984912 94090876032656 94090886950912 140735966386541 140735966386664 140735966386664 140735966392266 0
/proc/22068/statm: 1048 704 672 219 0 110 0
[pid=22070] ppid=22068 vsize=686116 memory=596324 CPUtime=1913.72 cores=4,6
/proc/22070/stat : 22070 (roundingsat) R 22068 22068 21352 0 -1 4194304 69405 0 0 0 190187 1185 0 0 20 0 1 0 34626095 702582784 149081 18446744073709551615 4227072 8923433 140731773637952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43225088 140731773643191 140731773643304 140731773643304 140731773648874 0
/proc/22070/statm: 171529 149081 2336 1147 0 158956 0
Current children cumulated CPU time: 1913.72 s
Current children cumulated vsize: 690308 KiB
Current children cumulated memory: 599140 KiB
Child status: 0
Real time (s): 1918.84
CPU time (s): 1913.78
CPU user time (s): 1901.91
CPU system time (s): 11.8667
CPU usage (%): 99.7362
Max. virtual memory (cumulated for all children) (KiB): 690308
Max. memory (cumulated for all children) (KiB): 599140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1901.91
system time used= 11.8667
maximum resident set size= 596324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 312
involuntary context switches= 1447
# summary of solver processes directly reported to runsolver:
# pid: 22068
# total CPU time (s): 1913.78
# total CPU user time (s): 1901.91
# total CPU system time (s): 11.8667
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.41565 second user time and 20.1085 second system time
The end
Begin job on nodeC008 at 2025-06-29 11:31:10
IDJOB=4507588
IDBENCH=158367
IDSOLVER=3349
FILE ID=nodeC008/4507588-1751189470
RUNJOBID= nodeC008-1751182246-21366
SLURM_JOB_ID= 9587557
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507588-1751189470/watcher-4507588-1751189470 -o /tmp/evaluation-result-4507588-1751189470/solver-4507588-1751189470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751182246-21366 --watchdog 3760 run-dec.sh HOME/instance-4507588-1751189470.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=1562196444
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.275
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.566
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.214
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.362
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.269
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.494
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.204
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.957
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129620688 kB
MemAvailable: 129265136 kB
Buffers: 3280 kB
Cached: 454292 kB
SwapCached: 0 kB
Active: 966120 kB
Inactive: 241012 kB
Active(anon): 767516 kB
Inactive(anon): 0 kB
Active(file): 198604 kB
Inactive(file): 241012 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7880 kB
Writeback: 4 kB
AnonPages: 752620 kB
Mapped: 108028 kB
Shmem: 17956 kB
KReclaimable: 85160 kB
Slab: 163908 kB
SReclaimable: 85160 kB
SUnreclaim: 78748 kB
KernelStack: 3968 kB
PageTables: 4324 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1269324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 643072 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC008 at 2025-06-29 12:03:09