0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 31 #constraints 9
0.00/0.01 c SMALL=int, LARGE=long long
15.75/15.83 c bounds - >= 0 @ 8.4e-05
15.75/15.83 c #Conflicts: 1000 | #Constraints: 1008
15.75/15.83 c #Conflicts: 2000 | #Constraints: 2008
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 3000 | #Constraints: 2010
15.75/15.83 c #Conflicts: 4000 | #Constraints: 3010
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 5000 | #Constraints: 2412
15.75/15.83 c #Conflicts: 6000 | #Constraints: 3412
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 7000 | #Constraints: 2414
15.75/15.83 c #Conflicts: 8000 | #Constraints: 3414
15.75/15.83 c #Conflicts: 9000 | #Constraints: 4414
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 10000 | #Constraints: 3113
15.75/15.83 c #Conflicts: 11000 | #Constraints: 4113
15.75/15.83 c #Conflicts: 12000 | #Constraints: 5113
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 13000 | #Constraints: 3564
15.75/15.83 c #Conflicts: 14000 | #Constraints: 4564
15.75/15.83 c #Conflicts: 15000 | #Constraints: 5564
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 16000 | #Constraints: 3789
15.75/15.83 c #Conflicts: 17000 | #Constraints: 4789
15.75/15.83 c #Conflicts: 18000 | #Constraints: 5789
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 19000 | #Constraints: 3801
15.75/15.83 c #Conflicts: 20000 | #Constraints: 4801
15.75/15.83 c #Conflicts: 21000 | #Constraints: 5801
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 22000 | #Constraints: 3608
15.75/15.83 c #Conflicts: 23000 | #Constraints: 4608
15.75/15.83 c #Conflicts: 24000 | #Constraints: 5608
15.75/15.83 c #Conflicts: 25000 | #Constraints: 6608
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 26000 | #Constraints: 4211
15.75/15.83 c #Conflicts: 27000 | #Constraints: 5211
15.75/15.83 c #Conflicts: 28000 | #Constraints: 6211
15.75/15.83 c #Conflicts: 29000 | #Constraints: 7211
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 30000 | #Constraints: 4611
15.75/15.83 c #Conflicts: 31000 | #Constraints: 5611
15.75/15.83 c #Conflicts: 32000 | #Constraints: 6611
15.75/15.83 c #Conflicts: 33000 | #Constraints: 7611
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 34000 | #Constraints: 4816
15.75/15.83 c #Conflicts: 35000 | #Constraints: 5816
15.75/15.83 c #Conflicts: 36000 | #Constraints: 6816
15.75/15.83 c #Conflicts: 37000 | #Constraints: 7816
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 38000 | #Constraints: 4817
15.75/15.83 c #Conflicts: 39000 | #Constraints: 5817
15.75/15.83 c #Conflicts: 40000 | #Constraints: 6817
15.75/15.83 c #Conflicts: 41000 | #Constraints: 7817
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 42000 | #Constraints: 4619
15.75/15.83 c #Conflicts: 43000 | #Constraints: 5619
15.75/15.83 c #Conflicts: 44000 | #Constraints: 6619
15.75/15.83 c #Conflicts: 45000 | #Constraints: 7619
15.75/15.83 c #Conflicts: 46000 | #Constraints: 8619
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 47000 | #Constraints: 5218
15.75/15.83 c #Conflicts: 48000 | #Constraints: 6218
15.75/15.83 c #Conflicts: 49000 | #Constraints: 7218
15.75/15.83 c #Conflicts: 50000 | #Constraints: 8218
15.75/15.83 c #Conflicts: 51000 | #Constraints: 9218
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 52000 | #Constraints: 5616
15.75/15.83 c #Conflicts: 53000 | #Constraints: 6616
15.75/15.83 c #Conflicts: 54000 | #Constraints: 7616
15.75/15.83 c #Conflicts: 55000 | #Constraints: 8616
15.75/15.83 c #Conflicts: 56000 | #Constraints: 9616
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 57000 | #Constraints: 5814
15.75/15.83 c #Conflicts: 58000 | #Constraints: 6814
15.75/15.83 c #Conflicts: 59000 | #Constraints: 7814
15.75/15.83 c #Conflicts: 60000 | #Constraints: 8814
15.75/15.83 c #Conflicts: 61000 | #Constraints: 9814
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 62000 | #Constraints: 5813
15.75/15.83 c #Conflicts: 63000 | #Constraints: 6813
15.75/15.83 c #Conflicts: 64000 | #Constraints: 7813
15.75/15.83 c #Conflicts: 65000 | #Constraints: 8813
15.75/15.83 c #Conflicts: 66000 | #Constraints: 9813
15.75/15.83 c INPROCESSING
15.75/15.83 c GARBAGE COLLECT
15.75/15.83 c #Conflicts: 67000 | #Constraints: 5613
47.07/47.22 c #Conflicts: 68000 | #Constraints: 6613
47.07/47.22 c #Conflicts: 69000 | #Constraints: 7613
47.07/47.22 c #Conflicts: 70000 | #Constraints: 8613
47.07/47.22 c #Conflicts: 71000 | #Constraints: 9613
47.07/47.22 c #Conflicts: 72000 | #Constraints: 10613
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 73000 | #Constraints: 6215
47.07/47.22 c #Conflicts: 74000 | #Constraints: 7215
47.07/47.22 c #Conflicts: 75000 | #Constraints: 8215
47.07/47.22 c #Conflicts: 76000 | #Constraints: 9215
47.07/47.22 c #Conflicts: 77000 | #Constraints: 10215
47.07/47.22 c #Conflicts: 78000 | #Constraints: 11215
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 79000 | #Constraints: 6615
47.07/47.22 c #Conflicts: 80000 | #Constraints: 7615
47.07/47.22 c #Conflicts: 81000 | #Constraints: 8615
47.07/47.22 c #Conflicts: 82000 | #Constraints: 9615
47.07/47.22 c #Conflicts: 83000 | #Constraints: 10615
47.07/47.22 c #Conflicts: 84000 | #Constraints: 11615
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 85000 | #Constraints: 6813
47.07/47.22 c #Conflicts: 86000 | #Constraints: 7813
47.07/47.22 c #Conflicts: 87000 | #Constraints: 8813
47.07/47.22 c #Conflicts: 88000 | #Constraints: 9813
47.07/47.22 c #Conflicts: 89000 | #Constraints: 10813
47.07/47.22 c #Conflicts: 90000 | #Constraints: 11813
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 91000 | #Constraints: 6814
47.07/47.22 c #Conflicts: 92000 | #Constraints: 7814
47.07/47.22 c #Conflicts: 93000 | #Constraints: 8814
47.07/47.22 c #Conflicts: 94000 | #Constraints: 9814
47.07/47.22 c #Conflicts: 95000 | #Constraints: 10814
47.07/47.22 c #Conflicts: 96000 | #Constraints: 11814
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 97000 | #Constraints: 6615
47.07/47.22 c #Conflicts: 98000 | #Constraints: 7615
47.07/47.22 c #Conflicts: 99000 | #Constraints: 8615
47.07/47.22 c #Conflicts: 100000 | #Constraints: 9615
47.07/47.22 c #Conflicts: 101000 | #Constraints: 10615
47.07/47.22 c #Conflicts: 102000 | #Constraints: 11615
47.07/47.22 c #Conflicts: 103000 | #Constraints: 12615
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 104000 | #Constraints: 7215
47.07/47.22 c #Conflicts: 105000 | #Constraints: 8215
47.07/47.22 c #Conflicts: 106000 | #Constraints: 9215
47.07/47.22 c #Conflicts: 107000 | #Constraints: 10215
47.07/47.22 c #Conflicts: 108000 | #Constraints: 11215
47.07/47.22 c #Conflicts: 109000 | #Constraints: 12215
47.07/47.22 c #Conflicts: 110000 | #Constraints: 13215
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 111000 | #Constraints: 7618
47.07/47.22 c #Conflicts: 112000 | #Constraints: 8618
47.07/47.22 c #Conflicts: 113000 | #Constraints: 9618
47.07/47.22 c #Conflicts: 114000 | #Constraints: 10618
47.07/47.22 c #Conflicts: 115000 | #Constraints: 11618
47.07/47.22 c #Conflicts: 116000 | #Constraints: 12618
47.07/47.22 c #Conflicts: 117000 | #Constraints: 13618
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 118000 | #Constraints: 7818
47.07/47.22 c #Conflicts: 119000 | #Constraints: 8818
47.07/47.22 c #Conflicts: 120000 | #Constraints: 9818
47.07/47.22 c #Conflicts: 121000 | #Constraints: 10818
47.07/47.22 c #Conflicts: 122000 | #Constraints: 11818
47.07/47.22 c #Conflicts: 123000 | #Constraints: 12818
47.07/47.22 c #Conflicts: 124000 | #Constraints: 13818
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 125000 | #Constraints: 7817
47.07/47.22 c #Conflicts: 126000 | #Constraints: 8817
47.07/47.22 c #Conflicts: 127000 | #Constraints: 9817
47.07/47.22 c #Conflicts: 128000 | #Constraints: 10817
47.07/47.22 c #Conflicts: 129000 | #Constraints: 11817
47.07/47.22 c #Conflicts: 130000 | #Constraints: 12817
47.07/47.22 c #Conflicts: 131000 | #Constraints: 13817
47.07/47.22 c INPROCESSING
47.07/47.22 c GARBAGE COLLECT
47.07/47.22 c #Conflicts: 132000 | #Constraints: 7617
47.07/47.22 c #Conflicts: 133000 | #Constraints: 8617
47.07/47.22 c #Conflicts: 134000 | #Constraints: 9617
47.07/47.22 c #Conflicts: 135000 | #Constraints: 10617
47.07/47.22 c #Conflicts: 136000 | #Constraints: 11617
47.07/47.22 c #Conflicts: 137000 | #Constraints: 12617
47.07/47.22 c #Conflicts: 138000 | #Constraints: 13617
47.07/47.22 c #Conflicts: 139000 | #Constraints: 14617
47.07/47.22 c INPROCESSING
88.97/89.22 c GARBAGE COLLECT
88.97/89.22 c #Conflicts: 140000 | #Constraints: 8218
88.97/89.22 c #Conflicts: 141000 | #Constraints: 9218
88.97/89.22 c #Conflicts: 142000 | #Constraints: 10218
88.97/89.22 c #Conflicts: 143000 | #Constraints: 11218
88.97/89.22 c #Conflicts: 144000 | #Constraints: 12218
88.97/89.22 c #Conflicts: 145000 | #Constraints: 13218
88.97/89.22 c #Conflicts: 146000 | #Constraints: 14218
88.97/89.22 c #Conflicts: 147000 | #Constraints: 15218
88.97/89.22 c INPROCESSING
88.97/89.22 c GARBAGE COLLECT
88.97/89.22 c #Conflicts: 148000 | #Constraints: 8619
88.97/89.22 c #Conflicts: 149000 | #Constraints: 9619
88.97/89.22 c #Conflicts: 150000 | #Constraints: 10619
88.97/89.22 c #Conflicts: 151000 | #Constraints: 11619
88.97/89.22 c #Conflicts: 152000 | #Constraints: 12619
88.97/89.22 c #Conflicts: 153000 | #Constraints: 13619
88.97/89.22 c #Conflicts: 154000 | #Constraints: 14619
88.97/89.22 c #Conflicts: 155000 | #Constraints: 15619
88.97/89.22 c INPROCESSING
88.97/89.22 c GARBAGE COLLECT
88.97/89.22 c #Conflicts: 156000 | #Constraints: 8818
88.97/89.22 c #Conflicts: 157000 | #Constraints: 9818
88.97/89.22 c #Conflicts: 158000 | #Constraints: 10818
88.97/89.22 c #Conflicts: 159000 | #Constraints: 11818
88.97/89.22 c #Conflicts: 160000 | #Constraints: 12818
88.97/89.22 c #Conflicts: 161000 | #Constraints: 13818
88.97/89.22 c #Conflicts: 162000 | #Constraints: 14818
88.97/89.22 c #Conflicts: 163000 | #Constraints: 15818
88.97/89.22 c INPROCESSING
88.97/89.22 c GARBAGE COLLECT
88.97/89.22 c #Conflicts: 164000 | #Constraints: 8816
88.97/89.22 c #Conflicts: 165000 | #Constraints: 9816
88.97/89.22 c #Conflicts: 166000 | #Constraints: 10816
88.97/89.22 c #Conflicts: 167000 | #Constraints: 11816
88.97/89.22 c #Conflicts: 168000 | #Constraints: 12816
88.97/89.22 c #Conflicts: 169000 | #Constraints: 13816
88.97/89.22 c #Conflicts: 170000 | #Constraints: 14816
88.97/89.22 c #Conflicts: 171000 | #Constraints: 15816
88.97/89.22 c INPROCESSING
88.97/89.22 c GARBAGE COLLECT
88.97/89.22 c #Conflicts: 172000 | #Constraints: 8617
88.97/89.22 c #Conflicts: 173000 | #Constraints: 9617
88.97/89.22 c #Conflicts: 174000 | #Constraints: 10617
88.97/89.22 c #Conflicts: 175000 | #Constraints: 11617
88.97/89.22 c #Conflicts: 176000 | #Constraints: 12617
88.97/89.22 c #Conflicts: 177000 | #Constraints: 13617
88.97/89.22 c #Conflicts: 178000 | #Constraints: 14617
88.97/89.22 c #Conflicts: 179000 | #Constraints: 15617
88.97/89.22 c #Conflicts: 180000 | #Constraints: 16617
88.97/89.22 c INPROCESSING
88.97/89.22 c GARBAGE COLLECT
88.97/89.22 c #Conflicts: 181000 | #Constraints: 9217
88.97/89.22 c #Conflicts: 182000 | #Constraints: 10217
88.97/89.22 c #Conflicts: 183000 | #Constraints: 11217
88.97/89.22 c #Conflicts: 184000 | #Constraints: 12217
88.97/89.22 c #Conflicts: 185000 | #Constraints: 13217
88.97/89.22 c #Conflicts: 186000 | #Constraints: 14217
88.97/89.22 c #Conflicts: 187000 | #Constraints: 15217
88.97/89.22 c #Conflicts: 188000 | #Constraints: 16217
88.97/89.22 c #Conflicts: 189000 | #Constraints: 17217
88.97/89.22 c INPROCESSING
88.97/89.22 c GARBAGE COLLECT
88.97/89.22 c #Conflicts: 190000 | #Constraints: 9615
88.97/89.22 c #Conflicts: 191000 | #Constraints: 10615
88.97/89.22 c #Conflicts: 192000 | #Constraints: 11615
88.97/89.22 c #Conflicts: 193000 | #Constraints: 12615
88.97/89.22 c #Conflicts: 194000 | #Constraints: 13615
88.97/89.22 c #Conflicts: 195000 | #Constraints: 14615
88.97/89.22 c #Conflicts: 196000 | #Constraints: 15615
88.97/89.22 c #Conflicts: 197000 | #Constraints: 16615
88.97/89.22 c #Conflicts: 198000 | #Constraints: 17615
88.97/89.22 c INPROCESSING
88.97/89.22 c GARBAGE COLLECT
88.97/89.22 c #Conflicts: 199000 | #Constraints: 9816
88.97/89.22 c #Conflicts: 200000 | #Constraints: 10816
88.97/89.22 c #Conflicts: 201000 | #Constraints: 11816
88.97/89.22 c #Conflicts: 202000 | #Constraints: 12816
88.97/89.22 c #Conflicts: 203000 | #Constraints: 13816
88.97/89.22 c #Conflicts: 204000 | #Constraints: 14816
88.97/89.22 c #Conflicts: 205000 | #Constraints: 15816
88.97/89.22 c #Conflicts: 206000 | #Constraints: 16816
88.97/89.22 c #Conflicts: 207000 | #Constraints: 17816
88.97/89.22 c INPROCESSING
88.97/89.22 c GARBAGE COLLECT
88.97/89.22 c #Conflicts: 208000 | #Constraints: 9814
88.97/89.22 c #Conflicts: 209000 | #Constraints: 10814
88.97/89.22 c #Conflicts: 210000 | #Constraints: 11814
88.97/89.22 c #Conflicts: 211000 | #Constraints: 12814
88.97/89.22 c #Conflicts: 212000 | #Constraints: 13814
88.97/89.22 c #Conflicts: 213000 | #Constraints: 14814
137.16/137.51 c #Conflicts: 214000 | #Constraints: 15814
137.16/137.51 c #Conflicts: 215000 | #Constraints: 16814
137.16/137.51 c #Conflicts: 216000 | #Constraints: 17814
137.16/137.51 c INPROCESSING
137.16/137.51 c GARBAGE COLLECT
137.16/137.51 c #Conflicts: 217000 | #Constraints: 9618
137.16/137.51 c #Conflicts: 218000 | #Constraints: 10618
137.16/137.51 c #Conflicts: 219000 | #Constraints: 11618
137.16/137.51 c #Conflicts: 220000 | #Constraints: 12618
137.16/137.51 c #Conflicts: 221000 | #Constraints: 13618
137.16/137.51 c #Conflicts: 222000 | #Constraints: 14618
137.16/137.51 c #Conflicts: 223000 | #Constraints: 15618
137.16/137.51 c #Conflicts: 224000 | #Constraints: 16618
137.16/137.51 c #Conflicts: 225000 | #Constraints: 17618
137.16/137.51 c #Conflicts: 226000 | #Constraints: 18618
137.16/137.51 c INPROCESSING
137.16/137.51 c GARBAGE COLLECT
137.16/137.51 c #Conflicts: 227000 | #Constraints: 10217
137.16/137.51 c #Conflicts: 228000 | #Constraints: 11217
137.16/137.51 c #Conflicts: 229000 | #Constraints: 12217
137.16/137.51 c #Conflicts: 230000 | #Constraints: 13217
137.16/137.51 c #Conflicts: 231000 | #Constraints: 14217
137.16/137.51 c #Conflicts: 232000 | #Constraints: 15217
137.16/137.51 c #Conflicts: 233000 | #Constraints: 16217
137.16/137.51 c #Conflicts: 234000 | #Constraints: 17217
137.16/137.51 c #Conflicts: 235000 | #Constraints: 18217
137.16/137.51 c #Conflicts: 236000 | #Constraints: 19217
137.16/137.51 c INPROCESSING
137.16/137.51 c GARBAGE COLLECT
137.16/137.51 c #Conflicts: 237000 | #Constraints: 10617
137.16/137.51 c #Conflicts: 238000 | #Constraints: 11617
137.16/137.51 c #Conflicts: 239000 | #Constraints: 12617
137.16/137.51 c #Conflicts: 240000 | #Constraints: 13617
137.16/137.51 c #Conflicts: 241000 | #Constraints: 14617
137.16/137.51 c #Conflicts: 242000 | #Constraints: 15617
137.16/137.51 c #Conflicts: 243000 | #Constraints: 16617
137.16/137.51 c #Conflicts: 244000 | #Constraints: 17617
137.16/137.51 c #Conflicts: 245000 | #Constraints: 18617
137.16/137.51 c #Conflicts: 246000 | #Constraints: 19617
137.16/137.51 c INPROCESSING
137.16/137.51 c GARBAGE COLLECT
137.16/137.51 c #Conflicts: 247000 | #Constraints: 10816
137.16/137.51 c #Conflicts: 248000 | #Constraints: 11816
137.16/137.51 c #Conflicts: 249000 | #Constraints: 12816
137.16/137.51 c #Conflicts: 250000 | #Constraints: 13816
137.16/137.51 c #Conflicts: 251000 | #Constraints: 14816
137.16/137.51 c #Conflicts: 252000 | #Constraints: 15816
137.16/137.51 c #Conflicts: 253000 | #Constraints: 16816
137.16/137.51 c #Conflicts: 254000 | #Constraints: 17816
137.16/137.51 c #Conflicts: 255000 | #Constraints: 18816
137.16/137.51 c #Conflicts: 256000 | #Constraints: 19816
137.16/137.51 c INPROCESSING
137.16/137.51 c GARBAGE COLLECT
137.16/137.51 c #Conflicts: 257000 | #Constraints: 10816
137.16/137.51 c #Conflicts: 258000 | #Constraints: 11816
137.16/137.51 c #Conflicts: 259000 | #Constraints: 12816
137.16/137.51 c #Conflicts: 260000 | #Constraints: 13816
137.16/137.51 c #Conflicts: 261000 | #Constraints: 14816
137.16/137.51 c #Conflicts: 262000 | #Constraints: 15816
137.16/137.51 c #Conflicts: 263000 | #Constraints: 16816
137.16/137.51 c #Conflicts: 264000 | #Constraints: 17816
137.16/137.51 c #Conflicts: 265000 | #Constraints: 18816
137.16/137.51 c #Conflicts: 266000 | #Constraints: 19816
137.16/137.51 c INPROCESSING
137.16/137.51 c GARBAGE COLLECT
137.16/137.51 c #Conflicts: 267000 | #Constraints: 10616
137.16/137.51 c #Conflicts: 268000 | #Constraints: 11616
137.16/137.51 c #Conflicts: 269000 | #Constraints: 12616
137.16/137.51 c #Conflicts: 270000 | #Constraints: 13616
137.16/137.51 c #Conflicts: 271000 | #Constraints: 14616
137.16/137.51 c #Conflicts: 272000 | #Constraints: 15616
137.16/137.51 c #Conflicts: 273000 | #Constraints: 16616
137.16/137.51 c #Conflicts: 274000 | #Constraints: 17616
137.16/137.51 c #Conflicts: 275000 | #Constraints: 18616
137.16/137.51 c #Conflicts: 276000 | #Constraints: 19616
137.16/137.51 c #Conflicts: 277000 | #Constraints: 20616
137.16/137.51 c INPROCESSING
137.16/137.51 c GARBAGE COLLECT
137.16/137.51 c #Conflicts: 278000 | #Constraints: 11213
137.16/137.51 c #Conflicts: 279000 | #Constraints: 12213
137.16/137.51 c #Conflicts: 280000 | #Constraints: 13213
137.16/137.51 c #Conflicts: 281000 | #Constraints: 14213
137.16/137.51 c #Conflicts: 282000 | #Constraints: 15213
137.16/137.51 c #Conflicts: 283000 | #Constraints: 16213
137.16/137.51 c #Conflicts: 284000 | #Constraints: 17213
137.16/137.51 c #Conflicts: 285000 | #Constraints: 18213
137.16/137.51 c #Conflicts: 286000 | #Constraints: 19213
137.16/137.51 c #Conflicts: 287000 | #Constraints: 20213
191.64/192.15 c #Conflicts: 288000 | #Constraints: 21213
191.64/192.15 c INPROCESSING
191.64/192.15 c GARBAGE COLLECT
191.64/192.15 c #Conflicts: 289000 | #Constraints: 11615
191.64/192.15 c #Conflicts: 290000 | #Constraints: 12615
191.64/192.15 c #Conflicts: 291000 | #Constraints: 13615
191.64/192.15 c #Conflicts: 292000 | #Constraints: 14615
191.64/192.15 c #Conflicts: 293000 | #Constraints: 15615
191.64/192.15 c #Conflicts: 294000 | #Constraints: 16615
191.64/192.15 c #Conflicts: 295000 | #Constraints: 17615
191.64/192.15 c #Conflicts: 296000 | #Constraints: 18615
191.64/192.15 c #Conflicts: 297000 | #Constraints: 19615
191.64/192.15 c #Conflicts: 298000 | #Constraints: 20615
191.64/192.15 c #Conflicts: 299000 | #Constraints: 21615
191.64/192.15 c INPROCESSING
191.64/192.15 c GARBAGE COLLECT
191.64/192.15 c #Conflicts: 300000 | #Constraints: 11816
191.64/192.15 c #Conflicts: 301000 | #Constraints: 12816
191.64/192.15 c #Conflicts: 302000 | #Constraints: 13816
191.64/192.15 c #Conflicts: 303000 | #Constraints: 14816
191.64/192.15 c #Conflicts: 304000 | #Constraints: 15816
191.64/192.15 c #Conflicts: 305000 | #Constraints: 16816
191.64/192.15 c #Conflicts: 306000 | #Constraints: 17816
191.64/192.15 c #Conflicts: 307000 | #Constraints: 18816
191.64/192.15 c #Conflicts: 308000 | #Constraints: 19816
191.64/192.15 c #Conflicts: 309000 | #Constraints: 20816
191.64/192.15 c #Conflicts: 310000 | #Constraints: 21816
191.64/192.15 c INPROCESSING
191.64/192.15 c GARBAGE COLLECT
191.64/192.15 c #Conflicts: 311000 | #Constraints: 11815
191.64/192.15 c #Conflicts: 312000 | #Constraints: 12815
191.64/192.15 c #Conflicts: 313000 | #Constraints: 13815
191.64/192.15 c #Conflicts: 314000 | #Constraints: 14815
191.64/192.15 c #Conflicts: 315000 | #Constraints: 15815
191.64/192.15 c #Conflicts: 316000 | #Constraints: 16815
191.64/192.15 c #Conflicts: 317000 | #Constraints: 17815
191.64/192.15 c #Conflicts: 318000 | #Constraints: 18815
191.64/192.15 c #Conflicts: 319000 | #Constraints: 19815
191.64/192.15 c #Conflicts: 320000 | #Constraints: 20815
191.64/192.15 c #Conflicts: 321000 | #Constraints: 21815
191.64/192.15 c INPROCESSING
191.64/192.15 c GARBAGE COLLECT
191.64/192.15 c #Conflicts: 322000 | #Constraints: 11615
191.64/192.15 c #Conflicts: 323000 | #Constraints: 12615
191.64/192.15 c #Conflicts: 324000 | #Constraints: 13615
191.64/192.15 c #Conflicts: 325000 | #Constraints: 14615
191.64/192.15 c #Conflicts: 326000 | #Constraints: 15615
191.64/192.15 c #Conflicts: 327000 | #Constraints: 16615
191.64/192.15 c #Conflicts: 328000 | #Constraints: 17615
191.64/192.15 c #Conflicts: 329000 | #Constraints: 18615
191.64/192.15 c #Conflicts: 330000 | #Constraints: 19615
191.64/192.15 c #Conflicts: 331000 | #Constraints: 20615
191.64/192.15 c #Conflicts: 332000 | #Constraints: 21615
191.64/192.15 c #Conflicts: 333000 | #Constraints: 22615
191.64/192.15 c INPROCESSING
191.64/192.15 c GARBAGE COLLECT
191.64/192.15 c #Conflicts: 334000 | #Constraints: 12217
191.64/192.15 c #Conflicts: 335000 | #Constraints: 13217
191.64/192.15 c #Conflicts: 336000 | #Constraints: 14217
191.64/192.15 c #Conflicts: 337000 | #Constraints: 15217
191.64/192.15 c #Conflicts: 338000 | #Constraints: 16217
191.64/192.15 c #Conflicts: 339000 | #Constraints: 17217
191.64/192.15 c #Conflicts: 340000 | #Constraints: 18217
191.64/192.15 c #Conflicts: 341000 | #Constraints: 19217
191.64/192.15 c #Conflicts: 342000 | #Constraints: 20217
191.64/192.15 c #Conflicts: 343000 | #Constraints: 21217
191.64/192.15 c #Conflicts: 344000 | #Constraints: 22217
191.64/192.15 c #Conflicts: 345000 | #Constraints: 23217
191.64/192.15 c INPROCESSING
191.64/192.15 c GARBAGE COLLECT
191.64/192.15 c #Conflicts: 346000 | #Constraints: 12617
191.64/192.15 c #Conflicts: 347000 | #Constraints: 13617
191.64/192.15 c #Conflicts: 348000 | #Constraints: 14617
191.64/192.15 c #Conflicts: 349000 | #Constraints: 15617
191.64/192.15 c #Conflicts: 350000 | #Constraints: 16617
191.64/192.15 c #Conflicts: 351000 | #Constraints: 17617
191.64/192.15 c #Conflicts: 352000 | #Constraints: 18617
191.64/192.15 c #Conflicts: 353000 | #Constraints: 19617
191.64/192.15 c #Conflicts: 354000 | #Constraints: 20617
191.64/192.15 c #Conflicts: 355000 | #Constraints: 21617
191.64/192.15 c #Conflicts: 356000 | #Constraints: 22617
191.64/192.15 c #Conflicts: 357000 | #Constraints: 23617
191.64/192.15 c INPROCESSING
191.64/192.15 c GARBAGE COLLECT
191.64/192.15 c #Conflicts: 358000 | #Constraints: 12816
191.64/192.15 c #Conflicts: 359000 | #Constraints: 13816
191.64/192.15 c #Conflicts: 360000 | #Constraints: 14816
191.64/192.15 c #Conflicts: 361000 | #Constraints: 15816
254.18/254.89 c #Conflicts: 362000 | #Constraints: 16816
254.18/254.89 c #Conflicts: 363000 | #Constraints: 17816
254.18/254.89 c #Conflicts: 364000 | #Constraints: 18816
254.18/254.89 c #Conflicts: 365000 | #Constraints: 19816
254.18/254.89 c #Conflicts: 366000 | #Constraints: 20816
254.18/254.89 c #Conflicts: 367000 | #Constraints: 21816
254.18/254.89 c #Conflicts: 368000 | #Constraints: 22816
254.18/254.89 c #Conflicts: 369000 | #Constraints: 23816
254.18/254.89 c INPROCESSING
254.18/254.89 c GARBAGE COLLECT
254.18/254.89 c #Conflicts: 370000 | #Constraints: 12817
254.18/254.89 c #Conflicts: 371000 | #Constraints: 13817
254.18/254.89 c #Conflicts: 372000 | #Constraints: 14817
254.18/254.89 c #Conflicts: 373000 | #Constraints: 15817
254.18/254.89 c #Conflicts: 374000 | #Constraints: 16817
254.18/254.89 c #Conflicts: 375000 | #Constraints: 17817
254.18/254.89 c #Conflicts: 376000 | #Constraints: 18817
254.18/254.89 c #Conflicts: 377000 | #Constraints: 19817
254.18/254.89 c #Conflicts: 378000 | #Constraints: 20817
254.18/254.89 c #Conflicts: 379000 | #Constraints: 21817
254.18/254.89 c #Conflicts: 380000 | #Constraints: 22817
254.18/254.89 c #Conflicts: 381000 | #Constraints: 23817
254.18/254.89 c INPROCESSING
254.18/254.89 c GARBAGE COLLECT
254.18/254.89 c #Conflicts: 382000 | #Constraints: 12616
254.18/254.89 c #Conflicts: 383000 | #Constraints: 13616
254.18/254.89 c #Conflicts: 384000 | #Constraints: 14616
254.18/254.89 c #Conflicts: 385000 | #Constraints: 15616
254.18/254.89 c #Conflicts: 386000 | #Constraints: 16616
254.18/254.89 c #Conflicts: 387000 | #Constraints: 17616
254.18/254.89 c #Conflicts: 388000 | #Constraints: 18616
254.18/254.89 c #Conflicts: 389000 | #Constraints: 19616
254.18/254.89 c #Conflicts: 390000 | #Constraints: 20616
254.18/254.89 c #Conflicts: 391000 | #Constraints: 21616
254.18/254.89 c #Conflicts: 392000 | #Constraints: 22616
254.18/254.89 c #Conflicts: 393000 | #Constraints: 23616
254.18/254.89 c #Conflicts: 394000 | #Constraints: 24616
254.18/254.89 c INPROCESSING
254.18/254.89 c GARBAGE COLLECT
254.18/254.89 c #Conflicts: 395000 | #Constraints: 13216
254.18/254.89 c #Conflicts: 396000 | #Constraints: 14216
254.18/254.89 c #Conflicts: 397000 | #Constraints: 15216
254.18/254.89 c #Conflicts: 398000 | #Constraints: 16216
254.18/254.89 c #Conflicts: 399000 | #Constraints: 17216
254.18/254.89 c #Conflicts: 400000 | #Constraints: 18216
254.18/254.89 c #Conflicts: 401000 | #Constraints: 19216
254.18/254.89 c #Conflicts: 402000 | #Constraints: 20216
254.18/254.89 c #Conflicts: 403000 | #Constraints: 21216
254.18/254.89 c #Conflicts: 404000 | #Constraints: 22216
254.18/254.89 c #Conflicts: 405000 | #Constraints: 23216
254.18/254.89 c #Conflicts: 406000 | #Constraints: 24216
254.18/254.89 c #Conflicts: 407000 | #Constraints: 25216
254.18/254.89 c INPROCESSING
254.18/254.89 c GARBAGE COLLECT
254.18/254.89 c #Conflicts: 408000 | #Constraints: 13616
254.18/254.89 c #Conflicts: 409000 | #Constraints: 14616
254.18/254.89 c #Conflicts: 410000 | #Constraints: 15616
254.18/254.89 c #Conflicts: 411000 | #Constraints: 16616
254.18/254.89 c #Conflicts: 412000 | #Constraints: 17616
254.18/254.89 c #Conflicts: 413000 | #Constraints: 18616
254.18/254.89 c #Conflicts: 414000 | #Constraints: 19616
254.18/254.89 c #Conflicts: 415000 | #Constraints: 20616
254.18/254.89 c #Conflicts: 416000 | #Constraints: 21616
254.18/254.89 c #Conflicts: 417000 | #Constraints: 22616
254.18/254.89 c #Conflicts: 418000 | #Constraints: 23616
254.18/254.89 c #Conflicts: 419000 | #Constraints: 24616
254.18/254.89 c #Conflicts: 420000 | #Constraints: 25616
254.18/254.89 c INPROCESSING
254.18/254.89 c GARBAGE COLLECT
254.18/254.89 c #Conflicts: 421000 | #Constraints: 13819
254.18/254.89 c #Conflicts: 422000 | #Constraints: 14819
254.18/254.89 c #Conflicts: 423000 | #Constraints: 15819
254.18/254.89 c #Conflicts: 424000 | #Constraints: 16819
254.18/254.89 c #Conflicts: 425000 | #Constraints: 17819
254.18/254.89 c #Conflicts: 426000 | #Constraints: 18819
254.18/254.89 c #Conflicts: 427000 | #Constraints: 19819
254.18/254.89 c #Conflicts: 428000 | #Constraints: 20819
254.18/254.89 c #Conflicts: 429000 | #Constraints: 21819
254.18/254.89 c #Conflicts: 430000 | #Constraints: 22819
254.18/254.89 c #Conflicts: 431000 | #Constraints: 23819
254.18/254.89 c #Conflicts: 432000 | #Constraints: 24819
254.18/254.89 c #Conflicts: 433000 | #Constraints: 25819
254.18/254.89 c INPROCESSING
254.18/254.89 c GARBAGE COLLECT
254.18/254.89 c #Conflicts: 434000 | #Constraints: 13820
254.18/254.89 c #Conflicts: 435000 | #Constraints: 14820
254.18/254.89 c #Conflicts: 436000 | #Constraints: 15820
323.52/324.34 c #Conflicts: 437000 | #Constraints: 16820
323.52/324.34 c #Conflicts: 438000 | #Constraints: 17820
323.52/324.34 c #Conflicts: 439000 | #Constraints: 18820
323.52/324.34 c #Conflicts: 440000 | #Constraints: 19820
323.52/324.34 c #Conflicts: 441000 | #Constraints: 20820
323.52/324.34 c #Conflicts: 442000 | #Constraints: 21820
323.52/324.34 c #Conflicts: 443000 | #Constraints: 22820
323.52/324.34 c #Conflicts: 444000 | #Constraints: 23820
323.52/324.34 c #Conflicts: 445000 | #Constraints: 24820
323.52/324.34 c #Conflicts: 446000 | #Constraints: 25820
323.52/324.34 c INPROCESSING
323.52/324.34 c GARBAGE COLLECT
323.52/324.34 c #Conflicts: 447000 | #Constraints: 13622
323.52/324.34 c #Conflicts: 448000 | #Constraints: 14622
323.52/324.34 c #Conflicts: 449000 | #Constraints: 15622
323.52/324.34 c #Conflicts: 450000 | #Constraints: 16622
323.52/324.34 c #Conflicts: 451000 | #Constraints: 17622
323.52/324.34 c #Conflicts: 452000 | #Constraints: 18622
323.52/324.34 c #Conflicts: 453000 | #Constraints: 19622
323.52/324.34 c #Conflicts: 454000 | #Constraints: 20622
323.52/324.34 c #Conflicts: 455000 | #Constraints: 21622
323.52/324.34 c #Conflicts: 456000 | #Constraints: 22622
323.52/324.34 c #Conflicts: 457000 | #Constraints: 23622
323.52/324.34 c #Conflicts: 458000 | #Constraints: 24622
323.52/324.34 c #Conflicts: 459000 | #Constraints: 25622
323.52/324.34 c #Conflicts: 460000 | #Constraints: 26622
323.52/324.34 c INPROCESSING
323.52/324.34 c GARBAGE COLLECT
323.52/324.34 c #Conflicts: 461000 | #Constraints: 14223
323.52/324.34 c #Conflicts: 462000 | #Constraints: 15223
323.52/324.34 c #Conflicts: 463000 | #Constraints: 16223
323.52/324.34 c #Conflicts: 464000 | #Constraints: 17223
323.52/324.34 c #Conflicts: 465000 | #Constraints: 18223
323.52/324.34 c #Conflicts: 466000 | #Constraints: 19223
323.52/324.34 c #Conflicts: 467000 | #Constraints: 20223
323.52/324.34 c #Conflicts: 468000 | #Constraints: 21223
323.52/324.34 c #Conflicts: 469000 | #Constraints: 22223
323.52/324.34 c #Conflicts: 470000 | #Constraints: 23223
323.52/324.34 c #Conflicts: 471000 | #Constraints: 24223
323.52/324.34 c #Conflicts: 472000 | #Constraints: 25223
323.52/324.34 c #Conflicts: 473000 | #Constraints: 26223
323.52/324.34 c #Conflicts: 474000 | #Constraints: 27223
323.52/324.34 c INPROCESSING
323.52/324.34 c GARBAGE COLLECT
323.52/324.34 c #Conflicts: 475000 | #Constraints: 14622
323.52/324.34 c #Conflicts: 476000 | #Constraints: 15622
323.52/324.34 c #Conflicts: 477000 | #Constraints: 16622
323.52/324.34 c #Conflicts: 478000 | #Constraints: 17622
323.52/324.34 c #Conflicts: 479000 | #Constraints: 18622
323.52/324.34 c #Conflicts: 480000 | #Constraints: 19622
323.52/324.34 c #Conflicts: 481000 | #Constraints: 20622
323.52/324.34 c #Conflicts: 482000 | #Constraints: 21622
323.52/324.34 c #Conflicts: 483000 | #Constraints: 22622
323.52/324.34 c #Conflicts: 484000 | #Constraints: 23622
323.52/324.34 c #Conflicts: 485000 | #Constraints: 24622
323.52/324.34 c #Conflicts: 486000 | #Constraints: 25622
323.52/324.34 c #Conflicts: 487000 | #Constraints: 26622
323.52/324.34 c #Conflicts: 488000 | #Constraints: 27622
323.52/324.34 c INPROCESSING
323.52/324.34 c GARBAGE COLLECT
323.52/324.34 c #Conflicts: 489000 | #Constraints: 14822
323.52/324.34 c #Conflicts: 490000 | #Constraints: 15822
323.52/324.34 c #Conflicts: 491000 | #Constraints: 16822
323.52/324.34 c #Conflicts: 492000 | #Constraints: 17822
323.52/324.34 c #Conflicts: 493000 | #Constraints: 18822
323.52/324.34 c #Conflicts: 494000 | #Constraints: 19822
323.52/324.34 c #Conflicts: 495000 | #Constraints: 20822
323.52/324.34 c #Conflicts: 496000 | #Constraints: 21822
323.52/324.34 c #Conflicts: 497000 | #Constraints: 22822
323.52/324.34 c #Conflicts: 498000 | #Constraints: 23822
323.52/324.34 c #Conflicts: 499000 | #Constraints: 24822
323.52/324.34 c #Conflicts: 500000 | #Constraints: 25822
323.52/324.34 c #Conflicts: 501000 | #Constraints: 26822
323.52/324.34 c #Conflicts: 502000 | #Constraints: 27822
323.52/324.34 c INPROCESSING
323.52/324.34 c GARBAGE COLLECT
323.52/324.34 c #Conflicts: 503000 | #Constraints: 14820
323.52/324.34 c #Conflicts: 504000 | #Constraints: 15820
323.52/324.34 c #Conflicts: 505000 | #Constraints: 16820
323.52/324.34 c #Conflicts: 506000 | #Constraints: 17820
323.52/324.34 c #Conflicts: 507000 | #Constraints: 18820
323.52/324.34 c #Conflicts: 508000 | #Constraints: 19820
323.52/324.34 c #Conflicts: 509000 | #Constraints: 20820
323.52/324.34 c #Conflicts: 510000 | #Constraints: 21820
323.52/324.34 c #Conflicts: 511000 | #Constraints: 22820
323.52/324.34 c #Conflicts: 512000 | #Constraints: 23820
393.65/394.66 c #Conflicts: 513000 | #Constraints: 24820
393.65/394.66 c #Conflicts: 514000 | #Constraints: 25820
393.65/394.66 c #Conflicts: 515000 | #Constraints: 26820
393.65/394.66 c #Conflicts: 516000 | #Constraints: 27820
393.65/394.66 c INPROCESSING
393.65/394.66 c GARBAGE COLLECT
393.65/394.66 c #Conflicts: 517000 | #Constraints: 14618
393.65/394.66 c #Conflicts: 518000 | #Constraints: 15618
393.65/394.66 c #Conflicts: 519000 | #Constraints: 16618
393.65/394.66 c #Conflicts: 520000 | #Constraints: 17618
393.65/394.66 c #Conflicts: 521000 | #Constraints: 18618
393.65/394.66 c #Conflicts: 522000 | #Constraints: 19618
393.65/394.66 c #Conflicts: 523000 | #Constraints: 20618
393.65/394.66 c #Conflicts: 524000 | #Constraints: 21618
393.65/394.66 c #Conflicts: 525000 | #Constraints: 22618
393.65/394.66 c #Conflicts: 526000 | #Constraints: 23618
393.65/394.66 c #Conflicts: 527000 | #Constraints: 24618
393.65/394.66 c #Conflicts: 528000 | #Constraints: 25618
393.65/394.66 c #Conflicts: 529000 | #Constraints: 26618
393.65/394.66 c #Conflicts: 530000 | #Constraints: 27618
393.65/394.66 c #Conflicts: 531000 | #Constraints: 28618
393.65/394.66 c INPROCESSING
393.65/394.66 c GARBAGE COLLECT
393.65/394.66 c #Conflicts: 532000 | #Constraints: 15222
393.65/394.66 c #Conflicts: 533000 | #Constraints: 16222
393.65/394.66 c #Conflicts: 534000 | #Constraints: 17222
393.65/394.66 c #Conflicts: 535000 | #Constraints: 18222
393.65/394.66 c #Conflicts: 536000 | #Constraints: 19222
393.65/394.66 c #Conflicts: 537000 | #Constraints: 20222
393.65/394.66 c #Conflicts: 538000 | #Constraints: 21222
393.65/394.66 c #Conflicts: 539000 | #Constraints: 22222
393.65/394.66 c #Conflicts: 540000 | #Constraints: 23222
393.65/394.66 c #Conflicts: 541000 | #Constraints: 24222
393.65/394.66 c #Conflicts: 542000 | #Constraints: 25222
393.65/394.66 c #Conflicts: 543000 | #Constraints: 26222
393.65/394.66 c #Conflicts: 544000 | #Constraints: 27222
393.65/394.66 c #Conflicts: 545000 | #Constraints: 28222
393.65/394.66 c #Conflicts: 546000 | #Constraints: 29222
393.65/394.66 c INPROCESSING
393.65/394.66 c GARBAGE COLLECT
393.65/394.66 c #Conflicts: 547000 | #Constraints: 15621
393.65/394.66 c #Conflicts: 548000 | #Constraints: 16621
393.65/394.66 c #Conflicts: 549000 | #Constraints: 17621
393.65/394.66 c #Conflicts: 550000 | #Constraints: 18621
393.65/394.66 c #Conflicts: 551000 | #Constraints: 19621
393.65/394.66 c #Conflicts: 552000 | #Constraints: 20621
393.65/394.66 c #Conflicts: 553000 | #Constraints: 21621
393.65/394.66 c #Conflicts: 554000 | #Constraints: 22621
393.65/394.66 c #Conflicts: 555000 | #Constraints: 23621
393.65/394.66 c #Conflicts: 556000 | #Constraints: 24621
393.65/394.66 c #Conflicts: 557000 | #Constraints: 25621
393.65/394.66 c #Conflicts: 558000 | #Constraints: 26621
393.65/394.66 c #Conflicts: 559000 | #Constraints: 27621
393.65/394.66 c #Conflicts: 560000 | #Constraints: 28621
393.65/394.66 c #Conflicts: 561000 | #Constraints: 29621
393.65/394.66 c INPROCESSING
393.65/394.66 c GARBAGE COLLECT
393.65/394.66 c #Conflicts: 562000 | #Constraints: 15821
393.65/394.66 c #Conflicts: 563000 | #Constraints: 16821
393.65/394.66 c #Conflicts: 564000 | #Constraints: 17821
393.65/394.66 c #Conflicts: 565000 | #Constraints: 18821
393.65/394.66 c #Conflicts: 566000 | #Constraints: 19821
393.65/394.66 c #Conflicts: 567000 | #Constraints: 20821
393.65/394.66 c #Conflicts: 568000 | #Constraints: 21821
393.65/394.66 c #Conflicts: 569000 | #Constraints: 22821
393.65/394.66 c #Conflicts: 570000 | #Constraints: 23821
393.65/394.66 c #Conflicts: 571000 | #Constraints: 24821
393.65/394.66 c #Conflicts: 572000 | #Constraints: 25821
393.65/394.66 c #Conflicts: 573000 | #Constraints: 26821
393.65/394.66 c #Conflicts: 574000 | #Constraints: 27821
393.65/394.66 c #Conflicts: 575000 | #Constraints: 28821
393.65/394.66 c #Conflicts: 576000 | #Constraints: 29821
393.65/394.66 c INPROCESSING
393.65/394.66 c GARBAGE COLLECT
393.65/394.66 c #Conflicts: 577000 | #Constraints: 15820
393.65/394.66 c #Conflicts: 578000 | #Constraints: 16820
393.65/394.66 c #Conflicts: 579000 | #Constraints: 17820
393.65/394.66 c #Conflicts: 580000 | #Constraints: 18820
393.65/394.66 c #Conflicts: 581000 | #Constraints: 19820
393.65/394.66 c #Conflicts: 582000 | #Constraints: 20820
393.65/394.66 c #Conflicts: 583000 | #Constraints: 21820
393.65/394.66 c #Conflicts: 584000 | #Constraints: 22820
393.65/394.66 c #Conflicts: 585000 | #Constraints: 23820
393.65/394.66 c #Conflicts: 586000 | #Constraints: 24820
393.65/394.66 c #Conflicts: 587000 | #Constraints: 25820
393.65/394.66 c #Conflicts: 588000 | #Constraints: 26820
469.66/470.89 c #Conflicts: 589000 | #Constraints: 27820
469.66/470.89 c #Conflicts: 590000 | #Constraints: 28820
469.66/470.89 c #Conflicts: 591000 | #Constraints: 29820
469.66/470.89 c INPROCESSING
469.66/470.89 c GARBAGE COLLECT
469.66/470.89 c #Conflicts: 592000 | #Constraints: 15621
469.66/470.89 c #Conflicts: 593000 | #Constraints: 16621
469.66/470.89 c #Conflicts: 594000 | #Constraints: 17621
469.66/470.89 c #Conflicts: 595000 | #Constraints: 18621
469.66/470.89 c #Conflicts: 596000 | #Constraints: 19621
469.66/470.89 c #Conflicts: 597000 | #Constraints: 20621
469.66/470.89 c #Conflicts: 598000 | #Constraints: 21621
469.66/470.89 c #Conflicts: 599000 | #Constraints: 22621
469.66/470.89 c #Conflicts: 600000 | #Constraints: 23621
469.66/470.89 c #Conflicts: 601000 | #Constraints: 24621
469.66/470.89 c #Conflicts: 602000 | #Constraints: 25621
469.66/470.89 c #Conflicts: 603000 | #Constraints: 26621
469.66/470.89 c #Conflicts: 604000 | #Constraints: 27621
469.66/470.89 c #Conflicts: 605000 | #Constraints: 28621
469.66/470.89 c #Conflicts: 606000 | #Constraints: 29621
469.66/470.89 c #Conflicts: 607000 | #Constraints: 30621
469.66/470.89 c INPROCESSING
469.66/470.89 c GARBAGE COLLECT
469.66/470.89 c #Conflicts: 608000 | #Constraints: 16219
469.66/470.89 c #Conflicts: 609000 | #Constraints: 17219
469.66/470.89 c #Conflicts: 610000 | #Constraints: 18219
469.66/470.89 c #Conflicts: 611000 | #Constraints: 19219
469.66/470.89 c #Conflicts: 612000 | #Constraints: 20219
469.66/470.89 c #Conflicts: 613000 | #Constraints: 21219
469.66/470.89 c #Conflicts: 614000 | #Constraints: 22219
469.66/470.89 c #Conflicts: 615000 | #Constraints: 23219
469.66/470.89 c #Conflicts: 616000 | #Constraints: 24219
469.66/470.89 c #Conflicts: 617000 | #Constraints: 25219
469.66/470.89 c #Conflicts: 618000 | #Constraints: 26219
469.66/470.89 c #Conflicts: 619000 | #Constraints: 27219
469.66/470.89 c #Conflicts: 620000 | #Constraints: 28219
469.66/470.89 c #Conflicts: 621000 | #Constraints: 29219
469.66/470.89 c #Conflicts: 622000 | #Constraints: 30219
469.66/470.89 c #Conflicts: 623000 | #Constraints: 31219
469.66/470.89 c INPROCESSING
469.66/470.89 c GARBAGE COLLECT
469.66/470.89 c #Conflicts: 624000 | #Constraints: 16618
469.66/470.89 c #Conflicts: 625000 | #Constraints: 17618
469.66/470.89 c #Conflicts: 626000 | #Constraints: 18618
469.66/470.89 c #Conflicts: 627000 | #Constraints: 19618
469.66/470.89 c #Conflicts: 628000 | #Constraints: 20618
469.66/470.89 c #Conflicts: 629000 | #Constraints: 21618
469.66/470.89 c #Conflicts: 630000 | #Constraints: 22618
469.66/470.89 c #Conflicts: 631000 | #Constraints: 23618
469.66/470.89 c #Conflicts: 632000 | #Constraints: 24618
469.66/470.89 c #Conflicts: 633000 | #Constraints: 25618
469.66/470.89 c #Conflicts: 634000 | #Constraints: 26618
469.66/470.89 c #Conflicts: 635000 | #Constraints: 27618
469.66/470.89 c #Conflicts: 636000 | #Constraints: 28618
469.66/470.89 c #Conflicts: 637000 | #Constraints: 29618
469.66/470.89 c #Conflicts: 638000 | #Constraints: 30618
469.66/470.89 c #Conflicts: 639000 | #Constraints: 31618
469.66/470.89 c INPROCESSING
469.66/470.89 c GARBAGE COLLECT
469.66/470.89 c #Conflicts: 640000 | #Constraints: 16817
469.66/470.89 c #Conflicts: 641000 | #Constraints: 17817
469.66/470.89 c #Conflicts: 642000 | #Constraints: 18817
469.66/470.89 c #Conflicts: 643000 | #Constraints: 19817
469.66/470.89 c #Conflicts: 644000 | #Constraints: 20817
469.66/470.89 c #Conflicts: 645000 | #Constraints: 21817
469.66/470.89 c #Conflicts: 646000 | #Constraints: 22817
469.66/470.89 c #Conflicts: 647000 | #Constraints: 23817
469.66/470.89 c #Conflicts: 648000 | #Constraints: 24817
469.66/470.89 c #Conflicts: 649000 | #Constraints: 25817
469.66/470.89 c #Conflicts: 650000 | #Constraints: 26817
469.66/470.89 c #Conflicts: 651000 | #Constraints: 27817
469.66/470.89 c #Conflicts: 652000 | #Constraints: 28817
469.66/470.89 c #Conflicts: 653000 | #Constraints: 29817
469.66/470.89 c #Conflicts: 654000 | #Constraints: 30817
469.66/470.89 c #Conflicts: 655000 | #Constraints: 31817
469.66/470.89 c INPROCESSING
469.66/470.89 c GARBAGE COLLECT
469.66/470.89 c #Conflicts: 656000 | #Constraints: 16817
469.66/470.89 c #Conflicts: 657000 | #Constraints: 17817
469.66/470.89 c #Conflicts: 658000 | #Constraints: 18817
469.66/470.89 c #Conflicts: 659000 | #Constraints: 19817
469.66/470.89 c #Conflicts: 660000 | #Constraints: 20817
469.66/470.89 c #Conflicts: 661000 | #Constraints: 21817
469.66/470.89 c #Conflicts: 662000 | #Constraints: 22817
469.66/470.89 c #Conflicts: 663000 | #Constraints: 23817
551.68/553.09 c #Conflicts: 664000 | #Constraints: 24817
551.68/553.09 c #Conflicts: 665000 | #Constraints: 25817
551.68/553.09 c #Conflicts: 666000 | #Constraints: 26817
551.68/553.09 c #Conflicts: 667000 | #Constraints: 27817
551.68/553.09 c #Conflicts: 668000 | #Constraints: 28817
551.68/553.09 c #Conflicts: 669000 | #Constraints: 29817
551.68/553.09 c #Conflicts: 670000 | #Constraints: 30817
551.68/553.09 c #Conflicts: 671000 | #Constraints: 31817
551.68/553.09 c INPROCESSING
551.68/553.09 c GARBAGE COLLECT
551.68/553.09 c #Conflicts: 672000 | #Constraints: 16619
551.68/553.09 c #Conflicts: 673000 | #Constraints: 17619
551.68/553.09 c #Conflicts: 674000 | #Constraints: 18619
551.68/553.09 c #Conflicts: 675000 | #Constraints: 19619
551.68/553.09 c #Conflicts: 676000 | #Constraints: 20619
551.68/553.09 c #Conflicts: 677000 | #Constraints: 21619
551.68/553.09 c #Conflicts: 678000 | #Constraints: 22619
551.68/553.09 c #Conflicts: 679000 | #Constraints: 23619
551.68/553.09 c #Conflicts: 680000 | #Constraints: 24619
551.68/553.09 c #Conflicts: 681000 | #Constraints: 25619
551.68/553.09 c #Conflicts: 682000 | #Constraints: 26619
551.68/553.09 c #Conflicts: 683000 | #Constraints: 27619
551.68/553.09 c #Conflicts: 684000 | #Constraints: 28619
551.68/553.09 c #Conflicts: 685000 | #Constraints: 29619
551.68/553.09 c #Conflicts: 686000 | #Constraints: 30619
551.68/553.09 c #Conflicts: 687000 | #Constraints: 31619
551.68/553.09 c #Conflicts: 688000 | #Constraints: 32619
551.68/553.09 c INPROCESSING
551.68/553.09 c GARBAGE COLLECT
551.68/553.09 c #Conflicts: 689000 | #Constraints: 17218
551.68/553.09 c #Conflicts: 690000 | #Constraints: 18218
551.68/553.09 c #Conflicts: 691000 | #Constraints: 19218
551.68/553.09 c #Conflicts: 692000 | #Constraints: 20218
551.68/553.09 c #Conflicts: 693000 | #Constraints: 21218
551.68/553.09 c #Conflicts: 694000 | #Constraints: 22218
551.68/553.09 c #Conflicts: 695000 | #Constraints: 23218
551.68/553.09 c #Conflicts: 696000 | #Constraints: 24218
551.68/553.09 c #Conflicts: 697000 | #Constraints: 25218
551.68/553.09 c #Conflicts: 698000 | #Constraints: 26218
551.68/553.09 c #Conflicts: 699000 | #Constraints: 27218
551.68/553.09 c #Conflicts: 700000 | #Constraints: 28218
551.68/553.09 c #Conflicts: 701000 | #Constraints: 29218
551.68/553.09 c #Conflicts: 702000 | #Constraints: 30218
551.68/553.09 c #Conflicts: 703000 | #Constraints: 31218
551.68/553.09 c #Conflicts: 704000 | #Constraints: 32218
551.68/553.09 c #Conflicts: 705000 | #Constraints: 33218
551.68/553.09 c INPROCESSING
551.68/553.09 c GARBAGE COLLECT
551.68/553.09 c #Conflicts: 706000 | #Constraints: 17618
551.68/553.09 c #Conflicts: 707000 | #Constraints: 18618
551.68/553.09 c #Conflicts: 708000 | #Constraints: 19618
551.68/553.09 c #Conflicts: 709000 | #Constraints: 20618
551.68/553.09 c #Conflicts: 710000 | #Constraints: 21618
551.68/553.09 c #Conflicts: 711000 | #Constraints: 22618
551.68/553.09 c #Conflicts: 712000 | #Constraints: 23618
551.68/553.09 c #Conflicts: 713000 | #Constraints: 24618
551.68/553.09 c #Conflicts: 714000 | #Constraints: 25618
551.68/553.09 c #Conflicts: 715000 | #Constraints: 26618
551.68/553.09 c #Conflicts: 716000 | #Constraints: 27618
551.68/553.09 c #Conflicts: 717000 | #Constraints: 28618
551.68/553.09 c #Conflicts: 718000 | #Constraints: 29618
551.68/553.09 c #Conflicts: 719000 | #Constraints: 30618
551.68/553.09 c #Conflicts: 720000 | #Constraints: 31618
551.68/553.09 c #Conflicts: 721000 | #Constraints: 32618
551.68/553.09 c #Conflicts: 722000 | #Constraints: 33618
551.68/553.09 c INPROCESSING
551.68/553.09 c GARBAGE COLLECT
551.68/553.09 c #Conflicts: 723000 | #Constraints: 17824
551.68/553.09 c #Conflicts: 724000 | #Constraints: 18824
551.68/553.09 c #Conflicts: 725000 | #Constraints: 19824
551.68/553.09 c #Conflicts: 726000 | #Constraints: 20824
551.68/553.09 c #Conflicts: 727000 | #Constraints: 21824
551.68/553.09 c #Conflicts: 728000 | #Constraints: 22824
551.68/553.09 c #Conflicts: 729000 | #Constraints: 23824
551.68/553.09 c #Conflicts: 730000 | #Constraints: 24824
551.68/553.09 c #Conflicts: 731000 | #Constraints: 25824
551.68/553.09 c #Conflicts: 732000 | #Constraints: 26824
551.68/553.09 c #Conflicts: 733000 | #Constraints: 27824
551.68/553.09 c #Conflicts: 734000 | #Constraints: 28824
551.68/553.09 c #Conflicts: 735000 | #Constraints: 29824
551.68/553.09 c #Conflicts: 736000 | #Constraints: 30824
551.68/553.09 c #Conflicts: 737000 | #Constraints: 31824
551.68/553.09 c #Conflicts: 738000 | #Constraints: 32824
551.68/553.09 c #Conflicts: 739000 | #Constraints: 33824
636.34/637.94 c INPROCESSING
636.34/637.94 c GARBAGE COLLECT
636.34/637.94 c #Conflicts: 740000 | #Constraints: 17823
636.34/637.94 c #Conflicts: 741000 | #Constraints: 18823
636.34/637.94 c #Conflicts: 742000 | #Constraints: 19823
636.34/637.94 c #Conflicts: 743000 | #Constraints: 20823
636.34/637.94 c #Conflicts: 744000 | #Constraints: 21823
636.34/637.94 c #Conflicts: 745000 | #Constraints: 22823
636.34/637.94 c #Conflicts: 746000 | #Constraints: 23823
636.34/637.94 c #Conflicts: 747000 | #Constraints: 24823
636.34/637.94 c #Conflicts: 748000 | #Constraints: 25823
636.34/637.94 c #Conflicts: 749000 | #Constraints: 26823
636.34/637.94 c #Conflicts: 750000 | #Constraints: 27823
636.34/637.94 c #Conflicts: 751000 | #Constraints: 28823
636.34/637.94 c #Conflicts: 752000 | #Constraints: 29823
636.34/637.94 c #Conflicts: 753000 | #Constraints: 30823
636.34/637.94 c #Conflicts: 754000 | #Constraints: 31823
636.34/637.94 c #Conflicts: 755000 | #Constraints: 32823
636.34/637.94 c #Conflicts: 756000 | #Constraints: 33823
636.34/637.94 c INPROCESSING
636.34/637.94 c GARBAGE COLLECT
636.34/637.94 c #Conflicts: 757000 | #Constraints: 17621
636.34/637.94 c #Conflicts: 758000 | #Constraints: 18621
636.34/637.94 c #Conflicts: 759000 | #Constraints: 19621
636.34/637.94 c #Conflicts: 760000 | #Constraints: 20621
636.34/637.94 c #Conflicts: 761000 | #Constraints: 21621
636.34/637.94 c #Conflicts: 762000 | #Constraints: 22621
636.34/637.94 c #Conflicts: 763000 | #Constraints: 23621
636.34/637.94 c #Conflicts: 764000 | #Constraints: 24621
636.34/637.94 c #Conflicts: 765000 | #Constraints: 25621
636.34/637.94 c #Conflicts: 766000 | #Constraints: 26621
636.34/637.94 c #Conflicts: 767000 | #Constraints: 27621
636.34/637.94 c #Conflicts: 768000 | #Constraints: 28621
636.34/637.94 c #Conflicts: 769000 | #Constraints: 29621
636.34/637.94 c #Conflicts: 770000 | #Constraints: 30621
636.34/637.94 c #Conflicts: 771000 | #Constraints: 31621
636.34/637.94 c #Conflicts: 772000 | #Constraints: 32621
636.34/637.94 c #Conflicts: 773000 | #Constraints: 33621
636.34/637.94 c #Conflicts: 774000 | #Constraints: 34621
636.34/637.94 c INPROCESSING
636.34/637.94 c GARBAGE COLLECT
636.34/637.94 c #Conflicts: 775000 | #Constraints: 18216
636.34/637.94 c #Conflicts: 776000 | #Constraints: 19216
636.34/637.94 c #Conflicts: 777000 | #Constraints: 20216
636.34/637.94 c #Conflicts: 778000 | #Constraints: 21216
636.34/637.94 c #Conflicts: 779000 | #Constraints: 22216
636.34/637.94 c #Conflicts: 780000 | #Constraints: 23216
636.34/637.94 c #Conflicts: 781000 | #Constraints: 24216
636.34/637.94 c #Conflicts: 782000 | #Constraints: 25216
636.34/637.94 c #Conflicts: 783000 | #Constraints: 26216
636.34/637.94 c #Conflicts: 784000 | #Constraints: 27216
636.34/637.94 c #Conflicts: 785000 | #Constraints: 28216
636.34/637.94 c #Conflicts: 786000 | #Constraints: 29216
636.34/637.94 c #Conflicts: 787000 | #Constraints: 30216
636.34/637.94 c #Conflicts: 788000 | #Constraints: 31216
636.34/637.94 c #Conflicts: 789000 | #Constraints: 32216
636.34/637.94 c #Conflicts: 790000 | #Constraints: 33216
636.34/637.94 c #Conflicts: 791000 | #Constraints: 34216
636.34/637.94 c #Conflicts: 792000 | #Constraints: 35216
636.34/637.94 c INPROCESSING
636.34/637.94 c GARBAGE COLLECT
636.34/637.94 c #Conflicts: 793000 | #Constraints: 18617
636.34/637.94 c #Conflicts: 794000 | #Constraints: 19617
636.34/637.94 c #Conflicts: 795000 | #Constraints: 20617
636.34/637.94 c #Conflicts: 796000 | #Constraints: 21617
636.34/637.94 c #Conflicts: 797000 | #Constraints: 22617
636.34/637.94 c #Conflicts: 798000 | #Constraints: 23617
636.34/637.94 c #Conflicts: 799000 | #Constraints: 24617
636.34/637.94 c #Conflicts: 800000 | #Constraints: 25617
636.34/637.94 c #Conflicts: 801000 | #Constraints: 26617
636.34/637.94 c #Conflicts: 802000 | #Constraints: 27617
636.34/637.94 c #Conflicts: 803000 | #Constraints: 28617
636.34/637.94 c #Conflicts: 804000 | #Constraints: 29617
636.34/637.94 c #Conflicts: 805000 | #Constraints: 30617
636.34/637.94 c #Conflicts: 806000 | #Constraints: 31617
636.34/637.94 c #Conflicts: 807000 | #Constraints: 32617
636.34/637.94 c #Conflicts: 808000 | #Constraints: 33617
636.34/637.94 c #Conflicts: 809000 | #Constraints: 34617
636.34/637.94 c #Conflicts: 810000 | #Constraints: 35617
636.34/637.94 c INPROCESSING
636.34/637.94 c GARBAGE COLLECT
636.34/637.94 c #Conflicts: 811000 | #Constraints: 18816
636.34/637.94 c #Conflicts: 812000 | #Constraints: 19816
636.34/637.94 c #Conflicts: 813000 | #Constraints: 20816
636.34/637.94 c #Conflicts: 814000 | #Constraints: 21816
636.34/637.94 c #Conflicts: 815000 | #Constraints: 22816
724.90/726.71 c #Conflicts: 816000 | #Constraints: 23816
724.90/726.71 c #Conflicts: 817000 | #Constraints: 24816
724.90/726.71 c #Conflicts: 818000 | #Constraints: 25816
724.90/726.71 c #Conflicts: 819000 | #Constraints: 26816
724.90/726.71 c #Conflicts: 820000 | #Constraints: 27816
724.90/726.71 c #Conflicts: 821000 | #Constraints: 28816
724.90/726.71 c #Conflicts: 822000 | #Constraints: 29816
724.90/726.71 c #Conflicts: 823000 | #Constraints: 30816
724.90/726.71 c #Conflicts: 824000 | #Constraints: 31816
724.90/726.71 c #Conflicts: 825000 | #Constraints: 32816
724.90/726.71 c #Conflicts: 826000 | #Constraints: 33816
724.90/726.71 c #Conflicts: 827000 | #Constraints: 34816
724.90/726.71 c #Conflicts: 828000 | #Constraints: 35816
724.90/726.71 c INPROCESSING
724.90/726.71 c GARBAGE COLLECT
724.90/726.71 c #Conflicts: 829000 | #Constraints: 18820
724.90/726.71 c #Conflicts: 830000 | #Constraints: 19820
724.90/726.71 c #Conflicts: 831000 | #Constraints: 20820
724.90/726.71 c #Conflicts: 832000 | #Constraints: 21820
724.90/726.71 c #Conflicts: 833000 | #Constraints: 22820
724.90/726.71 c #Conflicts: 834000 | #Constraints: 23820
724.90/726.71 c #Conflicts: 835000 | #Constraints: 24820
724.90/726.71 c #Conflicts: 836000 | #Constraints: 25820
724.90/726.71 c #Conflicts: 837000 | #Constraints: 26820
724.90/726.71 c #Conflicts: 838000 | #Constraints: 27820
724.90/726.71 c #Conflicts: 839000 | #Constraints: 28820
724.90/726.71 c #Conflicts: 840000 | #Constraints: 29820
724.90/726.71 c #Conflicts: 841000 | #Constraints: 30820
724.90/726.71 c #Conflicts: 842000 | #Constraints: 31820
724.90/726.71 c #Conflicts: 843000 | #Constraints: 32820
724.90/726.71 c #Conflicts: 844000 | #Constraints: 33820
724.90/726.71 c #Conflicts: 845000 | #Constraints: 34820
724.90/726.71 c #Conflicts: 846000 | #Constraints: 35820
724.90/726.71 c INPROCESSING
724.90/726.71 c GARBAGE COLLECT
724.90/726.71 c #Conflicts: 847000 | #Constraints: 18620
724.90/726.71 c #Conflicts: 848000 | #Constraints: 19620
724.90/726.71 c #Conflicts: 849000 | #Constraints: 20620
724.90/726.71 c #Conflicts: 850000 | #Constraints: 21620
724.90/726.71 c #Conflicts: 851000 | #Constraints: 22620
724.90/726.71 c #Conflicts: 852000 | #Constraints: 23620
724.90/726.71 c #Conflicts: 853000 | #Constraints: 24620
724.90/726.71 c #Conflicts: 854000 | #Constraints: 25620
724.90/726.71 c #Conflicts: 855000 | #Constraints: 26620
724.90/726.71 c #Conflicts: 856000 | #Constraints: 27620
724.90/726.71 c #Conflicts: 857000 | #Constraints: 28620
724.90/726.71 c #Conflicts: 858000 | #Constraints: 29620
724.90/726.71 c #Conflicts: 859000 | #Constraints: 30620
724.90/726.71 c #Conflicts: 860000 | #Constraints: 31620
724.90/726.71 c #Conflicts: 861000 | #Constraints: 32620
724.90/726.71 c #Conflicts: 862000 | #Constraints: 33620
724.90/726.71 c #Conflicts: 863000 | #Constraints: 34620
724.90/726.71 c #Conflicts: 864000 | #Constraints: 35620
724.90/726.71 c #Conflicts: 865000 | #Constraints: 36620
724.90/726.71 c INPROCESSING
724.90/726.71 c GARBAGE COLLECT
724.90/726.71 c #Conflicts: 866000 | #Constraints: 19219
724.90/726.71 c #Conflicts: 867000 | #Constraints: 20219
724.90/726.71 c #Conflicts: 868000 | #Constraints: 21219
724.90/726.71 c #Conflicts: 869000 | #Constraints: 22219
724.90/726.71 c #Conflicts: 870000 | #Constraints: 23219
724.90/726.71 c #Conflicts: 871000 | #Constraints: 24219
724.90/726.71 c #Conflicts: 872000 | #Constraints: 25219
724.90/726.71 c #Conflicts: 873000 | #Constraints: 26219
724.90/726.71 c #Conflicts: 874000 | #Constraints: 27219
724.90/726.71 c #Conflicts: 875000 | #Constraints: 28219
724.90/726.71 c #Conflicts: 876000 | #Constraints: 29219
724.90/726.71 c #Conflicts: 877000 | #Constraints: 30219
724.90/726.71 c #Conflicts: 878000 | #Constraints: 31219
724.90/726.71 c #Conflicts: 879000 | #Constraints: 32219
724.90/726.71 c #Conflicts: 880000 | #Constraints: 33219
724.90/726.71 c #Conflicts: 881000 | #Constraints: 34219
724.90/726.71 c #Conflicts: 882000 | #Constraints: 35219
724.90/726.71 c #Conflicts: 883000 | #Constraints: 36219
724.90/726.71 c #Conflicts: 884000 | #Constraints: 37219
724.90/726.71 c INPROCESSING
724.90/726.71 c GARBAGE COLLECT
724.90/726.71 c #Conflicts: 885000 | #Constraints: 19620
724.90/726.71 c #Conflicts: 886000 | #Constraints: 20620
724.90/726.71 c #Conflicts: 887000 | #Constraints: 21620
724.90/726.71 c #Conflicts: 888000 | #Constraints: 22620
724.90/726.71 c #Conflicts: 889000 | #Constraints: 23620
724.90/726.71 c #Conflicts: 890000 | #Constraints: 24620
724.90/726.71 c #Conflicts: 891000 | #Constraints: 25620
819.53/821.68 c #Conflicts: 892000 | #Constraints: 26620
819.53/821.68 c #Conflicts: 893000 | #Constraints: 27620
819.53/821.68 c #Conflicts: 894000 | #Constraints: 28620
819.53/821.68 c #Conflicts: 895000 | #Constraints: 29620
819.53/821.68 c #Conflicts: 896000 | #Constraints: 30620
819.53/821.68 c #Conflicts: 897000 | #Constraints: 31620
819.53/821.68 c #Conflicts: 898000 | #Constraints: 32620
819.53/821.68 c #Conflicts: 899000 | #Constraints: 33620
819.53/821.68 c #Conflicts: 900000 | #Constraints: 34620
819.53/821.68 c #Conflicts: 901000 | #Constraints: 35620
819.53/821.68 c #Conflicts: 902000 | #Constraints: 36620
819.53/821.68 c #Conflicts: 903000 | #Constraints: 37620
819.53/821.68 c INPROCESSING
819.53/821.68 c GARBAGE COLLECT
819.53/821.68 c #Conflicts: 904000 | #Constraints: 19821
819.53/821.68 c #Conflicts: 905000 | #Constraints: 20821
819.53/821.68 c #Conflicts: 906000 | #Constraints: 21821
819.53/821.68 c #Conflicts: 907000 | #Constraints: 22821
819.53/821.68 c #Conflicts: 908000 | #Constraints: 23821
819.53/821.68 c #Conflicts: 909000 | #Constraints: 24821
819.53/821.68 c #Conflicts: 910000 | #Constraints: 25821
819.53/821.68 c #Conflicts: 911000 | #Constraints: 26821
819.53/821.68 c #Conflicts: 912000 | #Constraints: 27821
819.53/821.68 c #Conflicts: 913000 | #Constraints: 28821
819.53/821.68 c #Conflicts: 914000 | #Constraints: 29821
819.53/821.68 c #Conflicts: 915000 | #Constraints: 30821
819.53/821.68 c #Conflicts: 916000 | #Constraints: 31821
819.53/821.68 c #Conflicts: 917000 | #Constraints: 32821
819.53/821.68 c #Conflicts: 918000 | #Constraints: 33821
819.53/821.68 c #Conflicts: 919000 | #Constraints: 34821
819.53/821.68 c #Conflicts: 920000 | #Constraints: 35821
819.53/821.68 c #Conflicts: 921000 | #Constraints: 36821
819.53/821.68 c #Conflicts: 922000 | #Constraints: 37821
819.53/821.68 c INPROCESSING
819.53/821.68 c GARBAGE COLLECT
819.53/821.68 c #Conflicts: 923000 | #Constraints: 19818
819.53/821.68 c #Conflicts: 924000 | #Constraints: 20818
819.53/821.68 c #Conflicts: 925000 | #Constraints: 21818
819.53/821.68 c #Conflicts: 926000 | #Constraints: 22818
819.53/821.68 c #Conflicts: 927000 | #Constraints: 23818
819.53/821.68 c #Conflicts: 928000 | #Constraints: 24818
819.53/821.68 c #Conflicts: 929000 | #Constraints: 25818
819.53/821.68 c #Conflicts: 930000 | #Constraints: 26818
819.53/821.68 c #Conflicts: 931000 | #Constraints: 27818
819.53/821.68 c #Conflicts: 932000 | #Constraints: 28818
819.53/821.68 c #Conflicts: 933000 | #Constraints: 29818
819.53/821.68 c #Conflicts: 934000 | #Constraints: 30818
819.53/821.68 c #Conflicts: 935000 | #Constraints: 31818
819.53/821.68 c #Conflicts: 936000 | #Constraints: 32818
819.53/821.68 c #Conflicts: 937000 | #Constraints: 33818
819.53/821.68 c #Conflicts: 938000 | #Constraints: 34818
819.53/821.68 c #Conflicts: 939000 | #Constraints: 35818
819.53/821.68 c #Conflicts: 940000 | #Constraints: 36818
819.53/821.68 c #Conflicts: 941000 | #Constraints: 37818
819.53/821.68 c INPROCESSING
819.53/821.68 c GARBAGE COLLECT
819.53/821.68 c #Conflicts: 942000 | #Constraints: 19620
819.53/821.68 c #Conflicts: 943000 | #Constraints: 20620
819.53/821.68 c #Conflicts: 944000 | #Constraints: 21620
819.53/821.68 c #Conflicts: 945000 | #Constraints: 22620
819.53/821.68 c #Conflicts: 946000 | #Constraints: 23620
819.53/821.68 c #Conflicts: 947000 | #Constraints: 24620
819.53/821.68 c #Conflicts: 948000 | #Constraints: 25620
819.53/821.68 c #Conflicts: 949000 | #Constraints: 26620
819.53/821.68 c #Conflicts: 950000 | #Constraints: 27620
819.53/821.68 c #Conflicts: 951000 | #Constraints: 28620
819.53/821.68 c #Conflicts: 952000 | #Constraints: 29620
819.53/821.68 c #Conflicts: 953000 | #Constraints: 30620
819.53/821.68 c #Conflicts: 954000 | #Constraints: 31620
819.53/821.68 c #Conflicts: 955000 | #Constraints: 32620
819.53/821.68 c #Conflicts: 956000 | #Constraints: 33620
819.53/821.68 c #Conflicts: 957000 | #Constraints: 34620
819.53/821.68 c #Conflicts: 958000 | #Constraints: 35620
819.53/821.68 c #Conflicts: 959000 | #Constraints: 36620
819.53/821.68 c #Conflicts: 960000 | #Constraints: 37620
819.53/821.68 c #Conflicts: 961000 | #Constraints: 38620
819.53/821.68 c INPROCESSING
819.53/821.68 c GARBAGE COLLECT
819.53/821.68 c #Conflicts: 962000 | #Constraints: 20220
819.53/821.68 c #Conflicts: 963000 | #Constraints: 21220
819.53/821.68 c #Conflicts: 964000 | #Constraints: 22220
819.53/821.68 c #Conflicts: 965000 | #Constraints: 23220
819.53/821.68 c #Conflicts: 966000 | #Constraints: 24220
819.53/821.68 c #Conflicts: 967000 | #Constraints: 25220
819.53/821.68 c #Conflicts: 968000 | #Constraints: 26220
919.57/921.99 c #Conflicts: 969000 | #Constraints: 27220
919.57/921.99 c #Conflicts: 970000 | #Constraints: 28220
919.57/921.99 c #Conflicts: 971000 | #Constraints: 29220
919.57/921.99 c #Conflicts: 972000 | #Constraints: 30220
919.57/921.99 c #Conflicts: 973000 | #Constraints: 31220
919.57/921.99 c #Conflicts: 974000 | #Constraints: 32220
919.57/921.99 c #Conflicts: 975000 | #Constraints: 33220
919.57/921.99 c #Conflicts: 976000 | #Constraints: 34220
919.57/921.99 c #Conflicts: 977000 | #Constraints: 35220
919.57/921.99 c #Conflicts: 978000 | #Constraints: 36220
919.57/921.99 c #Conflicts: 979000 | #Constraints: 37220
919.57/921.99 c #Conflicts: 980000 | #Constraints: 38220
919.57/921.99 c #Conflicts: 981000 | #Constraints: 39220
919.57/921.99 c INPROCESSING
919.57/921.99 c GARBAGE COLLECT
919.57/921.99 c #Conflicts: 982000 | #Constraints: 20620
919.57/921.99 c #Conflicts: 983000 | #Constraints: 21620
919.57/921.99 c #Conflicts: 984000 | #Constraints: 22620
919.57/921.99 c #Conflicts: 985000 | #Constraints: 23620
919.57/921.99 c #Conflicts: 986000 | #Constraints: 24620
919.57/921.99 c #Conflicts: 987000 | #Constraints: 25620
919.57/921.99 c #Conflicts: 988000 | #Constraints: 26620
919.57/921.99 c #Conflicts: 989000 | #Constraints: 27620
919.57/921.99 c #Conflicts: 990000 | #Constraints: 28620
919.57/921.99 c #Conflicts: 991000 | #Constraints: 29620
919.57/921.99 c #Conflicts: 992000 | #Constraints: 30620
919.57/921.99 c #Conflicts: 993000 | #Constraints: 31620
919.57/921.99 c #Conflicts: 994000 | #Constraints: 32620
919.57/921.99 c #Conflicts: 995000 | #Constraints: 33620
919.57/921.99 c #Conflicts: 996000 | #Constraints: 34620
919.57/921.99 c #Conflicts: 997000 | #Constraints: 35620
919.57/921.99 c #Conflicts: 998000 | #Constraints: 36620
919.57/921.99 c #Conflicts: 999000 | #Constraints: 37620
919.57/921.99 c #Conflicts: 1000000 | #Constraints: 38620
919.57/921.99 c #Conflicts: 1001000 | #Constraints: 39620
919.57/921.99 c INPROCESSING
919.57/921.99 c GARBAGE COLLECT
919.57/921.99 c #Conflicts: 1002000 | #Constraints: 20821
919.57/921.99 c #Conflicts: 1003000 | #Constraints: 21821
919.57/921.99 c #Conflicts: 1004000 | #Constraints: 22821
919.57/921.99 c #Conflicts: 1005000 | #Constraints: 23821
919.57/921.99 c #Conflicts: 1006000 | #Constraints: 24821
919.57/921.99 c #Conflicts: 1007000 | #Constraints: 25821
919.57/921.99 c #Conflicts: 1008000 | #Constraints: 26821
919.57/921.99 c #Conflicts: 1009000 | #Constraints: 27821
919.57/921.99 c #Conflicts: 1010000 | #Constraints: 28821
919.57/921.99 c #Conflicts: 1011000 | #Constraints: 29821
919.57/921.99 c #Conflicts: 1012000 | #Constraints: 30821
919.57/921.99 c #Conflicts: 1013000 | #Constraints: 31821
919.57/921.99 c #Conflicts: 1014000 | #Constraints: 32821
919.57/921.99 c #Conflicts: 1015000 | #Constraints: 33821
919.57/921.99 c #Conflicts: 1016000 | #Constraints: 34821
919.57/921.99 c #Conflicts: 1017000 | #Constraints: 35821
919.57/921.99 c #Conflicts: 1018000 | #Constraints: 36821
919.57/921.99 c #Conflicts: 1019000 | #Constraints: 37821
919.57/921.99 c #Conflicts: 1020000 | #Constraints: 38821
919.57/921.99 c #Conflicts: 1021000 | #Constraints: 39821
919.57/921.99 c INPROCESSING
919.57/921.99 c GARBAGE COLLECT
919.57/921.99 c #Conflicts: 1022000 | #Constraints: 20823
919.57/921.99 c #Conflicts: 1023000 | #Constraints: 21823
919.57/921.99 c #Conflicts: 1024000 | #Constraints: 22823
919.57/921.99 c #Conflicts: 1025000 | #Constraints: 23823
919.57/921.99 c #Conflicts: 1026000 | #Constraints: 24823
919.57/921.99 c #Conflicts: 1027000 | #Constraints: 25823
919.57/921.99 c #Conflicts: 1028000 | #Constraints: 26823
919.57/921.99 c #Conflicts: 1029000 | #Constraints: 27823
919.57/921.99 c #Conflicts: 1030000 | #Constraints: 28823
919.57/921.99 c #Conflicts: 1031000 | #Constraints: 29823
919.57/921.99 c #Conflicts: 1032000 | #Constraints: 30823
919.57/921.99 c #Conflicts: 1033000 | #Constraints: 31823
919.57/921.99 c #Conflicts: 1034000 | #Constraints: 32823
919.57/921.99 c #Conflicts: 1035000 | #Constraints: 33823
919.57/921.99 c #Conflicts: 1036000 | #Constraints: 34823
919.57/921.99 c #Conflicts: 1037000 | #Constraints: 35823
919.57/921.99 c #Conflicts: 1038000 | #Constraints: 36823
919.57/921.99 c #Conflicts: 1039000 | #Constraints: 37823
919.57/921.99 c #Conflicts: 1040000 | #Constraints: 38823
919.57/921.99 c #Conflicts: 1041000 | #Constraints: 39823
919.57/921.99 c INPROCESSING
919.57/921.99 c GARBAGE COLLECT
919.57/921.99 c #Conflicts: 1042000 | #Constraints: 20623
919.57/921.99 c #Conflicts: 1043000 | #Constraints: 21623
919.57/921.99 c #Conflicts: 1044000 | #Constraints: 22623
1020.92/1023.50 c #Conflicts: 1045000 | #Constraints: 23623
1020.92/1023.50 c #Conflicts: 1046000 | #Constraints: 24623
1020.92/1023.50 c #Conflicts: 1047000 | #Constraints: 25623
1020.92/1023.50 c #Conflicts: 1048000 | #Constraints: 26623
1020.92/1023.50 c #Conflicts: 1049000 | #Constraints: 27623
1020.92/1023.50 c #Conflicts: 1050000 | #Constraints: 28623
1020.92/1023.50 c #Conflicts: 1051000 | #Constraints: 29623
1020.92/1023.50 c #Conflicts: 1052000 | #Constraints: 30623
1020.92/1023.50 c #Conflicts: 1053000 | #Constraints: 31623
1020.92/1023.50 c #Conflicts: 1054000 | #Constraints: 32623
1020.92/1023.50 c #Conflicts: 1055000 | #Constraints: 33623
1020.92/1023.50 c #Conflicts: 1056000 | #Constraints: 34623
1020.92/1023.50 c #Conflicts: 1057000 | #Constraints: 35623
1020.92/1023.50 c #Conflicts: 1058000 | #Constraints: 36623
1020.92/1023.50 c #Conflicts: 1059000 | #Constraints: 37623
1020.92/1023.50 c #Conflicts: 1060000 | #Constraints: 38623
1020.92/1023.50 c #Conflicts: 1061000 | #Constraints: 39623
1020.92/1023.50 c #Conflicts: 1062000 | #Constraints: 40623
1020.92/1023.50 c INPROCESSING
1020.92/1023.50 c GARBAGE COLLECT
1020.92/1023.50 c #Conflicts: 1063000 | #Constraints: 21223
1020.92/1023.50 c #Conflicts: 1064000 | #Constraints: 22223
1020.92/1023.50 c #Conflicts: 1065000 | #Constraints: 23223
1020.92/1023.50 c #Conflicts: 1066000 | #Constraints: 24223
1020.92/1023.50 c #Conflicts: 1067000 | #Constraints: 25223
1020.92/1023.50 c #Conflicts: 1068000 | #Constraints: 26223
1020.92/1023.50 c #Conflicts: 1069000 | #Constraints: 27223
1020.92/1023.50 c #Conflicts: 1070000 | #Constraints: 28223
1020.92/1023.50 c #Conflicts: 1071000 | #Constraints: 29223
1020.92/1023.50 c #Conflicts: 1072000 | #Constraints: 30223
1020.92/1023.50 c #Conflicts: 1073000 | #Constraints: 31223
1020.92/1023.50 c #Conflicts: 1074000 | #Constraints: 32223
1020.92/1023.50 c #Conflicts: 1075000 | #Constraints: 33223
1020.92/1023.50 c #Conflicts: 1076000 | #Constraints: 34223
1020.92/1023.50 c #Conflicts: 1077000 | #Constraints: 35223
1020.92/1023.50 c #Conflicts: 1078000 | #Constraints: 36223
1020.92/1023.50 c #Conflicts: 1079000 | #Constraints: 37223
1020.92/1023.50 c #Conflicts: 1080000 | #Constraints: 38223
1020.92/1023.50 c #Conflicts: 1081000 | #Constraints: 39223
1020.92/1023.50 c #Conflicts: 1082000 | #Constraints: 40223
1020.92/1023.50 c #Conflicts: 1083000 | #Constraints: 41223
1020.92/1023.50 c INPROCESSING
1020.92/1023.50 c GARBAGE COLLECT
1020.92/1023.50 c #Conflicts: 1084000 | #Constraints: 21622
1020.92/1023.50 c #Conflicts: 1085000 | #Constraints: 22622
1020.92/1023.50 c #Conflicts: 1086000 | #Constraints: 23622
1020.92/1023.50 c #Conflicts: 1087000 | #Constraints: 24622
1020.92/1023.50 c #Conflicts: 1088000 | #Constraints: 25622
1020.92/1023.50 c #Conflicts: 1089000 | #Constraints: 26622
1020.92/1023.50 c #Conflicts: 1090000 | #Constraints: 27622
1020.92/1023.50 c #Conflicts: 1091000 | #Constraints: 28622
1020.92/1023.50 c #Conflicts: 1092000 | #Constraints: 29622
1020.92/1023.50 c #Conflicts: 1093000 | #Constraints: 30622
1020.92/1023.50 c #Conflicts: 1094000 | #Constraints: 31622
1020.92/1023.50 c #Conflicts: 1095000 | #Constraints: 32622
1020.92/1023.50 c #Conflicts: 1096000 | #Constraints: 33622
1020.92/1023.50 c #Conflicts: 1097000 | #Constraints: 34622
1020.92/1023.50 c #Conflicts: 1098000 | #Constraints: 35622
1020.92/1023.50 c #Conflicts: 1099000 | #Constraints: 36622
1020.92/1023.50 c #Conflicts: 1100000 | #Constraints: 37622
1020.92/1023.50 c #Conflicts: 1101000 | #Constraints: 38622
1020.92/1023.50 c #Conflicts: 1102000 | #Constraints: 39622
1020.92/1023.50 c #Conflicts: 1103000 | #Constraints: 40622
1020.92/1023.50 c #Conflicts: 1104000 | #Constraints: 41622
1020.92/1023.50 c INPROCESSING
1020.92/1023.50 c GARBAGE COLLECT
1020.92/1023.50 c #Conflicts: 1105000 | #Constraints: 21821
1020.92/1023.50 c #Conflicts: 1106000 | #Constraints: 22821
1020.92/1023.50 c #Conflicts: 1107000 | #Constraints: 23821
1020.92/1023.50 c #Conflicts: 1108000 | #Constraints: 24821
1020.92/1023.50 c #Conflicts: 1109000 | #Constraints: 25821
1020.92/1023.50 c #Conflicts: 1110000 | #Constraints: 26821
1020.92/1023.50 c #Conflicts: 1111000 | #Constraints: 27821
1020.92/1023.50 c #Conflicts: 1112000 | #Constraints: 28821
1020.92/1023.50 c #Conflicts: 1113000 | #Constraints: 29821
1020.92/1023.50 c #Conflicts: 1114000 | #Constraints: 30821
1020.92/1023.50 c #Conflicts: 1115000 | #Constraints: 31821
1020.92/1023.50 c #Conflicts: 1116000 | #Constraints: 32821
1020.92/1023.50 c #Conflicts: 1117000 | #Constraints: 33821
1020.92/1023.50 c #Conflicts: 1118000 | #Constraints: 34821
1020.92/1023.50 c #Conflicts: 1119000 | #Constraints: 35821
1020.92/1023.50 c #Conflicts: 1120000 | #Constraints: 36821
1020.92/1023.50 c #Conflicts: 1121000 | #Constraints: 37821
1124.06/1126.91 c #Conflicts: 1122000 | #Constraints: 38821
1124.06/1126.91 c #Conflicts: 1123000 | #Constraints: 39821
1124.06/1126.91 c #Conflicts: 1124000 | #Constraints: 40821
1124.06/1126.91 c #Conflicts: 1125000 | #Constraints: 41821
1124.06/1126.91 c INPROCESSING
1124.06/1126.91 c GARBAGE COLLECT
1124.06/1126.91 c #Conflicts: 1126000 | #Constraints: 21821
1124.06/1126.91 c #Conflicts: 1127000 | #Constraints: 22821
1124.06/1126.91 c #Conflicts: 1128000 | #Constraints: 23821
1124.06/1126.91 c #Conflicts: 1129000 | #Constraints: 24821
1124.06/1126.91 c #Conflicts: 1130000 | #Constraints: 25821
1124.06/1126.91 c #Conflicts: 1131000 | #Constraints: 26821
1124.06/1126.91 c #Conflicts: 1132000 | #Constraints: 27821
1124.06/1126.91 c #Conflicts: 1133000 | #Constraints: 28821
1124.06/1126.91 c #Conflicts: 1134000 | #Constraints: 29821
1124.06/1126.91 c #Conflicts: 1135000 | #Constraints: 30821
1124.06/1126.91 c #Conflicts: 1136000 | #Constraints: 31821
1124.06/1126.91 c #Conflicts: 1137000 | #Constraints: 32821
1124.06/1126.91 c #Conflicts: 1138000 | #Constraints: 33821
1124.06/1126.91 c #Conflicts: 1139000 | #Constraints: 34821
1124.06/1126.91 c #Conflicts: 1140000 | #Constraints: 35821
1124.06/1126.91 c #Conflicts: 1141000 | #Constraints: 36821
1124.06/1126.91 c #Conflicts: 1142000 | #Constraints: 37821
1124.06/1126.91 c #Conflicts: 1143000 | #Constraints: 38821
1124.06/1126.91 c #Conflicts: 1144000 | #Constraints: 39821
1124.06/1126.91 c #Conflicts: 1145000 | #Constraints: 40821
1124.06/1126.91 c #Conflicts: 1146000 | #Constraints: 41821
1124.06/1126.91 c INPROCESSING
1124.06/1126.91 c GARBAGE COLLECT
1124.06/1126.91 c #Conflicts: 1147000 | #Constraints: 21621
1124.06/1126.91 c #Conflicts: 1148000 | #Constraints: 22621
1124.06/1126.91 c #Conflicts: 1149000 | #Constraints: 23621
1124.06/1126.91 c #Conflicts: 1150000 | #Constraints: 24621
1124.06/1126.91 c #Conflicts: 1151000 | #Constraints: 25621
1124.06/1126.91 c #Conflicts: 1152000 | #Constraints: 26621
1124.06/1126.91 c #Conflicts: 1153000 | #Constraints: 27621
1124.06/1126.91 c #Conflicts: 1154000 | #Constraints: 28621
1124.06/1126.91 c #Conflicts: 1155000 | #Constraints: 29621
1124.06/1126.91 c #Conflicts: 1156000 | #Constraints: 30621
1124.06/1126.91 c #Conflicts: 1157000 | #Constraints: 31621
1124.06/1126.91 c #Conflicts: 1158000 | #Constraints: 32621
1124.06/1126.91 c #Conflicts: 1159000 | #Constraints: 33621
1124.06/1126.91 c #Conflicts: 1160000 | #Constraints: 34621
1124.06/1126.91 c #Conflicts: 1161000 | #Constraints: 35621
1124.06/1126.91 c #Conflicts: 1162000 | #Constraints: 36621
1124.06/1126.91 c #Conflicts: 1163000 | #Constraints: 37621
1124.06/1126.91 c #Conflicts: 1164000 | #Constraints: 38621
1124.06/1126.91 c #Conflicts: 1165000 | #Constraints: 39621
1124.06/1126.91 c #Conflicts: 1166000 | #Constraints: 40621
1124.06/1126.91 c #Conflicts: 1167000 | #Constraints: 41621
1124.06/1126.91 c #Conflicts: 1168000 | #Constraints: 42621
1124.06/1126.91 c INPROCESSING
1124.06/1126.91 c GARBAGE COLLECT
1124.06/1126.91 c #Conflicts: 1169000 | #Constraints: 22219
1124.06/1126.91 c #Conflicts: 1170000 | #Constraints: 23219
1124.06/1126.91 c #Conflicts: 1171000 | #Constraints: 24219
1124.06/1126.91 c #Conflicts: 1172000 | #Constraints: 25219
1124.06/1126.91 c #Conflicts: 1173000 | #Constraints: 26219
1124.06/1126.91 c #Conflicts: 1174000 | #Constraints: 27219
1124.06/1126.91 c #Conflicts: 1175000 | #Constraints: 28219
1124.06/1126.91 c #Conflicts: 1176000 | #Constraints: 29219
1124.06/1126.91 c #Conflicts: 1177000 | #Constraints: 30219
1124.06/1126.91 c #Conflicts: 1178000 | #Constraints: 31219
1124.06/1126.91 c #Conflicts: 1179000 | #Constraints: 32219
1124.06/1126.91 c #Conflicts: 1180000 | #Constraints: 33219
1124.06/1126.91 c #Conflicts: 1181000 | #Constraints: 34219
1124.06/1126.91 c #Conflicts: 1182000 | #Constraints: 35219
1124.06/1126.91 c #Conflicts: 1183000 | #Constraints: 36219
1124.06/1126.91 c #Conflicts: 1184000 | #Constraints: 37219
1124.06/1126.91 c #Conflicts: 1185000 | #Constraints: 38219
1124.06/1126.91 c #Conflicts: 1186000 | #Constraints: 39219
1124.06/1126.91 c #Conflicts: 1187000 | #Constraints: 40219
1124.06/1126.91 c #Conflicts: 1188000 | #Constraints: 41219
1124.06/1126.91 c #Conflicts: 1189000 | #Constraints: 42219
1124.06/1126.91 c #Conflicts: 1190000 | #Constraints: 43219
1124.06/1126.91 c INPROCESSING
1124.06/1126.91 c GARBAGE COLLECT
1124.06/1126.91 c #Conflicts: 1191000 | #Constraints: 22619
1124.06/1126.91 c #Conflicts: 1192000 | #Constraints: 23619
1124.06/1126.91 c #Conflicts: 1193000 | #Constraints: 24619
1124.06/1126.91 c #Conflicts: 1194000 | #Constraints: 25619
1124.06/1126.91 c #Conflicts: 1195000 | #Constraints: 26619
1124.06/1126.91 c #Conflicts: 1196000 | #Constraints: 27619
1124.06/1126.91 c #Conflicts: 1197000 | #Constraints: 28619
1231.79/1234.93 c #Conflicts: 1198000 | #Constraints: 29619
1231.79/1234.93 c #Conflicts: 1199000 | #Constraints: 30619
1231.79/1234.93 c #Conflicts: 1200000 | #Constraints: 31619
1231.79/1234.93 c #Conflicts: 1201000 | #Constraints: 32619
1231.79/1234.93 c #Conflicts: 1202000 | #Constraints: 33619
1231.79/1234.93 c #Conflicts: 1203000 | #Constraints: 34619
1231.79/1234.93 c #Conflicts: 1204000 | #Constraints: 35619
1231.79/1234.93 c #Conflicts: 1205000 | #Constraints: 36619
1231.79/1234.93 c #Conflicts: 1206000 | #Constraints: 37619
1231.79/1234.93 c #Conflicts: 1207000 | #Constraints: 38619
1231.79/1234.93 c #Conflicts: 1208000 | #Constraints: 39619
1231.79/1234.93 c #Conflicts: 1209000 | #Constraints: 40619
1231.79/1234.93 c #Conflicts: 1210000 | #Constraints: 41619
1231.79/1234.93 c #Conflicts: 1211000 | #Constraints: 42619
1231.79/1234.93 c #Conflicts: 1212000 | #Constraints: 43619
1231.79/1234.93 c INPROCESSING
1231.79/1234.93 c GARBAGE COLLECT
1231.79/1234.93 c #Conflicts: 1213000 | #Constraints: 22823
1231.79/1234.93 c #Conflicts: 1214000 | #Constraints: 23823
1231.79/1234.93 c #Conflicts: 1215000 | #Constraints: 24823
1231.79/1234.93 c #Conflicts: 1216000 | #Constraints: 25823
1231.79/1234.93 c #Conflicts: 1217000 | #Constraints: 26823
1231.79/1234.93 c #Conflicts: 1218000 | #Constraints: 27823
1231.79/1234.93 c #Conflicts: 1219000 | #Constraints: 28823
1231.79/1234.93 c #Conflicts: 1220000 | #Constraints: 29823
1231.79/1234.93 c #Conflicts: 1221000 | #Constraints: 30823
1231.79/1234.93 c #Conflicts: 1222000 | #Constraints: 31823
1231.79/1234.93 c #Conflicts: 1223000 | #Constraints: 32823
1231.79/1234.93 c #Conflicts: 1224000 | #Constraints: 33823
1231.79/1234.93 c #Conflicts: 1225000 | #Constraints: 34823
1231.79/1234.93 c #Conflicts: 1226000 | #Constraints: 35823
1231.79/1234.93 c #Conflicts: 1227000 | #Constraints: 36823
1231.79/1234.93 c #Conflicts: 1228000 | #Constraints: 37823
1231.79/1234.93 c #Conflicts: 1229000 | #Constraints: 38823
1231.79/1234.93 c #Conflicts: 1230000 | #Constraints: 39823
1231.79/1234.93 c #Conflicts: 1231000 | #Constraints: 40823
1231.79/1234.93 c #Conflicts: 1232000 | #Constraints: 41823
1231.79/1234.93 c #Conflicts: 1233000 | #Constraints: 42823
1231.79/1234.93 c #Conflicts: 1234000 | #Constraints: 43823
1231.79/1234.93 c INPROCESSING
1231.79/1234.93 c GARBAGE COLLECT
1231.79/1234.93 c #Conflicts: 1235000 | #Constraints: 22822
1231.79/1234.93 c #Conflicts: 1236000 | #Constraints: 23822
1231.79/1234.93 c #Conflicts: 1237000 | #Constraints: 24822
1231.79/1234.93 c #Conflicts: 1238000 | #Constraints: 25822
1231.79/1234.93 c #Conflicts: 1239000 | #Constraints: 26822
1231.79/1234.93 c #Conflicts: 1240000 | #Constraints: 27822
1231.79/1234.93 c #Conflicts: 1241000 | #Constraints: 28822
1231.79/1234.93 c #Conflicts: 1242000 | #Constraints: 29822
1231.79/1234.93 c #Conflicts: 1243000 | #Constraints: 30822
1231.79/1234.93 c #Conflicts: 1244000 | #Constraints: 31822
1231.79/1234.93 c #Conflicts: 1245000 | #Constraints: 32822
1231.79/1234.93 c #Conflicts: 1246000 | #Constraints: 33822
1231.79/1234.93 c #Conflicts: 1247000 | #Constraints: 34822
1231.79/1234.93 c #Conflicts: 1248000 | #Constraints: 35822
1231.79/1234.93 c #Conflicts: 1249000 | #Constraints: 36822
1231.79/1234.93 c #Conflicts: 1250000 | #Constraints: 37822
1231.79/1234.93 c #Conflicts: 1251000 | #Constraints: 38822
1231.79/1234.93 c #Conflicts: 1252000 | #Constraints: 39822
1231.79/1234.93 c #Conflicts: 1253000 | #Constraints: 40822
1231.79/1234.93 c #Conflicts: 1254000 | #Constraints: 41822
1231.79/1234.93 c #Conflicts: 1255000 | #Constraints: 42822
1231.79/1234.93 c #Conflicts: 1256000 | #Constraints: 43822
1231.79/1234.93 c INPROCESSING
1231.79/1234.93 c GARBAGE COLLECT
1231.79/1234.93 c #Conflicts: 1257000 | #Constraints: 22622
1231.79/1234.93 c #Conflicts: 1258000 | #Constraints: 23622
1231.79/1234.93 c #Conflicts: 1259000 | #Constraints: 24622
1231.79/1234.93 c #Conflicts: 1260000 | #Constraints: 25622
1231.79/1234.93 c #Conflicts: 1261000 | #Constraints: 26622
1231.79/1234.93 c #Conflicts: 1262000 | #Constraints: 27622
1231.79/1234.93 c #Conflicts: 1263000 | #Constraints: 28622
1231.79/1234.93 c #Conflicts: 1264000 | #Constraints: 29622
1231.79/1234.93 c #Conflicts: 1265000 | #Constraints: 30622
1231.79/1234.93 c #Conflicts: 1266000 | #Constraints: 31622
1231.79/1234.93 c #Conflicts: 1267000 | #Constraints: 32622
1231.79/1234.93 c #Conflicts: 1268000 | #Constraints: 33622
1231.79/1234.93 c #Conflicts: 1269000 | #Constraints: 34622
1231.79/1234.93 c #Conflicts: 1270000 | #Constraints: 35622
1231.79/1234.93 c #Conflicts: 1271000 | #Constraints: 36622
1231.79/1234.93 c #Conflicts: 1272000 | #Constraints: 37622
1231.79/1234.93 c #Conflicts: 1273000 | #Constraints: 38622
1231.79/1234.93 c #Conflicts: 1274000 | #Constraints: 39622
1345.00/1348.41 c #Conflicts: 1275000 | #Constraints: 40622
1345.00/1348.41 c #Conflicts: 1276000 | #Constraints: 41622
1345.00/1348.41 c #Conflicts: 1277000 | #Constraints: 42622
1345.00/1348.41 c #Conflicts: 1278000 | #Constraints: 43622
1345.00/1348.41 c #Conflicts: 1279000 | #Constraints: 44622
1345.00/1348.41 c INPROCESSING
1345.00/1348.41 c GARBAGE COLLECT
1345.00/1348.41 c #Conflicts: 1280000 | #Constraints: 23220
1345.00/1348.41 c #Conflicts: 1281000 | #Constraints: 24220
1345.00/1348.41 c #Conflicts: 1282000 | #Constraints: 25220
1345.00/1348.41 c #Conflicts: 1283000 | #Constraints: 26220
1345.00/1348.41 c #Conflicts: 1284000 | #Constraints: 27220
1345.00/1348.41 c #Conflicts: 1285000 | #Constraints: 28220
1345.00/1348.41 c #Conflicts: 1286000 | #Constraints: 29220
1345.00/1348.41 c #Conflicts: 1287000 | #Constraints: 30220
1345.00/1348.41 c #Conflicts: 1288000 | #Constraints: 31220
1345.00/1348.41 c #Conflicts: 1289000 | #Constraints: 32220
1345.00/1348.41 c #Conflicts: 1290000 | #Constraints: 33220
1345.00/1348.41 c #Conflicts: 1291000 | #Constraints: 34220
1345.00/1348.41 c #Conflicts: 1292000 | #Constraints: 35220
1345.00/1348.41 c #Conflicts: 1293000 | #Constraints: 36220
1345.00/1348.41 c #Conflicts: 1294000 | #Constraints: 37220
1345.00/1348.41 c #Conflicts: 1295000 | #Constraints: 38220
1345.00/1348.41 c #Conflicts: 1296000 | #Constraints: 39220
1345.00/1348.41 c #Conflicts: 1297000 | #Constraints: 40220
1345.00/1348.41 c #Conflicts: 1298000 | #Constraints: 41220
1345.00/1348.41 c #Conflicts: 1299000 | #Constraints: 42220
1345.00/1348.41 c #Conflicts: 1300000 | #Constraints: 43220
1345.00/1348.41 c #Conflicts: 1301000 | #Constraints: 44220
1345.00/1348.41 c #Conflicts: 1302000 | #Constraints: 45220
1345.00/1348.41 c INPROCESSING
1345.00/1348.41 c GARBAGE COLLECT
1345.00/1348.41 c #Conflicts: 1303000 | #Constraints: 23619
1345.00/1348.41 c #Conflicts: 1304000 | #Constraints: 24619
1345.00/1348.41 c #Conflicts: 1305000 | #Constraints: 25619
1345.00/1348.41 c #Conflicts: 1306000 | #Constraints: 26619
1345.00/1348.41 c #Conflicts: 1307000 | #Constraints: 27619
1345.00/1348.41 c #Conflicts: 1308000 | #Constraints: 28619
1345.00/1348.41 c #Conflicts: 1309000 | #Constraints: 29619
1345.00/1348.41 c #Conflicts: 1310000 | #Constraints: 30619
1345.00/1348.41 c #Conflicts: 1311000 | #Constraints: 31619
1345.00/1348.41 c #Conflicts: 1312000 | #Constraints: 32619
1345.00/1348.41 c #Conflicts: 1313000 | #Constraints: 33619
1345.00/1348.41 c #Conflicts: 1314000 | #Constraints: 34619
1345.00/1348.41 c #Conflicts: 1315000 | #Constraints: 35619
1345.00/1348.41 c #Conflicts: 1316000 | #Constraints: 36619
1345.00/1348.41 c #Conflicts: 1317000 | #Constraints: 37619
1345.00/1348.41 c #Conflicts: 1318000 | #Constraints: 38619
1345.00/1348.41 c #Conflicts: 1319000 | #Constraints: 39619
1345.00/1348.41 c #Conflicts: 1320000 | #Constraints: 40619
1345.00/1348.41 c #Conflicts: 1321000 | #Constraints: 41619
1345.00/1348.41 c #Conflicts: 1322000 | #Constraints: 42619
1345.00/1348.41 c #Conflicts: 1323000 | #Constraints: 43619
1345.00/1348.41 c #Conflicts: 1324000 | #Constraints: 44619
1345.00/1348.41 c #Conflicts: 1325000 | #Constraints: 45619
1345.00/1348.41 c INPROCESSING
1345.00/1348.41 c GARBAGE COLLECT
1345.00/1348.41 c #Conflicts: 1326000 | #Constraints: 23819
1345.00/1348.41 c #Conflicts: 1327000 | #Constraints: 24819
1345.00/1348.41 c #Conflicts: 1328000 | #Constraints: 25819
1345.00/1348.41 c #Conflicts: 1329000 | #Constraints: 26819
1345.00/1348.41 c #Conflicts: 1330000 | #Constraints: 27819
1345.00/1348.41 c #Conflicts: 1331000 | #Constraints: 28819
1345.00/1348.41 c #Conflicts: 1332000 | #Constraints: 29819
1345.00/1348.41 c #Conflicts: 1333000 | #Constraints: 30819
1345.00/1348.41 c #Conflicts: 1334000 | #Constraints: 31819
1345.00/1348.41 c #Conflicts: 1335000 | #Constraints: 32819
1345.00/1348.41 c #Conflicts: 1336000 | #Constraints: 33819
1345.00/1348.41 c #Conflicts: 1337000 | #Constraints: 34819
1345.00/1348.41 c #Conflicts: 1338000 | #Constraints: 35819
1345.00/1348.41 c #Conflicts: 1339000 | #Constraints: 36819
1345.00/1348.41 c #Conflicts: 1340000 | #Constraints: 37819
1345.00/1348.41 c #Conflicts: 1341000 | #Constraints: 38819
1345.00/1348.41 c #Conflicts: 1342000 | #Constraints: 39819
1345.00/1348.41 c #Conflicts: 1343000 | #Constraints: 40819
1345.00/1348.41 c #Conflicts: 1344000 | #Constraints: 41819
1345.00/1348.41 c #Conflicts: 1345000 | #Constraints: 42819
1345.00/1348.41 c #Conflicts: 1346000 | #Constraints: 43819
1345.00/1348.41 c #Conflicts: 1347000 | #Constraints: 44819
1345.00/1348.41 c #Conflicts: 1348000 | #Constraints: 45819
1345.00/1348.41 c INPROCESSING
1345.00/1348.41 c GARBAGE COLLECT
1345.00/1348.41 c #Conflicts: 1349000 | #Constraints: 23823
1345.00/1348.41 c #Conflicts: 1350000 | #Constraints: 24823
1418.42/1422.01 c #Conflicts: 1351000 | #Constraints: 25823
1418.42/1422.01 c #Conflicts: 1352000 | #Constraints: 26823
1418.42/1422.01 c #Conflicts: 1353000 | #Constraints: 27823
1418.42/1422.01 c #Conflicts: 1354000 | #Constraints: 28823
1418.42/1422.01 c #Conflicts: 1355000 | #Constraints: 29823
1418.42/1422.01 c #Conflicts: 1356000 | #Constraints: 30823
1418.42/1422.01 c #Conflicts: 1357000 | #Constraints: 31823
1418.42/1422.01 c #Conflicts: 1358000 | #Constraints: 32823
1418.42/1422.01 c #Conflicts: 1359000 | #Constraints: 33823
1418.42/1422.01 c #Conflicts: 1360000 | #Constraints: 34823
1418.42/1422.01 c #Conflicts: 1361000 | #Constraints: 35823
1418.42/1422.01 c #Conflicts: 1362000 | #Constraints: 36823
1418.42/1422.01 c #Conflicts: 1363000 | #Constraints: 37823
1418.42/1422.01 c #Conflicts: 1364000 | #Constraints: 38823
1418.42/1422.01 c #Conflicts: 1365000 | #Constraints: 39823
1418.42/1422.01 c #Conflicts: 1366000 | #Constraints: 40823
1418.42/1422.01 c #Conflicts: 1367000 | #Constraints: 41823
1418.42/1422.01 c #Conflicts: 1368000 | #Constraints: 42823
1418.42/1422.01 c #Conflicts: 1369000 | #Constraints: 43823
1418.42/1422.01 c #Conflicts: 1370000 | #Constraints: 44823
1418.42/1422.01 c #Conflicts: 1371000 | #Constraints: 45823
1418.42/1422.01 c INPROCESSING
1418.42/1422.01 c GARBAGE COLLECT
1418.42/1422.01 c #Conflicts: 1372000 | #Constraints: 23622
1418.42/1422.01 c #Conflicts: 1373000 | #Constraints: 24622
1418.42/1422.01 c #Conflicts: 1374000 | #Constraints: 25622
1418.42/1422.01 c #Conflicts: 1375000 | #Constraints: 26622
1418.42/1422.01 c #Conflicts: 1376000 | #Constraints: 27622
1418.42/1422.01 c #Conflicts: 1377000 | #Constraints: 28622
1418.42/1422.01 c #Conflicts: 1378000 | #Constraints: 29622
1418.42/1422.01 c #Conflicts: 1379000 | #Constraints: 30622
1418.42/1422.01 c #Conflicts: 1380000 | #Constraints: 31622
1418.42/1422.01 c #Conflicts: 1381000 | #Constraints: 32622
1418.42/1422.01 c #Conflicts: 1382000 | #Constraints: 33622
1418.42/1422.01 c #Conflicts: 1383000 | #Constraints: 34622
1418.42/1422.01 c #Conflicts: 1384000 | #Constraints: 35622
1418.42/1422.01 c #Conflicts: 1385000 | #Constraints: 36622
1418.42/1422.01 c #Conflicts: 1386000 | #Constraints: 37622
1418.42/1422.01 c #Conflicts: 1387000 | #Constraints: 38622
1418.42/1422.01 c #Conflicts: 1388000 | #Constraints: 39622
1418.42/1422.01 c #Conflicts: 1389000 | #Constraints: 40622
1418.42/1422.01 c #Conflicts: 1390000 | #Constraints: 41622
1418.42/1422.01 c #Conflicts: 1391000 | #Constraints: 42622
1418.42/1422.01 c #Conflicts: 1392000 | #Constraints: 43622
1418.42/1422.01 c #Conflicts: 1393000 | #Constraints: 44622
1418.42/1422.01 c #Conflicts: 1394000 | #Constraints: 45622
1418.42/1422.01 c #Conflicts: 1395000 | #Constraints: 46622
1418.42/1422.01 c INPROCESSING
1418.42/1422.01 c GARBAGE COLLECT
1418.42/1422.01 c #Conflicts: 1396000 | #Constraints: 24224
1418.42/1422.01 c #Conflicts: 1397000 | #Constraints: 25224
1418.42/1422.01 c #Conflicts: 1398000 | #Constraints: 26224
1418.42/1422.01 c #Conflicts: 1399000 | #Constraints: 27224
1418.42/1422.01 c #Conflicts: 1400000 | #Constraints: 28224
1418.42/1422.01 c bounds - >= 0 @ 1413.52
1418.42/1422.01 d SOLVEDBY oll
1418.42/1422.01 c cpu time 1413.52 s
1418.42/1422.01 c deterministic time 205714772416 2.06e+11
1418.42/1422.01 c optimization time 0.000346 s
1418.42/1422.01 c total solve time 1413.51 s
1418.42/1422.01 c core-guided solve time 1413.51 s
1418.42/1422.01 c propagation time 1277.37 s
1418.42/1422.01 c conflict analysis time 128.097 s
1418.42/1422.01 c propagations 11984735
1418.42/1422.01 c resolve steps 6116467
1418.42/1422.01 c decisions 1941688
1418.42/1422.01 c conflicts 1400631
1418.42/1422.01 c restarts 2684
1418.42/1422.01 c inprocessing phases 109
1418.42/1422.01 c input clauses 1
1418.42/1422.01 c input cardinalities 0
1418.42/1422.01 c input general constraints 8
1418.42/1422.01 c input average constraint length 26.56
1418.42/1422.01 c input average constraint degree 690.78
1418.42/1422.01 c learned clauses 805526
1418.42/1422.01 c learned cardinalities 24
1418.42/1422.01 c learned general constraints 595080
1418.42/1422.01 c learned average constraint length 19.07
1418.42/1422.01 c learned average constraint degree 2015.48
1418.42/1422.01 c watched constraints 373762
1418.42/1422.01 c counting constraints 221326
1418.42/1422.01 c gcd simplifications 710261
1418.42/1422.01 c detected cardinalities 23
1418.42/1422.01 c weakened non-implied lits 7164453
1418.42/1422.01 c weakened non-implying lits 276595
1418.42/1422.01 c original variables 31
1418.42/1422.01 c clausal propagations 308364
1418.42/1422.01 c cardinality propagations 7
1418.42/1422.01 c watched propagations 1542784
1418.42/1422.01 c counting propagations 8960643
1418.42/1422.01 c watch lookups 33617254669
1418.42/1422.01 c watch backjump lookups 27329829818
1418.42/1422.01 c watch checks 71579765401
1418.42/1422.01 c propagation checks 72960995416
1418.42/1422.01 c constraint additions 197673649
1418.42/1422.01 c trail pops 15327039
1418.42/1422.01 c formula constraints 9
1418.42/1422.01 c learned constraints 1400630
1418.42/1422.01 c bound constraints 0
1418.42/1422.01 c core-guided constraints 0
1418.42/1422.01 c encountered formula constraints 2933520
1418.42/1422.01 c encountered learned constraints 4583578
1418.42/1422.01 c encountered bound constraints 0
1418.42/1422.01 c encountered core-guided constraints 0
1418.42/1422.01 c LP total time 0 s
1418.42/1422.01 c LP solve time 0 s
1418.42/1422.01 c LP constraints added 0
1418.42/1422.01 c LP constraints removed 0
1418.42/1422.01 c LP pivots internal 0
1418.42/1422.01 c LP pivots root 0
1418.42/1422.01 c LP calls 0
1418.42/1422.01 c LP optimalities 0
1418.42/1422.01 c LP no pivot count 0
1418.42/1422.01 c LP infeasibilities 0
1418.42/1422.01 c LP valid Farkas constraints 0
1418.42/1422.01 c LP learned Farkas constraints 0
1418.42/1422.01 c LP basis resets 0
1418.42/1422.01 c LP cycling count 0
1418.42/1422.01 c LP singular count 0
1418.42/1422.01 c LP no primal count 0
1418.42/1422.01 c LP no farkas count 0
1418.42/1422.01 c LP other issue count 0
1418.42/1422.01 c LP Gomory cuts 0
1418.42/1422.01 c LP learned cuts 0
1418.42/1422.01 c LP deleted cuts 0
1418.42/1422.01 c LP encountered Gomory constraints 0
1418.42/1422.01 c LP encountered Farkas constraints 0
1418.42/1422.01 c LP encountered learned Farkas constraints 0
1418.42/1422.01 c CG auxiliary variables introduced 0
1418.42/1422.01 c CG solutions found 0
1418.42/1422.01 c CG cores constructed 0
1418.42/1422.01 c CG core cardinality constraints returned 0
1418.42/1422.01 c CG unit cores 0
1418.42/1422.01 c CG single cores 0
1418.42/1422.01 c CG blocks removed during cardinality reduction 0
1418.42/1422.01 c CG first core best 0
1418.42/1422.01 c CG decision core best 0
1418.42/1422.01 c CG core reduction tie 0
1418.42/1422.01 c CG core degree average 0.00
1418.42/1422.01 c CG core slack average 0.00
1418.42/1422.01 c CG exhausted 0
1418.42/1422.01 c CG exhaust time 0 s
1418.42/1422.01 c CG trimmed 0
1418.42/1422.01 c CG trim time 0 s
1418.42/1422.01 c CG minimized 0
1418.42/1422.01 c CG minimize time 0 s
1418.42/1422.01 c CG am1 prop time 0 s
1418.42/1422.01 c CG # am1s reformulated 0
1418.42/1422.01 c CG lower bound derived from am1s 0
1418.42/1422.01 c CG # clausal cores 0
1418.42/1422.01 c CG # cardinality cores 0
1418.42/1422.01 c CG # pb cores 0
1418.42/1422.01 c CG # pb reforms 0
1418.42/1422.01 c CG # cores discarded because of pb reform 0
1418.42/1422.01 d LOWERBOUND 0
1418.42/1422.01 d NCORES 0
1418.42/1422.01 d NPBCORES 0
1418.42/1422.01 d NPBREFORM 0
1418.42/1422.01 d NTRIMMED 0
1418.42/1422.01 d NEXHAUSTED 0
1418.42/1422.01 d NAM1S 0
1418.42/1422.01 d AM1LB 0
1418.42/1422.01 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62924 MiB free)
memory of node 1: 64465 MiB (63893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490468-1751366838/watcher-4490468-1751366838 -o /tmp/evaluation-result-4490468-1751366838/solver-4490468-1751366838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49199 --watchdog 3760 pb-oll-rs HOME/instance-4490468-1751366838.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49619, runsolver pid=49616
Current StackSize limit: 8192 KiB
[startup+0.100054 s]*
/proc/loadavg: 4.08 4.10 4.09 6/265 49620
/proc/meminfo: memFree=129857796/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=20088 memory=6400 CPUtime=0.08 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 407 0 0 0 8 0 0 0 20 0 1 0 52306330 20570112 1600 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5022 1600 1376 243 0 1271 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20088 KiB
Current children cumulated memory: 6400 KiB
[startup+0.204441 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 49620
/proc/meminfo: memFree=129857796/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=20356 memory=6656 CPUtime=0.19 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 484 0 0 0 18 1 0 0 20 0 1 0 52306330 20844544 1664 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5089 1664 1376 243 0 1338 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 20356 KiB
Current children cumulated memory: 6656 KiB
[startup+0.304314 s]*
/proc/loadavg: 4.08 4.10 4.09 5/265 49620
/proc/meminfo: memFree=129857796/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=20356 memory=6784 CPUtime=0.29 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 523 0 0 0 28 1 0 0 20 0 1 0 52306330 20844544 1696 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5089 1696 1376 243 0 1338 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20356 KiB
Current children cumulated memory: 6784 KiB
[startup+0.700096 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 49620
/proc/meminfo: memFree=129857576/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=20640 memory=7168 CPUtime=0.67 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 623 0 0 0 66 1 0 0 20 0 1 0 52306330 21135360 1792 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5160 1792 1376 243 0 1409 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 20640 KiB
Current children cumulated memory: 7168 KiB
[startup+1.50009 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 49620
/proc/meminfo: memFree=129857072/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=20868 memory=7552 CPUtime=1.48 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 736 0 0 0 145 3 0 0 20 0 1 0 52306330 21368832 1888 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5217 1888 1376 243 0 1466 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 20868 KiB
Current children cumulated memory: 7552 KiB
[startup+3.10427 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 49620
/proc/meminfo: memFree=129856468/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=20932 memory=7936 CPUtime=3.08 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 843 0 0 0 302 6 0 0 20 0 1 0 52306330 21434368 1984 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5233 1984 1376 243 0 1482 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 20932 KiB
Current children cumulated memory: 7936 KiB
[startup+6.30009 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 49620
/proc/meminfo: memFree=129854944/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=21396 memory=10364 CPUtime=6.27 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 930 0 0 0 617 10 0 0 20 0 1 0 52306330 21909504 2591 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5349 2591 1376 243 0 1598 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 21396 KiB
Current children cumulated memory: 10364 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 49620
/proc/meminfo: memFree=129854452/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=21812 memory=10748 CPUtime=12.65 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 1033 0 0 0 1247 18 0 0 20 0 1 0 52306330 22335488 2687 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5453 2687 1376 243 0 1702 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 21812 KiB
Current children cumulated memory: 10748 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 49620
/proc/meminfo: memFree=129853192/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=22240 memory=11260 CPUtime=25.43 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 1180 0 0 0 2513 30 0 0 20 0 1 0 52306330 22773760 2815 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5560 2815 1376 243 0 1809 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 22240 KiB
Current children cumulated memory: 11260 KiB
[startup+51.105 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 49621
/proc/meminfo: memFree=129842224/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=23072 memory=12028 CPUtime=50.97 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 1351 0 0 0 5050 47 0 0 20 0 1 0 52306330 23625728 3007 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5768 3007 1376 243 0 2017 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 23072 KiB
Current children cumulated memory: 12028 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 49627
/proc/meminfo: memFree=129829744/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=23732 memory=13052 CPUtime=102.04 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 1646 0 0 0 10128 76 0 0 20 0 1 0 52306330 24301568 3263 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 5933 3263 1376 243 0 2182 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 23732 KiB
Current children cumulated memory: 13052 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/266 49631
/proc/meminfo: memFree=129835384/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=25060 memory=14568 CPUtime=161.9 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 2170 0 0 0 16082 108 0 0 20 0 1 0 52306330 25661440 3642 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 6265 3642 1376 243 0 2514 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 25060 KiB
Current children cumulated memory: 14568 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 49634
/proc/meminfo: memFree=129829616/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=28036 memory=17156 CPUtime=221.76 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 2313 0 0 0 22041 135 0 0 20 0 1 0 52306330 28708864 4289 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 7009 4289 1376 243 0 3258 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 28036 KiB
Current children cumulated memory: 17156 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 49639
/proc/meminfo: memFree=129800976/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=28640 memory=17784 CPUtime=281.62 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 2564 0 0 0 28003 159 0 0 20 0 1 0 52306330 29327360 4446 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 7160 4446 1376 243 0 3409 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 28640 KiB
Current children cumulated memory: 17784 KiB
[startup+342.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/267 49641
/proc/meminfo: memFree=129812948/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=29956 memory=18680 CPUtime=341.48 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 2856 0 0 0 33966 182 0 0 20 0 1 0 52306330 30674944 4670 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 7489 4670 1376 243 0 3738 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 29956 KiB
Current children cumulated memory: 18680 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/267 49643
/proc/meminfo: memFree=129797948/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=29956 memory=18936 CPUtime=401.33 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 2893 0 0 0 39929 204 0 0 20 0 1 0 52306330 30674944 4734 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 7489 4734 1376 243 0 3738 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 29956 KiB
Current children cumulated memory: 18936 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 49645
/proc/meminfo: memFree=129794168/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=29956 memory=19192 CPUtime=461.18 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 2909 0 0 0 45896 222 0 0 20 0 1 0 52306330 30674944 4798 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 7489 4798 1376 243 0 3738 0
################
# More data... #
################
/proc/loadavg: 4.06 4.10 4.09 5/263 49681
/proc/meminfo: memFree=129799384/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=35168 memory=23268 CPUtime=999.77 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3572 0 0 0 99594 383 0 0 20 0 1 0 52306330 36012032 5817 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 8792 5817 1376 243 0 5041 0
Current children cumulated CPU time: 999.77 s
Current children cumulated vsize: 35168 KiB
Current children cumulated memory: 23268 KiB
[startup+1062.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 49683
/proc/meminfo: memFree=129807980/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=35728 memory=23780 CPUtime=1059.62 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3701 0 0 0 105563 399 0 0 20 0 1 0 52306330 36585472 5945 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 8932 5945 1376 243 0 5181 0
Current children cumulated CPU time: 1059.62 s
Current children cumulated vsize: 35728 KiB
Current children cumulated memory: 23780 KiB
[startup+1122.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 49686
/proc/meminfo: memFree=129804264/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=35728 memory=24036 CPUtime=1119.47 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3708 0 0 0 111529 418 0 0 20 0 1 0 52306330 36585472 6009 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 8932 6009 1376 243 0 5181 0
Current children cumulated CPU time: 1119.47 s
Current children cumulated vsize: 35728 KiB
Current children cumulated memory: 24036 KiB
[startup+1182.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 49688
/proc/meminfo: memFree=129804400/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=35728 memory=24036 CPUtime=1179.32 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3710 0 0 0 117498 434 0 0 20 0 1 0 52306330 36585472 6009 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 8932 6009 1376 243 0 5181 0
Current children cumulated CPU time: 1179.32 s
Current children cumulated vsize: 35728 KiB
Current children cumulated memory: 24036 KiB
[startup+1242.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 49692
/proc/meminfo: memFree=129802560/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=35868 memory=24164 CPUtime=1239.17 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3743 0 0 0 123467 450 0 0 20 0 1 0 52306330 36728832 6041 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 8967 6041 1376 243 0 5216 0
Current children cumulated CPU time: 1239.17 s
Current children cumulated vsize: 35868 KiB
Current children cumulated memory: 24164 KiB
[startup+1302.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 49699
/proc/meminfo: memFree=129794992/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36120 memory=24264 CPUtime=1299.02 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3849 0 0 0 129438 464 0 0 20 0 1 0 52306330 36986880 6066 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9030 6066 1376 243 0 5279 0
Current children cumulated CPU time: 1299.02 s
Current children cumulated vsize: 36120 KiB
Current children cumulated memory: 24264 KiB
[startup+1362.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 49701
/proc/meminfo: memFree=129800500/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36620 memory=24648 CPUtime=1358.86 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3944 0 0 0 135409 477 0 0 20 0 1 0 52306330 37498880 6162 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9155 6162 1376 243 0 5404 0
Current children cumulated CPU time: 1358.86 s
Current children cumulated vsize: 36620 KiB
Current children cumulated memory: 24648 KiB
[startup+1422.01 s]
# the end of solver process 49619 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1413.52 s, system=4.91601 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1382.4 s]
/proc/loadavg: 4.23 4.12 4.10 5/264 49703
/proc/meminfo: memFree=129800372/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36668 memory=24776 CPUtime=1378.91 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3991 0 0 0 137409 482 0 0 20 0 1 0 52306330 37548032 6194 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9167 6194 1376 243 0 5416 0
Current children cumulated CPU time: 1378.91 s
Current children cumulated vsize: 36668 KiB
Current children cumulated memory: 24776 KiB
[startup+1408 s]*
/proc/loadavg: 4.15 4.11 4.09 5/263 49703
/proc/meminfo: memFree=129800360/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36668 memory=24776 CPUtime=1404.46 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3991 0 0 0 139958 488 0 0 20 0 1 0 52306330 37548032 6194 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9167 6194 1376 243 0 5416 0
Current children cumulated CPU time: 1404.46 s
Current children cumulated vsize: 36668 KiB
Current children cumulated memory: 24776 KiB
[startup+1414.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 49703
/proc/meminfo: memFree=129800360/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36668 memory=24776 CPUtime=1410.83 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 3991 0 0 0 140594 489 0 0 20 0 1 0 52306330 37548032 6194 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9167 6194 1376 243 0 5416 0
Current children cumulated CPU time: 1410.83 s
Current children cumulated vsize: 36668 KiB
Current children cumulated memory: 24776 KiB
[startup+1417.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 49703
/proc/meminfo: memFree=129800108/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36160 memory=24404 CPUtime=1414.02 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 4032 0 0 0 140912 490 0 0 20 0 1 0 52306330 37027840 6101 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9040 6101 1376 243 0 5289 0
Current children cumulated CPU time: 1414.02 s
Current children cumulated vsize: 36160 KiB
Current children cumulated memory: 24404 KiB
[startup+1419.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 49703
/proc/meminfo: memFree=129800108/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36160 memory=24404 CPUtime=1415.61 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 4032 0 0 0 141071 490 0 0 20 0 1 0 52306330 37027840 6101 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9040 6101 1376 243 0 5289 0
Current children cumulated CPU time: 1415.61 s
Current children cumulated vsize: 36160 KiB
Current children cumulated memory: 24404 KiB
[startup+1420.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 49703
/proc/meminfo: memFree=129800108/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36160 memory=24404 CPUtime=1417.22 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 4032 0 0 0 141231 491 0 0 20 0 1 0 52306330 37027840 6101 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9040 6101 1376 243 0 5289 0
Current children cumulated CPU time: 1417.22 s
Current children cumulated vsize: 36160 KiB
Current children cumulated memory: 24404 KiB
[startup+1421.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 49703
/proc/meminfo: memFree=129800108/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36160 memory=24404 CPUtime=1418.01 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 4032 0 0 0 141310 491 0 0 20 0 1 0 52306330 37027840 6101 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9040 6101 1376 243 0 5289 0
Current children cumulated CPU time: 1418.01 s
Current children cumulated vsize: 36160 KiB
Current children cumulated memory: 24404 KiB
[startup+1422 s]*
/proc/loadavg: 4.11 4.10 4.09 5/263 49703
/proc/meminfo: memFree=129800108/131250000 swapFree=33010684/33010684
[pid=49619] ppid=49616 vsize=36160 memory=24404 CPUtime=1418.42 cores=4,6
/proc/49619/stat : 49619 (pb-oll-rs) R 49616 49619 49188 0 -1 4194304 4032 0 0 0 141351 491 0 0 20 0 1 0 52306330 37027840 6101 18446744073709551615 4218880 5211445 140728115581440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 21483520 140728115583388 140728115583465 140728115583465 140728115589067 0
/proc/49619/statm: 9040 6101 1376 243 0 5289 0
Current children cumulated CPU time: 1418.42 s
Current children cumulated vsize: 36160 KiB
Current children cumulated memory: 24404 KiB
Child status: 0
Real time (s): 1422.01
CPU time (s): 1418.43
CPU user time (s): 1413.52
CPU system time (s): 4.91601
CPU usage (%): 99.7483
Max. virtual memory (cumulated for all children) (KiB): 36668
Max. memory (cumulated for all children) (KiB): 24776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1413.52
system time used= 4.91601
maximum resident set size= 24904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4043
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= 89
involuntary context switches= 1383
# summary of solver processes directly reported to runsolver:
# pid: 49619
# total CPU time (s): 1418.43
# total CPU user time (s): 1413.52
# total CPU system time (s): 4.91601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23041 second user time and 5.91167 second system time
The end
Begin job on nodeC028 at 2025-07-01 12:47:18
IDJOB=4490468
IDBENCH=147587
IDSOLVER=3345
FILE ID=nodeC028/4490468-1751366838
RUNJOBID= nodeC028-1751363225-49199
SLURM_JOB_ID= 9598179
Free space on /tmp= 433056 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490468-1751366838/watcher-4490468-1751366838 -o /tmp/evaluation-result-4490468-1751366838/solver-4490468-1751366838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49199 --watchdog 3760 pb-oll-rs HOME/instance-4490468-1751366838.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3b6cd88d51672ff5fa8d3ce8152b7bd3
RANDOM SEED=1197497759
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.076
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3624.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.313
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3783.509
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.110
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.241
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129861892 kB
MemAvailable: 129735516 kB
Buffers: 3280 kB
Cached: 681124 kB
SwapCached: 0 kB
Active: 342288 kB
Inactive: 424332 kB
Active(anon): 100284 kB
Inactive(anon): 0 kB
Active(file): 242004 kB
Inactive(file): 424332 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7204 kB
Writeback: 4 kB
AnonPages: 85388 kB
Mapped: 106828 kB
Shmem: 18068 kB
KReclaimable: 93056 kB
Slab: 179340 kB
SReclaimable: 93056 kB
SUnreclaim: 86284 kB
KernelStack: 4224 kB
PageTables: 3092 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 424292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC028 at 2025-07-01 13:11:00