0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.09/0.13 c #variables 6528 #constraints 6722
44.74/44.94 c #Conflicts: 1000 | #Constraints: 7721
44.74/44.94 c #Conflicts: 2000 | #Constraints: 8721
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 3000 | #Constraints: 8407
44.74/44.94 c #Conflicts: 4000 | #Constraints: 9407
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 5000 | #Constraints: 8876
44.74/44.94 c #Conflicts: 6000 | #Constraints: 9876
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 7000 | #Constraints: 8936
44.74/44.94 c #Conflicts: 8000 | #Constraints: 9936
44.74/44.94 c #Conflicts: 9000 | #Constraints: 10936
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 10000 | #Constraints: 9695
44.74/44.94 c #Conflicts: 11000 | #Constraints: 10695
44.74/44.94 c #Conflicts: 12000 | #Constraints: 11695
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 13000 | #Constraints: 10151
44.74/44.94 c #Conflicts: 14000 | #Constraints: 11151
44.74/44.94 c #Conflicts: 15000 | #Constraints: 12151
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 16000 | #Constraints: 10422
44.74/44.94 c #Conflicts: 17000 | #Constraints: 11422
44.74/44.94 c #Conflicts: 18000 | #Constraints: 12422
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 19000 | #Constraints: 10444
44.74/44.94 c #Conflicts: 20000 | #Constraints: 11444
44.74/44.94 c #Conflicts: 21000 | #Constraints: 12444
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 22000 | #Constraints: 10260
44.74/44.94 c #Conflicts: 23000 | #Constraints: 11260
44.74/44.94 c #Conflicts: 24000 | #Constraints: 12260
44.74/44.94 c #Conflicts: 25000 | #Constraints: 13260
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 26000 | #Constraints: 10936
44.74/44.94 c #Conflicts: 27000 | #Constraints: 11936
44.74/44.94 c #Conflicts: 28000 | #Constraints: 12936
44.74/44.94 c #Conflicts: 29000 | #Constraints: 13936
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 30000 | #Constraints: 11326
44.74/44.94 c #Conflicts: 31000 | #Constraints: 12326
44.74/44.94 c #Conflicts: 32000 | #Constraints: 13326
44.74/44.94 c #Conflicts: 33000 | #Constraints: 14326
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 34000 | #Constraints: 11521
44.74/44.94 c #Conflicts: 35000 | #Constraints: 12521
44.74/44.94 c #Conflicts: 36000 | #Constraints: 13521
44.74/44.94 c #Conflicts: 37000 | #Constraints: 14521
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 38000 | #Constraints: 11553
44.74/44.94 c #Conflicts: 39000 | #Constraints: 12553
44.74/44.94 c #Conflicts: 40000 | #Constraints: 13553
44.74/44.94 c #Conflicts: 41000 | #Constraints: 14553
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 42000 | #Constraints: 11397
44.74/44.94 c #Conflicts: 43000 | #Constraints: 12397
44.74/44.94 c #Conflicts: 44000 | #Constraints: 13397
44.74/44.94 c #Conflicts: 45000 | #Constraints: 14397
44.74/44.94 c #Conflicts: 46000 | #Constraints: 15397
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c #Conflicts: 47000 | #Constraints: 12030
44.74/44.94 c #Conflicts: 48000 | #Constraints: 13030
44.74/44.94 c #Conflicts: 49000 | #Constraints: 14030
44.74/44.94 c #Conflicts: 50000 | #Constraints: 15030
44.74/44.94 c #Conflicts: 51000 | #Constraints: 16030
44.74/44.94 c #Conflicts: 52000 | #Constraints: 17030
44.74/44.94 c #Conflicts: 53000 | #Constraints: 18030
44.74/44.94 c #Conflicts: 54000 | #Constraints: 19030
44.74/44.94 c #Conflicts: 55000 | #Constraints: 20030
44.74/44.94 c #Conflicts: 56000 | #Constraints: 21030
44.74/44.94 c #Conflicts: 57000 | #Constraints: 22030
44.74/44.94 c #Conflicts: 58000 | #Constraints: 23030
44.74/44.94 c #Conflicts: 59000 | #Constraints: 24030
44.74/44.94 c #Conflicts: 60000 | #Constraints: 25030
44.74/44.94 c #Conflicts: 61000 | #Constraints: 26030
44.74/44.94 c #Conflicts: 62000 | #Constraints: 27030
44.74/44.94 c #Conflicts: 63000 | #Constraints: 28030
44.74/44.94 c #Conflicts: 64000 | #Constraints: 29030
44.74/44.94 c INPROCESSING
44.74/44.94 c GARBAGE COLLECT
44.74/44.94 c rational objective 96
102.79/103.18 c #Conflicts: 65000 | #Constraints: 18778
102.79/103.18 c #Conflicts: 66000 | #Constraints: 19778
102.79/103.18 c #Conflicts: 67000 | #Constraints: 20778
102.79/103.18 c #Conflicts: 68000 | #Constraints: 21778
102.79/103.18 c #Conflicts: 69000 | #Constraints: 22778
102.79/103.18 c #Conflicts: 70000 | #Constraints: 23778
102.79/103.18 c INPROCESSING
102.79/103.18 c GARBAGE COLLECT
102.79/103.18 c #Conflicts: 71000 | #Constraints: 16213
102.79/103.18 c #Conflicts: 72000 | #Constraints: 17213
102.79/103.18 c #Conflicts: 73000 | #Constraints: 18213
102.79/103.18 c #Conflicts: 74000 | #Constraints: 19213
102.79/103.18 c #Conflicts: 75000 | #Constraints: 20213
102.79/103.18 c #Conflicts: 76000 | #Constraints: 21213
102.79/103.18 c INPROCESSING
102.79/103.18 c GARBAGE COLLECT
102.79/103.18 c #Conflicts: 77000 | #Constraints: 14860
102.79/103.18 c #Conflicts: 78000 | #Constraints: 15860
102.79/103.18 c #Conflicts: 79000 | #Constraints: 16860
102.79/103.18 c #Conflicts: 80000 | #Constraints: 17860
102.79/103.18 c #Conflicts: 81000 | #Constraints: 18860
102.79/103.18 c #Conflicts: 82000 | #Constraints: 19860
102.79/103.18 c INPROCESSING
102.79/103.18 c GARBAGE COLLECT
102.79/103.18 c #Conflicts: 83000 | #Constraints: 13998
102.79/103.18 c #Conflicts: 84000 | #Constraints: 14998
102.79/103.18 c #Conflicts: 85000 | #Constraints: 15998
102.79/103.18 c #Conflicts: 86000 | #Constraints: 16998
102.79/103.18 c #Conflicts: 87000 | #Constraints: 17998
102.79/103.18 c #Conflicts: 88000 | #Constraints: 18998
102.79/103.18 c #Conflicts: 89000 | #Constraints: 19998
102.79/103.18 c INPROCESSING
102.79/103.18 c GARBAGE COLLECT
102.79/103.18 c #Conflicts: 90000 | #Constraints: 14304
102.79/103.18 c #Conflicts: 91000 | #Constraints: 15304
102.79/103.18 c #Conflicts: 92000 | #Constraints: 16304
102.79/103.18 c #Conflicts: 93000 | #Constraints: 17304
102.79/103.18 c #Conflicts: 94000 | #Constraints: 18304
102.79/103.18 c #Conflicts: 95000 | #Constraints: 19304
102.79/103.18 c #Conflicts: 96000 | #Constraints: 20304
102.79/103.18 c #Conflicts: 97000 | #Constraints: 21304
102.79/103.18 c #Conflicts: 98000 | #Constraints: 22304
102.79/103.18 c #Conflicts: 99000 | #Constraints: 23304
102.79/103.18 c #Conflicts: 100000 | #Constraints: 24304
102.79/103.18 c #Conflicts: 101000 | #Constraints: 25304
102.79/103.18 c #Conflicts: 102000 | #Constraints: 26304
102.79/103.18 c #Conflicts: 103000 | #Constraints: 27304
102.79/103.18 c #Conflicts: 104000 | #Constraints: 28304
102.79/103.18 c #Conflicts: 105000 | #Constraints: 29304
102.79/103.18 c #Conflicts: 106000 | #Constraints: 30304
102.79/103.18 c #Conflicts: 107000 | #Constraints: 31304
102.79/103.18 c #Conflicts: 108000 | #Constraints: 32304
102.79/103.18 c #Conflicts: 109000 | #Constraints: 33304
102.79/103.18 c #Conflicts: 110000 | #Constraints: 34304
102.79/103.18 c #Conflicts: 111000 | #Constraints: 35304
102.79/103.18 c #Conflicts: 112000 | #Constraints: 36304
102.79/103.18 c #Conflicts: 113000 | #Constraints: 37304
102.79/103.18 c #Conflicts: 114000 | #Constraints: 38304
102.79/103.18 c INPROCESSING
102.79/103.18 c GARBAGE COLLECT
102.79/103.18 c #Conflicts: 115000 | #Constraints: 23677
102.79/103.18 c #Conflicts: 116000 | #Constraints: 24677
102.79/103.18 c #Conflicts: 117000 | #Constraints: 25677
102.79/103.18 c #Conflicts: 118000 | #Constraints: 26677
102.79/103.18 c #Conflicts: 119000 | #Constraints: 27677
102.79/103.18 c #Conflicts: 120000 | #Constraints: 28677
102.79/103.18 c #Conflicts: 121000 | #Constraints: 29677
102.79/103.18 c INPROCESSING
102.79/103.18 c GARBAGE COLLECT
102.79/103.18 c #Conflicts: 122000 | #Constraints: 18982
102.79/103.18 c #Conflicts: 123000 | #Constraints: 19982
102.79/103.18 c #Conflicts: 124000 | #Constraints: 20982
102.79/103.18 c #Conflicts: 125000 | #Constraints: 21982
102.79/103.18 c #Conflicts: 126000 | #Constraints: 22982
102.79/103.18 c #Conflicts: 127000 | #Constraints: 23982
102.79/103.18 c #Conflicts: 128000 | #Constraints: 24982
102.79/103.18 c #Conflicts: 129000 | #Constraints: 25982
102.79/103.18 c INPROCESSING
102.79/103.18 c GARBAGE COLLECT
102.79/103.18 c #Conflicts: 130000 | #Constraints: 17141
102.79/103.18 c #Conflicts: 131000 | #Constraints: 18141
102.79/103.18 c #Conflicts: 132000 | #Constraints: 19141
102.79/103.18 c #Conflicts: 133000 | #Constraints: 20141
102.79/103.18 c #Conflicts: 134000 | #Constraints: 21141
102.79/103.18 c #Conflicts: 135000 | #Constraints: 22141
102.79/103.18 c #Conflicts: 136000 | #Constraints: 23141
102.79/103.18 c #Conflicts: 137000 | #Constraints: 24141
102.79/103.18 c #Conflicts: 138000 | #Constraints: 25141
102.79/103.18 c INPROCESSING
102.79/103.18 c GARBAGE COLLECT
170.18/170.72 c #Conflicts: 139000 | #Constraints: 17066
170.18/170.72 c #Conflicts: 140000 | #Constraints: 18066
170.18/170.72 c #Conflicts: 141000 | #Constraints: 19066
170.18/170.72 c #Conflicts: 142000 | #Constraints: 20066
170.18/170.72 c #Conflicts: 143000 | #Constraints: 21066
170.18/170.72 c #Conflicts: 144000 | #Constraints: 22066
170.18/170.72 c #Conflicts: 145000 | #Constraints: 23066
170.18/170.72 c #Conflicts: 146000 | #Constraints: 24066
170.18/170.72 c #Conflicts: 147000 | #Constraints: 25066
170.18/170.72 c #Conflicts: 148000 | #Constraints: 26066
170.18/170.72 c #Conflicts: 149000 | #Constraints: 27066
170.18/170.72 c #Conflicts: 150000 | #Constraints: 28066
170.18/170.72 c #Conflicts: 151000 | #Constraints: 29066
170.18/170.72 c #Conflicts: 152000 | #Constraints: 30066
170.18/170.72 c #Conflicts: 153000 | #Constraints: 31066
170.18/170.72 c #Conflicts: 154000 | #Constraints: 32066
170.18/170.72 c #Conflicts: 155000 | #Constraints: 33066
170.18/170.72 c #Conflicts: 156000 | #Constraints: 34066
170.18/170.72 c #Conflicts: 157000 | #Constraints: 35066
170.18/170.72 c #Conflicts: 158000 | #Constraints: 36066
170.18/170.72 c #Conflicts: 159000 | #Constraints: 37066
170.18/170.72 c #Conflicts: 160000 | #Constraints: 38066
170.18/170.72 c #Conflicts: 161000 | #Constraints: 39066
170.18/170.72 c #Conflicts: 162000 | #Constraints: 40066
170.18/170.72 c #Conflicts: 163000 | #Constraints: 41066
170.18/170.72 c #Conflicts: 164000 | #Constraints: 42066
170.18/170.72 c #Conflicts: 165000 | #Constraints: 43066
170.18/170.72 c #Conflicts: 166000 | #Constraints: 44066
170.18/170.72 c #Conflicts: 167000 | #Constraints: 45066
170.18/170.72 c #Conflicts: 168000 | #Constraints: 46066
170.18/170.72 c INPROCESSING
170.18/170.72 c GARBAGE COLLECT
170.18/170.72 c #Conflicts: 169000 | #Constraints: 27603
170.18/170.72 c #Conflicts: 170000 | #Constraints: 28603
170.18/170.72 c #Conflicts: 171000 | #Constraints: 29603
170.18/170.72 c #Conflicts: 172000 | #Constraints: 30603
170.18/170.72 c #Conflicts: 173000 | #Constraints: 31603
170.18/170.72 c #Conflicts: 174000 | #Constraints: 32603
170.18/170.72 c #Conflicts: 175000 | #Constraints: 33603
170.18/170.72 c #Conflicts: 176000 | #Constraints: 34603
170.18/170.72 c #Conflicts: 177000 | #Constraints: 35603
170.18/170.72 c INPROCESSING
170.18/170.72 c GARBAGE COLLECT
170.18/170.72 c #Conflicts: 178000 | #Constraints: 22134
170.18/170.72 c #Conflicts: 179000 | #Constraints: 23134
170.18/170.72 c #Conflicts: 180000 | #Constraints: 24134
170.18/170.72 c #Conflicts: 181000 | #Constraints: 25134
170.18/170.72 c #Conflicts: 182000 | #Constraints: 26134
170.18/170.72 c #Conflicts: 183000 | #Constraints: 27134
170.18/170.72 c #Conflicts: 184000 | #Constraints: 28134
170.18/170.72 c #Conflicts: 185000 | #Constraints: 29134
170.18/170.72 c #Conflicts: 186000 | #Constraints: 30134
170.18/170.72 c #Conflicts: 187000 | #Constraints: 31134
170.18/170.72 c INPROCESSING
170.18/170.72 c GARBAGE COLLECT
170.18/170.72 c #Conflicts: 188000 | #Constraints: 20076
170.18/170.72 c #Conflicts: 189000 | #Constraints: 21076
170.18/170.72 c #Conflicts: 190000 | #Constraints: 22077
170.18/170.72 c #Conflicts: 191000 | #Constraints: 23077
170.18/170.72 c #Conflicts: 192000 | #Constraints: 24077
170.18/170.72 c #Conflicts: 193000 | #Constraints: 25077
170.18/170.72 c #Conflicts: 194000 | #Constraints: 26077
170.18/170.72 c #Conflicts: 195000 | #Constraints: 27077
170.18/170.72 c #Conflicts: 196000 | #Constraints: 28077
170.18/170.72 c #Conflicts: 197000 | #Constraints: 29077
170.18/170.72 c INPROCESSING
170.18/170.72 c GARBAGE COLLECT
170.18/170.72 c rational objective 96
261.91/262.78 c #Conflicts: 198000 | #Constraints: 19064
261.91/262.78 c #Conflicts: 199000 | #Constraints: 20064
261.91/262.78 c #Conflicts: 200000 | #Constraints: 21064
261.91/262.78 c #Conflicts: 201000 | #Constraints: 22064
261.91/262.78 c #Conflicts: 202000 | #Constraints: 23064
261.91/262.78 c #Conflicts: 203000 | #Constraints: 24064
261.91/262.78 c #Conflicts: 204000 | #Constraints: 25064
261.91/262.78 c #Conflicts: 205000 | #Constraints: 26064
261.91/262.78 c #Conflicts: 206000 | #Constraints: 27064
261.91/262.78 c #Conflicts: 207000 | #Constraints: 28064
261.91/262.78 c INPROCESSING
261.91/262.78 c GARBAGE COLLECT
261.91/262.78 c #Conflicts: 208000 | #Constraints: 18525
261.91/262.78 c #Conflicts: 209000 | #Constraints: 19525
261.91/262.78 c #Conflicts: 210000 | #Constraints: 20525
261.91/262.78 c #Conflicts: 211000 | #Constraints: 21525
261.91/262.78 c #Conflicts: 212000 | #Constraints: 22525
261.91/262.78 c #Conflicts: 213000 | #Constraints: 23525
261.91/262.78 c #Conflicts: 214000 | #Constraints: 24525
261.91/262.78 c #Conflicts: 215000 | #Constraints: 25525
261.91/262.78 c #Conflicts: 216000 | #Constraints: 26525
261.91/262.78 c #Conflicts: 217000 | #Constraints: 27525
261.91/262.78 c #Conflicts: 218000 | #Constraints: 28525
261.91/262.78 c #Conflicts: 219000 | #Constraints: 29525
261.91/262.78 c #Conflicts: 220000 | #Constraints: 30525
261.91/262.78 c #Conflicts: 221000 | #Constraints: 31525
261.91/262.78 c #Conflicts: 222000 | #Constraints: 32525
261.91/262.78 c #Conflicts: 223000 | #Constraints: 33525
261.91/262.78 c #Conflicts: 224000 | #Constraints: 34525
261.91/262.78 c #Conflicts: 225000 | #Constraints: 35525
261.91/262.78 c #Conflicts: 226000 | #Constraints: 36525
261.91/262.78 c #Conflicts: 227000 | #Constraints: 37525
261.91/262.78 c #Conflicts: 228000 | #Constraints: 38525
261.91/262.78 c #Conflicts: 229000 | #Constraints: 39525
261.91/262.78 c #Conflicts: 230000 | #Constraints: 40525
261.91/262.78 c #Conflicts: 231000 | #Constraints: 41525
261.91/262.78 c #Conflicts: 232000 | #Constraints: 42525
261.91/262.78 c #Conflicts: 233000 | #Constraints: 43525
261.91/262.78 c #Conflicts: 234000 | #Constraints: 44525
261.91/262.78 c #Conflicts: 235000 | #Constraints: 45525
261.91/262.78 c #Conflicts: 236000 | #Constraints: 46525
261.91/262.78 c #Conflicts: 237000 | #Constraints: 47525
261.91/262.78 c #Conflicts: 238000 | #Constraints: 48525
261.91/262.78 c #Conflicts: 239000 | #Constraints: 49525
261.91/262.78 c #Conflicts: 240000 | #Constraints: 50525
261.91/262.78 c #Conflicts: 241000 | #Constraints: 51525
261.91/262.78 c #Conflicts: 242000 | #Constraints: 52525
261.91/262.78 c #Conflicts: 243000 | #Constraints: 53525
261.91/262.78 c INPROCESSING
261.91/262.78 c GARBAGE COLLECT
261.91/262.78 c #Conflicts: 244000 | #Constraints: 31104
261.91/262.78 c #Conflicts: 245000 | #Constraints: 32104
261.91/262.78 c #Conflicts: 246000 | #Constraints: 33104
261.91/262.78 c #Conflicts: 247000 | #Constraints: 34104
261.91/262.78 c #Conflicts: 248000 | #Constraints: 35104
261.91/262.78 c #Conflicts: 249000 | #Constraints: 36104
261.91/262.78 c #Conflicts: 250000 | #Constraints: 37104
261.91/262.78 c #Conflicts: 251000 | #Constraints: 38104
261.91/262.78 c #Conflicts: 252000 | #Constraints: 39104
261.91/262.78 c #Conflicts: 253000 | #Constraints: 40104
261.91/262.78 c #Conflicts: 254000 | #Constraints: 41104
261.91/262.78 c #Conflicts: 255000 | #Constraints: 42104
261.91/262.78 c INPROCESSING
261.91/262.78 c GARBAGE COLLECT
261.91/262.78 c #Conflicts: 256000 | #Constraints: 25696
261.91/262.78 c #Conflicts: 257000 | #Constraints: 26696
261.91/262.78 c #Conflicts: 258000 | #Constraints: 27696
261.91/262.78 c #Conflicts: 259000 | #Constraints: 28696
261.91/262.78 c #Conflicts: 260000 | #Constraints: 29696
261.91/262.78 c #Conflicts: 261000 | #Constraints: 30696
261.91/262.78 c #Conflicts: 262000 | #Constraints: 31696
261.91/262.78 c #Conflicts: 263000 | #Constraints: 32696
261.91/262.78 c #Conflicts: 264000 | #Constraints: 33696
261.91/262.78 c #Conflicts: 265000 | #Constraints: 34696
261.91/262.78 c #Conflicts: 266000 | #Constraints: 35696
261.91/262.78 c INPROCESSING
261.91/262.78 c GARBAGE COLLECT
261.91/262.78 c #Conflicts: 267000 | #Constraints: 22207
261.91/262.78 c #Conflicts: 268000 | #Constraints: 23207
261.91/262.78 c #Conflicts: 269000 | #Constraints: 24207
261.91/262.78 c #Conflicts: 270000 | #Constraints: 25207
261.91/262.78 c #Conflicts: 271000 | #Constraints: 26207
261.91/262.78 c #Conflicts: 272000 | #Constraints: 27207
261.91/262.78 c #Conflicts: 273000 | #Constraints: 28207
261.91/262.78 c #Conflicts: 274000 | #Constraints: 29207
357.74/358.84 c #Conflicts: 275000 | #Constraints: 30207
357.74/358.84 c #Conflicts: 276000 | #Constraints: 31207
357.74/358.84 c #Conflicts: 277000 | #Constraints: 32207
357.74/358.84 c #Conflicts: 278000 | #Constraints: 33207
357.74/358.84 c INPROCESSING
357.74/358.84 c GARBAGE COLLECT
357.74/358.84 c #Conflicts: 279000 | #Constraints: 21026
357.74/358.84 c #Conflicts: 280000 | #Constraints: 22026
357.74/358.84 c #Conflicts: 281000 | #Constraints: 23026
357.74/358.84 c #Conflicts: 282000 | #Constraints: 24026
357.74/358.84 c #Conflicts: 283000 | #Constraints: 25026
357.74/358.84 c #Conflicts: 284000 | #Constraints: 26026
357.74/358.84 c #Conflicts: 285000 | #Constraints: 27026
357.74/358.84 c #Conflicts: 286000 | #Constraints: 28026
357.74/358.84 c #Conflicts: 287000 | #Constraints: 29026
357.74/358.84 c #Conflicts: 288000 | #Constraints: 30026
357.74/358.84 c #Conflicts: 289000 | #Constraints: 31026
357.74/358.84 c #Conflicts: 290000 | #Constraints: 32026
357.74/358.84 c INPROCESSING
357.74/358.84 c GARBAGE COLLECT
357.74/358.84 c #Conflicts: 291000 | #Constraints: 20392
357.74/358.84 c #Conflicts: 292000 | #Constraints: 21392
357.74/358.84 c #Conflicts: 293000 | #Constraints: 22392
357.74/358.84 c #Conflicts: 294000 | #Constraints: 23392
357.74/358.84 c #Conflicts: 295000 | #Constraints: 24392
357.74/358.84 c #Conflicts: 296000 | #Constraints: 25392
357.74/358.84 c #Conflicts: 297000 | #Constraints: 26392
357.74/358.84 c #Conflicts: 298000 | #Constraints: 27392
357.74/358.84 c #Conflicts: 299000 | #Constraints: 28392
357.74/358.84 c #Conflicts: 300000 | #Constraints: 29392
357.74/358.84 c #Conflicts: 301000 | #Constraints: 30392
357.74/358.84 c #Conflicts: 302000 | #Constraints: 31392
357.74/358.84 c #Conflicts: 303000 | #Constraints: 32392
357.74/358.84 c #Conflicts: 304000 | #Constraints: 33392
357.74/358.84 c #Conflicts: 305000 | #Constraints: 34392
357.74/358.84 c #Conflicts: 306000 | #Constraints: 35392
357.74/358.84 c #Conflicts: 307000 | #Constraints: 36392
357.74/358.84 c #Conflicts: 308000 | #Constraints: 37392
357.74/358.84 c #Conflicts: 309000 | #Constraints: 38392
357.74/358.84 c #Conflicts: 310000 | #Constraints: 39392
357.74/358.84 c #Conflicts: 311000 | #Constraints: 40392
357.74/358.84 c #Conflicts: 312000 | #Constraints: 41392
357.74/358.84 c #Conflicts: 313000 | #Constraints: 42392
357.74/358.84 c #Conflicts: 314000 | #Constraints: 43392
357.74/358.84 c #Conflicts: 315000 | #Constraints: 44392
357.74/358.84 c #Conflicts: 316000 | #Constraints: 45392
357.74/358.84 c #Conflicts: 317000 | #Constraints: 46392
357.74/358.84 c #Conflicts: 318000 | #Constraints: 47392
357.74/358.84 c #Conflicts: 319000 | #Constraints: 48392
357.74/358.84 c #Conflicts: 320000 | #Constraints: 49392
357.74/358.84 c #Conflicts: 321000 | #Constraints: 50392
357.74/358.84 c #Conflicts: 322000 | #Constraints: 51392
357.74/358.84 c #Conflicts: 323000 | #Constraints: 52392
357.74/358.84 c #Conflicts: 324000 | #Constraints: 53392
357.74/358.84 c #Conflicts: 325000 | #Constraints: 54392
357.74/358.84 c #Conflicts: 326000 | #Constraints: 55392
357.74/358.84 c #Conflicts: 327000 | #Constraints: 56392
357.74/358.84 c #Conflicts: 328000 | #Constraints: 57392
357.74/358.84 c #Conflicts: 329000 | #Constraints: 58392
357.74/358.84 c #Conflicts: 330000 | #Constraints: 59392
357.74/358.84 c #Conflicts: 331000 | #Constraints: 60392
357.74/358.84 c #Conflicts: 332000 | #Constraints: 61392
357.74/358.84 c #Conflicts: 333000 | #Constraints: 62392
357.74/358.84 c INPROCESSING
357.74/358.84 c GARBAGE COLLECT
357.74/358.84 c #Conflicts: 334000 | #Constraints: 35750
357.74/358.84 c #Conflicts: 335000 | #Constraints: 36750
357.74/358.84 c #Conflicts: 336000 | #Constraints: 37750
357.74/358.84 c #Conflicts: 337000 | #Constraints: 38750
357.74/358.84 c #Conflicts: 338000 | #Constraints: 39750
357.74/358.84 c #Conflicts: 339000 | #Constraints: 40750
357.74/358.84 c #Conflicts: 340000 | #Constraints: 41750
357.74/358.84 c #Conflicts: 341000 | #Constraints: 42750
357.74/358.84 c #Conflicts: 342000 | #Constraints: 43750
357.74/358.84 c #Conflicts: 343000 | #Constraints: 44750
357.74/358.84 c #Conflicts: 344000 | #Constraints: 45750
357.74/358.84 c #Conflicts: 345000 | #Constraints: 46750
357.74/358.84 c #Conflicts: 346000 | #Constraints: 47750
357.74/358.84 c INPROCESSING
357.74/358.84 c GARBAGE COLLECT
357.74/358.84 c rational objective 96
379.07/380.27 c #Conflicts: 347000 | #Constraints: 28268
379.07/380.27 c #Conflicts: 348000 | #Constraints: 29268
379.07/380.27 c #Conflicts: 349000 | #Constraints: 30268
379.07/380.27 c #Conflicts: 350000 | #Constraints: 31268
379.07/380.27 c #Conflicts: 351000 | #Constraints: 32268
379.07/380.27 c #Conflicts: 352000 | #Constraints: 33268
379.07/380.27 c #Conflicts: 353000 | #Constraints: 34268
379.07/380.27 c #Conflicts: 354000 | #Constraints: 35268
379.07/380.27 c #Conflicts: 355000 | #Constraints: 36268
379.07/380.27 c #Conflicts: 356000 | #Constraints: 37268
379.07/380.27 c #Conflicts: 357000 | #Constraints: 38268
379.07/380.27 c #Conflicts: 358000 | #Constraints: 39268
379.07/380.27 c #Conflicts: 359000 | #Constraints: 40268
379.07/380.27 c #Conflicts: 360000 | #Constraints: 41268
379.07/380.27 c INPROCESSING
379.07/380.27 c GARBAGE COLLECT
379.07/380.27 c rational objective 96
488.07/489.56 c #Conflicts: 361000 | #Constraints: 25335
488.07/489.56 c #Conflicts: 362000 | #Constraints: 26335
488.07/489.56 c #Conflicts: 363000 | #Constraints: 27335
488.07/489.56 c #Conflicts: 364000 | #Constraints: 28335
488.07/489.56 c #Conflicts: 365000 | #Constraints: 29335
488.07/489.56 c #Conflicts: 366000 | #Constraints: 30335
488.07/489.56 c #Conflicts: 367000 | #Constraints: 31335
488.07/489.56 c #Conflicts: 368000 | #Constraints: 32335
488.07/489.56 c #Conflicts: 369000 | #Constraints: 33335
488.07/489.56 c #Conflicts: 370000 | #Constraints: 34335
488.07/489.56 c #Conflicts: 371000 | #Constraints: 35335
488.07/489.56 c #Conflicts: 372000 | #Constraints: 36335
488.07/489.56 c #Conflicts: 373000 | #Constraints: 37335
488.07/489.56 c INPROCESSING
488.07/489.56 c GARBAGE COLLECT
488.07/489.56 c #Conflicts: 374000 | #Constraints: 22934
488.07/489.56 c #Conflicts: 375000 | #Constraints: 23934
488.07/489.56 c #Conflicts: 376000 | #Constraints: 24934
488.07/489.56 c #Conflicts: 377000 | #Constraints: 25934
488.07/489.56 c #Conflicts: 378000 | #Constraints: 26934
488.07/489.56 c #Conflicts: 379000 | #Constraints: 27934
488.07/489.56 c #Conflicts: 380000 | #Constraints: 28934
488.07/489.56 c #Conflicts: 381000 | #Constraints: 29934
488.07/489.56 c #Conflicts: 382000 | #Constraints: 30934
488.07/489.56 c #Conflicts: 383000 | #Constraints: 31934
488.07/489.56 c #Conflicts: 384000 | #Constraints: 32934
488.07/489.56 c #Conflicts: 385000 | #Constraints: 33934
488.07/489.56 c #Conflicts: 386000 | #Constraints: 34934
488.07/489.56 c #Conflicts: 387000 | #Constraints: 35934
488.07/489.56 c INPROCESSING
488.07/489.56 c GARBAGE COLLECT
488.07/489.56 c #Conflicts: 388000 | #Constraints: 22330
488.07/489.56 c #Conflicts: 389000 | #Constraints: 23330
488.07/489.56 c #Conflicts: 390000 | #Constraints: 24330
488.07/489.56 c #Conflicts: 391000 | #Constraints: 25330
488.07/489.56 c #Conflicts: 392000 | #Constraints: 26330
488.07/489.56 c #Conflicts: 393000 | #Constraints: 27330
488.07/489.56 c #Conflicts: 394000 | #Constraints: 28330
488.07/489.56 c #Conflicts: 395000 | #Constraints: 29330
488.07/489.56 c #Conflicts: 396000 | #Constraints: 30330
488.07/489.56 c #Conflicts: 397000 | #Constraints: 31330
488.07/489.56 c #Conflicts: 398000 | #Constraints: 32330
488.07/489.56 c #Conflicts: 399000 | #Constraints: 33330
488.07/489.56 c #Conflicts: 400000 | #Constraints: 34330
488.07/489.56 c #Conflicts: 401000 | #Constraints: 35330
488.07/489.56 c #Conflicts: 402000 | #Constraints: 36330
488.07/489.56 c #Conflicts: 403000 | #Constraints: 37330
488.07/489.56 c #Conflicts: 404000 | #Constraints: 38330
488.07/489.56 c #Conflicts: 405000 | #Constraints: 39330
488.07/489.56 c #Conflicts: 406000 | #Constraints: 40330
488.07/489.56 c #Conflicts: 407000 | #Constraints: 41330
488.07/489.56 c #Conflicts: 408000 | #Constraints: 42330
488.07/489.56 c #Conflicts: 409000 | #Constraints: 43330
488.07/489.56 c #Conflicts: 410000 | #Constraints: 44330
488.07/489.56 c #Conflicts: 411000 | #Constraints: 45330
488.07/489.56 c #Conflicts: 412000 | #Constraints: 46330
488.07/489.56 c #Conflicts: 413000 | #Constraints: 47330
488.07/489.56 c #Conflicts: 414000 | #Constraints: 48330
488.07/489.56 c #Conflicts: 415000 | #Constraints: 49330
488.07/489.56 c #Conflicts: 416000 | #Constraints: 50330
488.07/489.56 c #Conflicts: 417000 | #Constraints: 51330
488.07/489.56 c #Conflicts: 418000 | #Constraints: 52330
488.07/489.56 c #Conflicts: 419000 | #Constraints: 53330
488.07/489.56 c #Conflicts: 420000 | #Constraints: 54330
488.07/489.56 c #Conflicts: 421000 | #Constraints: 55330
488.07/489.56 c #Conflicts: 422000 | #Constraints: 56330
488.07/489.56 c #Conflicts: 423000 | #Constraints: 57330
488.07/489.56 c #Conflicts: 424000 | #Constraints: 58330
488.07/489.56 c #Conflicts: 425000 | #Constraints: 59330
488.07/489.56 c #Conflicts: 426000 | #Constraints: 60330
488.07/489.56 c #Conflicts: 427000 | #Constraints: 61330
488.07/489.56 c #Conflicts: 428000 | #Constraints: 62330
488.07/489.56 c #Conflicts: 429000 | #Constraints: 63330
488.07/489.56 c #Conflicts: 430000 | #Constraints: 64330
488.07/489.56 c #Conflicts: 431000 | #Constraints: 65330
488.07/489.56 c #Conflicts: 432000 | #Constraints: 66330
488.07/489.56 c #Conflicts: 433000 | #Constraints: 67330
488.07/489.56 c #Conflicts: 434000 | #Constraints: 68330
488.07/489.56 c #Conflicts: 435000 | #Constraints: 69330
488.07/489.56 c #Conflicts: 436000 | #Constraints: 70330
488.07/489.56 c INPROCESSING
488.07/489.56 c GARBAGE COLLECT
488.07/489.56 c #Conflicts: 437000 | #Constraints: 39447
545.80/547.42 c #Conflicts: 438000 | #Constraints: 40447
545.80/547.42 c #Conflicts: 439000 | #Constraints: 41447
545.80/547.42 c #Conflicts: 440000 | #Constraints: 42447
545.80/547.42 c #Conflicts: 441000 | #Constraints: 43447
545.80/547.42 c #Conflicts: 442000 | #Constraints: 44447
545.80/547.42 c #Conflicts: 443000 | #Constraints: 45447
545.80/547.42 c #Conflicts: 444000 | #Constraints: 46447
545.80/547.42 c #Conflicts: 445000 | #Constraints: 47447
545.80/547.42 c #Conflicts: 446000 | #Constraints: 48447
545.80/547.42 c #Conflicts: 447000 | #Constraints: 49447
545.80/547.42 c #Conflicts: 448000 | #Constraints: 50447
545.80/547.42 c #Conflicts: 449000 | #Constraints: 51447
545.80/547.42 c #Conflicts: 450000 | #Constraints: 52447
545.80/547.42 c #Conflicts: 451000 | #Constraints: 53447
545.80/547.42 c #Conflicts: 452000 | #Constraints: 54447
545.80/547.42 c INPROCESSING
545.80/547.42 c GARBAGE COLLECT
545.80/547.42 c #Conflicts: 453000 | #Constraints: 31936
545.80/547.42 c #Conflicts: 454000 | #Constraints: 32936
545.80/547.42 c #Conflicts: 455000 | #Constraints: 33936
545.80/547.42 c #Conflicts: 456000 | #Constraints: 34936
545.80/547.42 c #Conflicts: 457000 | #Constraints: 35936
545.80/547.42 c #Conflicts: 458000 | #Constraints: 36936
545.80/547.42 c #Conflicts: 459000 | #Constraints: 37936
545.80/547.42 c #Conflicts: 460000 | #Constraints: 38936
545.80/547.42 c #Conflicts: 461000 | #Constraints: 39936
545.80/547.42 c #Conflicts: 462000 | #Constraints: 40936
545.80/547.42 c #Conflicts: 463000 | #Constraints: 41936
545.80/547.42 c #Conflicts: 464000 | #Constraints: 42936
545.80/547.42 c #Conflicts: 465000 | #Constraints: 43936
545.80/547.42 c #Conflicts: 466000 | #Constraints: 44936
545.80/547.42 c #Conflicts: 467000 | #Constraints: 45936
545.80/547.42 c INPROCESSING
545.80/547.42 c GARBAGE COLLECT
545.80/547.42 c #Conflicts: 468000 | #Constraints: 27553
545.80/547.42 c #Conflicts: 469000 | #Constraints: 28553
545.80/547.42 c #Conflicts: 470000 | #Constraints: 29553
545.80/547.42 c #Conflicts: 471000 | #Constraints: 30553
545.80/547.42 c #Conflicts: 472000 | #Constraints: 31553
545.80/547.42 c #Conflicts: 473000 | #Constraints: 32553
545.80/547.42 c #Conflicts: 474000 | #Constraints: 33553
545.80/547.42 c #Conflicts: 475000 | #Constraints: 34553
545.80/547.42 c #Conflicts: 476000 | #Constraints: 35553
545.80/547.42 c #Conflicts: 477000 | #Constraints: 36553
545.80/547.42 c #Conflicts: 478000 | #Constraints: 37553
545.80/547.42 c #Conflicts: 479000 | #Constraints: 38553
545.80/547.42 c #Conflicts: 480000 | #Constraints: 39553
545.80/547.42 c #Conflicts: 481000 | #Constraints: 40553
545.80/547.42 c #Conflicts: 482000 | #Constraints: 41553
545.80/547.42 c #Conflicts: 483000 | #Constraints: 42553
545.80/547.42 c INPROCESSING
545.80/547.42 c GARBAGE COLLECT
545.80/547.42 c rational objective 96
570.23/571.97 c #Conflicts: 484000 | #Constraints: 26040
570.23/571.97 c #Conflicts: 485000 | #Constraints: 27040
570.23/571.97 c #Conflicts: 486000 | #Constraints: 28040
570.23/571.97 c #Conflicts: 487000 | #Constraints: 29040
570.23/571.97 c #Conflicts: 488000 | #Constraints: 30040
570.23/571.97 c #Conflicts: 489000 | #Constraints: 31040
570.23/571.97 c #Conflicts: 490000 | #Constraints: 32040
570.23/571.97 c #Conflicts: 491000 | #Constraints: 33040
570.23/571.97 c #Conflicts: 492000 | #Constraints: 34040
570.23/571.97 c #Conflicts: 493000 | #Constraints: 35040
570.23/571.97 c #Conflicts: 494000 | #Constraints: 36040
570.23/571.97 c #Conflicts: 495000 | #Constraints: 37040
570.23/571.97 c #Conflicts: 496000 | #Constraints: 38040
570.23/571.97 c #Conflicts: 497000 | #Constraints: 39040
570.23/571.97 c #Conflicts: 498000 | #Constraints: 40040
570.23/571.97 c INPROCESSING
570.23/571.97 c GARBAGE COLLECT
570.23/571.97 c rational objective 96
680.41/682.43 c #Conflicts: 499000 | #Constraints: 24302
680.41/682.43 c #Conflicts: 500000 | #Constraints: 25302
680.41/682.43 c #Conflicts: 501000 | #Constraints: 26302
680.41/682.43 c #Conflicts: 502000 | #Constraints: 27302
680.41/682.43 c #Conflicts: 503000 | #Constraints: 28302
680.41/682.43 c #Conflicts: 504000 | #Constraints: 29302
680.41/682.43 c #Conflicts: 505000 | #Constraints: 30302
680.41/682.43 c #Conflicts: 506000 | #Constraints: 31302
680.41/682.43 c #Conflicts: 507000 | #Constraints: 32302
680.41/682.43 c #Conflicts: 508000 | #Constraints: 33302
680.41/682.43 c #Conflicts: 509000 | #Constraints: 34302
680.41/682.43 c #Conflicts: 510000 | #Constraints: 35302
680.41/682.43 c #Conflicts: 511000 | #Constraints: 36302
680.41/682.43 c #Conflicts: 512000 | #Constraints: 37302
680.41/682.43 c #Conflicts: 513000 | #Constraints: 38302
680.41/682.43 c #Conflicts: 514000 | #Constraints: 39302
680.41/682.43 c #Conflicts: 515000 | #Constraints: 40302
680.41/682.43 c #Conflicts: 516000 | #Constraints: 41302
680.41/682.43 c #Conflicts: 517000 | #Constraints: 42302
680.41/682.43 c #Conflicts: 518000 | #Constraints: 43302
680.41/682.43 c #Conflicts: 519000 | #Constraints: 44302
680.41/682.43 c #Conflicts: 520000 | #Constraints: 45302
680.41/682.43 c #Conflicts: 521000 | #Constraints: 46302
680.41/682.43 c #Conflicts: 522000 | #Constraints: 47302
680.41/682.43 c #Conflicts: 523000 | #Constraints: 48302
680.41/682.43 c #Conflicts: 524000 | #Constraints: 49302
680.41/682.43 c #Conflicts: 525000 | #Constraints: 50302
680.41/682.43 c #Conflicts: 526000 | #Constraints: 51302
680.41/682.43 c #Conflicts: 527000 | #Constraints: 52302
680.41/682.43 c #Conflicts: 528000 | #Constraints: 53302
680.41/682.43 c #Conflicts: 529000 | #Constraints: 54302
680.41/682.43 c #Conflicts: 530000 | #Constraints: 55302
680.41/682.43 c #Conflicts: 531000 | #Constraints: 56302
680.41/682.43 c #Conflicts: 532000 | #Constraints: 57302
680.41/682.43 c #Conflicts: 533000 | #Constraints: 58302
680.41/682.43 c #Conflicts: 534000 | #Constraints: 59302
680.41/682.43 c #Conflicts: 535000 | #Constraints: 60302
680.41/682.43 c #Conflicts: 536000 | #Constraints: 61302
680.41/682.43 c #Conflicts: 537000 | #Constraints: 62302
680.41/682.43 c #Conflicts: 538000 | #Constraints: 63302
680.41/682.43 c #Conflicts: 539000 | #Constraints: 64303
680.41/682.43 c #Conflicts: 540000 | #Constraints: 65303
680.41/682.43 c #Conflicts: 541000 | #Constraints: 66303
680.41/682.43 c #Conflicts: 542000 | #Constraints: 67303
680.41/682.43 c #Conflicts: 543000 | #Constraints: 68303
680.41/682.43 c #Conflicts: 544000 | #Constraints: 69303
680.41/682.43 c #Conflicts: 545000 | #Constraints: 70303
680.41/682.43 c #Conflicts: 546000 | #Constraints: 71303
680.41/682.43 c #Conflicts: 547000 | #Constraints: 72303
680.41/682.43 c #Conflicts: 548000 | #Constraints: 73303
680.41/682.43 c #Conflicts: 549000 | #Constraints: 74303
680.41/682.43 c #Conflicts: 550000 | #Constraints: 75303
680.41/682.43 c #Conflicts: 551000 | #Constraints: 76303
680.41/682.43 c #Conflicts: 552000 | #Constraints: 77303
680.41/682.43 c #Conflicts: 553000 | #Constraints: 78303
680.41/682.43 c #Conflicts: 554000 | #Constraints: 79303
680.41/682.43 c INPROCESSING
680.41/682.43 c GARBAGE COLLECT
680.41/682.43 c rational objective 96
777.44/779.77 c #Conflicts: 555000 | #Constraints: 44217
777.44/779.77 c #Conflicts: 556000 | #Constraints: 45217
777.44/779.77 c #Conflicts: 557000 | #Constraints: 46217
777.44/779.77 c #Conflicts: 558000 | #Constraints: 47217
777.44/779.77 c #Conflicts: 559000 | #Constraints: 48217
777.44/779.77 c #Conflicts: 560000 | #Constraints: 49217
777.44/779.77 c #Conflicts: 561000 | #Constraints: 50217
777.44/779.77 c #Conflicts: 562000 | #Constraints: 51217
777.44/779.77 c #Conflicts: 563000 | #Constraints: 52217
777.44/779.77 c #Conflicts: 564000 | #Constraints: 53217
777.44/779.77 c #Conflicts: 565000 | #Constraints: 54217
777.44/779.77 c #Conflicts: 566000 | #Constraints: 55217
777.44/779.77 c #Conflicts: 567000 | #Constraints: 56217
777.44/779.77 c #Conflicts: 568000 | #Constraints: 57217
777.44/779.77 c #Conflicts: 569000 | #Constraints: 58217
777.44/779.77 c #Conflicts: 570000 | #Constraints: 59217
777.44/779.77 c #Conflicts: 571000 | #Constraints: 60217
777.44/779.77 c INPROCESSING
777.44/779.77 c GARBAGE COLLECT
777.44/779.77 c #Conflicts: 572000 | #Constraints: 34607
777.44/779.77 c #Conflicts: 573000 | #Constraints: 35607
777.44/779.77 c #Conflicts: 574000 | #Constraints: 36607
777.44/779.77 c #Conflicts: 575000 | #Constraints: 37607
777.44/779.77 c #Conflicts: 576000 | #Constraints: 38607
777.44/779.77 c #Conflicts: 577000 | #Constraints: 39607
777.44/779.77 c #Conflicts: 578000 | #Constraints: 40607
777.44/779.77 c #Conflicts: 579000 | #Constraints: 41607
777.44/779.77 c #Conflicts: 580000 | #Constraints: 42607
777.44/779.77 c #Conflicts: 581000 | #Constraints: 43607
777.44/779.77 c #Conflicts: 582000 | #Constraints: 44607
777.44/779.77 c #Conflicts: 583000 | #Constraints: 45607
777.44/779.77 c #Conflicts: 584000 | #Constraints: 46607
777.44/779.77 c #Conflicts: 585000 | #Constraints: 47607
777.44/779.77 c #Conflicts: 586000 | #Constraints: 48607
777.44/779.77 c #Conflicts: 587000 | #Constraints: 49607
777.44/779.77 c #Conflicts: 588000 | #Constraints: 50607
777.44/779.77 c INPROCESSING
777.44/779.77 c GARBAGE COLLECT
777.44/779.77 c #Conflicts: 589000 | #Constraints: 29610
777.44/779.77 c #Conflicts: 590000 | #Constraints: 30610
777.44/779.77 c #Conflicts: 591000 | #Constraints: 31610
777.44/779.77 c #Conflicts: 592000 | #Constraints: 32610
777.44/779.77 c #Conflicts: 593000 | #Constraints: 33610
777.44/779.77 c #Conflicts: 594000 | #Constraints: 34610
777.44/779.77 c #Conflicts: 595000 | #Constraints: 35610
777.44/779.77 c #Conflicts: 596000 | #Constraints: 36610
777.44/779.77 c #Conflicts: 597000 | #Constraints: 37610
777.44/779.77 c #Conflicts: 598000 | #Constraints: 38610
777.44/779.77 c #Conflicts: 599000 | #Constraints: 39610
777.44/779.77 c #Conflicts: 600000 | #Constraints: 40610
777.44/779.77 c #Conflicts: 601000 | #Constraints: 41610
777.44/779.77 c #Conflicts: 602000 | #Constraints: 42610
777.44/779.77 c #Conflicts: 603000 | #Constraints: 43610
777.44/779.77 c #Conflicts: 604000 | #Constraints: 44610
777.44/779.77 c #Conflicts: 605000 | #Constraints: 45610
777.44/779.77 c #Conflicts: 606000 | #Constraints: 46610
777.44/779.77 c INPROCESSING
777.44/779.77 c GARBAGE COLLECT
777.44/779.77 c #Conflicts: 607000 | #Constraints: 27823
777.44/779.77 c #Conflicts: 608000 | #Constraints: 28823
777.44/779.77 c #Conflicts: 609000 | #Constraints: 29823
777.44/779.77 c #Conflicts: 610000 | #Constraints: 30823
777.44/779.77 c #Conflicts: 611000 | #Constraints: 31823
777.44/779.77 c #Conflicts: 612000 | #Constraints: 32823
777.44/779.77 c #Conflicts: 613000 | #Constraints: 33823
777.44/779.77 c #Conflicts: 614000 | #Constraints: 34823
777.44/779.77 c #Conflicts: 615000 | #Constraints: 35823
777.44/779.77 c #Conflicts: 616000 | #Constraints: 36823
777.44/779.77 c #Conflicts: 617000 | #Constraints: 37823
777.44/779.77 c #Conflicts: 618000 | #Constraints: 38823
777.44/779.77 c #Conflicts: 619000 | #Constraints: 39823
777.44/779.77 c #Conflicts: 620000 | #Constraints: 40823
777.44/779.77 c #Conflicts: 621000 | #Constraints: 41823
777.44/779.77 c #Conflicts: 622000 | #Constraints: 42823
777.44/779.77 c #Conflicts: 623000 | #Constraints: 43823
777.44/779.77 c #Conflicts: 624000 | #Constraints: 44823
777.44/779.77 c INPROCESSING
777.44/779.77 c GARBAGE COLLECT
777.44/779.77 c #Conflicts: 625000 | #Constraints: 27102
777.44/779.77 c #Conflicts: 626000 | #Constraints: 28102
777.44/779.77 c #Conflicts: 627000 | #Constraints: 29102
777.44/779.77 c #Conflicts: 628000 | #Constraints: 30102
777.44/779.77 c #Conflicts: 629000 | #Constraints: 31102
777.44/779.77 c #Conflicts: 630000 | #Constraints: 32102
777.44/779.77 c #Conflicts: 631000 | #Constraints: 33102
910.65/913.35 c #Conflicts: 632000 | #Constraints: 34102
910.65/913.35 c #Conflicts: 633000 | #Constraints: 35102
910.65/913.35 c #Conflicts: 634000 | #Constraints: 36102
910.65/913.35 c #Conflicts: 635000 | #Constraints: 37102
910.65/913.35 c #Conflicts: 636000 | #Constraints: 38102
910.65/913.35 c #Conflicts: 637000 | #Constraints: 39102
910.65/913.35 c #Conflicts: 638000 | #Constraints: 40102
910.65/913.35 c #Conflicts: 639000 | #Constraints: 41102
910.65/913.35 c #Conflicts: 640000 | #Constraints: 42102
910.65/913.35 c #Conflicts: 641000 | #Constraints: 43102
910.65/913.35 c #Conflicts: 642000 | #Constraints: 44102
910.65/913.35 c #Conflicts: 643000 | #Constraints: 45102
910.65/913.35 c #Conflicts: 644000 | #Constraints: 46102
910.65/913.35 c #Conflicts: 645000 | #Constraints: 47102
910.65/913.35 c #Conflicts: 646000 | #Constraints: 48102
910.65/913.35 c #Conflicts: 647000 | #Constraints: 49102
910.65/913.35 c #Conflicts: 648000 | #Constraints: 50102
910.65/913.35 c #Conflicts: 649000 | #Constraints: 51102
910.65/913.35 c #Conflicts: 650000 | #Constraints: 52102
910.65/913.35 c #Conflicts: 651000 | #Constraints: 53102
910.65/913.35 c #Conflicts: 652000 | #Constraints: 54102
910.65/913.35 c #Conflicts: 653000 | #Constraints: 55102
910.65/913.35 c #Conflicts: 654000 | #Constraints: 56102
910.65/913.35 c #Conflicts: 655000 | #Constraints: 57102
910.65/913.35 c #Conflicts: 656000 | #Constraints: 58102
910.65/913.35 c #Conflicts: 657000 | #Constraints: 59102
910.65/913.35 c #Conflicts: 658000 | #Constraints: 60102
910.65/913.35 c #Conflicts: 659000 | #Constraints: 61102
910.65/913.35 c #Conflicts: 660000 | #Constraints: 62102
910.65/913.35 c #Conflicts: 661000 | #Constraints: 63102
910.65/913.35 c #Conflicts: 662000 | #Constraints: 64102
910.65/913.35 c #Conflicts: 663000 | #Constraints: 65102
910.65/913.35 c #Conflicts: 664000 | #Constraints: 66102
910.65/913.35 c #Conflicts: 665000 | #Constraints: 67102
910.65/913.35 c #Conflicts: 666000 | #Constraints: 68102
910.65/913.35 c #Conflicts: 667000 | #Constraints: 69102
910.65/913.35 c #Conflicts: 668000 | #Constraints: 70102
910.65/913.35 c #Conflicts: 669000 | #Constraints: 71102
910.65/913.35 c #Conflicts: 670000 | #Constraints: 72102
910.65/913.35 c #Conflicts: 671000 | #Constraints: 73102
910.65/913.35 c #Conflicts: 672000 | #Constraints: 74102
910.65/913.35 c #Conflicts: 673000 | #Constraints: 75102
910.65/913.35 c #Conflicts: 674000 | #Constraints: 76102
910.65/913.35 c #Conflicts: 675000 | #Constraints: 77102
910.65/913.35 c #Conflicts: 676000 | #Constraints: 78102
910.65/913.35 c #Conflicts: 677000 | #Constraints: 79102
910.65/913.35 c #Conflicts: 678000 | #Constraints: 80102
910.65/913.35 c #Conflicts: 679000 | #Constraints: 81102
910.65/913.35 c #Conflicts: 680000 | #Constraints: 82102
910.65/913.35 c #Conflicts: 681000 | #Constraints: 83102
910.65/913.35 c #Conflicts: 682000 | #Constraints: 84102
910.65/913.35 c #Conflicts: 683000 | #Constraints: 85102
910.65/913.35 c #Conflicts: 684000 | #Constraints: 86102
910.65/913.35 c #Conflicts: 685000 | #Constraints: 87102
910.65/913.35 c #Conflicts: 686000 | #Constraints: 88102
910.65/913.35 c INPROCESSING
910.65/913.35 c GARBAGE COLLECT
910.65/913.35 c rational objective 96
952.43/955.28 c #Conflicts: 687000 | #Constraints: 48758
952.43/955.28 c #Conflicts: 688000 | #Constraints: 49758
952.43/955.28 c #Conflicts: 689000 | #Constraints: 50758
952.43/955.28 c #Conflicts: 690000 | #Constraints: 51758
952.43/955.28 c #Conflicts: 691000 | #Constraints: 52758
952.43/955.28 c #Conflicts: 692000 | #Constraints: 53758
952.43/955.28 c #Conflicts: 693000 | #Constraints: 54758
952.43/955.28 c #Conflicts: 694000 | #Constraints: 55758
952.43/955.28 c #Conflicts: 695000 | #Constraints: 56758
952.43/955.28 c #Conflicts: 696000 | #Constraints: 57758
952.43/955.28 c #Conflicts: 697000 | #Constraints: 58758
952.43/955.28 c #Conflicts: 698000 | #Constraints: 59758
952.43/955.28 c #Conflicts: 699000 | #Constraints: 60758
952.43/955.28 c #Conflicts: 700000 | #Constraints: 61758
952.43/955.28 c #Conflicts: 701000 | #Constraints: 62758
952.43/955.28 c #Conflicts: 702000 | #Constraints: 63758
952.43/955.28 c #Conflicts: 703000 | #Constraints: 64758
952.43/955.28 c #Conflicts: 704000 | #Constraints: 65758
952.43/955.28 c #Conflicts: 705000 | #Constraints: 66758
952.43/955.28 c INPROCESSING
952.43/955.28 c GARBAGE COLLECT
952.43/955.28 c rational objective 96
1060.33/1063.40 c #Conflicts: 706000 | #Constraints: 38159
1060.33/1063.40 c #Conflicts: 707000 | #Constraints: 39159
1060.33/1063.40 c #Conflicts: 708000 | #Constraints: 40159
1060.33/1063.40 c #Conflicts: 709000 | #Constraints: 41159
1060.33/1063.40 c #Conflicts: 710000 | #Constraints: 42159
1060.33/1063.40 c #Conflicts: 711000 | #Constraints: 43159
1060.33/1063.40 c #Conflicts: 712000 | #Constraints: 44159
1060.33/1063.40 c #Conflicts: 713000 | #Constraints: 45159
1060.33/1063.40 c #Conflicts: 714000 | #Constraints: 46159
1060.33/1063.40 c #Conflicts: 715000 | #Constraints: 47159
1060.33/1063.40 c #Conflicts: 716000 | #Constraints: 48159
1060.33/1063.40 c #Conflicts: 717000 | #Constraints: 49159
1060.33/1063.40 c #Conflicts: 718000 | #Constraints: 50159
1060.33/1063.40 c #Conflicts: 719000 | #Constraints: 51159
1060.33/1063.40 c #Conflicts: 720000 | #Constraints: 52159
1060.33/1063.40 c #Conflicts: 721000 | #Constraints: 53159
1060.33/1063.40 c #Conflicts: 722000 | #Constraints: 54159
1060.33/1063.40 c #Conflicts: 723000 | #Constraints: 55159
1060.33/1063.40 c #Conflicts: 724000 | #Constraints: 56159
1060.33/1063.40 c INPROCESSING
1060.33/1063.40 c GARBAGE COLLECT
1060.33/1063.40 c #Conflicts: 725000 | #Constraints: 32713
1060.33/1063.40 c #Conflicts: 726000 | #Constraints: 33713
1060.33/1063.40 c #Conflicts: 727000 | #Constraints: 34713
1060.33/1063.40 c #Conflicts: 728000 | #Constraints: 35713
1060.33/1063.40 c #Conflicts: 729000 | #Constraints: 36713
1060.33/1063.40 c #Conflicts: 730000 | #Constraints: 37713
1060.33/1063.40 c #Conflicts: 731000 | #Constraints: 38713
1060.33/1063.40 c #Conflicts: 732000 | #Constraints: 39713
1060.33/1063.40 c #Conflicts: 733000 | #Constraints: 40713
1060.33/1063.40 c #Conflicts: 734000 | #Constraints: 41713
1060.33/1063.40 c #Conflicts: 735000 | #Constraints: 42713
1060.33/1063.40 c #Conflicts: 736000 | #Constraints: 43713
1060.33/1063.40 c #Conflicts: 737000 | #Constraints: 44713
1060.33/1063.40 c #Conflicts: 738000 | #Constraints: 45713
1060.33/1063.40 c #Conflicts: 739000 | #Constraints: 46713
1060.33/1063.40 c #Conflicts: 740000 | #Constraints: 47713
1060.33/1063.40 c #Conflicts: 741000 | #Constraints: 48713
1060.33/1063.40 c #Conflicts: 742000 | #Constraints: 49713
1060.33/1063.40 c #Conflicts: 743000 | #Constraints: 50713
1060.33/1063.40 c INPROCESSING
1060.33/1063.40 c GARBAGE COLLECT
1060.33/1063.40 c #Conflicts: 744000 | #Constraints: 29858
1060.33/1063.40 c #Conflicts: 745000 | #Constraints: 30858
1060.33/1063.40 c #Conflicts: 746000 | #Constraints: 31858
1060.33/1063.40 c #Conflicts: 747000 | #Constraints: 32858
1060.33/1063.40 c #Conflicts: 748000 | #Constraints: 33858
1060.33/1063.40 c #Conflicts: 749000 | #Constraints: 34859
1060.33/1063.40 c #Conflicts: 750000 | #Constraints: 35859
1060.33/1063.40 c #Conflicts: 751000 | #Constraints: 36859
1060.33/1063.40 c #Conflicts: 752000 | #Constraints: 37859
1060.33/1063.40 c #Conflicts: 753000 | #Constraints: 38859
1060.33/1063.40 c #Conflicts: 754000 | #Constraints: 39859
1060.33/1063.40 c #Conflicts: 755000 | #Constraints: 40859
1060.33/1063.40 c #Conflicts: 756000 | #Constraints: 41859
1060.33/1063.40 c #Conflicts: 757000 | #Constraints: 42859
1060.33/1063.40 c #Conflicts: 758000 | #Constraints: 43859
1060.33/1063.40 c #Conflicts: 759000 | #Constraints: 44859
1060.33/1063.40 c #Conflicts: 760000 | #Constraints: 45859
1060.33/1063.40 c #Conflicts: 761000 | #Constraints: 46859
1060.33/1063.40 c #Conflicts: 762000 | #Constraints: 47859
1060.33/1063.40 c #Conflicts: 763000 | #Constraints: 48859
1060.33/1063.40 c INPROCESSING
1060.33/1063.40 c GARBAGE COLLECT
1060.33/1063.40 c #Conflicts: 764000 | #Constraints: 29168
1060.33/1063.40 c #Conflicts: 765000 | #Constraints: 30168
1060.33/1063.40 c #Conflicts: 766000 | #Constraints: 31168
1060.33/1063.40 c #Conflicts: 767000 | #Constraints: 32168
1060.33/1063.40 c #Conflicts: 768000 | #Constraints: 33168
1060.33/1063.40 c #Conflicts: 769000 | #Constraints: 34168
1060.33/1063.40 c #Conflicts: 770000 | #Constraints: 35168
1060.33/1063.40 c #Conflicts: 771000 | #Constraints: 36168
1060.33/1063.40 c #Conflicts: 772000 | #Constraints: 37168
1060.33/1063.40 c #Conflicts: 773000 | #Constraints: 38168
1060.33/1063.40 c #Conflicts: 774000 | #Constraints: 39168
1060.33/1063.40 c #Conflicts: 775000 | #Constraints: 40168
1060.33/1063.40 c #Conflicts: 776000 | #Constraints: 41168
1060.33/1063.40 c #Conflicts: 777000 | #Constraints: 42168
1060.33/1063.40 c #Conflicts: 778000 | #Constraints: 43168
1060.33/1063.40 c #Conflicts: 779000 | #Constraints: 44168
1060.33/1063.40 c #Conflicts: 780000 | #Constraints: 45168
1060.33/1063.40 c #Conflicts: 781000 | #Constraints: 46168
1060.33/1063.40 c #Conflicts: 782000 | #Constraints: 47168
1204.11/1207.64 c #Conflicts: 783000 | #Constraints: 48168
1204.11/1207.64 c #Conflicts: 784000 | #Constraints: 49168
1204.11/1207.64 c #Conflicts: 785000 | #Constraints: 50168
1204.11/1207.64 c #Conflicts: 786000 | #Constraints: 51168
1204.11/1207.64 c #Conflicts: 787000 | #Constraints: 52168
1204.11/1207.64 c #Conflicts: 788000 | #Constraints: 53168
1204.11/1207.64 c #Conflicts: 789000 | #Constraints: 54168
1204.11/1207.64 c #Conflicts: 790000 | #Constraints: 55168
1204.11/1207.64 c #Conflicts: 791000 | #Constraints: 56168
1204.11/1207.64 c #Conflicts: 792000 | #Constraints: 57168
1204.11/1207.64 c #Conflicts: 793000 | #Constraints: 58168
1204.11/1207.64 c #Conflicts: 794000 | #Constraints: 59168
1204.11/1207.64 c #Conflicts: 795000 | #Constraints: 60168
1204.11/1207.64 c #Conflicts: 796000 | #Constraints: 61168
1204.11/1207.64 c #Conflicts: 797000 | #Constraints: 62168
1204.11/1207.64 c #Conflicts: 798000 | #Constraints: 63168
1204.11/1207.64 c #Conflicts: 799000 | #Constraints: 64168
1204.11/1207.64 c #Conflicts: 800000 | #Constraints: 65168
1204.11/1207.64 c #Conflicts: 801000 | #Constraints: 66168
1204.11/1207.64 c #Conflicts: 802000 | #Constraints: 67168
1204.11/1207.64 c #Conflicts: 803000 | #Constraints: 68168
1204.11/1207.64 c #Conflicts: 804000 | #Constraints: 69168
1204.11/1207.64 c #Conflicts: 805000 | #Constraints: 70168
1204.11/1207.64 c #Conflicts: 806000 | #Constraints: 71168
1204.11/1207.64 c #Conflicts: 807000 | #Constraints: 72168
1204.11/1207.64 c #Conflicts: 808000 | #Constraints: 73168
1204.11/1207.64 c #Conflicts: 809000 | #Constraints: 74168
1204.11/1207.64 c #Conflicts: 810000 | #Constraints: 75168
1204.11/1207.64 c #Conflicts: 811000 | #Constraints: 76168
1204.11/1207.64 c #Conflicts: 812000 | #Constraints: 77169
1204.11/1207.64 c #Conflicts: 813000 | #Constraints: 78169
1204.11/1207.64 c #Conflicts: 814000 | #Constraints: 79169
1204.11/1207.64 c #Conflicts: 815000 | #Constraints: 80169
1204.11/1207.64 c #Conflicts: 816000 | #Constraints: 81169
1204.11/1207.64 c #Conflicts: 817000 | #Constraints: 82169
1204.11/1207.64 c #Conflicts: 818000 | #Constraints: 83169
1204.11/1207.64 c #Conflicts: 819000 | #Constraints: 84169
1204.11/1207.64 c #Conflicts: 820000 | #Constraints: 85169
1204.11/1207.64 c #Conflicts: 821000 | #Constraints: 86169
1204.11/1207.64 c #Conflicts: 822000 | #Constraints: 87169
1204.11/1207.64 c #Conflicts: 823000 | #Constraints: 88169
1204.11/1207.64 c #Conflicts: 824000 | #Constraints: 89169
1204.11/1207.64 c #Conflicts: 825000 | #Constraints: 90169
1204.11/1207.64 c #Conflicts: 826000 | #Constraints: 91169
1204.11/1207.64 c #Conflicts: 827000 | #Constraints: 92169
1204.11/1207.64 c #Conflicts: 828000 | #Constraints: 93169
1204.11/1207.64 c #Conflicts: 829000 | #Constraints: 94169
1204.11/1207.64 c #Conflicts: 830000 | #Constraints: 95169
1204.11/1207.64 c #Conflicts: 831000 | #Constraints: 96169
1204.11/1207.64 c INPROCESSING
1204.11/1207.64 c GARBAGE COLLECT
1204.11/1207.64 c rational objective 96
1320.37/1324.29 c #Conflicts: 832000 | #Constraints: 52524
1320.37/1324.29 c #Conflicts: 833000 | #Constraints: 53524
1320.37/1324.29 c #Conflicts: 834000 | #Constraints: 54524
1320.37/1324.29 c #Conflicts: 835000 | #Constraints: 55524
1320.37/1324.29 c #Conflicts: 836000 | #Constraints: 56524
1320.37/1324.29 c #Conflicts: 837000 | #Constraints: 57524
1320.37/1324.29 c #Conflicts: 838000 | #Constraints: 58524
1320.37/1324.29 c #Conflicts: 839000 | #Constraints: 59524
1320.37/1324.29 c #Conflicts: 840000 | #Constraints: 60524
1320.37/1324.29 c #Conflicts: 841000 | #Constraints: 61524
1320.37/1324.29 c #Conflicts: 842000 | #Constraints: 62524
1320.37/1324.29 c #Conflicts: 843000 | #Constraints: 63524
1320.37/1324.29 c #Conflicts: 844000 | #Constraints: 64524
1320.37/1324.29 c #Conflicts: 845000 | #Constraints: 65524
1320.37/1324.29 c #Conflicts: 846000 | #Constraints: 66524
1320.37/1324.29 c #Conflicts: 847000 | #Constraints: 67524
1320.37/1324.29 c #Conflicts: 848000 | #Constraints: 68524
1320.37/1324.29 c #Conflicts: 849000 | #Constraints: 69524
1320.37/1324.29 c #Conflicts: 850000 | #Constraints: 70524
1320.37/1324.29 c #Conflicts: 851000 | #Constraints: 71524
1320.37/1324.29 c #Conflicts: 852000 | #Constraints: 72524
1320.37/1324.29 c INPROCESSING
1320.37/1324.29 c GARBAGE COLLECT
1320.37/1324.29 c #Conflicts: 853000 | #Constraints: 40804
1320.37/1324.29 c #Conflicts: 854000 | #Constraints: 41804
1320.37/1324.29 c #Conflicts: 855000 | #Constraints: 42804
1320.37/1324.29 c #Conflicts: 856000 | #Constraints: 43804
1320.37/1324.29 c #Conflicts: 857000 | #Constraints: 44804
1320.37/1324.29 c #Conflicts: 858000 | #Constraints: 45804
1320.37/1324.29 c #Conflicts: 859000 | #Constraints: 46804
1320.37/1324.29 c #Conflicts: 860000 | #Constraints: 47804
1320.37/1324.29 c #Conflicts: 861000 | #Constraints: 48804
1320.37/1324.29 c #Conflicts: 862000 | #Constraints: 49804
1320.37/1324.29 c #Conflicts: 863000 | #Constraints: 50804
1320.37/1324.29 c #Conflicts: 864000 | #Constraints: 51804
1320.37/1324.29 c #Conflicts: 865000 | #Constraints: 52804
1320.37/1324.29 c #Conflicts: 866000 | #Constraints: 53804
1320.37/1324.29 c #Conflicts: 867000 | #Constraints: 54804
1320.37/1324.29 c #Conflicts: 868000 | #Constraints: 55804
1320.37/1324.29 c #Conflicts: 869000 | #Constraints: 56804
1320.37/1324.29 c #Conflicts: 870000 | #Constraints: 57804
1320.37/1324.29 c #Conflicts: 871000 | #Constraints: 58804
1320.37/1324.29 c #Conflicts: 872000 | #Constraints: 59804
1320.37/1324.29 c #Conflicts: 873000 | #Constraints: 60804
1320.37/1324.29 c INPROCESSING
1320.37/1324.29 c GARBAGE COLLECT
1320.37/1324.29 c #Conflicts: 874000 | #Constraints: 34934
1320.37/1324.29 c #Conflicts: 875000 | #Constraints: 35934
1320.37/1324.29 c #Conflicts: 876000 | #Constraints: 36934
1320.37/1324.29 c #Conflicts: 877000 | #Constraints: 37934
1320.37/1324.29 c #Conflicts: 878000 | #Constraints: 38934
1320.37/1324.29 c #Conflicts: 879000 | #Constraints: 39934
1320.37/1324.29 c #Conflicts: 880000 | #Constraints: 40934
1320.37/1324.29 c #Conflicts: 881000 | #Constraints: 41934
1320.37/1324.29 c #Conflicts: 882000 | #Constraints: 42935
1320.37/1324.29 c #Conflicts: 883000 | #Constraints: 43935
1320.37/1324.29 c #Conflicts: 884000 | #Constraints: 44935
1320.37/1324.29 c #Conflicts: 885000 | #Constraints: 45935
1320.37/1324.29 c #Conflicts: 886000 | #Constraints: 46935
1320.37/1324.29 c #Conflicts: 887000 | #Constraints: 47935
1320.37/1324.29 c #Conflicts: 888000 | #Constraints: 48935
1320.37/1324.29 c #Conflicts: 889000 | #Constraints: 49935
1320.37/1324.29 c #Conflicts: 890000 | #Constraints: 50935
1320.37/1324.29 c #Conflicts: 891000 | #Constraints: 51935
1320.37/1324.29 c #Conflicts: 892000 | #Constraints: 52935
1320.37/1324.29 c #Conflicts: 893000 | #Constraints: 53935
1320.37/1324.29 c #Conflicts: 894000 | #Constraints: 54935
1320.37/1324.29 c INPROCESSING
1320.37/1324.29 c GARBAGE COLLECT
1320.37/1324.29 c #Conflicts: 895000 | #Constraints: 31773
1320.37/1324.29 c #Conflicts: 896000 | #Constraints: 32773
1320.37/1324.29 c #Conflicts: 897000 | #Constraints: 33773
1320.37/1324.29 c #Conflicts: 898000 | #Constraints: 34773
1320.37/1324.29 c #Conflicts: 899000 | #Constraints: 35773
1320.37/1324.29 c #Conflicts: 900000 | #Constraints: 36773
1320.37/1324.29 c #Conflicts: 901000 | #Constraints: 37773
1320.37/1324.29 c #Conflicts: 902000 | #Constraints: 38773
1320.37/1324.29 c #Conflicts: 903000 | #Constraints: 39773
1320.37/1324.29 c #Conflicts: 904000 | #Constraints: 40773
1320.37/1324.29 c #Conflicts: 905000 | #Constraints: 41773
1320.37/1324.29 c #Conflicts: 906000 | #Constraints: 42773
1320.37/1324.29 c #Conflicts: 907000 | #Constraints: 43773
1320.37/1324.29 c #Conflicts: 908000 | #Constraints: 44773
1482.11/1486.58 c #Conflicts: 909000 | #Constraints: 45773
1482.11/1486.58 c #Conflicts: 910000 | #Constraints: 46773
1482.11/1486.58 c #Conflicts: 911000 | #Constraints: 47773
1482.11/1486.58 c #Conflicts: 912000 | #Constraints: 48773
1482.11/1486.58 c #Conflicts: 913000 | #Constraints: 49773
1482.11/1486.58 c #Conflicts: 914000 | #Constraints: 50773
1482.11/1486.58 c #Conflicts: 915000 | #Constraints: 51773
1482.11/1486.58 c #Conflicts: 916000 | #Constraints: 52773
1482.11/1486.58 c INPROCESSING
1482.11/1486.58 c GARBAGE COLLECT
1482.11/1486.58 c #Conflicts: 917000 | #Constraints: 30958
1482.11/1486.58 c #Conflicts: 918000 | #Constraints: 31958
1482.11/1486.58 c #Conflicts: 919000 | #Constraints: 32958
1482.11/1486.58 c #Conflicts: 920000 | #Constraints: 33958
1482.11/1486.58 c #Conflicts: 921000 | #Constraints: 34958
1482.11/1486.58 c #Conflicts: 922000 | #Constraints: 35958
1482.11/1486.58 c #Conflicts: 923000 | #Constraints: 36958
1482.11/1486.58 c #Conflicts: 924000 | #Constraints: 37958
1482.11/1486.58 c #Conflicts: 925000 | #Constraints: 38958
1482.11/1486.58 c #Conflicts: 926000 | #Constraints: 39958
1482.11/1486.58 c #Conflicts: 927000 | #Constraints: 40958
1482.11/1486.58 c #Conflicts: 928000 | #Constraints: 41958
1482.11/1486.58 c #Conflicts: 929000 | #Constraints: 42958
1482.11/1486.58 c #Conflicts: 930000 | #Constraints: 43958
1482.11/1486.58 c #Conflicts: 931000 | #Constraints: 44958
1482.11/1486.58 c #Conflicts: 932000 | #Constraints: 45958
1482.11/1486.58 c #Conflicts: 933000 | #Constraints: 46958
1482.11/1486.58 c #Conflicts: 934000 | #Constraints: 47958
1482.11/1486.58 c #Conflicts: 935000 | #Constraints: 48958
1482.11/1486.58 c #Conflicts: 936000 | #Constraints: 49958
1482.11/1486.58 c #Conflicts: 937000 | #Constraints: 50958
1482.11/1486.58 c #Conflicts: 938000 | #Constraints: 51958
1482.11/1486.58 c #Conflicts: 939000 | #Constraints: 52958
1482.11/1486.58 c #Conflicts: 940000 | #Constraints: 53958
1482.11/1486.58 c #Conflicts: 941000 | #Constraints: 54958
1482.11/1486.58 c #Conflicts: 942000 | #Constraints: 55958
1482.11/1486.58 c #Conflicts: 943000 | #Constraints: 56958
1482.11/1486.58 c #Conflicts: 944000 | #Constraints: 57958
1482.11/1486.58 c #Conflicts: 945000 | #Constraints: 58958
1482.11/1486.58 c #Conflicts: 946000 | #Constraints: 59958
1482.11/1486.58 c #Conflicts: 947000 | #Constraints: 60958
1482.11/1486.58 c #Conflicts: 948000 | #Constraints: 61958
1482.11/1486.58 c #Conflicts: 949000 | #Constraints: 62958
1482.11/1486.58 c #Conflicts: 950000 | #Constraints: 63958
1482.11/1486.58 c #Conflicts: 951000 | #Constraints: 64958
1482.11/1486.58 c #Conflicts: 952000 | #Constraints: 65958
1482.11/1486.58 c #Conflicts: 953000 | #Constraints: 66958
1482.11/1486.58 c #Conflicts: 954000 | #Constraints: 67958
1482.11/1486.58 c #Conflicts: 955000 | #Constraints: 68958
1482.11/1486.58 c #Conflicts: 956000 | #Constraints: 69958
1482.11/1486.58 c #Conflicts: 957000 | #Constraints: 70958
1482.11/1486.58 c #Conflicts: 958000 | #Constraints: 71958
1482.11/1486.58 c #Conflicts: 959000 | #Constraints: 72958
1482.11/1486.58 c #Conflicts: 960000 | #Constraints: 73958
1482.11/1486.58 c #Conflicts: 961000 | #Constraints: 74958
1482.11/1486.58 c #Conflicts: 962000 | #Constraints: 75958
1482.11/1486.58 c #Conflicts: 963000 | #Constraints: 76958
1482.11/1486.58 c #Conflicts: 964000 | #Constraints: 77958
1482.11/1486.58 c #Conflicts: 965000 | #Constraints: 78958
1482.11/1486.58 c #Conflicts: 966000 | #Constraints: 79958
1482.11/1486.58 c #Conflicts: 967000 | #Constraints: 80958
1482.11/1486.58 c #Conflicts: 968000 | #Constraints: 81958
1482.11/1486.58 c #Conflicts: 969000 | #Constraints: 82958
1482.11/1486.58 c #Conflicts: 970000 | #Constraints: 83958
1482.11/1486.58 c #Conflicts: 971000 | #Constraints: 84958
1482.11/1486.58 c #Conflicts: 972000 | #Constraints: 85958
1482.11/1486.58 c #Conflicts: 973000 | #Constraints: 86958
1482.11/1486.58 c #Conflicts: 974000 | #Constraints: 87958
1482.11/1486.58 c #Conflicts: 975000 | #Constraints: 88958
1482.11/1486.58 c #Conflicts: 976000 | #Constraints: 89958
1482.11/1486.58 c #Conflicts: 977000 | #Constraints: 90958
1482.11/1486.58 c #Conflicts: 978000 | #Constraints: 91958
1482.11/1486.58 c #Conflicts: 979000 | #Constraints: 92958
1482.11/1486.58 c #Conflicts: 980000 | #Constraints: 93958
1482.11/1486.58 c #Conflicts: 981000 | #Constraints: 94958
1482.11/1486.58 c #Conflicts: 982000 | #Constraints: 95958
1482.11/1486.58 c #Conflicts: 983000 | #Constraints: 96958
1482.11/1486.58 c #Conflicts: 984000 | #Constraints: 97958
1482.11/1486.58 c #Conflicts: 985000 | #Constraints: 98958
1482.11/1486.58 c #Conflicts: 986000 | #Constraints: 99958
1640.77/1645.79 c #Conflicts: 987000 | #Constraints: 100958
1640.77/1645.79 c #Conflicts: 988000 | #Constraints: 101958
1640.77/1645.79 c #Conflicts: 989000 | #Constraints: 102958
1640.77/1645.79 c #Conflicts: 990000 | #Constraints: 103958
1640.77/1645.79 c #Conflicts: 991000 | #Constraints: 104958
1640.77/1645.79 c INPROCESSING
1640.77/1645.79 c GARBAGE COLLECT
1640.77/1645.79 c #Conflicts: 992000 | #Constraints: 57215
1640.77/1645.79 c #Conflicts: 993000 | #Constraints: 58215
1640.77/1645.79 c #Conflicts: 994000 | #Constraints: 59215
1640.77/1645.79 c #Conflicts: 995000 | #Constraints: 60215
1640.77/1645.79 c #Conflicts: 996000 | #Constraints: 61215
1640.77/1645.79 c #Conflicts: 997000 | #Constraints: 62215
1640.77/1645.79 c #Conflicts: 998000 | #Constraints: 63215
1640.77/1645.79 c #Conflicts: 999000 | #Constraints: 64215
1640.77/1645.79 c #Conflicts: 1000000 | #Constraints: 65215
1640.77/1645.79 c #Conflicts: 1001000 | #Constraints: 66215
1640.77/1645.79 c #Conflicts: 1002000 | #Constraints: 67215
1640.77/1645.79 c #Conflicts: 1003000 | #Constraints: 68215
1640.77/1645.79 c #Conflicts: 1004000 | #Constraints: 69215
1640.77/1645.79 c #Conflicts: 1005000 | #Constraints: 70215
1640.77/1645.79 c #Conflicts: 1006000 | #Constraints: 71215
1640.77/1645.79 c #Conflicts: 1007000 | #Constraints: 72215
1640.77/1645.79 c #Conflicts: 1008000 | #Constraints: 73215
1640.77/1645.79 c #Conflicts: 1009000 | #Constraints: 74215
1640.77/1645.79 c #Conflicts: 1010000 | #Constraints: 75215
1640.77/1645.79 c #Conflicts: 1011000 | #Constraints: 76215
1640.77/1645.79 c #Conflicts: 1012000 | #Constraints: 77215
1640.77/1645.79 c #Conflicts: 1013000 | #Constraints: 78215
1640.77/1645.79 c #Conflicts: 1014000 | #Constraints: 79215
1640.77/1645.79 c INPROCESSING
1640.77/1645.79 c GARBAGE COLLECT
1640.77/1645.79 c #Conflicts: 1015000 | #Constraints: 44354
1640.77/1645.79 c #Conflicts: 1016000 | #Constraints: 45354
1640.77/1645.79 c #Conflicts: 1017000 | #Constraints: 46354
1640.77/1645.79 c #Conflicts: 1018000 | #Constraints: 47354
1640.77/1645.79 c #Conflicts: 1019000 | #Constraints: 48354
1640.77/1645.79 c #Conflicts: 1020000 | #Constraints: 49354
1640.77/1645.79 c #Conflicts: 1021000 | #Constraints: 50354
1640.77/1645.79 c #Conflicts: 1022000 | #Constraints: 51354
1640.77/1645.79 c #Conflicts: 1023000 | #Constraints: 52354
1640.77/1645.79 c #Conflicts: 1024000 | #Constraints: 53354
1640.77/1645.79 c #Conflicts: 1025000 | #Constraints: 54354
1640.77/1645.79 c #Conflicts: 1026000 | #Constraints: 55354
1640.77/1645.79 c #Conflicts: 1027000 | #Constraints: 56354
1640.77/1645.79 c #Conflicts: 1028000 | #Constraints: 57354
1640.77/1645.79 c #Conflicts: 1029000 | #Constraints: 58354
1640.77/1645.79 c #Conflicts: 1030000 | #Constraints: 59354
1640.77/1645.79 c #Conflicts: 1031000 | #Constraints: 60354
1640.77/1645.79 c #Conflicts: 1032000 | #Constraints: 61354
1640.77/1645.79 c #Conflicts: 1033000 | #Constraints: 62354
1640.77/1645.79 c #Conflicts: 1034000 | #Constraints: 63354
1640.77/1645.79 c #Conflicts: 1035000 | #Constraints: 64354
1640.77/1645.79 c #Conflicts: 1036000 | #Constraints: 65354
1640.77/1645.79 c #Conflicts: 1037000 | #Constraints: 66354
1640.77/1645.79 c INPROCESSING
1640.77/1645.79 c GARBAGE COLLECT
1640.77/1645.79 c #Conflicts: 1038000 | #Constraints: 37952
1640.77/1645.79 c #Conflicts: 1039000 | #Constraints: 38952
1640.77/1645.79 c #Conflicts: 1040000 | #Constraints: 39952
1640.77/1645.79 c #Conflicts: 1041000 | #Constraints: 40952
1640.77/1645.79 c #Conflicts: 1042000 | #Constraints: 41952
1640.77/1645.79 c #Conflicts: 1043000 | #Constraints: 42952
1640.77/1645.79 c #Conflicts: 1044000 | #Constraints: 43952
1640.77/1645.79 c #Conflicts: 1045000 | #Constraints: 44952
1640.77/1645.79 c #Conflicts: 1046000 | #Constraints: 45952
1640.77/1645.79 c #Conflicts: 1047000 | #Constraints: 46952
1640.77/1645.79 c #Conflicts: 1048000 | #Constraints: 47952
1640.77/1645.79 c #Conflicts: 1049000 | #Constraints: 48952
1640.77/1645.79 c #Conflicts: 1050000 | #Constraints: 49952
1640.77/1645.79 c #Conflicts: 1051000 | #Constraints: 50952
1640.77/1645.79 c #Conflicts: 1052000 | #Constraints: 51952
1640.77/1645.79 c #Conflicts: 1053000 | #Constraints: 52952
1640.77/1645.79 c #Conflicts: 1054000 | #Constraints: 53952
1640.77/1645.79 c #Conflicts: 1055000 | #Constraints: 54952
1640.77/1645.79 c #Conflicts: 1056000 | #Constraints: 55952
1640.77/1645.79 c #Conflicts: 1057000 | #Constraints: 56952
1640.77/1645.79 c #Conflicts: 1058000 | #Constraints: 57952
1640.77/1645.79 c #Conflicts: 1059000 | #Constraints: 58952
1640.77/1645.79 c #Conflicts: 1060000 | #Constraints: 59952
1640.77/1645.79 c INPROCESSING
1640.77/1645.79 c GARBAGE COLLECT
1640.77/1645.79 c #Conflicts: 1061000 | #Constraints: 34695
1640.77/1645.79 c #Conflicts: 1062000 | #Constraints: 35695
1640.77/1645.79 c #Conflicts: 1063000 | #Constraints: 36695
1787.10/1792.52 c #Conflicts: 1064000 | #Constraints: 37695
1787.10/1792.52 c #Conflicts: 1065000 | #Constraints: 38695
1787.10/1792.52 c #Conflicts: 1066000 | #Constraints: 39695
1787.10/1792.52 c #Conflicts: 1067000 | #Constraints: 40695
1787.10/1792.52 c #Conflicts: 1068000 | #Constraints: 41695
1787.10/1792.52 c #Conflicts: 1069000 | #Constraints: 42695
1787.10/1792.52 c #Conflicts: 1070000 | #Constraints: 43695
1787.10/1792.52 c #Conflicts: 1071000 | #Constraints: 44695
1787.10/1792.52 c #Conflicts: 1072000 | #Constraints: 45695
1787.10/1792.52 c #Conflicts: 1073000 | #Constraints: 46695
1787.10/1792.52 c #Conflicts: 1074000 | #Constraints: 47695
1787.10/1792.52 c #Conflicts: 1075000 | #Constraints: 48695
1787.10/1792.52 c #Conflicts: 1076000 | #Constraints: 49695
1787.10/1792.52 c #Conflicts: 1077000 | #Constraints: 50695
1787.10/1792.52 c #Conflicts: 1078000 | #Constraints: 51695
1787.10/1792.52 c #Conflicts: 1079000 | #Constraints: 52695
1787.10/1792.52 c #Conflicts: 1080000 | #Constraints: 53695
1787.10/1792.52 c #Conflicts: 1081000 | #Constraints: 54695
1787.10/1792.52 c #Conflicts: 1082000 | #Constraints: 55695
1787.10/1792.52 c #Conflicts: 1083000 | #Constraints: 56695
1787.10/1792.52 c INPROCESSING
1787.10/1792.52 c GARBAGE COLLECT
1787.10/1792.52 c #Conflicts: 1084000 | #Constraints: 32790
1787.10/1792.52 c #Conflicts: 1085000 | #Constraints: 33790
1787.10/1792.52 c #Conflicts: 1086000 | #Constraints: 34790
1787.10/1792.52 c #Conflicts: 1087000 | #Constraints: 35790
1787.10/1792.52 c #Conflicts: 1088000 | #Constraints: 36790
1787.10/1792.52 c #Conflicts: 1089000 | #Constraints: 37790
1787.10/1792.52 c #Conflicts: 1090000 | #Constraints: 38790
1787.10/1792.52 c #Conflicts: 1091000 | #Constraints: 39790
1787.10/1792.52 c #Conflicts: 1092000 | #Constraints: 40790
1787.10/1792.52 c #Conflicts: 1093000 | #Constraints: 41790
1787.10/1792.52 c #Conflicts: 1094000 | #Constraints: 42790
1787.10/1792.52 c #Conflicts: 1095000 | #Constraints: 43790
1787.10/1792.52 c #Conflicts: 1096000 | #Constraints: 44790
1787.10/1792.52 c #Conflicts: 1097000 | #Constraints: 45790
1787.10/1792.52 c #Conflicts: 1098000 | #Constraints: 46790
1787.10/1792.52 c #Conflicts: 1099000 | #Constraints: 47790
1787.10/1792.52 c #Conflicts: 1100000 | #Constraints: 48790
1787.10/1792.52 c #Conflicts: 1101000 | #Constraints: 49790
1787.10/1792.52 c #Conflicts: 1102000 | #Constraints: 50790
1787.10/1792.52 c #Conflicts: 1103000 | #Constraints: 51790
1787.10/1792.52 c #Conflicts: 1104000 | #Constraints: 52791
1787.10/1792.52 c #Conflicts: 1105000 | #Constraints: 53791
1787.10/1792.52 c #Conflicts: 1106000 | #Constraints: 54791
1787.10/1792.52 c #Conflicts: 1107000 | #Constraints: 55791
1787.10/1792.52 c #Conflicts: 1108000 | #Constraints: 56791
1787.10/1792.52 c #Conflicts: 1109000 | #Constraints: 57791
1787.10/1792.52 c #Conflicts: 1110000 | #Constraints: 58791
1787.10/1792.52 c #Conflicts: 1111000 | #Constraints: 59791
1787.10/1792.52 c #Conflicts: 1112000 | #Constraints: 60791
1787.10/1792.52 c #Conflicts: 1113000 | #Constraints: 61791
1787.10/1792.52 c #Conflicts: 1114000 | #Constraints: 62791
1787.10/1792.52 c #Conflicts: 1115000 | #Constraints: 63791
1787.10/1792.52 c #Conflicts: 1116000 | #Constraints: 64791
1787.10/1792.52 c #Conflicts: 1117000 | #Constraints: 65791
1787.10/1792.52 c #Conflicts: 1118000 | #Constraints: 66791
1787.10/1792.52 c #Conflicts: 1119000 | #Constraints: 67791
1787.10/1792.52 c #Conflicts: 1120000 | #Constraints: 68791
1787.10/1792.52 c #Conflicts: 1121000 | #Constraints: 69791
1787.10/1792.52 c #Conflicts: 1122000 | #Constraints: 70791
1787.10/1792.52 c #Conflicts: 1123000 | #Constraints: 71791
1787.10/1792.52 c #Conflicts: 1124000 | #Constraints: 72791
1787.10/1792.52 c #Conflicts: 1125000 | #Constraints: 73791
1787.10/1792.52 c #Conflicts: 1126000 | #Constraints: 74791
1787.10/1792.52 c #Conflicts: 1127000 | #Constraints: 75791
1787.10/1792.52 c #Conflicts: 1128000 | #Constraints: 76792
1787.10/1792.52 c #Conflicts: 1129000 | #Constraints: 77792
1787.10/1792.52 c #Conflicts: 1130000 | #Constraints: 78792
1787.10/1792.52 c #Conflicts: 1131000 | #Constraints: 79792
1787.10/1792.52 c #Conflicts: 1132000 | #Constraints: 80792
1787.10/1792.52 c #Conflicts: 1133000 | #Constraints: 81792
1787.10/1792.52 c #Conflicts: 1134000 | #Constraints: 82792
1787.10/1792.52 c #Conflicts: 1135000 | #Constraints: 83792
1787.10/1792.52 c #Conflicts: 1136000 | #Constraints: 84792
1787.10/1792.52 c #Conflicts: 1137000 | #Constraints: 85792
1787.10/1792.52 c #Conflicts: 1138000 | #Constraints: 86792
1787.10/1792.52 c #Conflicts: 1139000 | #Constraints: 87792
1787.10/1792.52 c #Conflicts: 1140000 | #Constraints: 88792
1787.10/1792.52 c #Conflicts: 1141000 | #Constraints: 89792
1873.76/1879.41 c #Conflicts: 1142000 | #Constraints: 90792
1873.76/1879.41 c #Conflicts: 1143000 | #Constraints: 91792
1873.76/1879.41 c #Conflicts: 1144000 | #Constraints: 92792
1873.76/1879.41 c #Conflicts: 1145000 | #Constraints: 93792
1873.76/1879.41 c #Conflicts: 1146000 | #Constraints: 94792
1873.76/1879.41 c #Conflicts: 1147000 | #Constraints: 95792
1873.76/1879.41 c #Conflicts: 1148000 | #Constraints: 96792
1873.76/1879.41 c #Conflicts: 1149000 | #Constraints: 97792
1873.76/1879.41 c #Conflicts: 1150000 | #Constraints: 98792
1873.76/1879.41 c #Conflicts: 1151000 | #Constraints: 99792
1873.76/1879.41 c #Conflicts: 1152000 | #Constraints: 100792
1873.76/1879.41 c #Conflicts: 1153000 | #Constraints: 101792
1873.76/1879.41 c #Conflicts: 1154000 | #Constraints: 102792
1873.76/1879.41 c #Conflicts: 1155000 | #Constraints: 103792
1873.76/1879.41 c #Conflicts: 1156000 | #Constraints: 104792
1873.76/1879.41 c #Conflicts: 1157000 | #Constraints: 105792
1873.76/1879.41 c #Conflicts: 1158000 | #Constraints: 106792
1873.76/1879.41 c #Conflicts: 1159000 | #Constraints: 107792
1873.76/1879.41 c #Conflicts: 1160000 | #Constraints: 108792
1873.76/1879.41 c #Conflicts: 1161000 | #Constraints: 109792
1873.76/1879.41 c #Conflicts: 1162000 | #Constraints: 110792
1873.76/1879.41 c #Conflicts: 1163000 | #Constraints: 111792
1873.76/1879.41 c #Conflicts: 1164000 | #Constraints: 112792
1873.76/1879.41 c INPROCESSING
1873.76/1879.41 c GARBAGE COLLECT
1873.76/1879.41 c rational objective 96
1887.03/1892.80 c #Conflicts: 1165000 | #Constraints: 60823
1887.03/1892.80 c #Conflicts: 1166000 | #Constraints: 61823
1887.03/1892.80 c #Conflicts: 1167000 | #Constraints: 62823
1887.03/1892.80 c #Conflicts: 1168000 | #Constraints: 63823
1887.03/1892.80 c #Conflicts: 1169000 | #Constraints: 64823
1887.03/1892.80 c #Conflicts: 1170000 | #Constraints: 65823
1887.03/1892.80 c #Conflicts: 1171000 | #Constraints: 66823
1887.03/1892.80 c #Conflicts: 1172000 | #Constraints: 67823
1887.03/1892.80 c cpu time 1874.96 s
1887.03/1892.80 c deterministic time 138989998550 1.39e+11
1887.03/1892.80 c optimization time 0.000116 s
1887.03/1892.80 c total solve time 1874.87 s
1887.03/1892.80 c core-guided solve time 0 s
1887.03/1892.80 c propagation time 1046.04 s
1887.03/1892.80 c conflict analysis time 697.949 s
1887.03/1892.80 c propagations 550146295
1887.03/1892.80 c resolve steps 49926781
1887.03/1892.80 c decisions 9850725
1887.03/1892.80 c conflicts 1172824
1887.03/1892.80 c restarts 2173
1887.03/1892.80 c inprocessing phases 64
1887.03/1892.80 c garbage collections 64 ,( 100.00 )
1887.03/1892.80 c input clauses 6626 ,( 98.57 )
1887.03/1892.80 c input cardinalities 96 ,( 1.43 )
1887.03/1892.80 c input general constraints 0 ,( 0.00 )
1887.03/1892.80 c input average constraint length 6.23
1887.03/1892.80 c input average constraint degree 1.94
1887.03/1892.80 c learned clauses 874515 ,( 74.56 )
1887.03/1892.80 c learned cardinalities 23704 ,( 2.02 )
1887.03/1892.80 c learned general constraints 274622 ,( 23.42 )
1887.03/1892.80 c learned average constraint length 646.96
1887.03/1892.80 c learned average constraint degree 8019048.94
1887.03/1892.80 c watched CF 32, 64, 128, Arb: 85503 , 0 , 0 , 0
1887.03/1892.80 c counting CF 32, 64, 128, Arb: 189119 , 0 , 0 , 0
1887.03/1892.80 c watched constraints 85503 ,( 31.13 )
1887.03/1892.80 c counting constraints 189119 ,( 68.87 )
1887.03/1892.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 766541219 , 400941918 , 1782509695 ,( 81510067 , 1700999628 )
1887.03/1892.80 c gcd simplifications 766
1887.03/1892.80 c detected cardinalities 1955
1887.03/1892.80 c weakened non-implied lits 217095825
1887.03/1892.80 c weakened non-implying lits 164913
1887.03/1892.80 c original variables 6528
1887.03/1892.80 c clausal propagations 209108279
1887.03/1892.80 c cardinality propagations 208763596
1887.03/1892.80 c watched propagations 2840091
1887.03/1892.80 c counting propagations 124886602
1887.03/1892.80 c watch lookups 71126518933
1887.03/1892.80 c watch backjump lookups 0
1887.03/1892.80 c watch checks 21919164279
1887.03/1892.80 c propagation checks 42203724322
1887.03/1892.80 c constraint additions 2619185156
1887.03/1892.80 c trail pops 561169404
1887.03/1892.80 c formula constraints 6722
1887.03/1892.80 c learned constraints 1172817
1887.03/1892.80 c bound constraints 0
1887.03/1892.80 c core-guided constraints 0
1887.03/1892.80 c encountered formula constraints 30254891
1887.03/1892.80 c encountered learned constraints 20844692
1887.03/1892.80 c encountered bound constraints 0
1887.03/1892.80 c encountered core-guided constraints 0
1887.03/1892.80 c LP total time 107.799 s
1887.03/1892.80 c LP solve time 96.26 s
1887.03/1892.80 c LP constraints added 7769
1887.03/1892.80 c LP constraints removed 876
1887.03/1892.80 c LP pivots internal 127105
1887.03/1892.80 c LP pivots root 112330
1887.03/1892.80 c LP calls 30
1887.03/1892.80 c LP optimalities 18
1887.03/1892.80 c LP no pivot count 2
1887.03/1892.80 c LP infeasibilities 7
1887.03/1892.80 c LP valid Farkas constraints 7
1887.03/1892.80 c LP learned Farkas constraints 7
1887.03/1892.80 c LP basis resets 0
1887.03/1892.80 c LP cycling count 0
1887.03/1892.80 c LP singular count 0
1887.03/1892.80 c LP no primal count 0
1887.03/1892.80 c LP no farkas count 0
1887.03/1892.80 c LP other issue count 0
1887.03/1892.80 c LP Gomory cuts 10
1887.03/1892.80 c LP learned cuts 1103
1887.03/1892.80 c LP deleted cuts 1030
1887.03/1892.80 c LP encountered Gomory constraints 1
1887.03/1892.80 c LP encountered Farkas constraints 7
1887.03/1892.80 c LP encountered learned Farkas constraints 7
1887.03/1892.80 c CG auxiliary variables introduced 0
1887.03/1892.80 c CG solutions found 0
1887.03/1892.80 c CG cores constructed 0
1887.03/1892.80 c CG core cardinality constraints returned 0
1887.03/1892.80 c CG unit cores 0
1887.03/1892.80 c CG single cores 0
1887.03/1892.80 c CG blocks removed during cardinality reduction 0
1887.03/1892.80 c CG first core best 0
1887.03/1892.80 c CG decision core best 0
1887.03/1892.80 c CG core reduction tie 0
1887.03/1892.80 c CG core degree average 0.00
1887.03/1892.80 c CG core slack average 0.00
1887.03/1892.80 c CG core upper bound improvements 0
1887.03/1892.80 c STR number of successful calls 0
1887.03/1892.80 c STR number of unsuccessful calls 0
1887.03/1892.80 c STR number of inconclusive calls 0
1887.03/1892.80 c STR number of successful attempts 0
1887.03/1892.80 c STR number of unsuccessful attempts 0
1887.03/1892.80 c STR number of inconclusive attempts 0
1887.03/1892.80 c STR average degree increase per successful call inf
1887.03/1892.80 c STR average degree increase per successful attempt inf
1887.03/1892.80 c STR total number of conflicts for successful attempts 0
1887.03/1892.80 c STR total number of conflicts for unsuccessful attempts 0
1887.03/1892.80 c STR total number of conflicts for inconclusive attempts 0
1887.03/1892.80 c STR average number of conflicts per successful attempt inf
1887.03/1892.80 c STR average number of conflicts per unsuccessful attempt inf
1887.03/1892.80 c STR average number of conflicts per inconclusive attempt inf
1887.03/1892.80 c AVG.sumWPerc 60.76
1887.03/1892.80 c bigint constraints 0
1887.03/1892.80 s SATISFIABLE
1887.03/1892.80 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: 63794 MiB (62549 MiB free)
memory of node 1: 64507 MiB (63084 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507590-1751180393/watcher-4507590-1751180393 -o /tmp/evaluation-result-4507590-1751180393/solver-4507590-1751180393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4507590-1751180393.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21352, runsolver pid=21349
[startup+0.10007 s]*
/proc/loadavg: 4.18 4.27 4.22 5/255 21354
/proc/meminfo: memFree=128644692/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=65012 memory=19740 CPUtime=0.09 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 2632 0 0 0 7 2 0 0 20 0 1 0 33718691 66572288 4903 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 16253 4935 2272 1147 0 3680 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69204 KiB
Current children cumulated memory: 22812 KiB
[startup+0.213717 s]*
/proc/loadavg: 4.18 4.27 4.22 5/255 21354
/proc/meminfo: memFree=128633604/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=74060 memory=28424 CPUtime=0.2 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 5165 0 0 0 17 3 0 0 20 0 1 0 33718691 75837440 7106 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 18515 7106 2272 1147 0 5942 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 78252 KiB
Current children cumulated memory: 31496 KiB
[startup+0.313568 s]*
/proc/loadavg: 4.18 4.27 4.22 5/255 21354
/proc/meminfo: memFree=128633604/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=74060 memory=28552 CPUtime=0.3 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 5202 0 0 0 27 3 0 0 20 0 1 0 33718691 75837440 7138 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 18515 7138 2272 1147 0 5942 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78252 KiB
Current children cumulated memory: 31624 KiB
[startup+0.700444 s]
/proc/loadavg: 4.18 4.27 4.22 6/255 21354
/proc/meminfo: memFree=128633604/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=74580 memory=29448 CPUtime=0.67 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 5402 0 0 0 64 3 0 0 20 0 1 0 33718691 76369920 7362 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 18645 7362 2304 1147 0 6072 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 78772 KiB
Current children cumulated memory: 32520 KiB
[startup+1.5004 s]
/proc/loadavg: 4.17 4.27 4.22 5/255 21354
/proc/meminfo: memFree=128633604/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=75176 memory=30088 CPUtime=1.46 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 5569 0 0 0 143 3 0 0 20 0 1 0 33718691 76980224 7522 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 18794 7522 2304 1147 0 6221 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 79368 KiB
Current children cumulated memory: 33160 KiB
[startup+3.11337 s]
/proc/loadavg: 4.17 4.27 4.22 5/255 21354
/proc/meminfo: memFree=128617556/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=79284 memory=36880 CPUtime=3.08 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 6703 0 0 0 298 10 0 0 20 0 1 0 33718691 81186816 9220 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 19821 9220 2368 1147 0 7248 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83476 KiB
Current children cumulated memory: 39952 KiB
[startup+6.30041 s]
/proc/loadavg: 4.15 4.27 4.22 5/255 21354
/proc/meminfo: memFree=128618124/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=86180 memory=43564 CPUtime=6.26 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 7839 0 0 0 608 18 0 0 20 0 1 0 33718691 88248320 10891 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 21545 10891 2368 1147 0 8972 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 90372 KiB
Current children cumulated memory: 46636 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.26 4.21 5/255 21354
/proc/meminfo: memFree=128615604/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=91772 memory=48556 CPUtime=12.63 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 9111 0 0 0 1231 32 0 0 20 0 1 0 33718691 93974528 12139 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 22943 12139 2368 1147 0 10370 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 95964 KiB
Current children cumulated memory: 51628 KiB
[startup+25.5005 s]
/proc/loadavg: 4.12 4.25 4.21 5/255 21354
/proc/meminfo: memFree=128598912/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=108540 memory=61536 CPUtime=25.4 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 11338 0 0 0 2484 56 0 0 20 0 1 0 33718691 111144960 15384 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 27135 15384 2368 1147 0 14562 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 112732 KiB
Current children cumulated memory: 64608 KiB
[startup+51.1134 s]
/proc/loadavg: 4.18 4.26 4.21 5/255 21355
/proc/meminfo: memFree=128539436/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=178212 memory=119604 CPUtime=50.94 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 21774 0 0 0 4997 97 0 0 20 0 1 0 33718691 182489088 29901 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 44553 29901 2368 1147 0 31980 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 182404 KiB
Current children cumulated memory: 122676 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.22 4.20 5/255 21368
/proc/meminfo: memFree=128470772/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=227064 memory=165712 CPUtime=101.97 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 26667 0 0 0 10028 169 0 0 20 0 1 0 33718691 232513536 41428 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 56766 41428 2368 1147 0 44193 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 231256 KiB
Current children cumulated memory: 168784 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.20 4.19 5/255 21374
/proc/meminfo: memFree=128457148/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=244380 memory=198024 CPUtime=161.81 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 30656 0 0 0 15950 231 0 0 20 0 1 0 33718691 250245120 49506 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 61095 49506 2368 1147 0 48522 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 248572 KiB
Current children cumulated memory: 201096 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.18 4.18 5/256 21379
/proc/meminfo: memFree=128422532/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=314280 memory=239836 CPUtime=221.62 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 35513 0 0 0 21876 286 0 0 20 0 1 0 33718691 321822720 59959 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 78570 59959 2368 1147 0 65997 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 66601 0 0 0 164601 1130 0 0 20 0 1 0 33718691 679784448 131510 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 165963 131510 2368 1147 0 153390 0
Current children cumulated CPU time: 1657.31 s
Current children cumulated vsize: 668044 KiB
Current children cumulated memory: 529112 KiB
[startup+1722.3 s]
/proc/loadavg: 3.55 3.47 3.81 4/248 21480
/proc/meminfo: memFree=128317652/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=664284 memory=541528 CPUtime=1717.13 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 66747 0 0 0 170558 1155 0 0 20 0 1 0 33718691 680226816 135382 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 166071 135382 2368 1147 0 153498 0
Current children cumulated CPU time: 1717.13 s
Current children cumulated vsize: 668476 KiB
Current children cumulated memory: 544600 KiB
[startup+1782.3 s]
/proc/loadavg: 3.33 3.45 3.78 3/240 21512
/proc/meminfo: memFree=129087624/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=668120 memory=551256 CPUtime=1776.94 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 67511 0 0 0 176517 1177 0 0 20 0 1 0 33718691 684154880 137814 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 167030 137814 2368 1147 0 154457 0
Current children cumulated CPU time: 1776.94 s
Current children cumulated vsize: 672312 KiB
Current children cumulated memory: 554328 KiB
[startup+1842.3 s]
/proc/loadavg: 2.52 3.20 3.67 3/240 21515
/proc/meminfo: memFree=129077952/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=677704 memory=565880 CPUtime=1836.77 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 69160 0 0 0 182477 1200 0 0 20 0 1 0 33718691 693968896 141470 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 169426 141470 2368 1147 0 156853 0
Current children cumulated CPU time: 1836.77 s
Current children cumulated vsize: 681896 KiB
Current children cumulated memory: 568952 KiB
[startup+1892.81 s]
# the end of solver process 21352 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1874.96 s, system=12.1843 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 2.52 3.20 3.67 3/240 21515
/proc/meminfo: memFree=129073856/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=677704 memory=566008 CPUtime=1837.66 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 69203 0 0 0 182566 1200 0 0 20 0 1 0 33718691 693968896 141502 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 169426 141502 2368 1147 0 156853 0
Current children cumulated CPU time: 1837.66 s
Current children cumulated vsize: 681896 KiB
Current children cumulated memory: 569080 KiB
[startup+1868.8 s]
/proc/loadavg: 2.34 3.10 3.63 4/240 21516
/proc/meminfo: memFree=129050700/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=684156 memory=587044 CPUtime=1863.2 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 70389 0 0 0 185110 1210 0 0 20 0 1 0 33718691 700575744 146761 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 171039 146761 2368 1147 0 158466 0
Current children cumulated CPU time: 1863.2 s
Current children cumulated vsize: 688348 KiB
Current children cumulated memory: 590116 KiB
[startup+1881.6 s]
/proc/loadavg: 2.33 3.07 3.61 3/240 21517
/proc/meminfo: memFree=129043768/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=689296 memory=599352 CPUtime=1875.96 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 71418 0 0 0 186383 1213 0 0 20 0 1 0 33718691 705839104 149838 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 172324 149838 2368 1147 0 159751 0
Current children cumulated CPU time: 1875.96 s
Current children cumulated vsize: 693488 KiB
Current children cumulated memory: 602424 KiB
[startup+1888 s]*
/proc/loadavg: 2.31 3.05 3.60 3/240 21517
/proc/meminfo: memFree=129044020/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=689296 memory=599352 CPUtime=1882.36 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 71418 0 0 0 187020 1216 0 0 20 0 1 0 33718691 705839104 149838 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 172324 149838 2368 1147 0 159751 0
Current children cumulated CPU time: 1882.36 s
Current children cumulated vsize: 693488 KiB
Current children cumulated memory: 602424 KiB
[startup+1891.2 s]
/proc/loadavg: 2.28 3.03 3.59 3/240 21517
/proc/meminfo: memFree=129044020/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=689296 memory=599352 CPUtime=1885.54 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 71418 0 0 0 187337 1217 0 0 20 0 1 0 33718691 705839104 149838 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 172324 149838 2368 1147 0 159751 0
Current children cumulated CPU time: 1885.54 s
Current children cumulated vsize: 693488 KiB
Current children cumulated memory: 602424 KiB
[startup+1892 s]*
/proc/loadavg: 2.28 3.03 3.59 3/240 21517
/proc/meminfo: memFree=129044020/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=689296 memory=599352 CPUtime=1886.34 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 71418 0 0 0 187417 1217 0 0 20 0 1 0 33718691 705839104 149838 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 172324 149838 2368 1147 0 159751 0
Current children cumulated CPU time: 1886.34 s
Current children cumulated vsize: 693488 KiB
Current children cumulated memory: 602424 KiB
[startup+1892.4 s]
/proc/loadavg: 2.28 3.03 3.59 3/240 21517
/proc/meminfo: memFree=129044020/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=689296 memory=599352 CPUtime=1886.73 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 71418 0 0 0 187456 1217 0 0 20 0 1 0 33718691 705839104 149838 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 172324 149838 2368 1147 0 159751 0
Current children cumulated CPU time: 1886.73 s
Current children cumulated vsize: 693488 KiB
Current children cumulated memory: 602424 KiB
[startup+1892.8 s]
/proc/loadavg: 2.28 3.03 3.59 3/240 21517
/proc/meminfo: memFree=129044020/131382120 swapFree=33010684/33010684
[pid=21352] ppid=21349 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/21352/stat : 21352 (run-dec-ls.sh) S 21349 21352 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33718690 4292608 768 18446744073709551615 93911383351296 93911384245829 140730838574656 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93911384484880 93911384532624 93911410888704 140730838583655 140730838583781 140730838583781 140730838589383 0
/proc/21352/statm: 1048 768 704 219 0 110 0
[pid=21354] ppid=21352 vsize=684912 memory=595512 CPUtime=1887.13 cores=0,2
/proc/21354/stat : 21354 (roundingsat) R 21352 21352 20058 0 -1 4194304 71418 0 0 0 187496 1217 0 0 20 0 1 0 33718691 701349888 148878 18446744073709551615 4227072 8923433 140731812221552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33374208 140731812223392 140731812223528 140731812223528 140731812229098 0
/proc/21354/statm: 171228 148878 2368 1147 0 158655 0
Current children cumulated CPU time: 1887.13 s
Current children cumulated vsize: 689104 KiB
Current children cumulated memory: 598584 KiB
Child status: 0
Real time (s): 1892.81
CPU time (s): 1887.15
CPU user time (s): 1874.96
CPU system time (s): 12.1843
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 693488
Max. memory (cumulated for all children) (KiB): 602424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1874.96
system time used= 12.1843
maximum resident set size= 599352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71648
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= 310
involuntary context switches= 4844
# summary of solver processes directly reported to runsolver:
# pid: 21352
# total CPU time (s): 1887.15
# total CPU user time (s): 1874.96
# total CPU system time (s): 12.1843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17659 second user time and 20.3061 second system time
The end
Begin job on nodeC006 at 2025-06-29 08:59:53
IDJOB=4507590
IDBENCH=158367
IDSOLVER=3353
FILE ID=nodeC006/4507590-1751180393
RUNJOBID= nodeC006-1751170846-20068
SLURM_JOB_ID= 9587530
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507590-1751180393/watcher-4507590-1751180393 -o /tmp/evaluation-result-4507590-1751180393/solver-4507590-1751180393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4507590-1751180393.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=1028649939
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.373
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3658.612
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.138
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.299
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.040
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.057
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.523
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.626
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128648440 kB
MemAvailable: 128293992 kB
Buffers: 3280 kB
Cached: 455876 kB
SwapCached: 0 kB
Active: 1936472 kB
Inactive: 208112 kB
Active(anon): 1703388 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 208112 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7848 kB
Writeback: 0 kB
AnonPages: 1685940 kB
Mapped: 115704 kB
Shmem: 17960 kB
KReclaimable: 85392 kB
Slab: 164280 kB
SReclaimable: 85392 kB
SUnreclaim: 78888 kB
KernelStack: 4096 kB
PageTables: 6548 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2286612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1503232 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC006 at 2025-06-29 09:31:26