0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.14 c #variables 7140 #constraints 7352
45.96/46.18 c #Conflicts: 1000 | #Constraints: 8351
45.96/46.18 c #Conflicts: 2000 | #Constraints: 9351
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 3000 | #Constraints: 8973
45.96/46.18 c #Conflicts: 4000 | #Constraints: 9973
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 5000 | #Constraints: 9430
45.96/46.18 c #Conflicts: 6000 | #Constraints: 10430
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 7000 | #Constraints: 9508
45.96/46.18 c #Conflicts: 8000 | #Constraints: 10508
45.96/46.18 c #Conflicts: 9000 | #Constraints: 11508
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 10000 | #Constraints: 10265
45.96/46.18 c #Conflicts: 11000 | #Constraints: 11265
45.96/46.18 c #Conflicts: 12000 | #Constraints: 12265
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 13000 | #Constraints: 10759
45.96/46.18 c #Conflicts: 14000 | #Constraints: 11759
45.96/46.18 c #Conflicts: 15000 | #Constraints: 12759
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 16000 | #Constraints: 11040
45.96/46.18 c #Conflicts: 17000 | #Constraints: 12040
45.96/46.18 c #Conflicts: 18000 | #Constraints: 13040
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 19000 | #Constraints: 11077
45.96/46.18 c #Conflicts: 20000 | #Constraints: 12077
45.96/46.18 c #Conflicts: 21000 | #Constraints: 13078
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 22000 | #Constraints: 10906
45.96/46.18 c #Conflicts: 23000 | #Constraints: 11906
45.96/46.18 c #Conflicts: 24000 | #Constraints: 12906
45.96/46.18 c #Conflicts: 25000 | #Constraints: 13906
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 26000 | #Constraints: 11541
45.96/46.18 c #Conflicts: 27000 | #Constraints: 12541
45.96/46.18 c #Conflicts: 28000 | #Constraints: 13541
45.96/46.18 c #Conflicts: 29000 | #Constraints: 14541
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 30000 | #Constraints: 11956
45.96/46.18 c #Conflicts: 31000 | #Constraints: 12956
45.96/46.18 c #Conflicts: 32000 | #Constraints: 13956
45.96/46.18 c #Conflicts: 33000 | #Constraints: 14956
45.96/46.18 c #Conflicts: 34000 | #Constraints: 15956
45.96/46.18 c #Conflicts: 35000 | #Constraints: 16956
45.96/46.18 c #Conflicts: 36000 | #Constraints: 17956
45.96/46.18 c #Conflicts: 37000 | #Constraints: 18956
45.96/46.18 c #Conflicts: 38000 | #Constraints: 19956
45.96/46.18 c #Conflicts: 39000 | #Constraints: 20956
45.96/46.18 c #Conflicts: 40000 | #Constraints: 21956
45.96/46.18 c #Conflicts: 41000 | #Constraints: 22956
45.96/46.18 c #Conflicts: 42000 | #Constraints: 23956
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 43000 | #Constraints: 16278
45.96/46.18 c #Conflicts: 44000 | #Constraints: 17278
45.96/46.18 c #Conflicts: 45000 | #Constraints: 18278
45.96/46.18 c #Conflicts: 46000 | #Constraints: 19278
45.96/46.18 c #Conflicts: 47000 | #Constraints: 20278
45.96/46.18 c #Conflicts: 48000 | #Constraints: 21278
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 49000 | #Constraints: 15380
45.96/46.18 c #Conflicts: 50000 | #Constraints: 16380
45.96/46.18 c #Conflicts: 51000 | #Constraints: 17380
45.96/46.18 c #Conflicts: 52000 | #Constraints: 18380
45.96/46.18 c #Conflicts: 53000 | #Constraints: 19380
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 54000 | #Constraints: 14297
45.96/46.18 c #Conflicts: 55000 | #Constraints: 15297
45.96/46.18 c #Conflicts: 56000 | #Constraints: 16297
45.96/46.18 c #Conflicts: 57000 | #Constraints: 17297
45.96/46.18 c #Conflicts: 58000 | #Constraints: 18297
45.96/46.18 c INPROCESSING
45.96/46.18 c GARBAGE COLLECT
45.96/46.18 c #Conflicts: 59000 | #Constraints: 13526
45.96/46.18 c #Conflicts: 60000 | #Constraints: 14526
45.96/46.18 c #Conflicts: 61000 | #Constraints: 15526
45.96/46.18 c #Conflicts: 62000 | #Constraints: 16526
45.96/46.18 c #Conflicts: 63000 | #Constraints: 17526
45.96/46.18 c #Conflicts: 64000 | #Constraints: 18527
45.96/46.18 c #Conflicts: 65000 | #Constraints: 19527
45.96/46.18 c #Conflicts: 66000 | #Constraints: 20527
45.96/46.18 c #Conflicts: 67000 | #Constraints: 21527
45.96/46.18 c #Conflicts: 68000 | #Constraints: 22527
45.96/46.18 c #Conflicts: 69000 | #Constraints: 23527
45.96/46.18 c #Conflicts: 70000 | #Constraints: 24527
100.19/100.57 c #Conflicts: 71000 | #Constraints: 25527
100.19/100.57 c #Conflicts: 72000 | #Constraints: 26527
100.19/100.57 c #Conflicts: 73000 | #Constraints: 27527
100.19/100.57 c #Conflicts: 74000 | #Constraints: 28527
100.19/100.57 c #Conflicts: 75000 | #Constraints: 29527
100.19/100.57 c #Conflicts: 76000 | #Constraints: 30527
100.19/100.57 c #Conflicts: 77000 | #Constraints: 31527
100.19/100.57 c #Conflicts: 78000 | #Constraints: 32527
100.19/100.57 c INPROCESSING
100.19/100.57 c GARBAGE COLLECT
100.19/100.57 c #Conflicts: 79000 | #Constraints: 21048
100.19/100.57 c #Conflicts: 80000 | #Constraints: 22048
100.19/100.57 c #Conflicts: 81000 | #Constraints: 23048
100.19/100.57 c #Conflicts: 82000 | #Constraints: 24048
100.19/100.57 c #Conflicts: 83000 | #Constraints: 25048
100.19/100.57 c #Conflicts: 84000 | #Constraints: 26048
100.19/100.57 c INPROCESSING
100.19/100.57 c GARBAGE COLLECT
100.19/100.57 c #Conflicts: 85000 | #Constraints: 17441
100.19/100.57 c #Conflicts: 86000 | #Constraints: 18441
100.19/100.57 c #Conflicts: 87000 | #Constraints: 19441
100.19/100.57 c #Conflicts: 88000 | #Constraints: 20441
100.19/100.57 c #Conflicts: 89000 | #Constraints: 21441
100.19/100.57 c #Conflicts: 90000 | #Constraints: 22441
100.19/100.57 c #Conflicts: 91000 | #Constraints: 23441
100.19/100.57 c INPROCESSING
100.19/100.57 c GARBAGE COLLECT
100.19/100.57 c #Conflicts: 92000 | #Constraints: 16158
100.19/100.57 c #Conflicts: 93000 | #Constraints: 17158
100.19/100.57 c #Conflicts: 94000 | #Constraints: 18158
100.19/100.57 c #Conflicts: 95000 | #Constraints: 19158
100.19/100.57 c #Conflicts: 96000 | #Constraints: 20159
100.19/100.57 c #Conflicts: 97000 | #Constraints: 21159
100.19/100.57 c #Conflicts: 98000 | #Constraints: 22159
100.19/100.57 c #Conflicts: 99000 | #Constraints: 23159
100.19/100.57 c INPROCESSING
100.19/100.57 c GARBAGE COLLECT
100.19/100.57 c #Conflicts: 100000 | #Constraints: 16405
100.19/100.57 c #Conflicts: 101000 | #Constraints: 17405
100.19/100.57 c #Conflicts: 102000 | #Constraints: 18405
100.19/100.57 c #Conflicts: 103000 | #Constraints: 19405
100.19/100.57 c #Conflicts: 104000 | #Constraints: 20405
100.19/100.57 c #Conflicts: 105000 | #Constraints: 21405
100.19/100.57 c #Conflicts: 106000 | #Constraints: 22405
100.19/100.57 c #Conflicts: 107000 | #Constraints: 23405
100.19/100.57 c #Conflicts: 108000 | #Constraints: 24405
100.19/100.57 c #Conflicts: 109000 | #Constraints: 25405
100.19/100.57 c #Conflicts: 110000 | #Constraints: 26405
100.19/100.57 c #Conflicts: 111000 | #Constraints: 27405
100.19/100.57 c #Conflicts: 112000 | #Constraints: 28405
100.19/100.57 c #Conflicts: 113000 | #Constraints: 29405
100.19/100.57 c #Conflicts: 114000 | #Constraints: 30405
100.19/100.57 c #Conflicts: 115000 | #Constraints: 31405
100.19/100.57 c #Conflicts: 116000 | #Constraints: 32405
100.19/100.57 c #Conflicts: 117000 | #Constraints: 33405
100.19/100.57 c #Conflicts: 118000 | #Constraints: 34405
100.19/100.57 c #Conflicts: 119000 | #Constraints: 35405
100.19/100.57 c #Conflicts: 120000 | #Constraints: 36405
100.19/100.57 c #Conflicts: 121000 | #Constraints: 37405
100.19/100.57 c #Conflicts: 122000 | #Constraints: 38405
100.19/100.57 c #Conflicts: 123000 | #Constraints: 39405
100.19/100.57 c INPROCESSING
100.19/100.57 c GARBAGE COLLECT
100.19/100.57 c #Conflicts: 124000 | #Constraints: 24313
100.19/100.57 c #Conflicts: 125000 | #Constraints: 25313
100.19/100.57 c #Conflicts: 126000 | #Constraints: 26313
100.19/100.57 c #Conflicts: 127000 | #Constraints: 27313
100.19/100.57 c #Conflicts: 128000 | #Constraints: 28313
100.19/100.57 c #Conflicts: 129000 | #Constraints: 29313
100.19/100.57 c #Conflicts: 130000 | #Constraints: 30313
100.19/100.57 c #Conflicts: 131000 | #Constraints: 31313
100.19/100.57 c #Conflicts: 132000 | #Constraints: 32313
100.19/100.57 c INPROCESSING
100.19/100.57 c GARBAGE COLLECT
100.19/100.57 c rational objective 105
171.50/172.07 c #Conflicts: 133000 | #Constraints: 21027
171.50/172.07 c #Conflicts: 134000 | #Constraints: 22027
171.50/172.07 c #Conflicts: 135000 | #Constraints: 23027
171.50/172.07 c #Conflicts: 136000 | #Constraints: 24027
171.50/172.07 c #Conflicts: 137000 | #Constraints: 25027
171.50/172.07 c #Conflicts: 138000 | #Constraints: 26027
171.50/172.07 c #Conflicts: 139000 | #Constraints: 27027
171.50/172.07 c #Conflicts: 140000 | #Constraints: 28027
171.50/172.07 c INPROCESSING
171.50/172.07 c GARBAGE COLLECT
171.50/172.07 c #Conflicts: 141000 | #Constraints: 18609
171.50/172.07 c #Conflicts: 142000 | #Constraints: 19609
171.50/172.07 c #Conflicts: 143000 | #Constraints: 20609
171.50/172.07 c #Conflicts: 144000 | #Constraints: 21609
171.50/172.07 c #Conflicts: 145000 | #Constraints: 22609
171.50/172.07 c #Conflicts: 146000 | #Constraints: 23609
171.50/172.07 c #Conflicts: 147000 | #Constraints: 24609
171.50/172.07 c #Conflicts: 148000 | #Constraints: 25609
171.50/172.07 c #Conflicts: 149000 | #Constraints: 26609
171.50/172.07 c INPROCESSING
171.50/172.07 c GARBAGE COLLECT
171.50/172.07 c #Conflicts: 150000 | #Constraints: 17932
171.50/172.07 c #Conflicts: 151000 | #Constraints: 18932
171.50/172.07 c #Conflicts: 152000 | #Constraints: 19932
171.50/172.07 c #Conflicts: 153000 | #Constraints: 20932
171.50/172.07 c #Conflicts: 154000 | #Constraints: 21932
171.50/172.07 c #Conflicts: 155000 | #Constraints: 22932
171.50/172.07 c #Conflicts: 156000 | #Constraints: 23932
171.50/172.07 c #Conflicts: 157000 | #Constraints: 24932
171.50/172.07 c #Conflicts: 158000 | #Constraints: 25932
171.50/172.07 c #Conflicts: 159000 | #Constraints: 26932
171.50/172.07 c #Conflicts: 160000 | #Constraints: 27932
171.50/172.07 c #Conflicts: 161000 | #Constraints: 28932
171.50/172.07 c #Conflicts: 162000 | #Constraints: 29932
171.50/172.07 c #Conflicts: 163000 | #Constraints: 30932
171.50/172.07 c #Conflicts: 164000 | #Constraints: 31932
171.50/172.07 c #Conflicts: 165000 | #Constraints: 32932
171.50/172.07 c #Conflicts: 166000 | #Constraints: 33932
171.50/172.07 c #Conflicts: 167000 | #Constraints: 34932
171.50/172.07 c #Conflicts: 168000 | #Constraints: 35932
171.50/172.07 c #Conflicts: 169000 | #Constraints: 36932
171.50/172.07 c #Conflicts: 170000 | #Constraints: 37932
171.50/172.07 c #Conflicts: 171000 | #Constraints: 38932
171.50/172.07 c #Conflicts: 172000 | #Constraints: 39932
171.50/172.07 c #Conflicts: 173000 | #Constraints: 40932
171.50/172.07 c #Conflicts: 174000 | #Constraints: 41932
171.50/172.07 c #Conflicts: 175000 | #Constraints: 42932
171.50/172.07 c #Conflicts: 176000 | #Constraints: 43932
171.50/172.07 c #Conflicts: 177000 | #Constraints: 44932
171.50/172.07 c #Conflicts: 178000 | #Constraints: 45932
171.50/172.07 c #Conflicts: 179000 | #Constraints: 46932
171.50/172.07 c INPROCESSING
171.50/172.07 c GARBAGE COLLECT
171.50/172.07 c #Conflicts: 180000 | #Constraints: 28179
171.50/172.07 c #Conflicts: 181000 | #Constraints: 29179
171.50/172.07 c #Conflicts: 182000 | #Constraints: 30179
171.50/172.07 c #Conflicts: 183000 | #Constraints: 31179
171.50/172.07 c #Conflicts: 184000 | #Constraints: 32179
171.50/172.07 c #Conflicts: 185000 | #Constraints: 33179
171.50/172.07 c #Conflicts: 186000 | #Constraints: 34179
171.50/172.07 c #Conflicts: 187000 | #Constraints: 35179
171.50/172.07 c #Conflicts: 188000 | #Constraints: 36179
171.50/172.07 c #Conflicts: 189000 | #Constraints: 37179
171.50/172.07 c INPROCESSING
171.50/172.07 c GARBAGE COLLECT
171.50/172.07 c #Conflicts: 190000 | #Constraints: 23213
171.50/172.07 c #Conflicts: 191000 | #Constraints: 24213
171.50/172.07 c #Conflicts: 192000 | #Constraints: 25213
171.50/172.07 c #Conflicts: 193000 | #Constraints: 26213
171.50/172.07 c #Conflicts: 194000 | #Constraints: 27213
171.50/172.07 c #Conflicts: 195000 | #Constraints: 28213
171.50/172.07 c #Conflicts: 196000 | #Constraints: 29213
171.50/172.07 c #Conflicts: 197000 | #Constraints: 30213
171.50/172.07 c #Conflicts: 198000 | #Constraints: 31213
171.50/172.07 c #Conflicts: 199000 | #Constraints: 32213
171.50/172.07 c #Conflicts: 200000 | #Constraints: 33213
171.50/172.07 c INPROCESSING
171.50/172.07 c GARBAGE COLLECT
171.50/172.07 c #Conflicts: 201000 | #Constraints: 21637
171.50/172.07 c #Conflicts: 202000 | #Constraints: 22637
171.50/172.07 c #Conflicts: 203000 | #Constraints: 23637
171.50/172.07 c #Conflicts: 204000 | #Constraints: 24637
171.50/172.07 c #Conflicts: 205000 | #Constraints: 25637
171.50/172.07 c #Conflicts: 206000 | #Constraints: 26637
171.50/172.07 c #Conflicts: 207000 | #Constraints: 27637
171.50/172.07 c #Conflicts: 208000 | #Constraints: 28637
173.39/173.95 c #Conflicts: 209000 | #Constraints: 29637
173.39/173.95 c #Conflicts: 210000 | #Constraints: 30637
173.39/173.95 c INPROCESSING
173.39/173.95 c GARBAGE COLLECT
173.39/173.95 c rational objective 105
225.84/226.56 c #Conflicts: 211000 | #Constraints: 19939
225.84/226.56 c #Conflicts: 212000 | #Constraints: 20939
225.84/226.56 c #Conflicts: 213000 | #Constraints: 21939
225.84/226.56 c #Conflicts: 214000 | #Constraints: 22939
225.84/226.56 c #Conflicts: 215000 | #Constraints: 23939
225.84/226.56 c #Conflicts: 216000 | #Constraints: 24939
225.84/226.56 c #Conflicts: 217000 | #Constraints: 25939
225.84/226.56 c #Conflicts: 218000 | #Constraints: 26939
225.84/226.56 c #Conflicts: 219000 | #Constraints: 27939
225.84/226.56 c #Conflicts: 220000 | #Constraints: 28939
225.84/226.56 c #Conflicts: 221000 | #Constraints: 29939
225.84/226.56 c #Conflicts: 222000 | #Constraints: 30939
225.84/226.56 c #Conflicts: 223000 | #Constraints: 31939
225.84/226.56 c #Conflicts: 224000 | #Constraints: 32939
225.84/226.56 c #Conflicts: 225000 | #Constraints: 33939
225.84/226.56 c #Conflicts: 226000 | #Constraints: 34939
225.84/226.56 c #Conflicts: 227000 | #Constraints: 35939
225.84/226.56 c #Conflicts: 228000 | #Constraints: 36939
225.84/226.56 c #Conflicts: 229000 | #Constraints: 37939
225.84/226.56 c #Conflicts: 230000 | #Constraints: 38939
225.84/226.56 c #Conflicts: 231000 | #Constraints: 39939
225.84/226.56 c #Conflicts: 232000 | #Constraints: 40939
225.84/226.56 c #Conflicts: 233000 | #Constraints: 41939
225.84/226.56 c #Conflicts: 234000 | #Constraints: 42939
225.84/226.56 c #Conflicts: 235000 | #Constraints: 43939
225.84/226.56 c #Conflicts: 236000 | #Constraints: 44939
225.84/226.56 c #Conflicts: 237000 | #Constraints: 45939
225.84/226.56 c #Conflicts: 238000 | #Constraints: 46939
225.84/226.56 c #Conflicts: 239000 | #Constraints: 47939
225.84/226.56 c #Conflicts: 240000 | #Constraints: 48939
225.84/226.56 c #Conflicts: 241000 | #Constraints: 49939
225.84/226.56 c #Conflicts: 242000 | #Constraints: 50939
225.84/226.56 c #Conflicts: 243000 | #Constraints: 51939
225.84/226.56 c #Conflicts: 244000 | #Constraints: 52939
225.84/226.56 c #Conflicts: 245000 | #Constraints: 53939
225.84/226.56 c INPROCESSING
225.84/226.56 c GARBAGE COLLECT
225.84/226.56 c rational objective 105
314.97/315.96 c #Conflicts: 246000 | #Constraints: 31552
314.97/315.96 c #Conflicts: 247000 | #Constraints: 32552
314.97/315.96 c #Conflicts: 248000 | #Constraints: 33552
314.97/315.96 c #Conflicts: 249000 | #Constraints: 34553
314.97/315.96 c #Conflicts: 250000 | #Constraints: 35553
314.97/315.96 c #Conflicts: 251000 | #Constraints: 36553
314.97/315.96 c #Conflicts: 252000 | #Constraints: 37553
314.97/315.96 c #Conflicts: 253000 | #Constraints: 38553
314.97/315.96 c #Conflicts: 254000 | #Constraints: 39553
314.97/315.96 c #Conflicts: 255000 | #Constraints: 40553
314.97/315.96 c #Conflicts: 256000 | #Constraints: 41553
314.97/315.96 c #Conflicts: 257000 | #Constraints: 42553
314.97/315.96 c INPROCESSING
314.97/315.96 c GARBAGE COLLECT
314.97/315.96 c #Conflicts: 258000 | #Constraints: 25983
314.97/315.96 c #Conflicts: 259000 | #Constraints: 26983
314.97/315.96 c #Conflicts: 260000 | #Constraints: 27983
314.97/315.96 c #Conflicts: 261000 | #Constraints: 28983
314.97/315.96 c #Conflicts: 262000 | #Constraints: 29983
314.97/315.96 c #Conflicts: 263000 | #Constraints: 30983
314.97/315.96 c #Conflicts: 264000 | #Constraints: 31983
314.97/315.96 c #Conflicts: 265000 | #Constraints: 32983
314.97/315.96 c #Conflicts: 266000 | #Constraints: 33983
314.97/315.96 c #Conflicts: 267000 | #Constraints: 34983
314.97/315.96 c #Conflicts: 268000 | #Constraints: 35983
314.97/315.96 c #Conflicts: 269000 | #Constraints: 36983
314.97/315.96 c INPROCESSING
314.97/315.96 c GARBAGE COLLECT
314.97/315.96 c #Conflicts: 270000 | #Constraints: 23156
314.97/315.96 c #Conflicts: 271000 | #Constraints: 24156
314.97/315.96 c #Conflicts: 272000 | #Constraints: 25156
314.97/315.96 c #Conflicts: 273000 | #Constraints: 26156
314.97/315.96 c #Conflicts: 274000 | #Constraints: 27156
314.97/315.96 c #Conflicts: 275000 | #Constraints: 28156
314.97/315.96 c #Conflicts: 276000 | #Constraints: 29156
314.97/315.96 c #Conflicts: 277000 | #Constraints: 30156
314.97/315.96 c #Conflicts: 278000 | #Constraints: 31156
314.97/315.96 c #Conflicts: 279000 | #Constraints: 32156
314.97/315.96 c #Conflicts: 280000 | #Constraints: 33156
314.97/315.96 c #Conflicts: 281000 | #Constraints: 34156
314.97/315.96 c #Conflicts: 282000 | #Constraints: 35156
314.97/315.96 c INPROCESSING
314.97/315.96 c GARBAGE COLLECT
314.97/315.96 c #Conflicts: 283000 | #Constraints: 22583
314.97/315.96 c #Conflicts: 284000 | #Constraints: 23583
314.97/315.96 c #Conflicts: 285000 | #Constraints: 24583
314.97/315.96 c #Conflicts: 286000 | #Constraints: 25583
314.97/315.96 c #Conflicts: 287000 | #Constraints: 26583
314.97/315.96 c #Conflicts: 288000 | #Constraints: 27583
314.97/315.96 c #Conflicts: 289000 | #Constraints: 28583
314.97/315.96 c #Conflicts: 290000 | #Constraints: 29583
314.97/315.96 c #Conflicts: 291000 | #Constraints: 30583
314.97/315.96 c #Conflicts: 292000 | #Constraints: 31583
314.97/315.96 c #Conflicts: 293000 | #Constraints: 32583
314.97/315.96 c #Conflicts: 294000 | #Constraints: 33583
314.97/315.96 c #Conflicts: 295000 | #Constraints: 34583
314.97/315.96 c #Conflicts: 296000 | #Constraints: 35583
314.97/315.96 c #Conflicts: 297000 | #Constraints: 36583
314.97/315.96 c #Conflicts: 298000 | #Constraints: 37583
314.97/315.96 c #Conflicts: 299000 | #Constraints: 38583
314.97/315.96 c #Conflicts: 300000 | #Constraints: 39583
314.97/315.96 c #Conflicts: 301000 | #Constraints: 40583
314.97/315.96 c #Conflicts: 302000 | #Constraints: 41583
314.97/315.96 c #Conflicts: 303000 | #Constraints: 42583
314.97/315.96 c #Conflicts: 304000 | #Constraints: 43583
314.97/315.96 c #Conflicts: 305000 | #Constraints: 44583
314.97/315.96 c #Conflicts: 306000 | #Constraints: 45583
314.97/315.96 c #Conflicts: 307000 | #Constraints: 46583
314.97/315.96 c #Conflicts: 308000 | #Constraints: 47583
314.97/315.96 c #Conflicts: 309000 | #Constraints: 48583
314.97/315.96 c #Conflicts: 310000 | #Constraints: 49583
314.97/315.96 c #Conflicts: 311000 | #Constraints: 50583
314.97/315.96 c #Conflicts: 312000 | #Constraints: 51583
314.97/315.96 c #Conflicts: 313000 | #Constraints: 52583
314.97/315.96 c #Conflicts: 314000 | #Constraints: 53583
314.97/315.96 c #Conflicts: 315000 | #Constraints: 54583
314.97/315.96 c #Conflicts: 316000 | #Constraints: 55583
314.97/315.96 c #Conflicts: 317000 | #Constraints: 56583
314.97/315.96 c #Conflicts: 318000 | #Constraints: 57583
314.97/315.96 c #Conflicts: 319000 | #Constraints: 58583
314.97/315.96 c #Conflicts: 320000 | #Constraints: 59583
314.97/315.96 c #Conflicts: 321000 | #Constraints: 60583
314.97/315.96 c #Conflicts: 322000 | #Constraints: 61583
367.61/368.78 c INPROCESSING
367.61/368.78 c GARBAGE COLLECT
367.61/368.78 c #Conflicts: 323000 | #Constraints: 35548
367.61/368.78 c #Conflicts: 324000 | #Constraints: 36548
367.61/368.78 c #Conflicts: 325000 | #Constraints: 37548
367.61/368.78 c #Conflicts: 326000 | #Constraints: 38548
367.61/368.78 c #Conflicts: 327000 | #Constraints: 39548
367.61/368.78 c #Conflicts: 328000 | #Constraints: 40548
367.61/368.78 c #Conflicts: 329000 | #Constraints: 41548
367.61/368.78 c #Conflicts: 330000 | #Constraints: 42548
367.61/368.78 c #Conflicts: 331000 | #Constraints: 43548
367.61/368.78 c #Conflicts: 332000 | #Constraints: 44548
367.61/368.78 c #Conflicts: 333000 | #Constraints: 45548
367.61/368.78 c #Conflicts: 334000 | #Constraints: 46548
367.61/368.78 c #Conflicts: 335000 | #Constraints: 47548
367.61/368.78 c #Conflicts: 336000 | #Constraints: 48548
367.61/368.78 c INPROCESSING
367.61/368.78 c GARBAGE COLLECT
367.61/368.78 c #Conflicts: 337000 | #Constraints: 29249
367.61/368.78 c #Conflicts: 338000 | #Constraints: 30249
367.61/368.78 c #Conflicts: 339000 | #Constraints: 31249
367.61/368.78 c #Conflicts: 340000 | #Constraints: 32249
367.61/368.78 c #Conflicts: 341000 | #Constraints: 33249
367.61/368.78 c #Conflicts: 342000 | #Constraints: 34249
367.61/368.78 c #Conflicts: 343000 | #Constraints: 35249
367.61/368.78 c #Conflicts: 344000 | #Constraints: 36249
367.61/368.78 c #Conflicts: 345000 | #Constraints: 37249
367.61/368.78 c #Conflicts: 346000 | #Constraints: 38249
367.61/368.78 c #Conflicts: 347000 | #Constraints: 39249
367.61/368.78 c #Conflicts: 348000 | #Constraints: 40249
367.61/368.78 c #Conflicts: 349000 | #Constraints: 41249
367.61/368.78 c INPROCESSING
367.61/368.78 c GARBAGE COLLECT
367.61/368.78 c #Conflicts: 350000 | #Constraints: 25207
367.61/368.78 c #Conflicts: 351000 | #Constraints: 26207
367.61/368.78 c #Conflicts: 352000 | #Constraints: 27207
367.61/368.78 c #Conflicts: 353000 | #Constraints: 28207
367.61/368.78 c #Conflicts: 354000 | #Constraints: 29207
367.61/368.78 c #Conflicts: 355000 | #Constraints: 30207
367.61/368.78 c #Conflicts: 356000 | #Constraints: 31207
367.61/368.78 c #Conflicts: 357000 | #Constraints: 32207
367.61/368.78 c #Conflicts: 358000 | #Constraints: 33207
367.61/368.78 c #Conflicts: 359000 | #Constraints: 34208
367.61/368.78 c #Conflicts: 360000 | #Constraints: 35208
367.61/368.78 c #Conflicts: 361000 | #Constraints: 36208
367.61/368.78 c #Conflicts: 362000 | #Constraints: 37208
367.61/368.78 c #Conflicts: 363000 | #Constraints: 38208
367.61/368.78 c INPROCESSING
367.61/368.78 c GARBAGE COLLECT
367.61/368.78 c rational objective 105
440.09/441.44 c #Conflicts: 364000 | #Constraints: 23664
440.09/441.44 c #Conflicts: 365000 | #Constraints: 24664
440.09/441.44 c #Conflicts: 366000 | #Constraints: 25664
440.09/441.44 c #Conflicts: 367000 | #Constraints: 26664
440.09/441.44 c #Conflicts: 368000 | #Constraints: 27664
440.09/441.44 c #Conflicts: 369000 | #Constraints: 28664
440.09/441.44 c #Conflicts: 370000 | #Constraints: 29664
440.09/441.44 c #Conflicts: 371000 | #Constraints: 30664
440.09/441.44 c #Conflicts: 372000 | #Constraints: 31664
440.09/441.44 c #Conflicts: 373000 | #Constraints: 32664
440.09/441.44 c #Conflicts: 374000 | #Constraints: 33664
440.09/441.44 c #Conflicts: 375000 | #Constraints: 34664
440.09/441.44 c #Conflicts: 376000 | #Constraints: 35664
440.09/441.44 c #Conflicts: 377000 | #Constraints: 36664
440.09/441.44 c #Conflicts: 378000 | #Constraints: 37664
440.09/441.44 c #Conflicts: 379000 | #Constraints: 38664
440.09/441.44 c #Conflicts: 380000 | #Constraints: 39664
440.09/441.44 c #Conflicts: 381000 | #Constraints: 40664
440.09/441.44 c #Conflicts: 382000 | #Constraints: 41664
440.09/441.44 c #Conflicts: 383000 | #Constraints: 42664
440.09/441.44 c #Conflicts: 384000 | #Constraints: 43664
440.09/441.44 c #Conflicts: 385000 | #Constraints: 44664
440.09/441.44 c #Conflicts: 386000 | #Constraints: 45664
440.09/441.44 c #Conflicts: 387000 | #Constraints: 46664
440.09/441.44 c #Conflicts: 388000 | #Constraints: 47664
440.09/441.44 c #Conflicts: 389000 | #Constraints: 48664
440.09/441.44 c #Conflicts: 390000 | #Constraints: 49664
440.09/441.44 c #Conflicts: 391000 | #Constraints: 50664
440.09/441.44 c #Conflicts: 392000 | #Constraints: 51664
440.09/441.44 c #Conflicts: 393000 | #Constraints: 52664
440.09/441.44 c #Conflicts: 394000 | #Constraints: 53664
440.09/441.44 c #Conflicts: 395000 | #Constraints: 54664
440.09/441.44 c #Conflicts: 396000 | #Constraints: 55665
440.09/441.44 c #Conflicts: 397000 | #Constraints: 56665
440.09/441.44 c #Conflicts: 398000 | #Constraints: 57665
440.09/441.44 c #Conflicts: 399000 | #Constraints: 58665
440.09/441.44 c #Conflicts: 400000 | #Constraints: 59665
440.09/441.44 c #Conflicts: 401000 | #Constraints: 60665
440.09/441.44 c #Conflicts: 402000 | #Constraints: 61665
440.09/441.44 c #Conflicts: 403000 | #Constraints: 62665
440.09/441.44 c #Conflicts: 404000 | #Constraints: 63665
440.09/441.44 c #Conflicts: 405000 | #Constraints: 64665
440.09/441.44 c #Conflicts: 406000 | #Constraints: 65665
440.09/441.44 c #Conflicts: 407000 | #Constraints: 66665
440.09/441.44 c #Conflicts: 408000 | #Constraints: 67665
440.09/441.44 c #Conflicts: 409000 | #Constraints: 68665
440.09/441.44 c INPROCESSING
440.09/441.44 c GARBAGE COLLECT
440.09/441.44 c rational objective 105
462.74/464.16 c #Conflicts: 410000 | #Constraints: 39069
462.74/464.16 c #Conflicts: 411000 | #Constraints: 40069
462.74/464.16 c #Conflicts: 412000 | #Constraints: 41069
462.74/464.16 c #Conflicts: 413000 | #Constraints: 42069
462.74/464.16 c #Conflicts: 414000 | #Constraints: 43069
462.74/464.16 c #Conflicts: 415000 | #Constraints: 44069
462.74/464.16 c #Conflicts: 416000 | #Constraints: 45069
462.74/464.16 c #Conflicts: 417000 | #Constraints: 46069
462.74/464.16 c #Conflicts: 418000 | #Constraints: 47069
462.74/464.16 c #Conflicts: 419000 | #Constraints: 48069
462.74/464.16 c #Conflicts: 420000 | #Constraints: 49069
462.74/464.16 c #Conflicts: 421000 | #Constraints: 50069
462.74/464.16 c #Conflicts: 422000 | #Constraints: 51069
462.74/464.16 c #Conflicts: 423000 | #Constraints: 52069
462.74/464.16 c #Conflicts: 424000 | #Constraints: 53069
462.74/464.16 c INPROCESSING
462.74/464.16 c GARBAGE COLLECT
462.74/464.16 c rational objective 105
491.34/492.87 c #Conflicts: 425000 | #Constraints: 31110
491.34/492.87 c #Conflicts: 426000 | #Constraints: 32110
491.34/492.87 c #Conflicts: 427000 | #Constraints: 33110
491.34/492.87 c #Conflicts: 428000 | #Constraints: 34110
491.34/492.87 c #Conflicts: 429000 | #Constraints: 35110
491.34/492.87 c #Conflicts: 430000 | #Constraints: 36110
491.34/492.87 c #Conflicts: 431000 | #Constraints: 37110
491.34/492.87 c #Conflicts: 432000 | #Constraints: 38110
491.34/492.87 c #Conflicts: 433000 | #Constraints: 39110
491.34/492.87 c #Conflicts: 434000 | #Constraints: 40110
491.34/492.87 c #Conflicts: 435000 | #Constraints: 41110
491.34/492.87 c #Conflicts: 436000 | #Constraints: 42110
491.34/492.87 c #Conflicts: 437000 | #Constraints: 43110
491.34/492.87 c #Conflicts: 438000 | #Constraints: 44110
491.34/492.87 c #Conflicts: 439000 | #Constraints: 45110
491.34/492.87 c #Conflicts: 440000 | #Constraints: 46110
491.34/492.87 c INPROCESSING
491.34/492.87 c GARBAGE COLLECT
491.34/492.87 c rational objective 105
636.02/638.00 c #Conflicts: 441000 | #Constraints: 27978
636.02/638.00 c #Conflicts: 442000 | #Constraints: 28978
636.02/638.00 c #Conflicts: 443000 | #Constraints: 29978
636.02/638.00 c #Conflicts: 444000 | #Constraints: 30978
636.02/638.00 c #Conflicts: 445000 | #Constraints: 31978
636.02/638.00 c #Conflicts: 446000 | #Constraints: 32978
636.02/638.00 c #Conflicts: 447000 | #Constraints: 33978
636.02/638.00 c #Conflicts: 448000 | #Constraints: 34978
636.02/638.00 c #Conflicts: 449000 | #Constraints: 35978
636.02/638.00 c #Conflicts: 450000 | #Constraints: 36978
636.02/638.00 c #Conflicts: 451000 | #Constraints: 37978
636.02/638.00 c #Conflicts: 452000 | #Constraints: 38978
636.02/638.00 c #Conflicts: 453000 | #Constraints: 39978
636.02/638.00 c #Conflicts: 454000 | #Constraints: 40978
636.02/638.00 c #Conflicts: 455000 | #Constraints: 41978
636.02/638.00 c #Conflicts: 456000 | #Constraints: 42978
636.02/638.00 c INPROCESSING
636.02/638.00 c GARBAGE COLLECT
636.02/638.00 c #Conflicts: 457000 | #Constraints: 26416
636.02/638.00 c #Conflicts: 458000 | #Constraints: 27416
636.02/638.00 c #Conflicts: 459000 | #Constraints: 28416
636.02/638.00 c #Conflicts: 460000 | #Constraints: 29416
636.02/638.00 c #Conflicts: 461000 | #Constraints: 30416
636.02/638.00 c #Conflicts: 462000 | #Constraints: 31416
636.02/638.00 c #Conflicts: 463000 | #Constraints: 32416
636.02/638.00 c #Conflicts: 464000 | #Constraints: 33416
636.02/638.00 c #Conflicts: 465000 | #Constraints: 34416
636.02/638.00 c #Conflicts: 466000 | #Constraints: 35416
636.02/638.00 c #Conflicts: 467000 | #Constraints: 36416
636.02/638.00 c #Conflicts: 468000 | #Constraints: 37416
636.02/638.00 c #Conflicts: 469000 | #Constraints: 38416
636.02/638.00 c #Conflicts: 470000 | #Constraints: 39416
636.02/638.00 c #Conflicts: 471000 | #Constraints: 40416
636.02/638.00 c #Conflicts: 472000 | #Constraints: 41416
636.02/638.00 c #Conflicts: 473000 | #Constraints: 42416
636.02/638.00 c #Conflicts: 474000 | #Constraints: 43416
636.02/638.00 c #Conflicts: 475000 | #Constraints: 44416
636.02/638.00 c #Conflicts: 476000 | #Constraints: 45416
636.02/638.00 c #Conflicts: 477000 | #Constraints: 46416
636.02/638.00 c #Conflicts: 478000 | #Constraints: 47416
636.02/638.00 c #Conflicts: 479000 | #Constraints: 48416
636.02/638.00 c #Conflicts: 480000 | #Constraints: 49416
636.02/638.00 c #Conflicts: 481000 | #Constraints: 50416
636.02/638.00 c #Conflicts: 482000 | #Constraints: 51416
636.02/638.00 c #Conflicts: 483000 | #Constraints: 52416
636.02/638.00 c #Conflicts: 484000 | #Constraints: 53416
636.02/638.00 c #Conflicts: 485000 | #Constraints: 54416
636.02/638.00 c #Conflicts: 486000 | #Constraints: 55416
636.02/638.00 c #Conflicts: 487000 | #Constraints: 56416
636.02/638.00 c #Conflicts: 488000 | #Constraints: 57416
636.02/638.00 c #Conflicts: 489000 | #Constraints: 58416
636.02/638.00 c #Conflicts: 490000 | #Constraints: 59416
636.02/638.00 c #Conflicts: 491000 | #Constraints: 60416
636.02/638.00 c #Conflicts: 492000 | #Constraints: 61416
636.02/638.00 c #Conflicts: 493000 | #Constraints: 62416
636.02/638.00 c #Conflicts: 494000 | #Constraints: 63416
636.02/638.00 c #Conflicts: 495000 | #Constraints: 64416
636.02/638.00 c #Conflicts: 496000 | #Constraints: 65416
636.02/638.00 c #Conflicts: 497000 | #Constraints: 66416
636.02/638.00 c #Conflicts: 498000 | #Constraints: 67416
636.02/638.00 c #Conflicts: 499000 | #Constraints: 68416
636.02/638.00 c #Conflicts: 500000 | #Constraints: 69416
636.02/638.00 c #Conflicts: 501000 | #Constraints: 70416
636.02/638.00 c #Conflicts: 502000 | #Constraints: 71416
636.02/638.00 c #Conflicts: 503000 | #Constraints: 72416
636.02/638.00 c #Conflicts: 504000 | #Constraints: 73416
636.02/638.00 c #Conflicts: 505000 | #Constraints: 74416
636.02/638.00 c #Conflicts: 506000 | #Constraints: 75416
636.02/638.00 c #Conflicts: 507000 | #Constraints: 76416
636.02/638.00 c INPROCESSING
636.02/638.00 c GARBAGE COLLECT
636.02/638.00 c #Conflicts: 508000 | #Constraints: 43292
636.02/638.00 c #Conflicts: 509000 | #Constraints: 44292
636.02/638.00 c #Conflicts: 510000 | #Constraints: 45292
636.02/638.00 c #Conflicts: 511000 | #Constraints: 46292
636.02/638.00 c #Conflicts: 512000 | #Constraints: 47292
636.02/638.00 c #Conflicts: 513000 | #Constraints: 48292
636.02/638.00 c #Conflicts: 514000 | #Constraints: 49292
636.02/638.00 c #Conflicts: 515000 | #Constraints: 50292
636.02/638.00 c #Conflicts: 516000 | #Constraints: 51292
636.02/638.00 c #Conflicts: 517000 | #Constraints: 52292
636.02/638.00 c #Conflicts: 518000 | #Constraints: 53292
708.40/710.56 c #Conflicts: 519000 | #Constraints: 54292
708.40/710.56 c #Conflicts: 520000 | #Constraints: 55292
708.40/710.56 c #Conflicts: 521000 | #Constraints: 56293
708.40/710.56 c #Conflicts: 522000 | #Constraints: 57293
708.40/710.56 c #Conflicts: 523000 | #Constraints: 58293
708.40/710.56 c #Conflicts: 524000 | #Constraints: 59293
708.40/710.56 c INPROCESSING
708.40/710.56 c GARBAGE COLLECT
708.40/710.56 c #Conflicts: 525000 | #Constraints: 34673
708.40/710.56 c #Conflicts: 526000 | #Constraints: 35673
708.40/710.56 c #Conflicts: 527000 | #Constraints: 36673
708.40/710.56 c #Conflicts: 528000 | #Constraints: 37673
708.40/710.56 c #Conflicts: 529000 | #Constraints: 38673
708.40/710.56 c #Conflicts: 530000 | #Constraints: 39673
708.40/710.56 c #Conflicts: 531000 | #Constraints: 40673
708.40/710.56 c #Conflicts: 532000 | #Constraints: 41673
708.40/710.56 c #Conflicts: 533000 | #Constraints: 42673
708.40/710.56 c #Conflicts: 534000 | #Constraints: 43673
708.40/710.56 c #Conflicts: 535000 | #Constraints: 44673
708.40/710.56 c #Conflicts: 536000 | #Constraints: 45673
708.40/710.56 c #Conflicts: 537000 | #Constraints: 46673
708.40/710.56 c #Conflicts: 538000 | #Constraints: 47673
708.40/710.56 c #Conflicts: 539000 | #Constraints: 48673
708.40/710.56 c #Conflicts: 540000 | #Constraints: 49673
708.40/710.56 c #Conflicts: 541000 | #Constraints: 50673
708.40/710.56 c INPROCESSING
708.40/710.56 c GARBAGE COLLECT
708.40/710.56 c #Conflicts: 542000 | #Constraints: 30206
708.40/710.56 c #Conflicts: 543000 | #Constraints: 31206
708.40/710.56 c #Conflicts: 544000 | #Constraints: 32206
708.40/710.56 c #Conflicts: 545000 | #Constraints: 33206
708.40/710.56 c #Conflicts: 546000 | #Constraints: 34206
708.40/710.56 c #Conflicts: 547000 | #Constraints: 35206
708.40/710.56 c #Conflicts: 548000 | #Constraints: 36206
708.40/710.56 c #Conflicts: 549000 | #Constraints: 37206
708.40/710.56 c #Conflicts: 550000 | #Constraints: 38206
708.40/710.56 c #Conflicts: 551000 | #Constraints: 39206
708.40/710.56 c #Conflicts: 552000 | #Constraints: 40206
708.40/710.56 c #Conflicts: 553000 | #Constraints: 41206
708.40/710.56 c #Conflicts: 554000 | #Constraints: 42206
708.40/710.56 c #Conflicts: 555000 | #Constraints: 43206
708.40/710.56 c #Conflicts: 556000 | #Constraints: 44206
708.40/710.56 c #Conflicts: 557000 | #Constraints: 45206
708.40/710.56 c #Conflicts: 558000 | #Constraints: 46206
708.40/710.56 c INPROCESSING
708.40/710.56 c GARBAGE COLLECT
708.40/710.56 c #Conflicts: 559000 | #Constraints: 27877
708.40/710.56 c #Conflicts: 560000 | #Constraints: 28877
708.40/710.56 c #Conflicts: 561000 | #Constraints: 29877
708.40/710.56 c #Conflicts: 562000 | #Constraints: 30877
708.40/710.56 c #Conflicts: 563000 | #Constraints: 31877
708.40/710.56 c #Conflicts: 564000 | #Constraints: 32877
708.40/710.56 c #Conflicts: 565000 | #Constraints: 33877
708.40/710.56 c #Conflicts: 566000 | #Constraints: 34877
708.40/710.56 c #Conflicts: 567000 | #Constraints: 35877
708.40/710.56 c #Conflicts: 568000 | #Constraints: 36877
708.40/710.56 c #Conflicts: 569000 | #Constraints: 37877
708.40/710.56 c #Conflicts: 570000 | #Constraints: 38877
708.40/710.56 c #Conflicts: 571000 | #Constraints: 39877
708.40/710.56 c #Conflicts: 572000 | #Constraints: 40877
708.40/710.56 c #Conflicts: 573000 | #Constraints: 41877
708.40/710.56 c #Conflicts: 574000 | #Constraints: 42877
708.40/710.56 c #Conflicts: 575000 | #Constraints: 43877
708.40/710.56 c #Conflicts: 576000 | #Constraints: 44877
708.40/710.56 c INPROCESSING
708.40/710.56 c GARBAGE COLLECT
708.40/710.56 c rational objective 105
844.83/847.41 c #Conflicts: 577000 | #Constraints: 27346
844.83/847.41 c #Conflicts: 578000 | #Constraints: 28346
844.83/847.41 c #Conflicts: 579000 | #Constraints: 29346
844.83/847.41 c #Conflicts: 580000 | #Constraints: 30346
844.83/847.41 c #Conflicts: 581000 | #Constraints: 31346
844.83/847.41 c #Conflicts: 582000 | #Constraints: 32346
844.83/847.41 c #Conflicts: 583000 | #Constraints: 33346
844.83/847.41 c #Conflicts: 584000 | #Constraints: 34346
844.83/847.41 c #Conflicts: 585000 | #Constraints: 35346
844.83/847.41 c #Conflicts: 586000 | #Constraints: 36346
844.83/847.41 c #Conflicts: 587000 | #Constraints: 37346
844.83/847.41 c #Conflicts: 588000 | #Constraints: 38346
844.83/847.41 c #Conflicts: 589000 | #Constraints: 39346
844.83/847.41 c #Conflicts: 590000 | #Constraints: 40346
844.83/847.41 c #Conflicts: 591000 | #Constraints: 41346
844.83/847.41 c #Conflicts: 592000 | #Constraints: 42346
844.83/847.41 c #Conflicts: 593000 | #Constraints: 43346
844.83/847.41 c #Conflicts: 594000 | #Constraints: 44346
844.83/847.41 c #Conflicts: 595000 | #Constraints: 45346
844.83/847.41 c #Conflicts: 596000 | #Constraints: 46346
844.83/847.41 c #Conflicts: 597000 | #Constraints: 47346
844.83/847.41 c #Conflicts: 598000 | #Constraints: 48346
844.83/847.41 c #Conflicts: 599000 | #Constraints: 49346
844.83/847.41 c #Conflicts: 600000 | #Constraints: 50346
844.83/847.41 c #Conflicts: 601000 | #Constraints: 51346
844.83/847.41 c #Conflicts: 602000 | #Constraints: 52346
844.83/847.41 c #Conflicts: 603000 | #Constraints: 53346
844.83/847.41 c #Conflicts: 604000 | #Constraints: 54346
844.83/847.41 c #Conflicts: 605000 | #Constraints: 55346
844.83/847.41 c #Conflicts: 606000 | #Constraints: 56346
844.83/847.41 c #Conflicts: 607000 | #Constraints: 57346
844.83/847.41 c #Conflicts: 608000 | #Constraints: 58346
844.83/847.41 c #Conflicts: 609000 | #Constraints: 59346
844.83/847.41 c #Conflicts: 610000 | #Constraints: 60346
844.83/847.41 c #Conflicts: 611000 | #Constraints: 61346
844.83/847.41 c #Conflicts: 612000 | #Constraints: 62346
844.83/847.41 c #Conflicts: 613000 | #Constraints: 63346
844.83/847.41 c #Conflicts: 614000 | #Constraints: 64346
844.83/847.41 c #Conflicts: 615000 | #Constraints: 65346
844.83/847.41 c #Conflicts: 616000 | #Constraints: 66346
844.83/847.41 c #Conflicts: 617000 | #Constraints: 67346
844.83/847.41 c #Conflicts: 618000 | #Constraints: 68346
844.83/847.41 c #Conflicts: 619000 | #Constraints: 69346
844.83/847.41 c #Conflicts: 620000 | #Constraints: 70346
844.83/847.41 c #Conflicts: 621000 | #Constraints: 71346
844.83/847.41 c #Conflicts: 622000 | #Constraints: 72346
844.83/847.41 c #Conflicts: 623000 | #Constraints: 73346
844.83/847.41 c #Conflicts: 624000 | #Constraints: 74346
844.83/847.41 c #Conflicts: 625000 | #Constraints: 75346
844.83/847.41 c #Conflicts: 626000 | #Constraints: 76346
844.83/847.41 c #Conflicts: 627000 | #Constraints: 77346
844.83/847.41 c #Conflicts: 628000 | #Constraints: 78346
844.83/847.41 c #Conflicts: 629000 | #Constraints: 79346
844.83/847.41 c #Conflicts: 630000 | #Constraints: 80346
844.83/847.41 c #Conflicts: 631000 | #Constraints: 81346
844.83/847.41 c #Conflicts: 632000 | #Constraints: 82346
844.83/847.41 c #Conflicts: 633000 | #Constraints: 83346
844.83/847.41 c INPROCESSING
844.83/847.41 c GARBAGE COLLECT
844.83/847.41 c #Conflicts: 634000 | #Constraints: 46521
844.83/847.41 c #Conflicts: 635000 | #Constraints: 47521
844.83/847.41 c #Conflicts: 636000 | #Constraints: 48521
844.83/847.41 c #Conflicts: 637000 | #Constraints: 49521
844.83/847.41 c #Conflicts: 638000 | #Constraints: 50521
844.83/847.41 c #Conflicts: 639000 | #Constraints: 51521
844.83/847.41 c #Conflicts: 640000 | #Constraints: 52521
844.83/847.41 c #Conflicts: 641000 | #Constraints: 53521
844.83/847.41 c #Conflicts: 642000 | #Constraints: 54521
844.83/847.41 c #Conflicts: 643000 | #Constraints: 55521
844.83/847.41 c #Conflicts: 644000 | #Constraints: 56521
844.83/847.41 c #Conflicts: 645000 | #Constraints: 57521
844.83/847.41 c #Conflicts: 646000 | #Constraints: 58521
844.83/847.41 c #Conflicts: 647000 | #Constraints: 59521
844.83/847.41 c #Conflicts: 648000 | #Constraints: 60521
844.83/847.41 c #Conflicts: 649000 | #Constraints: 61521
844.83/847.41 c #Conflicts: 650000 | #Constraints: 62521
844.83/847.41 c #Conflicts: 651000 | #Constraints: 63521
844.83/847.41 c #Conflicts: 652000 | #Constraints: 64521
844.83/847.41 c INPROCESSING
844.83/847.41 c GARBAGE COLLECT
844.83/847.41 c #Conflicts: 653000 | #Constraints: 37097
844.83/847.41 c #Conflicts: 654000 | #Constraints: 38097
875.62/878.37 c #Conflicts: 655000 | #Constraints: 39097
875.62/878.37 c #Conflicts: 656000 | #Constraints: 40097
875.62/878.37 c #Conflicts: 657000 | #Constraints: 41097
875.62/878.37 c #Conflicts: 658000 | #Constraints: 42097
875.62/878.37 c #Conflicts: 659000 | #Constraints: 43097
875.62/878.37 c #Conflicts: 660000 | #Constraints: 44097
875.62/878.37 c #Conflicts: 661000 | #Constraints: 45097
875.62/878.37 c #Conflicts: 662000 | #Constraints: 46097
875.62/878.37 c #Conflicts: 663000 | #Constraints: 47097
875.62/878.37 c #Conflicts: 664000 | #Constraints: 48097
875.62/878.37 c #Conflicts: 665000 | #Constraints: 49097
875.62/878.37 c #Conflicts: 666000 | #Constraints: 50097
875.62/878.37 c #Conflicts: 667000 | #Constraints: 51097
875.62/878.37 c #Conflicts: 668000 | #Constraints: 52097
875.62/878.37 c #Conflicts: 669000 | #Constraints: 53097
875.62/878.37 c #Conflicts: 670000 | #Constraints: 54097
875.62/878.37 c #Conflicts: 671000 | #Constraints: 55097
875.62/878.37 c INPROCESSING
875.62/878.37 c GARBAGE COLLECT
875.62/878.37 c #Conflicts: 672000 | #Constraints: 32297
875.62/878.37 c #Conflicts: 673000 | #Constraints: 33297
875.62/878.37 c #Conflicts: 674000 | #Constraints: 34297
875.62/878.37 c #Conflicts: 675000 | #Constraints: 35297
875.62/878.37 c #Conflicts: 676000 | #Constraints: 36297
875.62/878.37 c #Conflicts: 677000 | #Constraints: 37297
875.62/878.37 c #Conflicts: 678000 | #Constraints: 38297
875.62/878.37 c #Conflicts: 679000 | #Constraints: 39297
875.62/878.37 c cpu time 867.589 s
875.62/878.37 c deterministic time 62765653840 6.28e+10
875.62/878.37 c optimization time 8.8e-05 s
875.62/878.37 c total solve time 867.499 s
875.62/878.37 c core-guided solve time 0 s
875.62/878.37 c propagation time 475.128 s
875.62/878.37 c conflict analysis time 312.298 s
875.62/878.37 c propagations 305360548
875.62/878.37 c resolve steps 27072101
875.62/878.37 c decisions 7485182
875.62/878.37 c conflicts 679721
875.62/878.37 c restarts 1467
875.62/878.37 c inprocessing phases 46
875.62/878.37 c garbage collections 46 ,( 100.00 )
875.62/878.37 c input clauses 7247 ,( 98.57 )
875.62/878.37 c input cardinalities 105 ,( 1.43 )
875.62/878.37 c input general constraints 0 ,( 0.00 )
875.62/878.37 c input average constraint length 6.24
875.62/878.37 c input average constraint degree 1.94
875.62/878.37 c learned clauses 486710 ,( 71.60 )
875.62/878.37 c learned cardinalities 18111 ,( 2.66 )
875.62/878.37 c learned general constraints 174914 ,( 25.73 )
875.62/878.37 c learned average constraint length 566.85
875.62/878.37 c learned average constraint degree 7569373.50
875.62/878.37 c watched CF 32, 64, 128, Arb: 52433 , 0 , 0 , 0
875.62/878.37 c counting CF 32, 64, 128, Arb: 122481 , 0 , 0 , 0
875.62/878.37 c watched constraints 52433 ,( 29.98 )
875.62/878.37 c counting constraints 122481 ,( 70.02 )
875.62/878.37 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 373181129 , 212581079 , 701778878 ,( 46037536 , 655741342 )
875.62/878.37 c gcd simplifications 457
875.62/878.37 c detected cardinalities 1820
875.62/878.37 c weakened non-implied lits 117566115
875.62/878.37 c weakened non-implying lits 79676
875.62/878.37 c original variables 7140
875.62/878.37 c clausal propagations 122425720
875.62/878.37 c cardinality propagations 115205664
875.62/878.37 c watched propagations 1606386
875.62/878.37 c counting propagations 62944807
875.62/878.37 c watch lookups 28159966521
875.62/878.37 c watch backjump lookups 0
875.62/878.37 c watch checks 11049949849
875.62/878.37 c propagation checks 21605302334
875.62/878.37 c constraint additions 1323923685
875.62/878.37 c trail pops 313524957
875.62/878.37 c formula constraints 7352
875.62/878.37 c learned constraints 679714
875.62/878.37 c bound constraints 0
875.62/878.37 c core-guided constraints 0
875.62/878.37 c encountered formula constraints 17248092
875.62/878.37 c encountered learned constraints 10503679
875.62/878.37 c encountered bound constraints 0
875.62/878.37 c encountered core-guided constraints 0
875.62/878.37 c LP total time 54.1924 s
875.62/878.37 c LP solve time 46.83 s
875.62/878.37 c LP constraints added 8005
875.62/878.37 c LP constraints removed 534
875.62/878.37 c LP pivots internal 70735
875.62/878.37 c LP pivots root 70028
875.62/878.37 c LP calls 25
875.62/878.37 c LP optimalities 14
875.62/878.37 c LP no pivot count 1
875.62/878.37 c LP infeasibilities 7
875.62/878.37 c LP valid Farkas constraints 7
875.62/878.37 c LP learned Farkas constraints 7
875.62/878.37 c LP basis resets 0
875.62/878.37 c LP cycling count 0
875.62/878.37 c LP singular count 0
875.62/878.37 c LP no primal count 0
875.62/878.37 c LP no farkas count 0
875.62/878.37 c LP other issue count 0
875.62/878.37 c LP Gomory cuts 7
875.62/878.37 c LP learned cuts 646
875.62/878.37 c LP deleted cuts 534
875.62/878.37 c LP encountered Gomory constraints 10
875.62/878.37 c LP encountered Farkas constraints 26
875.62/878.37 c LP encountered learned Farkas constraints 8
875.62/878.37 c CG auxiliary variables introduced 0
875.62/878.37 c CG solutions found 0
875.62/878.37 c CG cores constructed 0
875.62/878.37 c CG core cardinality constraints returned 0
875.62/878.37 c CG unit cores 0
875.62/878.37 c CG single cores 0
875.62/878.37 c CG blocks removed during cardinality reduction 0
875.62/878.37 c CG first core best 0
875.62/878.37 c CG decision core best 0
875.62/878.37 c CG core reduction tie 0
875.62/878.37 c CG core degree average 0.00
875.62/878.37 c CG core slack average 0.00
875.62/878.37 c CG core upper bound improvements 0
875.62/878.37 c STR number of successful calls 0
875.62/878.37 c STR number of unsuccessful calls 0
875.62/878.37 c STR number of inconclusive calls 0
875.62/878.37 c STR number of successful attempts 0
875.62/878.37 c STR number of unsuccessful attempts 0
875.62/878.37 c STR number of inconclusive attempts 0
875.62/878.37 c STR average degree increase per successful call inf
875.62/878.37 c STR average degree increase per successful attempt inf
875.62/878.37 c STR total number of conflicts for successful attempts 0
875.62/878.37 c STR total number of conflicts for unsuccessful attempts 0
875.62/878.37 c STR total number of conflicts for inconclusive attempts 0
875.62/878.37 c STR average number of conflicts per successful attempt inf
875.62/878.37 c STR average number of conflicts per unsuccessful attempt inf
875.62/878.37 c STR average number of conflicts per inconclusive attempt inf
875.62/878.37 c AVG.sumWPerc 61.47
875.62/878.37 c bigint constraints 0
875.62/878.37 s SATISFIABLE
875.62/878.37 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 x4536 -x4537 x4538 -x4539 x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 x4951 -x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 x5314 -x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 x6279 -x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 x6289 -x6290 x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 x6475 -x6476 x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 x6544 -x6545 x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 x6624 -x6625 x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 x7140
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 (62751 MiB free)
memory of node 1: 64507 MiB (63506 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507554-1751179512/watcher-4507554-1751179512 -o /tmp/evaluation-result-4507554-1751179512/solver-4507554-1751179512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4507554-1751179512.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=21266, runsolver pid=21263
[startup+0.10007 s]*
/proc/loadavg: 4.09 4.17 4.16 5/257 21268
/proc/meminfo: memFree=129275360/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=62264 memory=16728 CPUtime=0.08 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 2441 0 0 0 6 2 0 0 20 0 1 0 33630588 63758336 4182 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 15566 4182 2272 1147 0 2993 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66456 KiB
Current children cumulated memory: 19672 KiB
[startup+0.214271 s]*
/proc/loadavg: 4.09 4.17 4.16 5/257 21268
/proc/meminfo: memFree=129267296/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=74616 memory=27264 CPUtime=0.2 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 5439 0 0 0 17 3 0 0 20 0 1 0 33630588 76406784 6816 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 18654 6816 2272 1147 0 6081 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 78808 KiB
Current children cumulated memory: 30208 KiB
[startup+0.314012 s]*
/proc/loadavg: 4.09 4.17 4.16 5/257 21268
/proc/meminfo: memFree=129266288/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=74792 memory=27776 CPUtime=0.3 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 5572 0 0 0 26 4 0 0 20 0 1 0 33630588 76587008 6944 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 18698 6944 2272 1147 0 6125 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78984 KiB
Current children cumulated memory: 30720 KiB
[startup+0.700389 s]
/proc/loadavg: 4.09 4.17 4.16 5/257 21268
/proc/meminfo: memFree=129266288/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=75500 memory=28672 CPUtime=0.67 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 5747 0 0 0 63 4 0 0 20 0 1 0 33630588 77312000 7168 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 18875 7168 2304 1147 0 6302 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79692 KiB
Current children cumulated memory: 31616 KiB
[startup+1.50039 s]
/proc/loadavg: 4.09 4.17 4.16 5/257 21268
/proc/meminfo: memFree=129264068/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=76332 memory=29696 CPUtime=1.47 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 6010 0 0 0 143 4 0 0 20 0 1 0 33630588 78163968 7424 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 19083 7424 2304 1147 0 6510 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 80524 KiB
Current children cumulated memory: 32640 KiB
[startup+3.11387 s]
/proc/loadavg: 4.17 4.18 4.17 5/257 21268
/proc/meminfo: memFree=129247924/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=80572 memory=38152 CPUtime=3.08 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 7559 0 0 0 299 9 0 0 20 0 1 0 33630588 82505728 9538 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 20143 9538 2368 1147 0 7570 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 41096 KiB
[startup+6.30032 s]
/proc/loadavg: 4.17 4.18 4.17 5/257 21268
/proc/meminfo: memFree=129248084/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=88012 memory=43272 CPUtime=6.25 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 8836 0 0 0 607 18 0 0 20 0 1 0 33630588 90124288 10818 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 22003 10818 2368 1147 0 9430 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 92204 KiB
Current children cumulated memory: 46216 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.18 4.17 5/257 21268
/proc/meminfo: memFree=129232268/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=91996 memory=49480 CPUtime=12.63 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 9863 0 0 0 1231 32 0 0 20 0 1 0 33630588 94203904 12370 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 22999 12370 2368 1147 0 10426 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 96188 KiB
Current children cumulated memory: 52424 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.17 4.17 5/257 21268
/proc/meminfo: memFree=129164260/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=132004 memory=88088 CPUtime=25.4 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 15450 0 0 0 2480 60 0 0 20 0 1 0 33630588 135172096 22022 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 33001 22022 2368 1147 0 20428 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 136196 KiB
Current children cumulated memory: 91032 KiB
[startup+51.1139 s]
/proc/loadavg: 4.16 4.17 4.17 5/257 21269
/proc/meminfo: memFree=129112568/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=168024 memory=110320 CPUtime=50.95 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 19973 0 0 0 4991 104 0 0 20 0 1 0 33630588 172056576 27580 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 42006 27580 2368 1147 0 29433 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 172216 KiB
Current children cumulated memory: 113264 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/256 21270
/proc/meminfo: memFree=129006228/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=237516 memory=169216 CPUtime=101.98 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 29606 0 0 0 10024 174 0 0 20 0 1 0 33630588 243216384 42304 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 59379 42304 2368 1147 0 46806 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 241708 KiB
Current children cumulated memory: 172160 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/258 21274
/proc/meminfo: memFree=128931428/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=254752 memory=191284 CPUtime=161.82 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 33596 0 0 0 15922 260 0 0 20 0 1 0 33630588 260866048 47821 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 63688 47821 2368 1147 0 51115 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 258944 KiB
Current children cumulated memory: 194228 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/258 21276
/proc/meminfo: memFree=128786820/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=393216 memory=284928 CPUtime=221.64 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 36602 0 0 0 21853 311 0 0 20 0 1 0 33630588 402653184 71232 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 98304 71232 2368 1147 0 85731 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 54106 0 0 0 69340 682 0 0 20 0 1 0 33630588 613658624 103976 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 149819 103976 2368 1147 0 137246 0
Current children cumulated CPU time: 700.22 s
Current children cumulated vsize: 603468 KiB
Current children cumulated memory: 418848 KiB
[startup+762.3 s]
/proc/loadavg: 4.53 4.35 4.23 5/256 21304
/proc/meminfo: memFree=128350596/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=601760 memory=419104 CPUtime=760.02 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 54742 0 0 0 75269 733 0 0 20 0 1 0 33630588 616202240 104776 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 150440 104776 2368 1147 0 137867 0
Current children cumulated CPU time: 760.02 s
Current children cumulated vsize: 605952 KiB
Current children cumulated memory: 422048 KiB
[startup+822.3 s]
/proc/loadavg: 4.30 4.31 4.23 5/255 21306
/proc/meminfo: memFree=128264136/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=432160 CPUtime=819.81 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57520 0 0 0 81217 764 0 0 20 0 1 0 33630588 628092928 108040 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 108040 2368 1147 0 140770 0
Current children cumulated CPU time: 819.81 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 435104 KiB
[startup+878.384 s]
# the end of solver process 21266 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=867.599 s, system=8.1237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 4.21 4.29 4.22 5/255 21307
/proc/meminfo: memFree=128237960/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=436896 CPUtime=842.23 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57534 0 0 0 83442 781 0 0 20 0 1 0 33630588 628092928 109224 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 109224 2368 1147 0 140770 0
Current children cumulated CPU time: 842.23 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 439840 KiB
[startup+857.6 s]
/proc/loadavg: 4.17 4.28 4.22 5/255 21308
/proc/meminfo: memFree=128214140/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=438944 CPUtime=854.99 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57589 0 0 0 84709 790 0 0 20 0 1 0 33630588 628092928 109736 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 109736 2368 1147 0 140770 0
Current children cumulated CPU time: 854.99 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 441888 KiB
[startup+870.4 s]
/proc/loadavg: 4.21 4.28 4.22 5/255 21308
/proc/meminfo: memFree=128199632/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=442400 CPUtime=867.74 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57600 0 0 0 85974 800 0 0 20 0 1 0 33630588 628092928 110600 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 110600 2368 1147 0 140770 0
Current children cumulated CPU time: 867.74 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 445344 KiB
[startup+873.6 s]
/proc/loadavg: 4.20 4.28 4.22 5/255 21308
/proc/meminfo: memFree=128207700/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=442400 CPUtime=870.94 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57600 0 0 0 86290 804 0 0 20 0 1 0 33630588 628092928 110600 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 110600 2368 1147 0 140770 0
Current children cumulated CPU time: 870.94 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 445344 KiB
[startup+876.8 s]
/proc/loadavg: 4.20 4.28 4.22 5/255 21308
/proc/meminfo: memFree=128207700/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=442400 CPUtime=874.13 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57600 0 0 0 86603 810 0 0 20 0 1 0 33630588 628092928 110600 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 110600 2368 1147 0 140770 0
Current children cumulated CPU time: 874.13 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 445344 KiB
[startup+877.6 s]
/proc/loadavg: 4.18 4.27 4.22 5/255 21308
/proc/meminfo: memFree=128207700/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=442400 CPUtime=874.93 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57600 0 0 0 86682 811 0 0 20 0 1 0 33630588 628092928 110600 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 110600 2368 1147 0 140770 0
Current children cumulated CPU time: 874.93 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 445344 KiB
[startup+878 s]*
/proc/loadavg: 4.18 4.27 4.22 5/255 21308
/proc/meminfo: memFree=128207700/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=442400 CPUtime=875.34 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57600 0 0 0 86723 811 0 0 20 0 1 0 33630588 628092928 110600 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 110600 2368 1147 0 140770 0
Current children cumulated CPU time: 875.34 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 445344 KiB
[startup+878.2 s]
/proc/loadavg: 4.18 4.27 4.22 5/255 21308
/proc/meminfo: memFree=128207700/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=442400 CPUtime=875.52 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57600 0 0 0 86741 811 0 0 20 0 1 0 33630588 628092928 110600 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 110600 2368 1147 0 140770 0
Current children cumulated CPU time: 875.52 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 445344 KiB
[startup+878.3 s]
/proc/loadavg: 4.18 4.27 4.22 5/255 21308
/proc/meminfo: memFree=128207700/131382120 swapFree=33010684/33010684
[pid=21266] ppid=21263 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/21266/stat : 21266 (run-dec-ls.sh) S 21263 21266 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33630587 4292608 736 18446744073709551615 94215045382144 94215046276677 140721928837136 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94215046515728 94215046563472 94215072817152 140721928845671 140721928845797 140721928845797 140721928851399 0
/proc/21266/statm: 1048 736 672 219 0 110 0
[pid=21268] ppid=21266 vsize=613372 memory=442400 CPUtime=875.62 cores=0,2
/proc/21268/stat : 21268 (roundingsat) R 21266 21266 20058 0 -1 4194304 57600 0 0 0 86751 811 0 0 20 0 1 0 33630588 628092928 110600 18446744073709551615 4227072 8923433 140722031191312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38244352 140722031196576 140722031196712 140722031196712 140722031202282 0
/proc/21268/statm: 153343 110600 2368 1147 0 140770 0
Current children cumulated CPU time: 875.62 s
Current children cumulated vsize: 617564 KiB
Current children cumulated memory: 445344 KiB
Child status: 0
Real time (s): 878.384
CPU time (s): 875.722
CPU user time (s): 867.599
CPU system time (s): 8.1237
CPU usage (%): 99.6969
Max. virtual memory (cumulated for all children) (KiB): 617564
Max. memory (cumulated for all children) (KiB): 445344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 867.599
system time used= 8.1237
maximum resident set size= 442400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57827
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= 233
involuntary context switches= 2263
# summary of solver processes directly reported to runsolver:
# pid: 21266
# total CPU time (s): 875.722
# total CPU user time (s): 867.599
# total CPU system time (s): 8.1237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78565 second user time and 9.32518 second system time
The end
Begin job on nodeC006 at 2025-06-29 08:45:12
IDJOB=4507554
IDBENCH=158365
IDSOLVER=3353
FILE ID=nodeC006/4507554-1751179512
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_K105.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507554-1751179512/watcher-4507554-1751179512 -o /tmp/evaluation-result-4507554-1751179512/solver-4507554-1751179512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20068 --watchdog 3760 run-dec-ls.sh HOME/instance-4507554-1751179512.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=218795544
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.498
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 : 3691.106
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.128
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.462
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.058
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 : 3691.207
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.306
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 : 3700.000
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: 129273704 kB
MemAvailable: 128919020 kB
Buffers: 3280 kB
Cached: 455404 kB
SwapCached: 0 kB
Active: 1392576 kB
Inactive: 207640 kB
Active(anon): 1159492 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 207640 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: 1141736 kB
Mapped: 115704 kB
Shmem: 17960 kB
KReclaimable: 85388 kB
Slab: 164244 kB
SReclaimable: 85388 kB
SUnreclaim: 78856 kB
KernelStack: 4128 kB
PageTables: 5460 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1596248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 630784 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= 433028 MiB
End job on nodeC006 at 2025-06-29 08:59:51