0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.47/1.54 c #variables 7320 #constraints 153729
72.94/73.23 c #Conflicts: 1000 | #Constraints: 154728
72.94/73.23 c #Conflicts: 2000 | #Constraints: 155728
72.94/73.23 c INPROCESSING
72.94/73.23 c #Conflicts: 3000 | #Constraints: 153528
72.94/73.23 c #Conflicts: 4000 | #Constraints: 154528
72.94/73.23 c INPROCESSING
72.94/73.23 c #Conflicts: 5000 | #Constraints: 153611
72.94/73.23 c #Conflicts: 6000 | #Constraints: 154611
72.94/73.23 c INPROCESSING
72.94/73.23 c #Conflicts: 7000 | #Constraints: 153604
72.94/73.23 c #Conflicts: 8000 | #Constraints: 154604
72.94/73.23 c #Conflicts: 9000 | #Constraints: 155604
72.94/73.23 c #Conflicts: 10000 | #Constraints: 156604
72.94/73.23 c #Conflicts: 11000 | #Constraints: 157604
72.94/73.23 c #Conflicts: 12000 | #Constraints: 158604
72.94/73.23 c INPROCESSING
72.94/73.23 c #Conflicts: 13000 | #Constraints: 155298
72.94/73.23 c #Conflicts: 14000 | #Constraints: 156298
72.94/73.23 c #Conflicts: 15000 | #Constraints: 157298
72.94/73.23 c #Conflicts: 16000 | #Constraints: 158298
72.94/73.23 c INPROCESSING
72.94/73.23 c GARBAGE COLLECT
72.94/73.23 c #Conflicts: 17000 | #Constraints: 155385
72.94/73.23 c #Conflicts: 18000 | #Constraints: 156385
72.94/73.23 c #Conflicts: 19000 | #Constraints: 157385
72.94/73.23 c #Conflicts: 20000 | #Constraints: 158385
72.94/73.23 c #Conflicts: 21000 | #Constraints: 159385
72.94/73.23 c #Conflicts: 22000 | #Constraints: 160385
72.94/73.23 c #Conflicts: 23000 | #Constraints: 161385
72.94/73.23 c #Conflicts: 24000 | #Constraints: 162385
72.94/73.23 c #Conflicts: 25000 | #Constraints: 163385
72.94/73.23 c INPROCESSING
72.94/73.23 c #Conflicts: 26000 | #Constraints: 157688
72.94/73.23 c #Conflicts: 27000 | #Constraints: 158688
72.94/73.23 c #Conflicts: 28000 | #Constraints: 159688
72.94/73.23 c #Conflicts: 29000 | #Constraints: 160688
72.94/73.23 c #Conflicts: 30000 | #Constraints: 161688
72.94/73.23 c INPROCESSING
72.94/73.23 c GARBAGE COLLECT
72.94/73.23 c #Conflicts: 31000 | #Constraints: 156842
72.94/73.23 c #Conflicts: 32000 | #Constraints: 157842
72.94/73.23 c #Conflicts: 33000 | #Constraints: 158842
72.94/73.23 c #Conflicts: 34000 | #Constraints: 159842
72.94/73.23 c #Conflicts: 35000 | #Constraints: 160842
72.94/73.23 c #Conflicts: 36000 | #Constraints: 161842
72.94/73.23 c #Conflicts: 37000 | #Constraints: 162842
72.94/73.23 c #Conflicts: 38000 | #Constraints: 163842
72.94/73.23 c #Conflicts: 39000 | #Constraints: 164842
72.94/73.23 c #Conflicts: 40000 | #Constraints: 165842
72.94/73.23 c #Conflicts: 41000 | #Constraints: 166842
72.94/73.23 c #Conflicts: 42000 | #Constraints: 167842
72.94/73.23 c #Conflicts: 43000 | #Constraints: 168842
72.94/73.23 c INPROCESSING
72.94/73.23 c GARBAGE COLLECT
72.94/73.23 c #Conflicts: 44000 | #Constraints: 160671
72.94/73.23 c #Conflicts: 45000 | #Constraints: 161671
72.94/73.23 c #Conflicts: 46000 | #Constraints: 162671
72.94/73.23 c #Conflicts: 47000 | #Constraints: 163671
72.94/73.23 c #Conflicts: 48000 | #Constraints: 164671
72.94/73.23 c #Conflicts: 49000 | #Constraints: 165671
72.94/73.23 c INPROCESSING
72.94/73.23 c #Conflicts: 50000 | #Constraints: 158931
72.94/73.23 c #Conflicts: 51000 | #Constraints: 159931
72.94/73.23 c #Conflicts: 52000 | #Constraints: 160931
72.94/73.23 c #Conflicts: 53000 | #Constraints: 161931
72.94/73.23 c #Conflicts: 54000 | #Constraints: 162931
72.94/73.23 c #Conflicts: 55000 | #Constraints: 163931
72.94/73.23 c #Conflicts: 56000 | #Constraints: 164931
72.94/73.23 c INPROCESSING
72.94/73.23 c GARBAGE COLLECT
72.94/73.23 c #Conflicts: 57000 | #Constraints: 158791
72.94/73.23 c #Conflicts: 58000 | #Constraints: 159791
72.94/73.23 c #Conflicts: 59000 | #Constraints: 160791
72.94/73.23 c #Conflicts: 60000 | #Constraints: 161791
72.94/73.23 c #Conflicts: 61000 | #Constraints: 162791
72.94/73.23 c #Conflicts: 62000 | #Constraints: 163791
72.94/73.23 c #Conflicts: 63000 | #Constraints: 164791
72.94/73.23 c #Conflicts: 64000 | #Constraints: 165791
72.94/73.23 c #Conflicts: 65000 | #Constraints: 166791
72.94/73.23 c #Conflicts: 66000 | #Constraints: 167791
72.94/73.23 c #Conflicts: 67000 | #Constraints: 168791
72.94/73.23 c #Conflicts: 68000 | #Constraints: 169791
72.94/73.23 c #Conflicts: 69000 | #Constraints: 170791
72.94/73.23 c #Conflicts: 70000 | #Constraints: 171791
72.94/73.23 c #Conflicts: 71000 | #Constraints: 172791
72.94/73.23 c #Conflicts: 72000 | #Constraints: 173791
72.94/73.23 c INPROCESSING
72.94/73.23 c GARBAGE COLLECT
72.94/73.23 c #Conflicts: 73000 | #Constraints: 162945
72.94/73.23 c #Conflicts: 74000 | #Constraints: 163945
119.50/119.99 c #Conflicts: 75000 | #Constraints: 164945
119.50/119.99 c #Conflicts: 76000 | #Constraints: 165945
119.50/119.99 c #Conflicts: 77000 | #Constraints: 166945
119.50/119.99 c #Conflicts: 78000 | #Constraints: 167945
119.50/119.99 c #Conflicts: 79000 | #Constraints: 168945
119.50/119.99 c #Conflicts: 80000 | #Constraints: 169945
119.50/119.99 c INPROCESSING
119.50/119.99 c #Conflicts: 81000 | #Constraints: 161109
119.50/119.99 c #Conflicts: 82000 | #Constraints: 162109
119.50/119.99 c #Conflicts: 83000 | #Constraints: 163109
119.50/119.99 c #Conflicts: 84000 | #Constraints: 164109
119.50/119.99 c #Conflicts: 85000 | #Constraints: 165109
119.50/119.99 c #Conflicts: 86000 | #Constraints: 166109
119.50/119.99 c #Conflicts: 87000 | #Constraints: 167109
119.50/119.99 c #Conflicts: 88000 | #Constraints: 168109
119.50/119.99 c #Conflicts: 89000 | #Constraints: 169109
119.50/119.99 c #Conflicts: 90000 | #Constraints: 170109
119.50/119.99 c #Conflicts: 91000 | #Constraints: 171109
119.50/119.99 c #Conflicts: 92000 | #Constraints: 172109
119.50/119.99 c #Conflicts: 93000 | #Constraints: 173109
119.50/119.99 c #Conflicts: 94000 | #Constraints: 174109
119.50/119.99 c #Conflicts: 95000 | #Constraints: 175109
119.50/119.99 c #Conflicts: 96000 | #Constraints: 176109
119.50/119.99 c #Conflicts: 97000 | #Constraints: 177109
119.50/119.99 c #Conflicts: 98000 | #Constraints: 178109
119.50/119.99 c #Conflicts: 99000 | #Constraints: 179109
119.50/119.99 c #Conflicts: 100000 | #Constraints: 180109
119.50/119.99 c INPROCESSING
119.50/119.99 c GARBAGE COLLECT
119.50/119.99 c #Conflicts: 101000 | #Constraints: 166418
119.50/119.99 c #Conflicts: 102000 | #Constraints: 167418
119.50/119.99 c #Conflicts: 103000 | #Constraints: 168418
119.50/119.99 c #Conflicts: 104000 | #Constraints: 169418
119.50/119.99 c #Conflicts: 105000 | #Constraints: 170418
119.50/119.99 c #Conflicts: 106000 | #Constraints: 171418
119.50/119.99 c #Conflicts: 107000 | #Constraints: 172418
119.50/119.99 c #Conflicts: 108000 | #Constraints: 173418
119.50/119.99 c #Conflicts: 109000 | #Constraints: 174418
119.50/119.99 c INPROCESSING
119.50/119.99 c GARBAGE COLLECT
119.50/119.99 c #Conflicts: 110000 | #Constraints: 163502
119.50/119.99 c #Conflicts: 111000 | #Constraints: 164502
119.50/119.99 c #Conflicts: 112000 | #Constraints: 165502
119.50/119.99 c #Conflicts: 113000 | #Constraints: 166502
119.50/119.99 c #Conflicts: 114000 | #Constraints: 167502
119.50/119.99 c #Conflicts: 115000 | #Constraints: 168502
119.50/119.99 c #Conflicts: 116000 | #Constraints: 169502
119.50/119.99 c #Conflicts: 117000 | #Constraints: 170502
119.50/119.99 c #Conflicts: 118000 | #Constraints: 171502
119.50/119.99 c #Conflicts: 119000 | #Constraints: 172502
119.50/119.99 c #Conflicts: 120000 | #Constraints: 173502
119.50/119.99 c #Conflicts: 121000 | #Constraints: 174502
119.50/119.99 c #Conflicts: 122000 | #Constraints: 175502
119.50/119.99 c #Conflicts: 123000 | #Constraints: 176502
119.50/119.99 c #Conflicts: 124000 | #Constraints: 177502
119.50/119.99 c #Conflicts: 125000 | #Constraints: 178502
119.50/119.99 c #Conflicts: 126000 | #Constraints: 179502
119.50/119.99 c #Conflicts: 127000 | #Constraints: 180502
119.50/119.99 c #Conflicts: 128000 | #Constraints: 181502
119.50/119.99 c #Conflicts: 129000 | #Constraints: 182502
119.50/119.99 c #Conflicts: 130000 | #Constraints: 183502
119.50/119.99 c #Conflicts: 131000 | #Constraints: 184502
119.50/119.99 c #Conflicts: 132000 | #Constraints: 185502
119.50/119.99 c INPROCESSING
119.50/119.99 c GARBAGE COLLECT
119.50/119.99 c #Conflicts: 133000 | #Constraints: 169163
119.50/119.99 c #Conflicts: 134000 | #Constraints: 170163
119.50/119.99 c #Conflicts: 135000 | #Constraints: 171163
119.50/119.99 c #Conflicts: 136000 | #Constraints: 172163
119.50/119.99 c #Conflicts: 137000 | #Constraints: 173163
119.50/119.99 c #Conflicts: 138000 | #Constraints: 174163
119.50/119.99 c #Conflicts: 139000 | #Constraints: 175163
119.50/119.99 c #Conflicts: 140000 | #Constraints: 176163
119.50/119.99 c #Conflicts: 141000 | #Constraints: 177163
119.50/119.99 c #Conflicts: 142000 | #Constraints: 178163
119.50/119.99 c INPROCESSING
119.50/119.99 c GARBAGE COLLECT
119.50/119.99 c #Conflicts: 143000 | #Constraints: 165269
119.50/119.99 c #Conflicts: 144000 | #Constraints: 166269
119.50/119.99 c #Conflicts: 145000 | #Constraints: 167269
119.50/119.99 c #Conflicts: 146000 | #Constraints: 168269
119.50/119.99 c #Conflicts: 147000 | #Constraints: 169269
119.50/119.99 c #Conflicts: 148000 | #Constraints: 170269
119.50/119.99 c #Conflicts: 149000 | #Constraints: 171269
119.50/119.99 c #Conflicts: 150000 | #Constraints: 172269
154.29/154.88 c #Conflicts: 151000 | #Constraints: 173269
154.29/154.88 c #Conflicts: 152000 | #Constraints: 174269
154.29/154.88 c #Conflicts: 153000 | #Constraints: 175269
154.29/154.88 c #Conflicts: 154000 | #Constraints: 176269
154.29/154.88 c #Conflicts: 155000 | #Constraints: 177269
154.29/154.88 c #Conflicts: 156000 | #Constraints: 178269
154.29/154.88 c #Conflicts: 157000 | #Constraints: 179269
154.29/154.88 c #Conflicts: 158000 | #Constraints: 180269
154.29/154.88 c #Conflicts: 159000 | #Constraints: 181269
154.29/154.88 c #Conflicts: 160000 | #Constraints: 182269
154.29/154.88 c #Conflicts: 161000 | #Constraints: 183269
154.29/154.88 c #Conflicts: 162000 | #Constraints: 184269
154.29/154.88 c #Conflicts: 163000 | #Constraints: 185269
154.29/154.88 c #Conflicts: 164000 | #Constraints: 186269
154.29/154.88 c #Conflicts: 165000 | #Constraints: 187269
154.29/154.88 c #Conflicts: 166000 | #Constraints: 188269
154.29/154.88 c #Conflicts: 167000 | #Constraints: 189269
154.29/154.88 c #Conflicts: 168000 | #Constraints: 190269
154.29/154.88 c INPROCESSING
154.29/154.88 c GARBAGE COLLECT
154.29/154.88 c #Conflicts: 169000 | #Constraints: 171423
154.29/154.88 c #Conflicts: 170000 | #Constraints: 172423
154.29/154.88 c #Conflicts: 171000 | #Constraints: 173423
154.29/154.88 c #Conflicts: 172000 | #Constraints: 174423
154.29/154.88 c #Conflicts: 173000 | #Constraints: 175423
154.29/154.88 c #Conflicts: 174000 | #Constraints: 176423
154.29/154.88 c #Conflicts: 175000 | #Constraints: 177423
154.29/154.88 c #Conflicts: 176000 | #Constraints: 178423
154.29/154.88 c #Conflicts: 177000 | #Constraints: 179423
154.29/154.88 c #Conflicts: 178000 | #Constraints: 180423
154.29/154.88 c #Conflicts: 179000 | #Constraints: 181423
154.29/154.88 c #Conflicts: 180000 | #Constraints: 182423
154.29/154.88 c INPROCESSING
154.29/154.88 c GARBAGE COLLECT
154.29/154.88 c #Conflicts: 181000 | #Constraints: 167698
154.29/154.88 c #Conflicts: 182000 | #Constraints: 168698
154.29/154.88 c #Conflicts: 183000 | #Constraints: 169698
154.29/154.88 c #Conflicts: 184000 | #Constraints: 170698
154.29/154.88 c #Conflicts: 185000 | #Constraints: 171698
154.29/154.88 c #Conflicts: 186000 | #Constraints: 172698
154.29/154.88 c #Conflicts: 187000 | #Constraints: 173698
154.29/154.88 c #Conflicts: 188000 | #Constraints: 174698
154.29/154.88 c #Conflicts: 189000 | #Constraints: 175698
154.29/154.88 c #Conflicts: 190000 | #Constraints: 176698
154.29/154.88 c #Conflicts: 191000 | #Constraints: 177698
154.29/154.88 c #Conflicts: 192000 | #Constraints: 178698
154.29/154.88 c #Conflicts: 193000 | #Constraints: 179698
154.29/154.88 c #Conflicts: 194000 | #Constraints: 180698
154.29/154.88 c #Conflicts: 195000 | #Constraints: 181698
154.29/154.88 c #Conflicts: 196000 | #Constraints: 182698
154.29/154.88 c #Conflicts: 197000 | #Constraints: 183698
154.29/154.88 c #Conflicts: 198000 | #Constraints: 184698
154.29/154.88 c #Conflicts: 199000 | #Constraints: 185698
154.29/154.88 c #Conflicts: 200000 | #Constraints: 186698
154.29/154.88 c #Conflicts: 201000 | #Constraints: 187698
154.29/154.88 c #Conflicts: 202000 | #Constraints: 188698
154.29/154.88 c #Conflicts: 203000 | #Constraints: 189698
154.29/154.88 c #Conflicts: 204000 | #Constraints: 190698
154.29/154.88 c #Conflicts: 205000 | #Constraints: 191698
154.29/154.88 c #Conflicts: 206000 | #Constraints: 192698
154.29/154.88 c #Conflicts: 207000 | #Constraints: 193698
154.29/154.88 c #Conflicts: 208000 | #Constraints: 194698
154.29/154.88 c #Conflicts: 209000 | #Constraints: 195698
154.29/154.88 c INPROCESSING
154.29/154.88 c GARBAGE COLLECT
154.29/154.88 c #Conflicts: 210000 | #Constraints: 174373
154.29/154.88 c #Conflicts: 211000 | #Constraints: 175373
154.29/154.88 c #Conflicts: 212000 | #Constraints: 176373
154.29/154.88 c #Conflicts: 213000 | #Constraints: 177373
154.29/154.88 c #Conflicts: 214000 | #Constraints: 178373
154.29/154.88 c #Conflicts: 215000 | #Constraints: 179373
154.29/154.88 c #Conflicts: 216000 | #Constraints: 180373
154.29/154.88 c #Conflicts: 217000 | #Constraints: 181373
154.29/154.88 c #Conflicts: 218000 | #Constraints: 182373
154.29/154.88 c #Conflicts: 219000 | #Constraints: 183373
154.29/154.88 c #Conflicts: 220000 | #Constraints: 184373
154.29/154.88 c #Conflicts: 221000 | #Constraints: 185373
154.29/154.88 c #Conflicts: 222000 | #Constraints: 186373
154.29/154.88 c INPROCESSING
154.29/154.88 c GARBAGE COLLECT
154.29/154.88 c #Conflicts: 223000 | #Constraints: 169667
154.29/154.88 c #Conflicts: 224000 | #Constraints: 170667
154.29/154.88 c #Conflicts: 225000 | #Constraints: 171667
154.29/154.88 c #Conflicts: 226000 | #Constraints: 172667
154.29/154.88 c #Conflicts: 227000 | #Constraints: 173667
172.74/173.33 c #Conflicts: 228000 | #Constraints: 174667
172.74/173.33 c #Conflicts: 229000 | #Constraints: 175667
172.74/173.33 c #Conflicts: 230000 | #Constraints: 176667
172.74/173.33 c #Conflicts: 231000 | #Constraints: 177667
172.74/173.33 c #Conflicts: 232000 | #Constraints: 178667
172.74/173.33 c #Conflicts: 233000 | #Constraints: 179667
172.74/173.33 c #Conflicts: 234000 | #Constraints: 180667
172.74/173.33 c #Conflicts: 235000 | #Constraints: 181667
172.74/173.33 c #Conflicts: 236000 | #Constraints: 182667
172.74/173.33 c #Conflicts: 237000 | #Constraints: 183667
172.74/173.33 c #Conflicts: 238000 | #Constraints: 184667
172.74/173.33 c #Conflicts: 239000 | #Constraints: 185667
172.74/173.33 c #Conflicts: 240000 | #Constraints: 186667
172.74/173.33 c #Conflicts: 241000 | #Constraints: 187667
172.74/173.33 c #Conflicts: 242000 | #Constraints: 188667
172.74/173.33 c #Conflicts: 243000 | #Constraints: 189667
172.74/173.33 c #Conflicts: 244000 | #Constraints: 190667
172.74/173.33 c #Conflicts: 245000 | #Constraints: 191667
172.74/173.33 c #Conflicts: 246000 | #Constraints: 192667
172.74/173.33 c #Conflicts: 247000 | #Constraints: 193667
172.74/173.33 c #Conflicts: 248000 | #Constraints: 194667
172.74/173.33 c #Conflicts: 249000 | #Constraints: 195667
172.74/173.33 c #Conflicts: 250000 | #Constraints: 196667
172.74/173.33 c #Conflicts: 251000 | #Constraints: 197667
172.74/173.33 c #Conflicts: 252000 | #Constraints: 198667
172.74/173.33 c #Conflicts: 253000 | #Constraints: 199667
172.74/173.33 c #Conflicts: 254000 | #Constraints: 200667
172.74/173.33 c INPROCESSING
172.74/173.33 c GARBAGE COLLECT
172.74/173.33 c #Conflicts: 255000 | #Constraints: 176772
172.74/173.33 c #Conflicts: 256000 | #Constraints: 177772
172.74/173.33 c #Conflicts: 257000 | #Constraints: 178772
172.74/173.33 c #Conflicts: 258000 | #Constraints: 179772
172.74/173.33 c #Conflicts: 259000 | #Constraints: 180772
172.74/173.33 c #Conflicts: 260000 | #Constraints: 181772
172.74/173.33 c #Conflicts: 261000 | #Constraints: 182772
172.74/173.33 c #Conflicts: 262000 | #Constraints: 183772
172.74/173.33 c #Conflicts: 263000 | #Constraints: 184772
172.74/173.33 c #Conflicts: 264000 | #Constraints: 185772
172.74/173.33 c #Conflicts: 265000 | #Constraints: 186772
172.74/173.33 c #Conflicts: 266000 | #Constraints: 187772
172.74/173.33 c #Conflicts: 267000 | #Constraints: 188772
172.74/173.33 c #Conflicts: 268000 | #Constraints: 189772
172.74/173.33 c INPROCESSING
172.74/173.33 c GARBAGE COLLECT
172.74/173.33 c #Conflicts: 269000 | #Constraints: 171224
172.74/173.33 c #Conflicts: 270000 | #Constraints: 172224
172.74/173.33 c #Conflicts: 271000 | #Constraints: 173224
172.74/173.33 c #Conflicts: 272000 | #Constraints: 174224
172.74/173.33 c #Conflicts: 273000 | #Constraints: 175224
172.74/173.33 c #Conflicts: 274000 | #Constraints: 176224
172.74/173.33 c #Conflicts: 275000 | #Constraints: 177224
172.74/173.33 c #Conflicts: 276000 | #Constraints: 178224
172.74/173.33 c #Conflicts: 277000 | #Constraints: 179224
172.74/173.33 c #Conflicts: 278000 | #Constraints: 180224
172.74/173.33 c #Conflicts: 279000 | #Constraints: 181224
172.74/173.33 c #Conflicts: 280000 | #Constraints: 182224
172.74/173.33 c #Conflicts: 281000 | #Constraints: 183224
172.74/173.33 c #Conflicts: 282000 | #Constraints: 184224
172.74/173.33 c #Conflicts: 283000 | #Constraints: 185224
172.74/173.33 c #Conflicts: 284000 | #Constraints: 186224
172.74/173.33 c #Conflicts: 285000 | #Constraints: 187224
172.74/173.33 c #Conflicts: 286000 | #Constraints: 188224
172.74/173.33 c #Conflicts: 287000 | #Constraints: 189224
172.74/173.33 c #Conflicts: 288000 | #Constraints: 190224
172.74/173.33 c #Conflicts: 289000 | #Constraints: 191224
172.74/173.33 c #Conflicts: 290000 | #Constraints: 192224
172.74/173.33 c #Conflicts: 291000 | #Constraints: 193224
172.74/173.33 c #Conflicts: 292000 | #Constraints: 194224
172.74/173.33 c #Conflicts: 293000 | #Constraints: 195224
172.74/173.33 c #Conflicts: 294000 | #Constraints: 196224
172.74/173.33 c #Conflicts: 295000 | #Constraints: 197224
172.74/173.33 c #Conflicts: 296000 | #Constraints: 198224
172.74/173.33 c #Conflicts: 297000 | #Constraints: 199224
172.74/173.33 c #Conflicts: 298000 | #Constraints: 200224
172.74/173.33 c #Conflicts: 299000 | #Constraints: 201224
172.74/173.33 c #Conflicts: 300000 | #Constraints: 202224
172.74/173.33 c #Conflicts: 301000 | #Constraints: 203224
172.74/173.33 c #Conflicts: 302000 | #Constraints: 204224
172.74/173.33 c #Conflicts: 303000 | #Constraints: 205224
172.74/173.33 c INPROCESSING
172.74/173.33 c GARBAGE COLLECT
178.23/178.81 c rational objective 413
209.23/209.92 c #Conflicts: 304000 | #Constraints: 178760
209.23/209.92 c #Conflicts: 305000 | #Constraints: 179760
209.23/209.92 c #Conflicts: 306000 | #Constraints: 180760
209.23/209.92 c #Conflicts: 307000 | #Constraints: 181760
209.23/209.92 c #Conflicts: 308000 | #Constraints: 182760
209.23/209.92 c #Conflicts: 309000 | #Constraints: 183760
209.23/209.92 c #Conflicts: 310000 | #Constraints: 184760
209.23/209.92 c #Conflicts: 311000 | #Constraints: 185760
209.23/209.92 c #Conflicts: 312000 | #Constraints: 186760
209.23/209.92 c #Conflicts: 313000 | #Constraints: 187760
209.23/209.92 c #Conflicts: 314000 | #Constraints: 188760
209.23/209.92 c #Conflicts: 315000 | #Constraints: 189760
209.23/209.92 c #Conflicts: 316000 | #Constraints: 190760
209.23/209.92 c #Conflicts: 317000 | #Constraints: 191760
209.23/209.92 c #Conflicts: 318000 | #Constraints: 192760
209.23/209.92 c #Conflicts: 319000 | #Constraints: 193760
209.23/209.92 c INPROCESSING
209.23/209.92 c GARBAGE COLLECT
209.23/209.92 c #Conflicts: 320000 | #Constraints: 173132
209.23/209.92 c #Conflicts: 321000 | #Constraints: 174132
209.23/209.92 c #Conflicts: 322000 | #Constraints: 175132
209.23/209.92 c #Conflicts: 323000 | #Constraints: 176132
209.23/209.92 c #Conflicts: 324000 | #Constraints: 177132
209.23/209.92 c #Conflicts: 325000 | #Constraints: 178132
209.23/209.92 c #Conflicts: 326000 | #Constraints: 179132
209.23/209.92 c #Conflicts: 327000 | #Constraints: 180132
209.23/209.92 c #Conflicts: 328000 | #Constraints: 181132
209.23/209.92 c #Conflicts: 329000 | #Constraints: 182132
209.23/209.92 c #Conflicts: 330000 | #Constraints: 183132
209.23/209.92 c #Conflicts: 331000 | #Constraints: 184132
209.23/209.92 c #Conflicts: 332000 | #Constraints: 185132
209.23/209.92 c #Conflicts: 333000 | #Constraints: 186132
209.23/209.92 c #Conflicts: 334000 | #Constraints: 187132
209.23/209.92 c #Conflicts: 335000 | #Constraints: 188132
209.23/209.92 c #Conflicts: 336000 | #Constraints: 189132
209.23/209.92 c #Conflicts: 337000 | #Constraints: 190132
209.23/209.92 c #Conflicts: 338000 | #Constraints: 191132
209.23/209.92 c #Conflicts: 339000 | #Constraints: 192132
209.23/209.92 c #Conflicts: 340000 | #Constraints: 193132
209.23/209.92 c #Conflicts: 341000 | #Constraints: 194132
209.23/209.92 c #Conflicts: 342000 | #Constraints: 195132
209.23/209.93 c #Conflicts: 343000 | #Constraints: 196132
209.23/209.93 c #Conflicts: 344000 | #Constraints: 197132
209.23/209.93 c #Conflicts: 345000 | #Constraints: 198132
209.23/209.93 c #Conflicts: 346000 | #Constraints: 199132
209.23/209.93 c #Conflicts: 347000 | #Constraints: 200132
209.23/209.93 c #Conflicts: 348000 | #Constraints: 201132
209.23/209.93 c #Conflicts: 349000 | #Constraints: 202132
209.23/209.93 c #Conflicts: 350000 | #Constraints: 203132
209.23/209.93 c #Conflicts: 351000 | #Constraints: 204132
209.23/209.93 c #Conflicts: 352000 | #Constraints: 205132
209.23/209.93 c #Conflicts: 353000 | #Constraints: 206132
209.23/209.93 c #Conflicts: 354000 | #Constraints: 207132
209.23/209.93 c #Conflicts: 355000 | #Constraints: 208132
209.23/209.93 c #Conflicts: 356000 | #Constraints: 209132
209.23/209.93 c #Conflicts: 357000 | #Constraints: 210132
209.23/209.93 c INPROCESSING
209.23/209.93 c GARBAGE COLLECT
209.23/209.93 c #Conflicts: 358000 | #Constraints: 181219
209.23/209.93 c #Conflicts: 359000 | #Constraints: 182219
209.23/209.93 c #Conflicts: 360000 | #Constraints: 183219
209.23/209.93 c #Conflicts: 361000 | #Constraints: 184219
209.23/209.93 c #Conflicts: 362000 | #Constraints: 185219
209.23/209.93 c #Conflicts: 363000 | #Constraints: 186219
209.23/209.93 c #Conflicts: 364000 | #Constraints: 187219
209.23/209.93 c #Conflicts: 365000 | #Constraints: 188219
209.23/209.93 c #Conflicts: 366000 | #Constraints: 189219
209.23/209.93 c #Conflicts: 367000 | #Constraints: 190219
209.23/209.93 c #Conflicts: 368000 | #Constraints: 191219
209.23/209.93 c #Conflicts: 369000 | #Constraints: 192219
209.23/209.93 c #Conflicts: 370000 | #Constraints: 193219
209.23/209.93 c #Conflicts: 371000 | #Constraints: 194219
209.23/209.93 c #Conflicts: 372000 | #Constraints: 195219
209.23/209.93 c #Conflicts: 373000 | #Constraints: 196219
209.23/209.93 c #Conflicts: 374000 | #Constraints: 197219
209.23/209.93 c INPROCESSING
209.23/209.93 c GARBAGE COLLECT
209.23/209.93 c #Conflicts: 375000 | #Constraints: 174698
209.23/209.93 c #Conflicts: 376000 | #Constraints: 175698
209.23/209.93 c #Conflicts: 377000 | #Constraints: 176698
209.23/209.93 c #Conflicts: 378000 | #Constraints: 177698
209.23/209.93 c #Conflicts: 379000 | #Constraints: 178698
209.23/209.93 c #Conflicts: 380000 | #Constraints: 179698
220.91/221.63 c #Conflicts: 381000 | #Constraints: 180698
220.91/221.63 c #Conflicts: 382000 | #Constraints: 181698
220.91/221.63 c #Conflicts: 383000 | #Constraints: 182698
220.91/221.63 c #Conflicts: 384000 | #Constraints: 183698
220.91/221.63 c #Conflicts: 385000 | #Constraints: 184698
220.91/221.63 c #Conflicts: 386000 | #Constraints: 185698
220.91/221.63 c #Conflicts: 387000 | #Constraints: 186698
220.91/221.63 c #Conflicts: 388000 | #Constraints: 187698
220.91/221.63 c #Conflicts: 389000 | #Constraints: 188698
220.91/221.63 c #Conflicts: 390000 | #Constraints: 189698
220.91/221.63 c #Conflicts: 391000 | #Constraints: 190698
220.91/221.63 c #Conflicts: 392000 | #Constraints: 191698
220.91/221.63 c #Conflicts: 393000 | #Constraints: 192698
220.91/221.63 c #Conflicts: 394000 | #Constraints: 193698
220.91/221.63 c #Conflicts: 395000 | #Constraints: 194698
220.91/221.63 c #Conflicts: 396000 | #Constraints: 195698
220.91/221.63 c #Conflicts: 397000 | #Constraints: 196698
220.91/221.63 c #Conflicts: 398000 | #Constraints: 197698
220.91/221.63 c #Conflicts: 399000 | #Constraints: 198698
220.91/221.63 c #Conflicts: 400000 | #Constraints: 199698
220.91/221.63 c #Conflicts: 401000 | #Constraints: 200698
220.91/221.63 c #Conflicts: 402000 | #Constraints: 201698
220.91/221.63 c #Conflicts: 403000 | #Constraints: 202698
220.91/221.63 c #Conflicts: 404000 | #Constraints: 203698
220.91/221.63 c #Conflicts: 405000 | #Constraints: 204698
220.91/221.63 c #Conflicts: 406000 | #Constraints: 205698
220.91/221.63 c #Conflicts: 407000 | #Constraints: 206698
220.91/221.63 c #Conflicts: 408000 | #Constraints: 207698
220.91/221.63 c #Conflicts: 409000 | #Constraints: 208698
220.91/221.63 c #Conflicts: 410000 | #Constraints: 209698
220.91/221.63 c #Conflicts: 411000 | #Constraints: 210698
220.91/221.63 c #Conflicts: 412000 | #Constraints: 211698
220.91/221.63 c #Conflicts: 413000 | #Constraints: 212698
220.91/221.63 c #Conflicts: 414000 | #Constraints: 213698
220.91/221.63 c #Conflicts: 415000 | #Constraints: 214698
220.91/221.63 c INPROCESSING
220.91/221.63 c GARBAGE COLLECT
220.91/221.63 c rational objective 423.917
248.62/249.48 c #Conflicts: 416000 | #Constraints: 183399
248.62/249.48 c #Conflicts: 417000 | #Constraints: 184399
248.62/249.48 c #Conflicts: 418000 | #Constraints: 185399
248.62/249.48 c #Conflicts: 419000 | #Constraints: 186399
248.62/249.48 c #Conflicts: 420000 | #Constraints: 187399
248.62/249.48 c #Conflicts: 421000 | #Constraints: 188399
248.62/249.48 c #Conflicts: 422000 | #Constraints: 189399
248.62/249.48 c #Conflicts: 423000 | #Constraints: 190399
248.62/249.48 c #Conflicts: 424000 | #Constraints: 191399
248.62/249.48 c #Conflicts: 425000 | #Constraints: 192399
248.62/249.48 c #Conflicts: 426000 | #Constraints: 193399
248.62/249.48 c #Conflicts: 427000 | #Constraints: 194399
248.62/249.48 c #Conflicts: 428000 | #Constraints: 195399
248.62/249.48 c #Conflicts: 429000 | #Constraints: 196399
248.62/249.48 c #Conflicts: 430000 | #Constraints: 197399
248.62/249.48 c #Conflicts: 431000 | #Constraints: 198399
248.62/249.48 c #Conflicts: 432000 | #Constraints: 199399
248.62/249.48 c #Conflicts: 433000 | #Constraints: 200399
248.62/249.48 c #Conflicts: 434000 | #Constraints: 201399
248.62/249.48 c INPROCESSING
248.62/249.48 c GARBAGE COLLECT
248.62/249.48 c #Conflicts: 435000 | #Constraints: 177180
248.62/249.48 c #Conflicts: 436000 | #Constraints: 178180
248.62/249.48 c #Conflicts: 437000 | #Constraints: 179180
248.62/249.48 c #Conflicts: 438000 | #Constraints: 180180
248.62/249.48 c #Conflicts: 439000 | #Constraints: 181180
248.62/249.48 c #Conflicts: 440000 | #Constraints: 182180
248.62/249.48 c #Conflicts: 441000 | #Constraints: 183180
248.62/249.48 c #Conflicts: 442000 | #Constraints: 184180
248.62/249.48 c #Conflicts: 443000 | #Constraints: 185180
248.62/249.48 c #Conflicts: 444000 | #Constraints: 186180
248.62/249.48 c #Conflicts: 445000 | #Constraints: 187180
248.62/249.48 c #Conflicts: 446000 | #Constraints: 188180
248.62/249.48 c #Conflicts: 447000 | #Constraints: 189180
248.62/249.48 c #Conflicts: 448000 | #Constraints: 190180
248.62/249.48 c #Conflicts: 449000 | #Constraints: 191180
248.62/249.48 c #Conflicts: 450000 | #Constraints: 192180
248.62/249.48 c #Conflicts: 451000 | #Constraints: 193180
248.62/249.48 c #Conflicts: 452000 | #Constraints: 194180
248.62/249.48 c #Conflicts: 453000 | #Constraints: 195180
248.62/249.48 c #Conflicts: 454000 | #Constraints: 196180
248.62/249.48 c #Conflicts: 455000 | #Constraints: 197180
248.62/249.48 c #Conflicts: 456000 | #Constraints: 198180
248.62/249.48 c #Conflicts: 457000 | #Constraints: 199180
248.62/249.48 c #Conflicts: 458000 | #Constraints: 200180
248.62/249.48 c #Conflicts: 459000 | #Constraints: 201180
248.62/249.48 c #Conflicts: 460000 | #Constraints: 202180
248.62/249.48 c #Conflicts: 461000 | #Constraints: 203180
248.62/249.48 c #Conflicts: 462000 | #Constraints: 204180
248.62/249.48 c #Conflicts: 463000 | #Constraints: 205180
248.62/249.48 c #Conflicts: 464000 | #Constraints: 206180
248.62/249.48 c #Conflicts: 465000 | #Constraints: 207180
248.62/249.48 c #Conflicts: 466000 | #Constraints: 208180
248.62/249.48 c #Conflicts: 467000 | #Constraints: 209180
248.62/249.48 c #Conflicts: 468000 | #Constraints: 210180
248.62/249.48 c #Conflicts: 469000 | #Constraints: 211180
248.62/249.48 c #Conflicts: 470000 | #Constraints: 212180
248.62/249.48 c #Conflicts: 471000 | #Constraints: 213180
248.62/249.48 c #Conflicts: 472000 | #Constraints: 214180
248.62/249.48 c #Conflicts: 473000 | #Constraints: 215180
248.62/249.48 c #Conflicts: 474000 | #Constraints: 216180
248.62/249.48 c #Conflicts: 475000 | #Constraints: 217180
248.62/249.48 c #Conflicts: 476000 | #Constraints: 218180
248.62/249.48 c #Conflicts: 477000 | #Constraints: 219180
248.62/249.48 c #Conflicts: 478000 | #Constraints: 220180
248.62/249.48 c INPROCESSING
248.62/249.48 c GARBAGE COLLECT
248.62/249.48 c #Conflicts: 479000 | #Constraints: 186240
248.62/249.48 c #Conflicts: 480000 | #Constraints: 187240
248.62/249.48 c #Conflicts: 481000 | #Constraints: 188240
248.62/249.48 c #Conflicts: 482000 | #Constraints: 189240
248.62/249.48 c #Conflicts: 483000 | #Constraints: 190240
248.62/249.48 c #Conflicts: 484000 | #Constraints: 191240
248.62/249.48 c #Conflicts: 485000 | #Constraints: 192240
248.62/249.48 c #Conflicts: 486000 | #Constraints: 193240
248.62/249.48 c #Conflicts: 487000 | #Constraints: 194240
248.62/249.48 c #Conflicts: 488000 | #Constraints: 195240
248.62/249.48 c #Conflicts: 489000 | #Constraints: 196240
248.62/249.48 c #Conflicts: 490000 | #Constraints: 197240
248.62/249.48 c #Conflicts: 491000 | #Constraints: 198240
248.62/249.48 c #Conflicts: 492000 | #Constraints: 199240
248.62/249.48 c #Conflicts: 493000 | #Constraints: 200240
270.36/271.21 c #Conflicts: 494000 | #Constraints: 201240
270.36/271.21 c #Conflicts: 495000 | #Constraints: 202240
270.36/271.21 c #Conflicts: 496000 | #Constraints: 203240
270.36/271.21 c #Conflicts: 497000 | #Constraints: 204240
270.36/271.21 c #Conflicts: 498000 | #Constraints: 205240
270.36/271.21 c INPROCESSING
270.36/271.21 c GARBAGE COLLECT
270.36/271.21 c #Conflicts: 499000 | #Constraints: 178943
270.36/271.21 c #Conflicts: 500000 | #Constraints: 179943
270.36/271.21 c #Conflicts: 501000 | #Constraints: 180943
270.36/271.21 c #Conflicts: 502000 | #Constraints: 181943
270.36/271.21 c #Conflicts: 503000 | #Constraints: 182943
270.36/271.21 c #Conflicts: 504000 | #Constraints: 183943
270.36/271.21 c #Conflicts: 505000 | #Constraints: 184943
270.36/271.21 c #Conflicts: 506000 | #Constraints: 185943
270.36/271.21 c #Conflicts: 507000 | #Constraints: 186943
270.36/271.21 c #Conflicts: 508000 | #Constraints: 187943
270.36/271.21 c #Conflicts: 509000 | #Constraints: 188943
270.36/271.21 c #Conflicts: 510000 | #Constraints: 189943
270.36/271.21 c #Conflicts: 511000 | #Constraints: 190943
270.36/271.21 c #Conflicts: 512000 | #Constraints: 191943
270.36/271.21 c #Conflicts: 513000 | #Constraints: 192943
270.36/271.21 c #Conflicts: 514000 | #Constraints: 193943
270.36/271.21 c #Conflicts: 515000 | #Constraints: 194943
270.36/271.21 c #Conflicts: 516000 | #Constraints: 195943
270.36/271.21 c #Conflicts: 517000 | #Constraints: 196943
270.36/271.21 c #Conflicts: 518000 | #Constraints: 197943
270.36/271.21 c #Conflicts: 519000 | #Constraints: 198943
270.36/271.21 c #Conflicts: 520000 | #Constraints: 199943
270.36/271.21 c #Conflicts: 521000 | #Constraints: 200943
270.36/271.21 c #Conflicts: 522000 | #Constraints: 201943
270.36/271.21 c #Conflicts: 523000 | #Constraints: 202943
270.36/271.21 c #Conflicts: 524000 | #Constraints: 203943
270.36/271.21 c #Conflicts: 525000 | #Constraints: 204943
270.36/271.21 c #Conflicts: 526000 | #Constraints: 205943
270.36/271.21 c #Conflicts: 527000 | #Constraints: 206943
270.36/271.21 c #Conflicts: 528000 | #Constraints: 207943
270.36/271.21 c #Conflicts: 529000 | #Constraints: 208943
270.36/271.21 c #Conflicts: 530000 | #Constraints: 209943
270.36/271.21 c #Conflicts: 531000 | #Constraints: 210943
270.36/271.21 c #Conflicts: 532000 | #Constraints: 211943
270.36/271.21 c #Conflicts: 533000 | #Constraints: 212943
270.36/271.21 c #Conflicts: 534000 | #Constraints: 213943
270.36/271.21 c #Conflicts: 535000 | #Constraints: 214943
270.36/271.21 c #Conflicts: 536000 | #Constraints: 215943
270.36/271.21 c #Conflicts: 537000 | #Constraints: 216943
270.36/271.21 c #Conflicts: 538000 | #Constraints: 217943
270.36/271.21 c #Conflicts: 539000 | #Constraints: 218943
270.36/271.21 c #Conflicts: 540000 | #Constraints: 219943
270.36/271.21 c #Conflicts: 541000 | #Constraints: 220943
270.36/271.21 c #Conflicts: 542000 | #Constraints: 221943
270.36/271.21 c #Conflicts: 543000 | #Constraints: 222943
270.36/271.21 c #Conflicts: 544000 | #Constraints: 223943
270.36/271.21 c #Conflicts: 545000 | #Constraints: 224943
270.36/271.21 c INPROCESSING
270.36/271.21 c GARBAGE COLLECT
270.36/271.21 c rational objective 433.917
295.77/296.77 c #Conflicts: 546000 | #Constraints: 188555
295.77/296.77 c #Conflicts: 547000 | #Constraints: 189555
295.77/296.77 c #Conflicts: 548000 | #Constraints: 190555
295.77/296.77 c #Conflicts: 549000 | #Constraints: 191555
295.77/296.77 c #Conflicts: 550000 | #Constraints: 192555
295.77/296.77 c #Conflicts: 551000 | #Constraints: 193555
295.77/296.77 c #Conflicts: 552000 | #Constraints: 194555
295.77/296.77 c #Conflicts: 553000 | #Constraints: 195555
295.77/296.77 c #Conflicts: 554000 | #Constraints: 196555
295.77/296.77 c #Conflicts: 555000 | #Constraints: 197555
295.77/296.77 c #Conflicts: 556000 | #Constraints: 198555
295.77/296.77 c #Conflicts: 557000 | #Constraints: 199555
295.77/296.77 c #Conflicts: 558000 | #Constraints: 200555
295.77/296.77 c #Conflicts: 559000 | #Constraints: 201555
295.77/296.77 c #Conflicts: 560000 | #Constraints: 202555
295.77/296.77 c #Conflicts: 561000 | #Constraints: 203555
295.77/296.77 c #Conflicts: 562000 | #Constraints: 204555
295.77/296.77 c #Conflicts: 563000 | #Constraints: 205555
295.77/296.77 c #Conflicts: 564000 | #Constraints: 206555
295.77/296.77 c #Conflicts: 565000 | #Constraints: 207555
295.77/296.77 c #Conflicts: 566000 | #Constraints: 208555
295.77/296.77 c INPROCESSING
295.77/296.77 c GARBAGE COLLECT
295.77/296.77 c #Conflicts: 567000 | #Constraints: 180481
295.77/296.77 c #Conflicts: 568000 | #Constraints: 181481
295.77/296.77 c #Conflicts: 569000 | #Constraints: 182481
295.77/296.77 c #Conflicts: 570000 | #Constraints: 183481
295.77/296.77 c #Conflicts: 571000 | #Constraints: 184481
295.77/296.77 c #Conflicts: 572000 | #Constraints: 185481
295.77/296.77 c #Conflicts: 573000 | #Constraints: 186481
295.77/296.77 c #Conflicts: 574000 | #Constraints: 187481
295.77/296.77 c #Conflicts: 575000 | #Constraints: 188481
295.77/296.77 c #Conflicts: 576000 | #Constraints: 189481
295.77/296.77 c #Conflicts: 577000 | #Constraints: 190481
295.77/296.77 c #Conflicts: 578000 | #Constraints: 191481
295.77/296.77 c #Conflicts: 579000 | #Constraints: 192481
295.77/296.77 c #Conflicts: 580000 | #Constraints: 193481
295.77/296.77 c #Conflicts: 581000 | #Constraints: 194481
295.77/296.77 c #Conflicts: 582000 | #Constraints: 195481
295.77/296.77 c #Conflicts: 583000 | #Constraints: 196481
295.77/296.77 c #Conflicts: 584000 | #Constraints: 197481
295.77/296.77 c #Conflicts: 585000 | #Constraints: 198481
295.77/296.77 c #Conflicts: 586000 | #Constraints: 199481
295.77/296.77 c #Conflicts: 587000 | #Constraints: 200481
295.77/296.77 c #Conflicts: 588000 | #Constraints: 201481
295.77/296.77 c #Conflicts: 589000 | #Constraints: 202481
295.77/296.77 c #Conflicts: 590000 | #Constraints: 203481
295.77/296.77 c #Conflicts: 591000 | #Constraints: 204481
295.77/296.77 c #Conflicts: 592000 | #Constraints: 205481
295.77/296.77 c #Conflicts: 593000 | #Constraints: 206481
295.77/296.77 c #Conflicts: 594000 | #Constraints: 207481
295.77/296.77 c #Conflicts: 595000 | #Constraints: 208481
295.77/296.77 c #Conflicts: 596000 | #Constraints: 209481
295.77/296.77 c #Conflicts: 597000 | #Constraints: 210481
295.77/296.77 c #Conflicts: 598000 | #Constraints: 211481
295.77/296.77 c #Conflicts: 599000 | #Constraints: 212481
295.77/296.77 c #Conflicts: 600000 | #Constraints: 213481
295.77/296.77 c #Conflicts: 601000 | #Constraints: 214481
295.77/296.77 c #Conflicts: 602000 | #Constraints: 215481
295.77/296.77 c #Conflicts: 603000 | #Constraints: 216481
295.77/296.77 c #Conflicts: 604000 | #Constraints: 217481
295.77/296.77 c #Conflicts: 605000 | #Constraints: 218481
295.77/296.77 c #Conflicts: 606000 | #Constraints: 219481
295.77/296.77 c #Conflicts: 607000 | #Constraints: 220481
295.77/296.77 c #Conflicts: 608000 | #Constraints: 221481
295.77/296.77 c #Conflicts: 609000 | #Constraints: 222481
295.77/296.77 c #Conflicts: 610000 | #Constraints: 223481
295.77/296.77 c #Conflicts: 611000 | #Constraints: 224481
295.77/296.77 c #Conflicts: 612000 | #Constraints: 225481
295.77/296.77 c #Conflicts: 613000 | #Constraints: 226481
295.77/296.77 c #Conflicts: 614000 | #Constraints: 227481
295.77/296.77 c #Conflicts: 615000 | #Constraints: 228481
295.77/296.77 c #Conflicts: 616000 | #Constraints: 229481
295.77/296.77 c #Conflicts: 617000 | #Constraints: 230481
295.77/296.77 c INPROCESSING
295.77/296.77 c GARBAGE COLLECT
295.77/296.77 c #Conflicts: 618000 | #Constraints: 191600
295.77/296.77 c #Conflicts: 619000 | #Constraints: 192600
295.77/296.77 c #Conflicts: 620000 | #Constraints: 193600
295.77/296.77 c #Conflicts: 621000 | #Constraints: 194600
295.77/296.77 c #Conflicts: 622000 | #Constraints: 195600
295.77/296.77 c #Conflicts: 623000 | #Constraints: 196600
306.05/307.01 c #Conflicts: 624000 | #Constraints: 197600
306.05/307.01 c #Conflicts: 625000 | #Constraints: 198600
306.05/307.01 c #Conflicts: 626000 | #Constraints: 199600
306.05/307.01 c #Conflicts: 627000 | #Constraints: 200600
306.05/307.01 c #Conflicts: 628000 | #Constraints: 201600
306.05/307.01 c #Conflicts: 629000 | #Constraints: 202600
306.05/307.01 c #Conflicts: 630000 | #Constraints: 203600
306.05/307.01 c #Conflicts: 631000 | #Constraints: 204600
306.05/307.01 c #Conflicts: 632000 | #Constraints: 205600
306.05/307.01 c #Conflicts: 633000 | #Constraints: 206600
306.05/307.01 c #Conflicts: 634000 | #Constraints: 207600
306.05/307.01 c #Conflicts: 635000 | #Constraints: 208600
306.05/307.01 c #Conflicts: 636000 | #Constraints: 209600
306.05/307.01 c #Conflicts: 637000 | #Constraints: 210600
306.05/307.01 c #Conflicts: 638000 | #Constraints: 211600
306.05/307.01 c #Conflicts: 639000 | #Constraints: 212600
306.05/307.01 c INPROCESSING
306.05/307.01 c GARBAGE COLLECT
306.05/307.01 c rational objective 435.833
331.75/332.87 c #Conflicts: 640000 | #Constraints: 182621
331.75/332.87 c #Conflicts: 641000 | #Constraints: 183621
331.75/332.87 c #Conflicts: 642000 | #Constraints: 184621
331.75/332.87 c #Conflicts: 643000 | #Constraints: 185621
331.75/332.87 c #Conflicts: 644000 | #Constraints: 186621
331.75/332.87 c #Conflicts: 645000 | #Constraints: 187621
331.75/332.87 c #Conflicts: 646000 | #Constraints: 188621
331.75/332.87 c #Conflicts: 647000 | #Constraints: 189621
331.75/332.87 c #Conflicts: 648000 | #Constraints: 190621
331.75/332.87 c #Conflicts: 649000 | #Constraints: 191621
331.75/332.87 c #Conflicts: 650000 | #Constraints: 192621
331.75/332.87 c #Conflicts: 651000 | #Constraints: 193621
331.75/332.87 c #Conflicts: 652000 | #Constraints: 194621
331.75/332.87 c #Conflicts: 653000 | #Constraints: 195621
331.75/332.87 c #Conflicts: 654000 | #Constraints: 196621
331.75/332.87 c #Conflicts: 655000 | #Constraints: 197621
331.75/332.87 c #Conflicts: 656000 | #Constraints: 198621
331.75/332.87 c #Conflicts: 657000 | #Constraints: 199621
331.75/332.87 c #Conflicts: 658000 | #Constraints: 200621
331.75/332.87 c #Conflicts: 659000 | #Constraints: 201621
331.75/332.87 c #Conflicts: 660000 | #Constraints: 202621
331.75/332.87 c #Conflicts: 661000 | #Constraints: 203621
331.75/332.87 c #Conflicts: 662000 | #Constraints: 204621
331.75/332.87 c #Conflicts: 663000 | #Constraints: 205621
331.75/332.87 c #Conflicts: 664000 | #Constraints: 206621
331.75/332.87 c #Conflicts: 665000 | #Constraints: 207621
331.75/332.87 c #Conflicts: 666000 | #Constraints: 208621
331.75/332.87 c #Conflicts: 667000 | #Constraints: 209621
331.75/332.87 c #Conflicts: 668000 | #Constraints: 210621
331.75/332.87 c #Conflicts: 669000 | #Constraints: 211621
331.75/332.87 c #Conflicts: 670000 | #Constraints: 212621
331.75/332.87 c #Conflicts: 671000 | #Constraints: 213621
331.75/332.87 c #Conflicts: 672000 | #Constraints: 214621
331.75/332.87 c #Conflicts: 673000 | #Constraints: 215621
331.75/332.87 c #Conflicts: 674000 | #Constraints: 216621
331.75/332.87 c #Conflicts: 675000 | #Constraints: 217621
331.75/332.87 c #Conflicts: 676000 | #Constraints: 218621
331.75/332.87 c #Conflicts: 677000 | #Constraints: 219621
331.75/332.87 c #Conflicts: 678000 | #Constraints: 220621
331.75/332.87 c #Conflicts: 679000 | #Constraints: 221621
331.75/332.87 c #Conflicts: 680000 | #Constraints: 222621
331.75/332.87 c #Conflicts: 681000 | #Constraints: 223621
331.75/332.87 c #Conflicts: 682000 | #Constraints: 224621
331.75/332.87 c #Conflicts: 683000 | #Constraints: 225621
331.75/332.87 c #Conflicts: 684000 | #Constraints: 226621
331.75/332.87 c #Conflicts: 685000 | #Constraints: 227621
331.75/332.87 c #Conflicts: 686000 | #Constraints: 228621
331.75/332.87 c #Conflicts: 687000 | #Constraints: 229621
331.75/332.87 c #Conflicts: 688000 | #Constraints: 230621
331.75/332.87 c #Conflicts: 689000 | #Constraints: 231621
331.75/332.87 c #Conflicts: 690000 | #Constraints: 232621
331.75/332.87 c #Conflicts: 691000 | #Constraints: 233621
331.75/332.87 c #Conflicts: 692000 | #Constraints: 234621
331.75/332.87 c #Conflicts: 693000 | #Constraints: 235621
331.75/332.87 c INPROCESSING
331.75/332.87 c GARBAGE COLLECT
331.75/332.87 c #Conflicts: 694000 | #Constraints: 194208
331.75/332.87 c #Conflicts: 695000 | #Constraints: 195208
331.75/332.87 c #Conflicts: 696000 | #Constraints: 196208
331.75/332.87 c #Conflicts: 697000 | #Constraints: 197208
331.75/332.87 c #Conflicts: 698000 | #Constraints: 198208
331.75/332.87 c #Conflicts: 699000 | #Constraints: 199208
331.75/332.87 c #Conflicts: 700000 | #Constraints: 200208
331.75/332.87 c #Conflicts: 701000 | #Constraints: 201208
331.75/332.87 c #Conflicts: 702000 | #Constraints: 202208
331.75/332.87 c #Conflicts: 703000 | #Constraints: 203208
331.75/332.87 c #Conflicts: 704000 | #Constraints: 204208
331.75/332.87 c #Conflicts: 705000 | #Constraints: 205208
331.75/332.87 c #Conflicts: 706000 | #Constraints: 206208
331.75/332.87 c #Conflicts: 707000 | #Constraints: 207208
331.75/332.87 c #Conflicts: 708000 | #Constraints: 208208
331.75/332.87 c #Conflicts: 709000 | #Constraints: 209208
331.75/332.87 c #Conflicts: 710000 | #Constraints: 210208
331.75/332.87 c #Conflicts: 711000 | #Constraints: 211208
331.75/332.87 c #Conflicts: 712000 | #Constraints: 212208
331.75/332.87 c #Conflicts: 713000 | #Constraints: 213208
331.75/332.87 c #Conflicts: 714000 | #Constraints: 214208
331.75/332.87 c #Conflicts: 715000 | #Constraints: 215208
331.75/332.87 c #Conflicts: 716000 | #Constraints: 216208
331.75/332.87 c INPROCESSING
331.75/332.87 c GARBAGE COLLECT
331.75/332.87 c #Conflicts: 717000 | #Constraints: 184299
351.39/352.54 c #Conflicts: 718000 | #Constraints: 185299
351.39/352.54 c #Conflicts: 719000 | #Constraints: 186299
351.39/352.54 c #Conflicts: 720000 | #Constraints: 187299
351.39/352.54 c #Conflicts: 721000 | #Constraints: 188299
351.39/352.54 c #Conflicts: 722000 | #Constraints: 189299
351.39/352.54 c #Conflicts: 723000 | #Constraints: 190299
351.39/352.54 c #Conflicts: 724000 | #Constraints: 191299
351.39/352.54 c #Conflicts: 725000 | #Constraints: 192299
351.39/352.54 c #Conflicts: 726000 | #Constraints: 193299
351.39/352.54 c #Conflicts: 727000 | #Constraints: 194299
351.39/352.54 c #Conflicts: 728000 | #Constraints: 195299
351.39/352.54 c #Conflicts: 729000 | #Constraints: 196299
351.39/352.54 c #Conflicts: 730000 | #Constraints: 197299
351.39/352.54 c #Conflicts: 731000 | #Constraints: 198299
351.39/352.54 c #Conflicts: 732000 | #Constraints: 199299
351.39/352.54 c #Conflicts: 733000 | #Constraints: 200299
351.39/352.54 c #Conflicts: 734000 | #Constraints: 201299
351.39/352.54 c #Conflicts: 735000 | #Constraints: 202299
351.39/352.54 c #Conflicts: 736000 | #Constraints: 203299
351.39/352.54 c #Conflicts: 737000 | #Constraints: 204299
351.39/352.54 c #Conflicts: 738000 | #Constraints: 205299
351.39/352.54 c #Conflicts: 739000 | #Constraints: 206299
351.39/352.54 c #Conflicts: 740000 | #Constraints: 207299
351.39/352.54 c #Conflicts: 741000 | #Constraints: 208299
351.39/352.54 c #Conflicts: 742000 | #Constraints: 209299
351.39/352.54 c #Conflicts: 743000 | #Constraints: 210299
351.39/352.54 c #Conflicts: 744000 | #Constraints: 211299
351.39/352.54 c #Conflicts: 745000 | #Constraints: 212299
351.39/352.54 c #Conflicts: 746000 | #Constraints: 213299
351.39/352.54 c #Conflicts: 747000 | #Constraints: 214299
351.39/352.54 c #Conflicts: 748000 | #Constraints: 215299
351.39/352.54 c #Conflicts: 749000 | #Constraints: 216299
351.39/352.54 c #Conflicts: 750000 | #Constraints: 217299
351.39/352.54 c #Conflicts: 751000 | #Constraints: 218299
351.39/352.54 c #Conflicts: 752000 | #Constraints: 219299
351.39/352.54 c #Conflicts: 753000 | #Constraints: 220299
351.39/352.54 c #Conflicts: 754000 | #Constraints: 221299
351.39/352.54 c #Conflicts: 755000 | #Constraints: 222299
351.39/352.54 c #Conflicts: 756000 | #Constraints: 223299
351.39/352.54 c #Conflicts: 757000 | #Constraints: 224299
351.39/352.54 c #Conflicts: 758000 | #Constraints: 225299
351.39/352.54 c #Conflicts: 759000 | #Constraints: 226299
351.39/352.54 c #Conflicts: 760000 | #Constraints: 227299
351.39/352.54 c #Conflicts: 761000 | #Constraints: 228299
351.39/352.54 c #Conflicts: 762000 | #Constraints: 229299
351.39/352.54 c #Conflicts: 763000 | #Constraints: 230299
351.39/352.54 c #Conflicts: 764000 | #Constraints: 231299
351.39/352.54 c #Conflicts: 765000 | #Constraints: 232299
351.39/352.54 c #Conflicts: 766000 | #Constraints: 233299
351.39/352.54 c #Conflicts: 767000 | #Constraints: 234299
351.39/352.54 c #Conflicts: 768000 | #Constraints: 235299
351.39/352.54 c #Conflicts: 769000 | #Constraints: 236299
351.39/352.54 c #Conflicts: 770000 | #Constraints: 237299
351.39/352.54 c #Conflicts: 771000 | #Constraints: 238299
351.39/352.54 c #Conflicts: 772000 | #Constraints: 239299
351.39/352.54 c #Conflicts: 773000 | #Constraints: 240299
351.39/352.54 c INPROCESSING
351.39/352.54 c GARBAGE COLLECT
351.39/352.54 c rational objective 435.833
372.62/373.84 c #Conflicts: 774000 | #Constraints: 196490
372.62/373.84 c #Conflicts: 775000 | #Constraints: 197490
372.62/373.84 c #Conflicts: 776000 | #Constraints: 198490
372.62/373.84 c #Conflicts: 777000 | #Constraints: 199490
372.62/373.84 c #Conflicts: 778000 | #Constraints: 200490
372.62/373.84 c #Conflicts: 779000 | #Constraints: 201490
372.62/373.84 c #Conflicts: 780000 | #Constraints: 202490
372.62/373.84 c #Conflicts: 781000 | #Constraints: 203490
372.62/373.84 c #Conflicts: 782000 | #Constraints: 204490
372.62/373.84 c #Conflicts: 783000 | #Constraints: 205490
372.62/373.84 c #Conflicts: 784000 | #Constraints: 206490
372.62/373.84 c #Conflicts: 785000 | #Constraints: 207490
372.62/373.84 c #Conflicts: 786000 | #Constraints: 208490
372.62/373.84 c #Conflicts: 787000 | #Constraints: 209490
372.62/373.84 c #Conflicts: 788000 | #Constraints: 210490
372.62/373.84 c #Conflicts: 789000 | #Constraints: 211490
372.62/373.84 c #Conflicts: 790000 | #Constraints: 212490
372.62/373.84 c #Conflicts: 791000 | #Constraints: 213490
372.62/373.84 c #Conflicts: 792000 | #Constraints: 214490
372.62/373.84 c #Conflicts: 793000 | #Constraints: 215490
372.62/373.84 c #Conflicts: 794000 | #Constraints: 216490
372.62/373.84 c #Conflicts: 795000 | #Constraints: 217490
372.62/373.84 c #Conflicts: 796000 | #Constraints: 218490
372.62/373.84 c #Conflicts: 797000 | #Constraints: 219490
372.62/373.84 c #Conflicts: 798000 | #Constraints: 220490
372.62/373.84 c INPROCESSING
372.62/373.84 c GARBAGE COLLECT
372.62/373.84 c #Conflicts: 799000 | #Constraints: 186731
372.62/373.84 c #Conflicts: 800000 | #Constraints: 187731
372.62/373.84 c #Conflicts: 801000 | #Constraints: 188731
372.62/373.84 c #Conflicts: 802000 | #Constraints: 189731
372.62/373.84 c #Conflicts: 803000 | #Constraints: 190731
372.62/373.84 c #Conflicts: 804000 | #Constraints: 191731
372.62/373.84 c #Conflicts: 805000 | #Constraints: 192731
372.62/373.84 c #Conflicts: 806000 | #Constraints: 193731
372.62/373.84 c #Conflicts: 807000 | #Constraints: 194731
372.62/373.84 c #Conflicts: 808000 | #Constraints: 195731
372.62/373.84 c #Conflicts: 809000 | #Constraints: 196731
372.62/373.84 c #Conflicts: 810000 | #Constraints: 197731
372.62/373.84 c #Conflicts: 811000 | #Constraints: 198731
372.62/373.84 c #Conflicts: 812000 | #Constraints: 199731
372.62/373.84 c #Conflicts: 813000 | #Constraints: 200731
372.62/373.84 c #Conflicts: 814000 | #Constraints: 201731
372.62/373.84 c #Conflicts: 815000 | #Constraints: 202731
372.62/373.84 c #Conflicts: 816000 | #Constraints: 203731
372.62/373.84 c #Conflicts: 817000 | #Constraints: 204731
372.62/373.84 c #Conflicts: 818000 | #Constraints: 205731
372.62/373.84 c #Conflicts: 819000 | #Constraints: 206731
372.62/373.84 c #Conflicts: 820000 | #Constraints: 207731
372.62/373.84 c #Conflicts: 821000 | #Constraints: 208731
372.62/373.84 c #Conflicts: 822000 | #Constraints: 209731
372.62/373.84 c #Conflicts: 823000 | #Constraints: 210731
372.62/373.84 c #Conflicts: 824000 | #Constraints: 211731
372.62/373.84 c #Conflicts: 825000 | #Constraints: 212731
372.62/373.84 c #Conflicts: 826000 | #Constraints: 213731
372.62/373.84 c #Conflicts: 827000 | #Constraints: 214731
372.62/373.84 c #Conflicts: 828000 | #Constraints: 215731
372.62/373.84 c #Conflicts: 829000 | #Constraints: 216731
372.62/373.84 c #Conflicts: 830000 | #Constraints: 217731
372.62/373.84 c #Conflicts: 831000 | #Constraints: 218731
372.62/373.84 c #Conflicts: 832000 | #Constraints: 219731
372.62/373.85 c #Conflicts: 833000 | #Constraints: 220731
372.62/373.85 c #Conflicts: 834000 | #Constraints: 221731
372.62/373.85 c #Conflicts: 835000 | #Constraints: 222731
372.62/373.85 c #Conflicts: 836000 | #Constraints: 223731
372.62/373.85 c #Conflicts: 837000 | #Constraints: 224731
372.62/373.85 c #Conflicts: 838000 | #Constraints: 225731
372.62/373.85 c #Conflicts: 839000 | #Constraints: 226731
372.62/373.85 c #Conflicts: 840000 | #Constraints: 227731
372.62/373.85 c #Conflicts: 841000 | #Constraints: 228731
372.62/373.85 c #Conflicts: 842000 | #Constraints: 229731
372.62/373.85 c #Conflicts: 843000 | #Constraints: 230731
372.62/373.85 c #Conflicts: 844000 | #Constraints: 231731
372.62/373.85 c #Conflicts: 845000 | #Constraints: 232731
372.62/373.85 c #Conflicts: 846000 | #Constraints: 233731
372.62/373.85 c #Conflicts: 847000 | #Constraints: 234731
372.62/373.85 c #Conflicts: 848000 | #Constraints: 235731
372.62/373.85 c #Conflicts: 849000 | #Constraints: 236731
372.62/373.85 c #Conflicts: 850000 | #Constraints: 237731
372.62/373.85 c #Conflicts: 851000 | #Constraints: 238731
372.62/373.85 c #Conflicts: 852000 | #Constraints: 239731
377.21/378.48 c #Conflicts: 853000 | #Constraints: 240731
377.21/378.48 c #Conflicts: 854000 | #Constraints: 241731
377.21/378.48 c #Conflicts: 855000 | #Constraints: 242731
377.21/378.48 c #Conflicts: 856000 | #Constraints: 243731
377.21/378.48 c #Conflicts: 857000 | #Constraints: 244731
377.21/378.48 c #Conflicts: 858000 | #Constraints: 245731
377.21/378.48 c INPROCESSING
377.21/378.48 c GARBAGE COLLECT
377.21/378.48 c rational objective 436.083
403.12/404.45 c #Conflicts: 859000 | #Constraints: 199307
403.12/404.45 c #Conflicts: 860000 | #Constraints: 200307
403.12/404.45 c #Conflicts: 861000 | #Constraints: 201307
403.12/404.45 c #Conflicts: 862000 | #Constraints: 202307
403.12/404.45 c #Conflicts: 863000 | #Constraints: 203307
403.12/404.45 c #Conflicts: 864000 | #Constraints: 204307
403.12/404.45 c #Conflicts: 865000 | #Constraints: 205307
403.12/404.45 c #Conflicts: 866000 | #Constraints: 206307
403.12/404.45 c #Conflicts: 867000 | #Constraints: 207307
403.12/404.45 c #Conflicts: 868000 | #Constraints: 208307
403.12/404.45 c #Conflicts: 869000 | #Constraints: 209307
403.12/404.45 c #Conflicts: 870000 | #Constraints: 210307
403.12/404.45 c #Conflicts: 871000 | #Constraints: 211307
403.12/404.45 c #Conflicts: 872000 | #Constraints: 212307
403.12/404.45 c #Conflicts: 873000 | #Constraints: 213307
403.12/404.45 c #Conflicts: 874000 | #Constraints: 214307
403.12/404.45 c #Conflicts: 875000 | #Constraints: 215307
403.12/404.45 c #Conflicts: 876000 | #Constraints: 216307
403.12/404.45 c #Conflicts: 877000 | #Constraints: 217307
403.12/404.45 c #Conflicts: 878000 | #Constraints: 218307
403.12/404.45 c #Conflicts: 879000 | #Constraints: 219307
403.12/404.45 c #Conflicts: 880000 | #Constraints: 220307
403.12/404.45 c #Conflicts: 881000 | #Constraints: 221307
403.12/404.45 c #Conflicts: 882000 | #Constraints: 222307
403.12/404.45 c #Conflicts: 883000 | #Constraints: 223307
403.12/404.45 c #Conflicts: 884000 | #Constraints: 224307
403.12/404.45 c INPROCESSING
403.12/404.45 c GARBAGE COLLECT
403.12/404.45 c #Conflicts: 885000 | #Constraints: 188705
403.12/404.45 c #Conflicts: 886000 | #Constraints: 189705
403.12/404.45 c #Conflicts: 887000 | #Constraints: 190705
403.12/404.45 c #Conflicts: 888000 | #Constraints: 191705
403.12/404.45 c #Conflicts: 889000 | #Constraints: 192705
403.12/404.45 c #Conflicts: 890000 | #Constraints: 193705
403.12/404.45 c #Conflicts: 891000 | #Constraints: 194705
403.12/404.45 c #Conflicts: 892000 | #Constraints: 195705
403.12/404.45 c #Conflicts: 893000 | #Constraints: 196705
403.12/404.45 c #Conflicts: 894000 | #Constraints: 197705
403.12/404.45 c #Conflicts: 895000 | #Constraints: 198705
403.12/404.45 c #Conflicts: 896000 | #Constraints: 199705
403.12/404.45 c #Conflicts: 897000 | #Constraints: 200705
403.12/404.45 c #Conflicts: 898000 | #Constraints: 201705
403.12/404.45 c #Conflicts: 899000 | #Constraints: 202705
403.12/404.45 c #Conflicts: 900000 | #Constraints: 203705
403.12/404.45 c #Conflicts: 901000 | #Constraints: 204705
403.12/404.45 c #Conflicts: 902000 | #Constraints: 205705
403.12/404.45 c #Conflicts: 903000 | #Constraints: 206705
403.12/404.45 c #Conflicts: 904000 | #Constraints: 207705
403.12/404.45 c #Conflicts: 905000 | #Constraints: 208705
403.12/404.45 c #Conflicts: 906000 | #Constraints: 209705
403.12/404.45 c #Conflicts: 907000 | #Constraints: 210705
403.12/404.45 c #Conflicts: 908000 | #Constraints: 211705
403.12/404.45 c #Conflicts: 909000 | #Constraints: 212705
403.12/404.45 c #Conflicts: 910000 | #Constraints: 213705
403.12/404.45 c #Conflicts: 911000 | #Constraints: 214705
403.12/404.45 c #Conflicts: 912000 | #Constraints: 215705
403.12/404.45 c #Conflicts: 913000 | #Constraints: 216705
403.12/404.45 c #Conflicts: 914000 | #Constraints: 217705
403.12/404.45 c #Conflicts: 915000 | #Constraints: 218705
403.12/404.45 c #Conflicts: 916000 | #Constraints: 219705
403.12/404.45 c #Conflicts: 917000 | #Constraints: 220705
403.12/404.45 c #Conflicts: 918000 | #Constraints: 221705
403.12/404.45 c #Conflicts: 919000 | #Constraints: 222705
403.12/404.45 c #Conflicts: 920000 | #Constraints: 223705
403.12/404.45 c #Conflicts: 921000 | #Constraints: 224705
403.12/404.45 c #Conflicts: 922000 | #Constraints: 225705
403.12/404.45 c #Conflicts: 923000 | #Constraints: 226705
403.12/404.45 c #Conflicts: 924000 | #Constraints: 227705
403.12/404.45 c #Conflicts: 925000 | #Constraints: 228705
403.12/404.45 c #Conflicts: 926000 | #Constraints: 229705
403.12/404.45 c #Conflicts: 927000 | #Constraints: 230705
403.12/404.45 c #Conflicts: 928000 | #Constraints: 231705
403.12/404.45 c #Conflicts: 929000 | #Constraints: 232705
403.12/404.45 c #Conflicts: 930000 | #Constraints: 233705
403.12/404.45 c #Conflicts: 931000 | #Constraints: 234705
403.12/404.45 c #Conflicts: 932000 | #Constraints: 235705
403.12/404.45 c #Conflicts: 933000 | #Constraints: 236705
403.12/404.45 c #Conflicts: 934000 | #Constraints: 237705
403.12/404.45 c #Conflicts: 935000 | #Constraints: 238705
403.12/404.45 c #Conflicts: 936000 | #Constraints: 239705
403.12/404.45 c #Conflicts: 937000 | #Constraints: 240705
415.58/417.00 c #Conflicts: 938000 | #Constraints: 241705
415.58/417.00 c #Conflicts: 939000 | #Constraints: 242705
415.58/417.00 c #Conflicts: 940000 | #Constraints: 243705
415.58/417.00 c #Conflicts: 941000 | #Constraints: 244705
415.58/417.00 c #Conflicts: 942000 | #Constraints: 245705
415.58/417.00 c #Conflicts: 943000 | #Constraints: 246705
415.58/417.00 c #Conflicts: 944000 | #Constraints: 247705
415.58/417.00 c #Conflicts: 945000 | #Constraints: 248705
415.58/417.00 c #Conflicts: 946000 | #Constraints: 249705
415.58/417.00 c #Conflicts: 947000 | #Constraints: 250705
415.58/417.00 c INPROCESSING
415.58/417.00 c GARBAGE COLLECT
415.58/417.00 c rational objective 436.833
445.38/446.81 c #Conflicts: 948000 | #Constraints: 201814
445.38/446.81 c #Conflicts: 949000 | #Constraints: 202814
445.38/446.81 c #Conflicts: 950000 | #Constraints: 203814
445.38/446.81 c #Conflicts: 951000 | #Constraints: 204814
445.38/446.81 c #Conflicts: 952000 | #Constraints: 205814
445.38/446.81 c #Conflicts: 953000 | #Constraints: 206814
445.38/446.81 c #Conflicts: 954000 | #Constraints: 207814
445.38/446.81 c #Conflicts: 955000 | #Constraints: 208814
445.38/446.81 c #Conflicts: 956000 | #Constraints: 209814
445.38/446.81 c #Conflicts: 957000 | #Constraints: 210814
445.38/446.81 c #Conflicts: 958000 | #Constraints: 211814
445.38/446.81 c #Conflicts: 959000 | #Constraints: 212814
445.38/446.81 c #Conflicts: 960000 | #Constraints: 213814
445.38/446.81 c #Conflicts: 961000 | #Constraints: 214814
445.38/446.81 c #Conflicts: 962000 | #Constraints: 215814
445.38/446.81 c #Conflicts: 963000 | #Constraints: 216814
445.38/446.81 c #Conflicts: 964000 | #Constraints: 217814
445.38/446.81 c #Conflicts: 965000 | #Constraints: 218814
445.38/446.81 c #Conflicts: 966000 | #Constraints: 219814
445.38/446.81 c #Conflicts: 967000 | #Constraints: 220814
445.38/446.81 c #Conflicts: 968000 | #Constraints: 221814
445.38/446.81 c #Conflicts: 969000 | #Constraints: 222814
445.38/446.81 c #Conflicts: 970000 | #Constraints: 223814
445.38/446.81 c #Conflicts: 971000 | #Constraints: 224814
445.38/446.81 c #Conflicts: 972000 | #Constraints: 225814
445.38/446.81 c #Conflicts: 973000 | #Constraints: 226814
445.38/446.81 c #Conflicts: 974000 | #Constraints: 227814
445.38/446.81 c INPROCESSING
445.38/446.81 c GARBAGE COLLECT
445.38/446.81 c #Conflicts: 975000 | #Constraints: 190091
445.38/446.81 c #Conflicts: 976000 | #Constraints: 191091
445.38/446.81 c #Conflicts: 977000 | #Constraints: 192091
445.38/446.81 c #Conflicts: 978000 | #Constraints: 193091
445.38/446.81 c #Conflicts: 979000 | #Constraints: 194091
445.38/446.81 c #Conflicts: 980000 | #Constraints: 195091
445.38/446.81 c #Conflicts: 981000 | #Constraints: 196091
445.38/446.81 c #Conflicts: 982000 | #Constraints: 197091
445.38/446.81 c #Conflicts: 983000 | #Constraints: 198091
445.38/446.81 c #Conflicts: 984000 | #Constraints: 199091
445.38/446.81 c #Conflicts: 985000 | #Constraints: 200091
445.38/446.81 c #Conflicts: 986000 | #Constraints: 201091
445.38/446.81 c #Conflicts: 987000 | #Constraints: 202091
445.38/446.81 c #Conflicts: 988000 | #Constraints: 203091
445.38/446.81 c #Conflicts: 989000 | #Constraints: 204091
445.38/446.81 c #Conflicts: 990000 | #Constraints: 205091
445.38/446.81 c #Conflicts: 991000 | #Constraints: 206091
445.38/446.81 c #Conflicts: 992000 | #Constraints: 207091
445.38/446.81 c #Conflicts: 993000 | #Constraints: 208091
445.38/446.81 c #Conflicts: 994000 | #Constraints: 209091
445.38/446.81 c #Conflicts: 995000 | #Constraints: 210091
445.38/446.81 c #Conflicts: 996000 | #Constraints: 211091
445.38/446.81 c #Conflicts: 997000 | #Constraints: 212091
445.38/446.81 c #Conflicts: 998000 | #Constraints: 213091
445.38/446.81 c #Conflicts: 999000 | #Constraints: 214091
445.38/446.81 c #Conflicts: 1000000 | #Constraints: 215091
445.38/446.81 c #Conflicts: 1001000 | #Constraints: 216091
445.38/446.81 c #Conflicts: 1002000 | #Constraints: 217091
445.38/446.81 c #Conflicts: 1003000 | #Constraints: 218091
445.38/446.81 c #Conflicts: 1004000 | #Constraints: 219091
445.38/446.81 c #Conflicts: 1005000 | #Constraints: 220091
445.38/446.81 c #Conflicts: 1006000 | #Constraints: 221091
445.38/446.81 c #Conflicts: 1007000 | #Constraints: 222091
445.38/446.81 c #Conflicts: 1008000 | #Constraints: 223091
445.38/446.81 c #Conflicts: 1009000 | #Constraints: 224091
445.38/446.81 c #Conflicts: 1010000 | #Constraints: 225091
445.38/446.81 c #Conflicts: 1011000 | #Constraints: 226091
445.38/446.81 c #Conflicts: 1012000 | #Constraints: 227091
445.38/446.81 c #Conflicts: 1013000 | #Constraints: 228091
445.38/446.81 c #Conflicts: 1014000 | #Constraints: 229091
445.38/446.81 c #Conflicts: 1015000 | #Constraints: 230091
445.38/446.81 c #Conflicts: 1016000 | #Constraints: 231091
445.38/446.81 c #Conflicts: 1017000 | #Constraints: 232091
445.38/446.81 c #Conflicts: 1018000 | #Constraints: 233091
445.38/446.81 c #Conflicts: 1019000 | #Constraints: 234091
445.38/446.81 c #Conflicts: 1020000 | #Constraints: 235091
445.38/446.81 c #Conflicts: 1021000 | #Constraints: 236091
445.38/446.81 c #Conflicts: 1022000 | #Constraints: 237091
445.38/446.81 c #Conflicts: 1023000 | #Constraints: 238091
445.38/446.81 c #Conflicts: 1024000 | #Constraints: 239091
445.38/446.81 c #Conflicts: 1025000 | #Constraints: 240091
445.38/446.81 c #Conflicts: 1026000 | #Constraints: 241091
471.20/472.79 c #Conflicts: 1027000 | #Constraints: 242091
471.20/472.79 c #Conflicts: 1028000 | #Constraints: 243091
471.20/472.79 c #Conflicts: 1029000 | #Constraints: 244091
471.20/472.79 c #Conflicts: 1030000 | #Constraints: 245091
471.20/472.79 c #Conflicts: 1031000 | #Constraints: 246091
471.20/472.79 c #Conflicts: 1032000 | #Constraints: 247091
471.20/472.79 c #Conflicts: 1033000 | #Constraints: 248091
471.20/472.79 c #Conflicts: 1034000 | #Constraints: 249091
471.20/472.79 c #Conflicts: 1035000 | #Constraints: 250091
471.20/472.79 c #Conflicts: 1036000 | #Constraints: 251091
471.20/472.79 c #Conflicts: 1037000 | #Constraints: 252091
471.20/472.79 c #Conflicts: 1038000 | #Constraints: 253091
471.20/472.79 c #Conflicts: 1039000 | #Constraints: 254091
471.20/472.79 c #Conflicts: 1040000 | #Constraints: 255091
471.20/472.79 c INPROCESSING
471.20/472.79 c GARBAGE COLLECT
471.20/472.79 c #Conflicts: 1041000 | #Constraints: 203636
471.20/472.79 c #Conflicts: 1042000 | #Constraints: 204636
471.20/472.79 c #Conflicts: 1043000 | #Constraints: 205636
471.20/472.79 c #Conflicts: 1044000 | #Constraints: 206636
471.20/472.79 c #Conflicts: 1045000 | #Constraints: 207636
471.20/472.79 c #Conflicts: 1046000 | #Constraints: 208636
471.20/472.79 c #Conflicts: 1047000 | #Constraints: 209636
471.20/472.79 c #Conflicts: 1048000 | #Constraints: 210636
471.20/472.79 c #Conflicts: 1049000 | #Constraints: 211636
471.20/472.79 c #Conflicts: 1050000 | #Constraints: 212636
471.20/472.79 c #Conflicts: 1051000 | #Constraints: 213636
471.20/472.79 c #Conflicts: 1052000 | #Constraints: 214636
471.20/472.79 c #Conflicts: 1053000 | #Constraints: 215636
471.20/472.79 c #Conflicts: 1054000 | #Constraints: 216636
471.20/472.79 c #Conflicts: 1055000 | #Constraints: 217636
471.20/472.79 c #Conflicts: 1056000 | #Constraints: 218636
471.20/472.79 c #Conflicts: 1057000 | #Constraints: 219636
471.20/472.79 c #Conflicts: 1058000 | #Constraints: 220636
471.20/472.79 c #Conflicts: 1059000 | #Constraints: 221636
471.20/472.79 c #Conflicts: 1060000 | #Constraints: 222636
471.20/472.79 c #Conflicts: 1061000 | #Constraints: 223636
471.20/472.79 c #Conflicts: 1062000 | #Constraints: 224636
471.20/472.79 c #Conflicts: 1063000 | #Constraints: 225636
471.20/472.79 c #Conflicts: 1064000 | #Constraints: 226636
471.20/472.79 c #Conflicts: 1065000 | #Constraints: 227636
471.20/472.79 c #Conflicts: 1066000 | #Constraints: 228636
471.20/472.79 c #Conflicts: 1067000 | #Constraints: 229636
471.20/472.79 c #Conflicts: 1068000 | #Constraints: 230636
471.20/472.79 c #Conflicts: 1069000 | #Constraints: 231636
471.20/472.79 c INPROCESSING
471.20/472.79 c GARBAGE COLLECT
471.20/472.79 c #Conflicts: 1070000 | #Constraints: 191918
471.20/472.79 c #Conflicts: 1071000 | #Constraints: 192918
471.20/472.79 c #Conflicts: 1072000 | #Constraints: 193918
471.20/472.79 c #Conflicts: 1073000 | #Constraints: 194918
471.20/472.79 c #Conflicts: 1074000 | #Constraints: 195918
471.20/472.79 c #Conflicts: 1075000 | #Constraints: 196918
471.20/472.79 c #Conflicts: 1076000 | #Constraints: 197918
471.20/472.79 c #Conflicts: 1077000 | #Constraints: 198918
471.20/472.79 c #Conflicts: 1078000 | #Constraints: 199918
471.20/472.79 c #Conflicts: 1079000 | #Constraints: 200918
471.20/472.79 c #Conflicts: 1080000 | #Constraints: 201918
471.20/472.79 c #Conflicts: 1081000 | #Constraints: 202918
471.20/472.79 c #Conflicts: 1082000 | #Constraints: 203918
471.20/472.79 c #Conflicts: 1083000 | #Constraints: 204918
471.20/472.79 c #Conflicts: 1084000 | #Constraints: 205918
471.20/472.79 c #Conflicts: 1085000 | #Constraints: 206918
471.20/472.79 c #Conflicts: 1086000 | #Constraints: 207918
471.20/472.79 c #Conflicts: 1087000 | #Constraints: 208918
471.20/472.79 c #Conflicts: 1088000 | #Constraints: 209918
471.20/472.79 c #Conflicts: 1089000 | #Constraints: 210918
471.20/472.79 c #Conflicts: 1090000 | #Constraints: 211918
471.20/472.79 c #Conflicts: 1091000 | #Constraints: 212918
471.20/472.79 c #Conflicts: 1092000 | #Constraints: 213918
471.20/472.79 c #Conflicts: 1093000 | #Constraints: 214918
471.20/472.79 c #Conflicts: 1094000 | #Constraints: 215918
471.20/472.79 c #Conflicts: 1095000 | #Constraints: 216918
471.20/472.79 c #Conflicts: 1096000 | #Constraints: 217918
471.20/472.79 c #Conflicts: 1097000 | #Constraints: 218918
471.20/472.79 c #Conflicts: 1098000 | #Constraints: 219918
471.20/472.79 c #Conflicts: 1099000 | #Constraints: 220918
471.20/472.79 c #Conflicts: 1100000 | #Constraints: 221918
471.20/472.79 c #Conflicts: 1101000 | #Constraints: 222918
471.20/472.79 c #Conflicts: 1102000 | #Constraints: 223918
471.20/472.79 c #Conflicts: 1103000 | #Constraints: 224918
490.56/492.16 c #Conflicts: 1104000 | #Constraints: 225918
490.56/492.16 c #Conflicts: 1105000 | #Constraints: 226918
490.56/492.16 c #Conflicts: 1106000 | #Constraints: 227918
490.56/492.16 c #Conflicts: 1107000 | #Constraints: 228918
490.56/492.16 c #Conflicts: 1108000 | #Constraints: 229918
490.56/492.16 c #Conflicts: 1109000 | #Constraints: 230918
490.56/492.16 c #Conflicts: 1110000 | #Constraints: 231918
490.56/492.16 c #Conflicts: 1111000 | #Constraints: 232918
490.56/492.16 c #Conflicts: 1112000 | #Constraints: 233918
490.56/492.16 c #Conflicts: 1113000 | #Constraints: 234918
490.56/492.16 c #Conflicts: 1114000 | #Constraints: 235918
490.56/492.16 c #Conflicts: 1115000 | #Constraints: 236918
490.56/492.16 c #Conflicts: 1116000 | #Constraints: 237918
490.56/492.16 c #Conflicts: 1117000 | #Constraints: 238918
490.56/492.16 c #Conflicts: 1118000 | #Constraints: 239918
490.56/492.16 c #Conflicts: 1119000 | #Constraints: 240918
490.56/492.16 c #Conflicts: 1120000 | #Constraints: 241918
490.56/492.16 c #Conflicts: 1121000 | #Constraints: 242918
490.56/492.16 c #Conflicts: 1122000 | #Constraints: 243918
490.56/492.16 c #Conflicts: 1123000 | #Constraints: 244918
490.56/492.16 c #Conflicts: 1124000 | #Constraints: 245918
490.56/492.16 c #Conflicts: 1125000 | #Constraints: 246918
490.56/492.16 c #Conflicts: 1126000 | #Constraints: 247918
490.56/492.16 c #Conflicts: 1127000 | #Constraints: 248918
490.56/492.16 c #Conflicts: 1128000 | #Constraints: 249918
490.56/492.16 c #Conflicts: 1129000 | #Constraints: 250918
490.56/492.16 c #Conflicts: 1130000 | #Constraints: 251918
490.56/492.16 c #Conflicts: 1131000 | #Constraints: 252918
490.56/492.16 c #Conflicts: 1132000 | #Constraints: 253918
490.56/492.16 c #Conflicts: 1133000 | #Constraints: 254918
490.56/492.16 c #Conflicts: 1134000 | #Constraints: 255918
490.56/492.16 c #Conflicts: 1135000 | #Constraints: 256918
490.56/492.16 c #Conflicts: 1136000 | #Constraints: 257918
490.56/492.16 c #Conflicts: 1137000 | #Constraints: 258918
490.56/492.16 c #Conflicts: 1138000 | #Constraints: 259918
490.56/492.16 c INPROCESSING
490.56/492.16 c GARBAGE COLLECT
490.56/492.16 c rational objective 439.75
515.56/517.21 c #Conflicts: 1139000 | #Constraints: 205071
515.56/517.21 c #Conflicts: 1140000 | #Constraints: 206071
515.56/517.21 c #Conflicts: 1141000 | #Constraints: 207071
515.56/517.21 c #Conflicts: 1142000 | #Constraints: 208071
515.56/517.21 c #Conflicts: 1143000 | #Constraints: 209071
515.56/517.21 c #Conflicts: 1144000 | #Constraints: 210071
515.56/517.21 c #Conflicts: 1145000 | #Constraints: 211071
515.56/517.21 c #Conflicts: 1146000 | #Constraints: 212071
515.56/517.21 c #Conflicts: 1147000 | #Constraints: 213071
515.56/517.21 c #Conflicts: 1148000 | #Constraints: 214071
515.56/517.21 c #Conflicts: 1149000 | #Constraints: 215071
515.56/517.21 c #Conflicts: 1150000 | #Constraints: 216071
515.56/517.21 c #Conflicts: 1151000 | #Constraints: 217071
515.56/517.21 c #Conflicts: 1152000 | #Constraints: 218071
515.56/517.21 c #Conflicts: 1153000 | #Constraints: 219071
515.56/517.21 c #Conflicts: 1154000 | #Constraints: 220071
515.56/517.21 c #Conflicts: 1155000 | #Constraints: 221071
515.56/517.21 c #Conflicts: 1156000 | #Constraints: 222071
515.56/517.21 c #Conflicts: 1157000 | #Constraints: 223071
515.56/517.21 c #Conflicts: 1158000 | #Constraints: 224071
515.56/517.21 c #Conflicts: 1159000 | #Constraints: 225071
515.56/517.21 c #Conflicts: 1160000 | #Constraints: 226071
515.56/517.21 c #Conflicts: 1161000 | #Constraints: 227071
515.56/517.21 c #Conflicts: 1162000 | #Constraints: 228071
515.56/517.21 c #Conflicts: 1163000 | #Constraints: 229071
515.56/517.21 c #Conflicts: 1164000 | #Constraints: 230071
515.56/517.21 c #Conflicts: 1165000 | #Constraints: 231071
515.56/517.21 c #Conflicts: 1166000 | #Constraints: 232071
515.56/517.21 c #Conflicts: 1167000 | #Constraints: 233071
515.56/517.21 c #Conflicts: 1168000 | #Constraints: 234071
515.56/517.21 c INPROCESSING
515.56/517.21 c GARBAGE COLLECT
515.56/517.21 c #Conflicts: 1169000 | #Constraints: 192649
515.56/517.21 c #Conflicts: 1170000 | #Constraints: 193649
515.56/517.21 c #Conflicts: 1171000 | #Constraints: 194649
515.56/517.21 c #Conflicts: 1172000 | #Constraints: 195649
515.56/517.21 c #Conflicts: 1173000 | #Constraints: 196649
515.56/517.21 c #Conflicts: 1174000 | #Constraints: 197649
515.56/517.21 c #Conflicts: 1175000 | #Constraints: 198649
515.56/517.21 c #Conflicts: 1176000 | #Constraints: 199649
515.56/517.21 c #Conflicts: 1177000 | #Constraints: 200649
515.56/517.21 c #Conflicts: 1178000 | #Constraints: 201649
515.56/517.21 c #Conflicts: 1179000 | #Constraints: 202649
515.56/517.21 c #Conflicts: 1180000 | #Constraints: 203649
515.56/517.21 c #Conflicts: 1181000 | #Constraints: 204649
515.56/517.21 c #Conflicts: 1182000 | #Constraints: 205649
515.56/517.21 c #Conflicts: 1183000 | #Constraints: 206649
515.56/517.21 c #Conflicts: 1184000 | #Constraints: 207649
515.56/517.21 c #Conflicts: 1185000 | #Constraints: 208649
515.56/517.21 c #Conflicts: 1186000 | #Constraints: 209649
515.56/517.21 c #Conflicts: 1187000 | #Constraints: 210649
515.56/517.21 c #Conflicts: 1188000 | #Constraints: 211649
515.56/517.21 c #Conflicts: 1189000 | #Constraints: 212649
515.56/517.21 c #Conflicts: 1190000 | #Constraints: 213649
515.56/517.21 c #Conflicts: 1191000 | #Constraints: 214649
515.56/517.21 c #Conflicts: 1192000 | #Constraints: 215649
515.56/517.21 c #Conflicts: 1193000 | #Constraints: 216649
515.56/517.21 c #Conflicts: 1194000 | #Constraints: 217649
515.56/517.21 c #Conflicts: 1195000 | #Constraints: 218649
515.56/517.21 c #Conflicts: 1196000 | #Constraints: 219649
515.56/517.21 c #Conflicts: 1197000 | #Constraints: 220649
515.56/517.21 c #Conflicts: 1198000 | #Constraints: 221649
515.56/517.21 c #Conflicts: 1199000 | #Constraints: 222649
515.56/517.21 c #Conflicts: 1200000 | #Constraints: 223649
515.56/517.21 c #Conflicts: 1201000 | #Constraints: 224649
515.56/517.21 c #Conflicts: 1202000 | #Constraints: 225649
515.56/517.21 c #Conflicts: 1203000 | #Constraints: 226649
515.56/517.21 c #Conflicts: 1204000 | #Constraints: 227649
515.56/517.21 c #Conflicts: 1205000 | #Constraints: 228649
515.56/517.21 c #Conflicts: 1206000 | #Constraints: 229649
515.56/517.21 c #Conflicts: 1207000 | #Constraints: 230649
515.56/517.21 c #Conflicts: 1208000 | #Constraints: 231649
515.56/517.21 c #Conflicts: 1209000 | #Constraints: 232649
515.56/517.21 c #Conflicts: 1210000 | #Constraints: 233649
515.56/517.21 c #Conflicts: 1211000 | #Constraints: 234649
515.56/517.21 c #Conflicts: 1212000 | #Constraints: 235649
515.56/517.21 c #Conflicts: 1213000 | #Constraints: 236649
515.56/517.21 c #Conflicts: 1214000 | #Constraints: 237649
515.56/517.21 c #Conflicts: 1215000 | #Constraints: 238649
515.56/517.21 c #Conflicts: 1216000 | #Constraints: 239649
515.56/517.21 c #Conflicts: 1217000 | #Constraints: 240649
532.01/533.79 c #Conflicts: 1218000 | #Constraints: 241649
532.01/533.79 c #Conflicts: 1219000 | #Constraints: 242649
532.01/533.79 c #Conflicts: 1220000 | #Constraints: 243649
532.01/533.79 c #Conflicts: 1221000 | #Constraints: 244649
532.01/533.79 c #Conflicts: 1222000 | #Constraints: 245649
532.01/533.79 c #Conflicts: 1223000 | #Constraints: 246649
532.01/533.79 c #Conflicts: 1224000 | #Constraints: 247649
532.01/533.79 c #Conflicts: 1225000 | #Constraints: 248649
532.01/533.79 c #Conflicts: 1226000 | #Constraints: 249649
532.01/533.79 c #Conflicts: 1227000 | #Constraints: 250649
532.01/533.79 c #Conflicts: 1228000 | #Constraints: 251649
532.01/533.79 c #Conflicts: 1229000 | #Constraints: 252649
532.01/533.79 c #Conflicts: 1230000 | #Constraints: 253649
532.01/533.79 c #Conflicts: 1231000 | #Constraints: 254649
532.01/533.79 c #Conflicts: 1232000 | #Constraints: 255649
532.01/533.79 c #Conflicts: 1233000 | #Constraints: 256649
532.01/533.79 c #Conflicts: 1234000 | #Constraints: 257649
532.01/533.79 c #Conflicts: 1235000 | #Constraints: 258649
532.01/533.79 c #Conflicts: 1236000 | #Constraints: 259649
532.01/533.79 c #Conflicts: 1237000 | #Constraints: 260649
532.01/533.79 c #Conflicts: 1238000 | #Constraints: 261649
532.01/533.79 c #Conflicts: 1239000 | #Constraints: 262649
532.01/533.79 c #Conflicts: 1240000 | #Constraints: 263649
532.01/533.79 c INPROCESSING
532.01/533.79 c GARBAGE COLLECT
532.01/533.79 c rational objective 446.833
558.42/560.22 c #Conflicts: 1241000 | #Constraints: 207752
558.42/560.22 c #Conflicts: 1242000 | #Constraints: 208752
558.42/560.22 c #Conflicts: 1243000 | #Constraints: 209752
558.42/560.22 c #Conflicts: 1244000 | #Constraints: 210752
558.42/560.22 c #Conflicts: 1245000 | #Constraints: 211752
558.42/560.22 c #Conflicts: 1246000 | #Constraints: 212752
558.42/560.22 c #Conflicts: 1247000 | #Constraints: 213752
558.42/560.22 c #Conflicts: 1248000 | #Constraints: 214752
558.42/560.22 c #Conflicts: 1249000 | #Constraints: 215752
558.42/560.22 c #Conflicts: 1250000 | #Constraints: 216752
558.42/560.22 c #Conflicts: 1251000 | #Constraints: 217752
558.42/560.22 c #Conflicts: 1252000 | #Constraints: 218752
558.42/560.22 c #Conflicts: 1253000 | #Constraints: 219752
558.42/560.22 c #Conflicts: 1254000 | #Constraints: 220752
558.42/560.22 c #Conflicts: 1255000 | #Constraints: 221752
558.42/560.22 c #Conflicts: 1256000 | #Constraints: 222752
558.42/560.22 c #Conflicts: 1257000 | #Constraints: 223752
558.42/560.22 c #Conflicts: 1258000 | #Constraints: 224752
558.42/560.22 c #Conflicts: 1259000 | #Constraints: 225752
558.42/560.22 c #Conflicts: 1260000 | #Constraints: 226752
558.42/560.22 c #Conflicts: 1261000 | #Constraints: 227752
558.42/560.22 c #Conflicts: 1262000 | #Constraints: 228752
558.42/560.22 c #Conflicts: 1263000 | #Constraints: 229752
558.42/560.22 c #Conflicts: 1264000 | #Constraints: 230752
558.42/560.22 c #Conflicts: 1265000 | #Constraints: 231752
558.42/560.22 c #Conflicts: 1266000 | #Constraints: 232752
558.42/560.22 c #Conflicts: 1267000 | #Constraints: 233752
558.42/560.22 c #Conflicts: 1268000 | #Constraints: 234752
558.42/560.22 c #Conflicts: 1269000 | #Constraints: 235752
558.42/560.22 c #Conflicts: 1270000 | #Constraints: 236752
558.42/560.22 c #Conflicts: 1271000 | #Constraints: 237752
558.42/560.22 c #Conflicts: 1272000 | #Constraints: 238752
558.42/560.22 c INPROCESSING
558.42/560.22 c GARBAGE COLLECT
558.42/560.22 c #Conflicts: 1273000 | #Constraints: 195333
558.42/560.22 c #Conflicts: 1274000 | #Constraints: 196333
558.42/560.22 c #Conflicts: 1275000 | #Constraints: 197333
558.42/560.22 c #Conflicts: 1276000 | #Constraints: 198333
558.42/560.22 c #Conflicts: 1277000 | #Constraints: 199333
558.42/560.22 c #Conflicts: 1278000 | #Constraints: 200333
558.42/560.22 c #Conflicts: 1279000 | #Constraints: 201333
558.42/560.22 c #Conflicts: 1280000 | #Constraints: 202333
558.42/560.22 c #Conflicts: 1281000 | #Constraints: 203333
558.42/560.22 c #Conflicts: 1282000 | #Constraints: 204333
558.42/560.22 c #Conflicts: 1283000 | #Constraints: 205333
558.42/560.22 c #Conflicts: 1284000 | #Constraints: 206333
558.42/560.22 c #Conflicts: 1285000 | #Constraints: 207333
558.42/560.22 c #Conflicts: 1286000 | #Constraints: 208333
558.42/560.22 c #Conflicts: 1287000 | #Constraints: 209333
558.42/560.22 c #Conflicts: 1288000 | #Constraints: 210333
558.42/560.22 c #Conflicts: 1289000 | #Constraints: 211333
558.42/560.22 c #Conflicts: 1290000 | #Constraints: 212333
558.42/560.22 c #Conflicts: 1291000 | #Constraints: 213333
558.42/560.22 c #Conflicts: 1292000 | #Constraints: 214333
558.42/560.22 c #Conflicts: 1293000 | #Constraints: 215333
558.42/560.22 c #Conflicts: 1294000 | #Constraints: 216333
558.42/560.22 c #Conflicts: 1295000 | #Constraints: 217333
558.42/560.22 c #Conflicts: 1296000 | #Constraints: 218333
558.42/560.22 c #Conflicts: 1297000 | #Constraints: 219333
558.42/560.22 c #Conflicts: 1298000 | #Constraints: 220333
558.42/560.22 c #Conflicts: 1299000 | #Constraints: 221333
558.42/560.22 c #Conflicts: 1300000 | #Constraints: 222333
558.42/560.22 c #Conflicts: 1301000 | #Constraints: 223333
558.42/560.22 c #Conflicts: 1302000 | #Constraints: 224333
558.42/560.22 c #Conflicts: 1303000 | #Constraints: 225333
558.42/560.22 c #Conflicts: 1304000 | #Constraints: 226333
558.42/560.22 c #Conflicts: 1305000 | #Constraints: 227333
558.42/560.22 c #Conflicts: 1306000 | #Constraints: 228333
558.42/560.22 c #Conflicts: 1307000 | #Constraints: 229333
558.42/560.22 c #Conflicts: 1308000 | #Constraints: 230333
558.42/560.22 c #Conflicts: 1309000 | #Constraints: 231333
558.42/560.22 c #Conflicts: 1310000 | #Constraints: 232333
558.42/560.22 c #Conflicts: 1311000 | #Constraints: 233333
558.42/560.22 c #Conflicts: 1312000 | #Constraints: 234333
558.42/560.22 c #Conflicts: 1313000 | #Constraints: 235333
558.42/560.22 c #Conflicts: 1314000 | #Constraints: 236333
558.42/560.22 c #Conflicts: 1315000 | #Constraints: 237333
558.42/560.22 c #Conflicts: 1316000 | #Constraints: 238333
558.42/560.22 c #Conflicts: 1317000 | #Constraints: 239333
558.42/560.22 c #Conflicts: 1318000 | #Constraints: 240333
558.42/560.22 c #Conflicts: 1319000 | #Constraints: 241333
594.31/596.25 c #Conflicts: 1320000 | #Constraints: 242333
594.31/596.25 c #Conflicts: 1321000 | #Constraints: 243333
594.31/596.25 c #Conflicts: 1322000 | #Constraints: 244333
594.31/596.25 c #Conflicts: 1323000 | #Constraints: 245333
594.31/596.25 c #Conflicts: 1324000 | #Constraints: 246333
594.31/596.25 c #Conflicts: 1325000 | #Constraints: 247333
594.31/596.25 c #Conflicts: 1326000 | #Constraints: 248333
594.31/596.25 c #Conflicts: 1327000 | #Constraints: 249333
594.31/596.25 c #Conflicts: 1328000 | #Constraints: 250333
594.31/596.25 c #Conflicts: 1329000 | #Constraints: 251333
594.31/596.25 c #Conflicts: 1330000 | #Constraints: 252333
594.31/596.25 c #Conflicts: 1331000 | #Constraints: 253333
594.31/596.25 c #Conflicts: 1332000 | #Constraints: 254333
594.31/596.25 c #Conflicts: 1333000 | #Constraints: 255333
594.31/596.25 c #Conflicts: 1334000 | #Constraints: 256333
594.31/596.25 c #Conflicts: 1335000 | #Constraints: 257333
594.31/596.25 c #Conflicts: 1336000 | #Constraints: 258333
594.31/596.25 c #Conflicts: 1337000 | #Constraints: 259333
594.31/596.25 c #Conflicts: 1338000 | #Constraints: 260333
594.31/596.25 c #Conflicts: 1339000 | #Constraints: 261333
594.31/596.25 c #Conflicts: 1340000 | #Constraints: 262333
594.31/596.25 c #Conflicts: 1341000 | #Constraints: 263333
594.31/596.25 c #Conflicts: 1342000 | #Constraints: 264333
594.31/596.25 c #Conflicts: 1343000 | #Constraints: 265333
594.31/596.25 c #Conflicts: 1344000 | #Constraints: 266333
594.31/596.25 c #Conflicts: 1345000 | #Constraints: 267333
594.31/596.25 c #Conflicts: 1346000 | #Constraints: 268333
594.31/596.25 c #Conflicts: 1347000 | #Constraints: 269333
594.31/596.25 c INPROCESSING
594.31/596.25 c GARBAGE COLLECT
594.31/596.25 c #Conflicts: 1348000 | #Constraints: 210477
594.31/596.25 c #Conflicts: 1349000 | #Constraints: 211477
594.31/596.25 c #Conflicts: 1350000 | #Constraints: 212477
594.31/596.25 c #Conflicts: 1351000 | #Constraints: 213477
594.31/596.25 c #Conflicts: 1352000 | #Constraints: 214477
594.31/596.25 c #Conflicts: 1353000 | #Constraints: 215477
594.31/596.25 c #Conflicts: 1354000 | #Constraints: 216477
594.31/596.25 c #Conflicts: 1355000 | #Constraints: 217477
594.31/596.25 c #Conflicts: 1356000 | #Constraints: 218477
594.31/596.25 c #Conflicts: 1357000 | #Constraints: 219477
594.31/596.25 c #Conflicts: 1358000 | #Constraints: 220477
594.31/596.25 c #Conflicts: 1359000 | #Constraints: 221477
594.31/596.25 c #Conflicts: 1360000 | #Constraints: 222477
594.31/596.25 c #Conflicts: 1361000 | #Constraints: 223477
594.31/596.25 c #Conflicts: 1362000 | #Constraints: 224477
594.31/596.25 c #Conflicts: 1363000 | #Constraints: 225477
594.31/596.25 c #Conflicts: 1364000 | #Constraints: 226477
594.31/596.25 c #Conflicts: 1365000 | #Constraints: 227477
594.31/596.25 c #Conflicts: 1366000 | #Constraints: 228477
594.31/596.25 c #Conflicts: 1367000 | #Constraints: 229477
594.31/596.25 c #Conflicts: 1368000 | #Constraints: 230477
594.31/596.25 c #Conflicts: 1369000 | #Constraints: 231477
594.31/596.25 c #Conflicts: 1370000 | #Constraints: 232477
594.31/596.25 c #Conflicts: 1371000 | #Constraints: 233477
594.31/596.25 c #Conflicts: 1372000 | #Constraints: 234477
594.31/596.25 c #Conflicts: 1373000 | #Constraints: 235477
594.31/596.25 c #Conflicts: 1374000 | #Constraints: 236477
594.31/596.25 c #Conflicts: 1375000 | #Constraints: 237477
594.31/596.25 c #Conflicts: 1376000 | #Constraints: 238477
594.31/596.25 c #Conflicts: 1377000 | #Constraints: 239477
594.31/596.25 c #Conflicts: 1378000 | #Constraints: 240477
594.31/596.25 c #Conflicts: 1379000 | #Constraints: 241477
594.31/596.25 c #Conflicts: 1380000 | #Constraints: 242477
594.31/596.25 c INPROCESSING
594.31/596.25 c GARBAGE COLLECT
594.31/596.25 c rational objective 450.75
627.50/629.54 c #Conflicts: 1381000 | #Constraints: 196810
627.50/629.54 c #Conflicts: 1382000 | #Constraints: 197810
627.50/629.54 c #Conflicts: 1383000 | #Constraints: 198810
627.50/629.54 c #Conflicts: 1384000 | #Constraints: 199810
627.50/629.54 c #Conflicts: 1385000 | #Constraints: 200810
627.50/629.54 c #Conflicts: 1386000 | #Constraints: 201810
627.50/629.54 c #Conflicts: 1387000 | #Constraints: 202810
627.50/629.54 c #Conflicts: 1388000 | #Constraints: 203810
627.50/629.54 c #Conflicts: 1389000 | #Constraints: 204810
627.50/629.54 c #Conflicts: 1390000 | #Constraints: 205810
627.50/629.54 c #Conflicts: 1391000 | #Constraints: 206810
627.50/629.54 c #Conflicts: 1392000 | #Constraints: 207810
627.50/629.54 c #Conflicts: 1393000 | #Constraints: 208810
627.50/629.54 c #Conflicts: 1394000 | #Constraints: 209810
627.50/629.54 c #Conflicts: 1395000 | #Constraints: 210810
627.50/629.54 c #Conflicts: 1396000 | #Constraints: 211810
627.50/629.54 c #Conflicts: 1397000 | #Constraints: 212810
627.50/629.54 c #Conflicts: 1398000 | #Constraints: 213810
627.50/629.54 c #Conflicts: 1399000 | #Constraints: 214810
627.50/629.54 c #Conflicts: 1400000 | #Constraints: 215810
627.50/629.54 c #Conflicts: 1401000 | #Constraints: 216810
627.50/629.54 c #Conflicts: 1402000 | #Constraints: 217810
627.50/629.54 c #Conflicts: 1403000 | #Constraints: 218810
627.50/629.54 c #Conflicts: 1404000 | #Constraints: 219810
627.50/629.54 c #Conflicts: 1405000 | #Constraints: 220810
627.50/629.54 c #Conflicts: 1406000 | #Constraints: 221810
627.50/629.54 c #Conflicts: 1407000 | #Constraints: 222810
627.50/629.54 c #Conflicts: 1408000 | #Constraints: 223810
627.50/629.54 c #Conflicts: 1409000 | #Constraints: 224810
627.50/629.54 c #Conflicts: 1410000 | #Constraints: 225810
627.50/629.54 c #Conflicts: 1411000 | #Constraints: 226810
627.50/629.54 c #Conflicts: 1412000 | #Constraints: 227810
627.50/629.54 c #Conflicts: 1413000 | #Constraints: 228810
627.50/629.54 c #Conflicts: 1414000 | #Constraints: 229810
627.50/629.54 c #Conflicts: 1415000 | #Constraints: 230810
627.50/629.54 c #Conflicts: 1416000 | #Constraints: 231810
627.50/629.54 c #Conflicts: 1417000 | #Constraints: 232810
627.50/629.54 c #Conflicts: 1418000 | #Constraints: 233810
627.50/629.54 c #Conflicts: 1419000 | #Constraints: 234810
627.50/629.54 c #Conflicts: 1420000 | #Constraints: 235810
627.50/629.54 c #Conflicts: 1421000 | #Constraints: 236810
627.50/629.54 c #Conflicts: 1422000 | #Constraints: 237810
627.50/629.54 c #Conflicts: 1423000 | #Constraints: 238810
627.50/629.54 c #Conflicts: 1424000 | #Constraints: 239810
627.50/629.54 c #Conflicts: 1425000 | #Constraints: 240810
627.50/629.54 c #Conflicts: 1426000 | #Constraints: 241810
627.50/629.54 c #Conflicts: 1427000 | #Constraints: 242810
627.50/629.54 c #Conflicts: 1428000 | #Constraints: 243810
627.50/629.54 c #Conflicts: 1429000 | #Constraints: 244810
627.50/629.54 c #Conflicts: 1430000 | #Constraints: 245810
627.50/629.54 c #Conflicts: 1431000 | #Constraints: 246810
627.50/629.54 c #Conflicts: 1432000 | #Constraints: 247810
627.50/629.54 c #Conflicts: 1433000 | #Constraints: 248810
627.50/629.54 c #Conflicts: 1434000 | #Constraints: 249810
627.50/629.54 c #Conflicts: 1435000 | #Constraints: 250810
627.50/629.54 c #Conflicts: 1436000 | #Constraints: 251810
627.50/629.54 c #Conflicts: 1437000 | #Constraints: 252810
627.50/629.54 c #Conflicts: 1438000 | #Constraints: 253810
627.50/629.54 c #Conflicts: 1439000 | #Constraints: 254810
627.50/629.54 c #Conflicts: 1440000 | #Constraints: 255810
627.50/629.54 c #Conflicts: 1441000 | #Constraints: 256810
627.50/629.54 c #Conflicts: 1442000 | #Constraints: 257810
627.50/629.54 c #Conflicts: 1443000 | #Constraints: 258810
627.50/629.54 c #Conflicts: 1444000 | #Constraints: 259810
627.50/629.54 c #Conflicts: 1445000 | #Constraints: 260810
627.50/629.54 c #Conflicts: 1446000 | #Constraints: 261810
627.50/629.54 c #Conflicts: 1447000 | #Constraints: 262810
627.50/629.54 c #Conflicts: 1448000 | #Constraints: 263810
627.50/629.54 c #Conflicts: 1449000 | #Constraints: 264810
627.50/629.54 c #Conflicts: 1450000 | #Constraints: 265810
627.50/629.54 c #Conflicts: 1451000 | #Constraints: 266810
627.50/629.54 c #Conflicts: 1452000 | #Constraints: 267810
627.50/629.54 c #Conflicts: 1453000 | #Constraints: 268810
627.50/629.54 c #Conflicts: 1454000 | #Constraints: 269810
627.50/629.54 c #Conflicts: 1455000 | #Constraints: 270810
627.50/629.54 c #Conflicts: 1456000 | #Constraints: 271810
627.50/629.54 c #Conflicts: 1457000 | #Constraints: 272810
627.50/629.54 c #Conflicts: 1458000 | #Constraints: 273810
627.50/629.54 c INPROCESSING
627.50/629.54 c GARBAGE COLLECT
627.50/629.54 c #Conflicts: 1459000 | #Constraints: 203102
654.41/656.59 c #Conflicts: 1460000 | #Constraints: 204102
654.41/656.59 c #Conflicts: 1461000 | #Constraints: 205102
654.41/656.59 c #Conflicts: 1462000 | #Constraints: 206102
654.41/656.59 c #Conflicts: 1463000 | #Constraints: 207102
654.41/656.59 c #Conflicts: 1464000 | #Constraints: 208102
654.41/656.59 c #Conflicts: 1465000 | #Constraints: 209102
654.41/656.59 c #Conflicts: 1466000 | #Constraints: 210102
654.41/656.59 c #Conflicts: 1467000 | #Constraints: 211102
654.41/656.59 c #Conflicts: 1468000 | #Constraints: 212102
654.41/656.59 c #Conflicts: 1469000 | #Constraints: 213102
654.41/656.59 c #Conflicts: 1470000 | #Constraints: 214102
654.41/656.59 c #Conflicts: 1471000 | #Constraints: 215102
654.41/656.59 c #Conflicts: 1472000 | #Constraints: 216102
654.41/656.59 c #Conflicts: 1473000 | #Constraints: 217102
654.41/656.59 c #Conflicts: 1474000 | #Constraints: 218102
654.41/656.59 c #Conflicts: 1475000 | #Constraints: 219102
654.41/656.59 c #Conflicts: 1476000 | #Constraints: 220102
654.41/656.59 c #Conflicts: 1477000 | #Constraints: 221102
654.41/656.59 c #Conflicts: 1478000 | #Constraints: 222102
654.41/656.59 c #Conflicts: 1479000 | #Constraints: 223102
654.41/656.59 c #Conflicts: 1480000 | #Constraints: 224102
654.41/656.59 c #Conflicts: 1481000 | #Constraints: 225102
654.41/656.59 c #Conflicts: 1482000 | #Constraints: 226102
654.41/656.59 c #Conflicts: 1483000 | #Constraints: 227102
654.41/656.59 c #Conflicts: 1484000 | #Constraints: 228102
654.41/656.59 c #Conflicts: 1485000 | #Constraints: 229102
654.41/656.59 c #Conflicts: 1486000 | #Constraints: 230102
654.41/656.59 c #Conflicts: 1487000 | #Constraints: 231102
654.41/656.59 c #Conflicts: 1488000 | #Constraints: 232102
654.41/656.59 c #Conflicts: 1489000 | #Constraints: 233102
654.41/656.59 c #Conflicts: 1490000 | #Constraints: 234102
654.41/656.59 c #Conflicts: 1491000 | #Constraints: 235102
654.41/656.59 c #Conflicts: 1492000 | #Constraints: 236102
654.41/656.59 c INPROCESSING
654.41/656.59 c GARBAGE COLLECT
654.41/656.59 c #Conflicts: 1493000 | #Constraints: 189417
654.41/656.59 c #Conflicts: 1494000 | #Constraints: 190417
654.41/656.59 c #Conflicts: 1495000 | #Constraints: 191417
654.41/656.59 c #Conflicts: 1496000 | #Constraints: 192417
654.41/656.59 c #Conflicts: 1497000 | #Constraints: 193417
654.41/656.59 c #Conflicts: 1498000 | #Constraints: 194417
654.41/656.59 c #Conflicts: 1499000 | #Constraints: 195417
654.41/656.59 c #Conflicts: 1500000 | #Constraints: 196417
654.41/656.59 c #Conflicts: 1501000 | #Constraints: 197417
654.41/656.59 c #Conflicts: 1502000 | #Constraints: 198417
654.41/656.59 c #Conflicts: 1503000 | #Constraints: 199417
654.41/656.59 c #Conflicts: 1504000 | #Constraints: 200417
654.41/656.59 c #Conflicts: 1505000 | #Constraints: 201417
654.41/656.59 c #Conflicts: 1506000 | #Constraints: 202417
654.41/656.59 c #Conflicts: 1507000 | #Constraints: 203417
654.41/656.59 c #Conflicts: 1508000 | #Constraints: 204417
654.41/656.59 c #Conflicts: 1509000 | #Constraints: 205417
654.41/656.59 c #Conflicts: 1510000 | #Constraints: 206417
654.41/656.59 c #Conflicts: 1511000 | #Constraints: 207417
654.41/656.59 c #Conflicts: 1512000 | #Constraints: 208417
654.41/656.59 c #Conflicts: 1513000 | #Constraints: 209417
654.41/656.59 c #Conflicts: 1514000 | #Constraints: 210417
654.41/656.59 c #Conflicts: 1515000 | #Constraints: 211417
654.41/656.59 c #Conflicts: 1516000 | #Constraints: 212417
654.41/656.59 c #Conflicts: 1517000 | #Constraints: 213417
654.41/656.59 c #Conflicts: 1518000 | #Constraints: 214417
654.41/656.59 c #Conflicts: 1519000 | #Constraints: 215417
654.41/656.59 c #Conflicts: 1520000 | #Constraints: 216417
654.41/656.59 c #Conflicts: 1521000 | #Constraints: 217417
654.41/656.59 c #Conflicts: 1522000 | #Constraints: 218417
654.41/656.59 c #Conflicts: 1523000 | #Constraints: 219417
654.41/656.59 c #Conflicts: 1524000 | #Constraints: 220417
654.41/656.59 c #Conflicts: 1525000 | #Constraints: 221417
654.41/656.59 c #Conflicts: 1526000 | #Constraints: 222417
654.41/656.59 c #Conflicts: 1527000 | #Constraints: 223417
654.41/656.59 c #Conflicts: 1528000 | #Constraints: 224417
654.41/656.59 c #Conflicts: 1529000 | #Constraints: 225417
654.41/656.59 c #Conflicts: 1530000 | #Constraints: 226417
654.41/656.59 c #Conflicts: 1531000 | #Constraints: 227417
654.41/656.59 c #Conflicts: 1532000 | #Constraints: 228417
654.41/656.59 c #Conflicts: 1533000 | #Constraints: 229417
654.41/656.59 c #Conflicts: 1534000 | #Constraints: 230417
654.41/656.59 c #Conflicts: 1535000 | #Constraints: 231417
654.41/656.59 c #Conflicts: 1536000 | #Constraints: 232417
654.41/656.59 c #Conflicts: 1537000 | #Constraints: 233417
675.14/677.31 c #Conflicts: 1538000 | #Constraints: 234417
675.14/677.31 c #Conflicts: 1539000 | #Constraints: 235417
675.14/677.31 c #Conflicts: 1540000 | #Constraints: 236417
675.14/677.31 c #Conflicts: 1541000 | #Constraints: 237417
675.14/677.31 c #Conflicts: 1542000 | #Constraints: 238417
675.14/677.31 c #Conflicts: 1543000 | #Constraints: 239417
675.14/677.31 c #Conflicts: 1544000 | #Constraints: 240417
675.14/677.31 c #Conflicts: 1545000 | #Constraints: 241417
675.14/677.31 c #Conflicts: 1546000 | #Constraints: 242417
675.14/677.31 c #Conflicts: 1547000 | #Constraints: 243417
675.14/677.31 c #Conflicts: 1548000 | #Constraints: 244417
675.14/677.31 c #Conflicts: 1549000 | #Constraints: 245417
675.14/677.31 c #Conflicts: 1550000 | #Constraints: 246417
675.14/677.31 c #Conflicts: 1551000 | #Constraints: 247417
675.14/677.31 c #Conflicts: 1552000 | #Constraints: 248417
675.14/677.31 c #Conflicts: 1553000 | #Constraints: 249417
675.14/677.31 c #Conflicts: 1554000 | #Constraints: 250417
675.14/677.31 c #Conflicts: 1555000 | #Constraints: 251417
675.14/677.31 c #Conflicts: 1556000 | #Constraints: 252417
675.14/677.31 c #Conflicts: 1557000 | #Constraints: 253417
675.14/677.31 c #Conflicts: 1558000 | #Constraints: 254417
675.14/677.31 c #Conflicts: 1559000 | #Constraints: 255417
675.14/677.31 c #Conflicts: 1560000 | #Constraints: 256417
675.14/677.31 c #Conflicts: 1561000 | #Constraints: 257417
675.14/677.31 c #Conflicts: 1562000 | #Constraints: 258417
675.14/677.31 c #Conflicts: 1563000 | #Constraints: 259417
675.14/677.31 c #Conflicts: 1564000 | #Constraints: 260417
675.14/677.31 c #Conflicts: 1565000 | #Constraints: 261417
675.14/677.31 c #Conflicts: 1566000 | #Constraints: 262417
675.14/677.31 c #Conflicts: 1567000 | #Constraints: 263417
675.14/677.31 c #Conflicts: 1568000 | #Constraints: 264417
675.14/677.31 c #Conflicts: 1569000 | #Constraints: 265417
675.14/677.31 c #Conflicts: 1570000 | #Constraints: 266417
675.14/677.31 c #Conflicts: 1571000 | #Constraints: 267417
675.14/677.31 c #Conflicts: 1572000 | #Constraints: 268417
675.14/677.31 c #Conflicts: 1573000 | #Constraints: 269417
675.14/677.31 c #Conflicts: 1574000 | #Constraints: 270417
675.14/677.31 c INPROCESSING
675.14/677.31 c GARBAGE COLLECT
675.14/677.31 c rational objective 538.028
705.85/708.13 c #Conflicts: 1575000 | #Constraints: 207346
705.85/708.13 c #Conflicts: 1576000 | #Constraints: 208346
705.85/708.13 c #Conflicts: 1577000 | #Constraints: 209346
705.85/708.13 c #Conflicts: 1578000 | #Constraints: 210346
705.85/708.13 c #Conflicts: 1579000 | #Constraints: 211346
705.85/708.13 c #Conflicts: 1580000 | #Constraints: 212346
705.85/708.13 c #Conflicts: 1581000 | #Constraints: 213346
705.85/708.13 c #Conflicts: 1582000 | #Constraints: 214346
705.85/708.13 c #Conflicts: 1583000 | #Constraints: 215346
705.85/708.13 c #Conflicts: 1584000 | #Constraints: 216346
705.85/708.13 c #Conflicts: 1585000 | #Constraints: 217346
705.85/708.13 c #Conflicts: 1586000 | #Constraints: 218346
705.85/708.13 c #Conflicts: 1587000 | #Constraints: 219346
705.85/708.13 c #Conflicts: 1588000 | #Constraints: 220346
705.85/708.13 c #Conflicts: 1589000 | #Constraints: 221346
705.85/708.13 c #Conflicts: 1590000 | #Constraints: 222346
705.85/708.13 c #Conflicts: 1591000 | #Constraints: 223346
705.85/708.13 c #Conflicts: 1592000 | #Constraints: 224346
705.85/708.13 c #Conflicts: 1593000 | #Constraints: 225346
705.85/708.13 c #Conflicts: 1594000 | #Constraints: 226346
705.85/708.13 c #Conflicts: 1595000 | #Constraints: 227346
705.85/708.13 c #Conflicts: 1596000 | #Constraints: 228346
705.85/708.13 c #Conflicts: 1597000 | #Constraints: 229346
705.85/708.13 c #Conflicts: 1598000 | #Constraints: 230346
705.85/708.13 c #Conflicts: 1599000 | #Constraints: 231346
705.85/708.13 c #Conflicts: 1600000 | #Constraints: 232346
705.85/708.13 c #Conflicts: 1601000 | #Constraints: 233346
705.85/708.13 c #Conflicts: 1602000 | #Constraints: 234346
705.85/708.13 c #Conflicts: 1603000 | #Constraints: 235346
705.85/708.13 c #Conflicts: 1604000 | #Constraints: 236346
705.85/708.13 c #Conflicts: 1605000 | #Constraints: 237346
705.85/708.13 c #Conflicts: 1606000 | #Constraints: 238346
705.85/708.13 c #Conflicts: 1607000 | #Constraints: 239346
705.85/708.13 c #Conflicts: 1608000 | #Constraints: 240346
705.85/708.13 c #Conflicts: 1609000 | #Constraints: 241346
705.85/708.13 c INPROCESSING
705.85/708.13 c GARBAGE COLLECT
705.85/708.13 c #Conflicts: 1610000 | #Constraints: 192706
705.85/708.13 c #Conflicts: 1611000 | #Constraints: 193706
705.85/708.13 c #Conflicts: 1612000 | #Constraints: 194706
705.85/708.13 c #Conflicts: 1613000 | #Constraints: 195706
705.85/708.13 c #Conflicts: 1614000 | #Constraints: 196706
705.85/708.13 c #Conflicts: 1615000 | #Constraints: 197706
705.85/708.13 c #Conflicts: 1616000 | #Constraints: 198706
705.85/708.13 c #Conflicts: 1617000 | #Constraints: 199706
705.85/708.13 c #Conflicts: 1618000 | #Constraints: 200706
705.85/708.13 c #Conflicts: 1619000 | #Constraints: 201706
705.85/708.13 c #Conflicts: 1620000 | #Constraints: 202706
705.85/708.13 c #Conflicts: 1621000 | #Constraints: 203706
705.85/708.13 c #Conflicts: 1622000 | #Constraints: 204706
705.85/708.13 c #Conflicts: 1623000 | #Constraints: 205706
705.85/708.13 c #Conflicts: 1624000 | #Constraints: 206706
705.85/708.13 c #Conflicts: 1625000 | #Constraints: 207706
705.85/708.13 c #Conflicts: 1626000 | #Constraints: 208706
705.85/708.13 c #Conflicts: 1627000 | #Constraints: 209706
705.85/708.13 c #Conflicts: 1628000 | #Constraints: 210706
705.85/708.13 c #Conflicts: 1629000 | #Constraints: 211706
705.85/708.13 c #Conflicts: 1630000 | #Constraints: 212706
705.85/708.13 c #Conflicts: 1631000 | #Constraints: 213706
705.85/708.13 c #Conflicts: 1632000 | #Constraints: 214706
705.85/708.13 c #Conflicts: 1633000 | #Constraints: 215706
705.85/708.13 c #Conflicts: 1634000 | #Constraints: 216706
705.85/708.13 c #Conflicts: 1635000 | #Constraints: 217706
705.85/708.13 c #Conflicts: 1636000 | #Constraints: 218706
705.85/708.13 c #Conflicts: 1637000 | #Constraints: 219706
705.85/708.13 c #Conflicts: 1638000 | #Constraints: 220706
705.85/708.13 c #Conflicts: 1639000 | #Constraints: 221706
705.85/708.13 c #Conflicts: 1640000 | #Constraints: 222706
705.85/708.13 c #Conflicts: 1641000 | #Constraints: 223706
705.85/708.13 c #Conflicts: 1642000 | #Constraints: 224706
705.85/708.13 c #Conflicts: 1643000 | #Constraints: 225706
705.85/708.13 c #Conflicts: 1644000 | #Constraints: 226706
705.85/708.13 c #Conflicts: 1645000 | #Constraints: 227706
705.85/708.13 c #Conflicts: 1646000 | #Constraints: 228706
705.85/708.13 c #Conflicts: 1647000 | #Constraints: 229706
705.85/708.13 c #Conflicts: 1648000 | #Constraints: 230706
705.85/708.13 c #Conflicts: 1649000 | #Constraints: 231706
705.85/708.13 c #Conflicts: 1650000 | #Constraints: 232706
705.85/708.13 c #Conflicts: 1651000 | #Constraints: 233706
705.85/708.13 c #Conflicts: 1652000 | #Constraints: 234706
705.85/708.13 c #Conflicts: 1653000 | #Constraints: 235706
727.57/729.96 c #Conflicts: 1654000 | #Constraints: 236706
727.57/729.96 c #Conflicts: 1655000 | #Constraints: 237706
727.57/729.96 c #Conflicts: 1656000 | #Constraints: 238706
727.57/729.96 c #Conflicts: 1657000 | #Constraints: 239706
727.57/729.96 c #Conflicts: 1658000 | #Constraints: 240706
727.57/729.96 c #Conflicts: 1659000 | #Constraints: 241706
727.57/729.96 c #Conflicts: 1660000 | #Constraints: 242706
727.57/729.96 c #Conflicts: 1661000 | #Constraints: 243706
727.57/729.96 c #Conflicts: 1662000 | #Constraints: 244706
727.57/729.96 c #Conflicts: 1663000 | #Constraints: 245706
727.57/729.96 c #Conflicts: 1664000 | #Constraints: 246706
727.57/729.96 c #Conflicts: 1665000 | #Constraints: 247706
727.57/729.96 c #Conflicts: 1666000 | #Constraints: 248706
727.57/729.96 c #Conflicts: 1667000 | #Constraints: 249706
727.57/729.96 c #Conflicts: 1668000 | #Constraints: 250706
727.57/729.96 c #Conflicts: 1669000 | #Constraints: 251706
727.57/729.96 c #Conflicts: 1670000 | #Constraints: 252706
727.57/729.96 c #Conflicts: 1671000 | #Constraints: 253706
727.57/729.96 c #Conflicts: 1672000 | #Constraints: 254706
727.57/729.96 c #Conflicts: 1673000 | #Constraints: 255706
727.57/729.96 c #Conflicts: 1674000 | #Constraints: 256706
727.57/729.96 c #Conflicts: 1675000 | #Constraints: 257706
727.57/729.96 c #Conflicts: 1676000 | #Constraints: 258706
727.57/729.96 c #Conflicts: 1677000 | #Constraints: 259706
727.57/729.96 c #Conflicts: 1678000 | #Constraints: 260706
727.57/729.96 c #Conflicts: 1679000 | #Constraints: 261706
727.57/729.96 c #Conflicts: 1680000 | #Constraints: 262706
727.57/729.96 c #Conflicts: 1681000 | #Constraints: 263706
727.57/729.96 c #Conflicts: 1682000 | #Constraints: 264706
727.57/729.96 c #Conflicts: 1683000 | #Constraints: 265706
727.57/729.96 c #Conflicts: 1684000 | #Constraints: 266706
727.57/729.96 c #Conflicts: 1685000 | #Constraints: 267706
727.57/729.96 c #Conflicts: 1686000 | #Constraints: 268706
727.57/729.96 c #Conflicts: 1687000 | #Constraints: 269706
727.57/729.96 c #Conflicts: 1688000 | #Constraints: 270706
727.57/729.96 c #Conflicts: 1689000 | #Constraints: 271706
727.57/729.96 c #Conflicts: 1690000 | #Constraints: 272707
727.57/729.96 c #Conflicts: 1691000 | #Constraints: 273707
727.57/729.96 c #Conflicts: 1692000 | #Constraints: 274707
727.57/729.96 c #Conflicts: 1693000 | #Constraints: 275707
727.57/729.96 c #Conflicts: 1694000 | #Constraints: 276707
727.57/729.96 c INPROCESSING
727.57/729.96 c GARBAGE COLLECT
727.57/729.96 c rational objective 541.942
747.71/750.12 c #Conflicts: 1695000 | #Constraints: 207639
747.71/750.12 c #Conflicts: 1696000 | #Constraints: 208639
747.71/750.12 c #Conflicts: 1697000 | #Constraints: 209639
747.71/750.12 c #Conflicts: 1698000 | #Constraints: 210639
747.71/750.12 c #Conflicts: 1699000 | #Constraints: 211639
747.71/750.12 c #Conflicts: 1700000 | #Constraints: 212639
747.71/750.12 c #Conflicts: 1701000 | #Constraints: 213639
747.71/750.12 c #Conflicts: 1702000 | #Constraints: 214639
747.71/750.12 c #Conflicts: 1703000 | #Constraints: 215639
747.71/750.12 c #Conflicts: 1704000 | #Constraints: 216639
747.71/750.12 c #Conflicts: 1705000 | #Constraints: 217639
747.71/750.12 c #Conflicts: 1706000 | #Constraints: 218639
747.71/750.12 c #Conflicts: 1707000 | #Constraints: 219639
747.71/750.12 c #Conflicts: 1708000 | #Constraints: 220639
747.71/750.12 c #Conflicts: 1709000 | #Constraints: 221639
747.71/750.12 c #Conflicts: 1710000 | #Constraints: 222639
747.71/750.12 c #Conflicts: 1711000 | #Constraints: 223639
747.71/750.12 c #Conflicts: 1712000 | #Constraints: 224639
747.71/750.12 c #Conflicts: 1713000 | #Constraints: 225639
747.71/750.12 c #Conflicts: 1714000 | #Constraints: 226639
747.71/750.12 c #Conflicts: 1715000 | #Constraints: 227639
747.71/750.12 c #Conflicts: 1716000 | #Constraints: 228639
747.71/750.12 c #Conflicts: 1717000 | #Constraints: 229639
747.71/750.12 c #Conflicts: 1718000 | #Constraints: 230639
747.71/750.12 c #Conflicts: 1719000 | #Constraints: 231639
747.71/750.12 c #Conflicts: 1720000 | #Constraints: 232639
747.71/750.12 c #Conflicts: 1721000 | #Constraints: 233639
747.71/750.12 c #Conflicts: 1722000 | #Constraints: 234639
747.71/750.12 c #Conflicts: 1723000 | #Constraints: 235639
747.71/750.12 c #Conflicts: 1724000 | #Constraints: 236639
747.71/750.12 c #Conflicts: 1725000 | #Constraints: 237639
747.71/750.12 c #Conflicts: 1726000 | #Constraints: 238639
747.71/750.12 c cpu time 737.8 s
747.71/750.12 c deterministic time 11054218837 1.11e+10
747.71/750.12 c optimization time 8.3e-05 s
747.71/750.12 c total solve time 736.662 s
747.71/750.12 c core-guided solve time 0 s
747.71/750.12 c propagation time 221.368 s
747.71/750.12 c conflict analysis time 112.691 s
747.71/750.12 c propagations 544833227
747.71/750.12 c resolve steps 35061219
747.71/750.12 c decisions 6733322
747.71/750.12 c conflicts 1726235
747.71/750.12 c restarts 3323
747.71/750.12 c inprocessing phases 55
747.71/750.12 c garbage collections 48 ,( 87.27 )
747.71/750.12 c input clauses 137472 ,( 89.42 )
747.71/750.12 c input cardinalities 563 ,( 0.37 )
747.71/750.12 c input general constraints 15694 ,( 10.21 )
747.71/750.12 c input average constraint length 3.92
747.71/750.12 c input average constraint degree 1.12
747.71/750.12 c learned clauses 1725311 ,( 99.94 )
747.71/750.12 c learned cardinalities 626 ,( 0.04 )
747.71/750.12 c learned general constraints 332 ,( 0.02 )
747.71/750.12 c learned average constraint length 99.87
747.71/750.12 c learned average constraint degree 8740.11
747.71/750.12 c watched CF 32, 64, 128, Arb: 115 , 0 , 0 , 0
747.71/750.12 c counting CF 32, 64, 128, Arb: 15911 , 0 , 0 , 0
747.71/750.12 c watched constraints 115 ,( 0.72 )
747.71/750.12 c counting constraints 15911 ,( 99.28 )
747.71/750.12 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2009544244 , 3038120 , 49902733 ,( 65602 , 49837131 )
747.71/750.12 c gcd simplifications 2706
747.71/750.12 c detected cardinalities 47
747.71/750.12 c weakened non-implied lits 1025054
747.71/750.12 c weakened non-implying lits 4020
747.71/750.12 c original variables 7320
747.71/750.12 c clausal propagations 535326020
747.71/750.12 c cardinality propagations 1421528
747.71/750.12 c watched propagations 2426
747.71/750.12 c counting propagations 6352198
747.71/750.12 c watch lookups 2724427106
747.71/750.12 c watch backjump lookups 0
747.71/750.12 c watch checks 6063908961
747.71/750.12 c propagation checks 666646706
747.71/750.12 c constraint additions 494021790
747.71/750.12 c trail pops 553290746
747.71/750.12 c formula constraints 153729
747.71/750.12 c learned constraints 1726234
747.71/750.12 c bound constraints 0
747.71/750.12 c core-guided constraints 0
747.71/750.12 c encountered formula constraints 21759731
747.71/750.12 c encountered learned constraints 15000299
747.71/750.12 c encountered bound constraints 0
747.71/750.12 c encountered core-guided constraints 0
747.71/750.12 c LP total time 167.859 s
747.71/750.12 c LP solve time 157.53 s
747.71/750.12 c LP constraints added 154183
747.71/750.12 c LP constraints removed 296
747.71/750.12 c LP pivots internal 179958
747.71/750.12 c LP pivots root 177020
747.71/750.12 c LP calls 56
747.71/750.12 c LP optimalities 50
747.71/750.12 c LP no pivot count 0
747.71/750.12 c LP infeasibilities 1
747.71/750.12 c LP valid Farkas constraints 1
747.71/750.12 c LP learned Farkas constraints 0
747.71/750.12 c LP basis resets 0
747.71/750.12 c LP cycling count 0
747.71/750.12 c LP singular count 0
747.71/750.12 c LP no primal count 0
747.71/750.12 c LP no farkas count 0
747.71/750.12 c LP other issue count 0
747.71/750.12 c LP Gomory cuts 34
747.71/750.12 c LP learned cuts 420
747.71/750.12 c LP deleted cuts 296
747.71/750.12 c LP encountered Gomory constraints 27424
747.71/750.12 c LP encountered Farkas constraints 0
747.71/750.12 c LP encountered learned Farkas constraints 0
747.71/750.12 c CG auxiliary variables introduced 0
747.71/750.13 c CG solutions found 0
747.71/750.13 c CG cores constructed 0
747.71/750.13 c CG core cardinality constraints returned 0
747.71/750.13 c CG unit cores 0
747.71/750.13 c CG single cores 0
747.71/750.13 c CG blocks removed during cardinality reduction 0
747.71/750.13 c CG first core best 0
747.71/750.13 c CG decision core best 0
747.71/750.13 c CG core reduction tie 0
747.71/750.13 c CG core degree average 0.00
747.71/750.13 c CG core slack average 0.00
747.71/750.13 c CG core upper bound improvements 0
747.71/750.13 c STR number of successful calls 0
747.71/750.13 c STR number of unsuccessful calls 0
747.71/750.13 c STR number of inconclusive calls 0
747.71/750.13 c STR number of successful attempts 0
747.71/750.13 c STR number of unsuccessful attempts 0
747.71/750.13 c STR number of inconclusive attempts 0
747.71/750.13 c STR average degree increase per successful call inf
747.71/750.13 c STR average degree increase per successful attempt inf
747.71/750.13 c STR total number of conflicts for successful attempts 0
747.71/750.13 c STR total number of conflicts for unsuccessful attempts 0
747.71/750.13 c STR total number of conflicts for inconclusive attempts 0
747.71/750.13 c STR average number of conflicts per successful attempt inf
747.71/750.13 c STR average number of conflicts per unsuccessful attempt inf
747.71/750.13 c STR average number of conflicts per inconclusive attempt inf
747.71/750.13 c AVG.sumWPerc 60.64
747.71/750.13 c bigint constraints 0
747.71/750.13 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: 63794 MiB (62331 MiB free)
memory of node 1: 64507 MiB (62664 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503638-1751171356/watcher-4503638-1751171356 -o /tmp/evaluation-result-4503638-1751171356/solver-4503638-1751171356 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4503638-1751171356.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20336, runsolver pid=20333
[startup+0.100108 s]*
/proc/loadavg: 4.11 3.73 3.51 5/255 20338
/proc/meminfo: memFree=127995272/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=59960 memory=13184 CPUtime=0.09 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 1581 0 0 0 7 2 0 0 20 0 1 0 32814989 61399040 3296 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 14990 3296 1984 1147 0 2417 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64152 KiB
Current children cumulated memory: 16000 KiB
[startup+0.213565 s]*
/proc/loadavg: 4.11 3.73 3.51 5/255 20338
/proc/meminfo: memFree=127995272/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=63848 memory=17588 CPUtime=0.19 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 2798 0 0 0 15 4 0 0 20 0 1 0 32814989 65380352 4397 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 15962 4397 1984 1147 0 3389 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68040 KiB
Current children cumulated memory: 20404 KiB
[startup+0.313387 s]*
/proc/loadavg: 4.11 3.73 3.51 5/255 20338
/proc/meminfo: memFree=127995272/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=67888 memory=21676 CPUtime=0.29 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 3984 0 0 0 22 7 0 0 20 0 1 0 32814989 69517312 5419 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 16972 5419 1984 1147 0 4399 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72080 KiB
Current children cumulated memory: 24492 KiB
[startup+0.70041 s]
/proc/loadavg: 4.11 3.73 3.51 5/255 20338
/proc/meminfo: memFree=127987396/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=81140 memory=36800 CPUtime=0.66 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 7668 0 0 0 48 18 0 0 20 0 1 0 32814989 83087360 9200 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 20285 9200 1984 1147 0 7712 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85332 KiB
Current children cumulated memory: 39616 KiB
[startup+1.50044 s]
/proc/loadavg: 4.11 3.74 3.51 5/255 20338
/proc/meminfo: memFree=127967900/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=342796 memory=229144 CPUtime=1.47 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 24844 0 0 0 110 37 0 0 20 0 1 0 32814989 351023104 57286 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 85699 57286 2240 1147 0 73126 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 346988 KiB
Current children cumulated memory: 231960 KiB
[startup+3.11321 s]
/proc/loadavg: 4.11 3.74 3.51 5/255 20338
/proc/meminfo: memFree=127761116/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=335336 memory=233504 CPUtime=3.07 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 33317 0 0 0 268 39 0 0 20 0 1 0 32814989 343384064 58376 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 83834 58376 2272 1147 0 71261 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 236320 KiB
[startup+6.30062 s]
/proc/loadavg: 4.10 3.74 3.52 5/255 20338
/proc/meminfo: memFree=127771612/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=335336 memory=233504 CPUtime=6.25 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 33321 0 0 0 586 39 0 0 20 0 1 0 32814989 343384064 58376 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 83834 58376 2272 1147 0 71261 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 236320 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 3.74 3.52 5/255 20338
/proc/meminfo: memFree=127780180/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=335336 memory=234528 CPUtime=12.63 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 33525 0 0 0 1217 46 0 0 20 0 1 0 32814989 343384064 58632 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 83834 58632 2336 1147 0 71261 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 237344 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 3.77 3.53 5/255 20338
/proc/meminfo: memFree=127778992/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=335336 memory=237148 CPUtime=25.39 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 33686 0 0 0 2485 54 0 0 20 0 1 0 32814989 343384064 59287 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 83834 59287 2336 1147 0 71261 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 239964 KiB
[startup+51.1134 s]
/proc/loadavg: 4.09 3.79 3.55 5/255 20339
/proc/meminfo: memFree=127794872/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=335336 memory=237276 CPUtime=50.92 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 33722 0 0 0 5020 72 0 0 20 0 1 0 32814989 343384064 59319 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 83834 59319 2336 1147 0 71261 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 240092 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.84 3.58 5/255 20343
/proc/meminfo: memFree=127771056/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=344232 memory=245460 CPUtime=101.95 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 34784 0 0 0 10069 126 0 0 20 0 1 0 32814989 352493568 61365 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 86058 61365 2336 1147 0 73485 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 348424 KiB
Current children cumulated memory: 248276 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.90 3.62 5/255 20345
/proc/meminfo: memFree=127752564/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=367768 memory=260604 CPUtime=161.77 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 37056 0 0 0 15987 190 0 0 20 0 1 0 32814989 376594432 65151 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 91942 65151 2336 1147 0 79369 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 371960 KiB
Current children cumulated memory: 263420 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.94 3.65 5/255 20347
/proc/meminfo: memFree=127720260/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=401580 memory=291468 CPUtime=221.6 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 41190 0 0 0 21888 272 0 0 20 0 1 0 32814989 411217920 72867 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 100395 72867 2368 1147 0 87822 0
Current children cumulated CPU time: 221.6 s
################
# More data... #
################
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 44379 0 0 0 57261 784 0 0 20 0 1 0 32814989 478011392 86155 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 116702 86155 2368 1147 0 104129 0
Current children cumulated CPU time: 580.45 s
Current children cumulated vsize: 471000 KiB
Current children cumulated memory: 347436 KiB
[startup+642.3 s]
/proc/loadavg: 4.06 4.06 3.83 5/255 20366
/proc/meminfo: memFree=127590684/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=471276 memory=355324 CPUtime=640.26 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 45502 0 0 0 63161 865 0 0 20 0 1 0 32814989 482586624 88831 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 117819 88831 2368 1147 0 105246 0
Current children cumulated CPU time: 640.26 s
Current children cumulated vsize: 475468 KiB
Current children cumulated memory: 358140 KiB
[startup+702.3 s]
/proc/loadavg: 4.07 4.06 3.85 5/255 20370
/proc/meminfo: memFree=127560700/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=512916 memory=398916 CPUtime=700.05 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47227 0 0 0 69064 941 0 0 20 0 1 0 32814989 525225984 99729 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 128229 99729 2368 1147 0 115656 0
Current children cumulated CPU time: 700.05 s
Current children cumulated vsize: 517108 KiB
Current children cumulated memory: 401732 KiB
[startup+750.144 s]
# the end of solver process 20336 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=737.82 s, system=9.94333 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 4.12 4.07 3.86 5/255 20371
/proc/meminfo: memFree=127545932/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=512916 memory=398916 CPUtime=714.51 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47228 0 0 0 70488 963 0 0 20 0 1 0 32814989 525225984 99729 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 128229 99729 2368 1147 0 115656 0
Current children cumulated CPU time: 714.51 s
Current children cumulated vsize: 517108 KiB
Current children cumulated memory: 401732 KiB
[startup+729.6 s]
/proc/loadavg: 4.10 4.07 3.86 5/255 20372
/proc/meminfo: memFree=127524188/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=512916 memory=405164 CPUtime=727.27 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47231 0 0 0 71751 976 0 0 20 0 1 0 32814989 525225984 101291 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 128229 101291 2368 1147 0 115656 0
Current children cumulated CPU time: 727.27 s
Current children cumulated vsize: 517108 KiB
Current children cumulated memory: 407980 KiB
[startup+742.4 s]
/proc/loadavg: 4.08 4.06 3.86 5/255 20373
/proc/meminfo: memFree=127507252/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=518004 memory=410184 CPUtime=740.03 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47481 0 0 0 73017 986 0 0 20 0 1 0 32814989 530436096 102546 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 129501 102546 2368 1147 0 116928 0
Current children cumulated CPU time: 740.03 s
Current children cumulated vsize: 522196 KiB
Current children cumulated memory: 413000 KiB
[startup+745.6 s]
/proc/loadavg: 4.08 4.06 3.86 5/255 20373
/proc/meminfo: memFree=127507300/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=518004 memory=410184 CPUtime=743.22 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47481 0 0 0 73333 989 0 0 20 0 1 0 32814989 530436096 102546 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 129501 102546 2368 1147 0 116928 0
Current children cumulated CPU time: 743.22 s
Current children cumulated vsize: 522196 KiB
Current children cumulated memory: 413000 KiB
[startup+747.2 s]
/proc/loadavg: 4.07 4.06 3.86 5/255 20373
/proc/meminfo: memFree=127388896/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=518004 memory=410184 CPUtime=744.82 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47481 0 0 0 73491 991 0 0 20 0 1 0 32814989 530436096 102546 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 129501 102546 2368 1147 0 116928 0
Current children cumulated CPU time: 744.82 s
Current children cumulated vsize: 522196 KiB
Current children cumulated memory: 413000 KiB
[startup+748.8 s]
/proc/loadavg: 4.07 4.06 3.86 5/255 20373
/proc/meminfo: memFree=127388944/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=518004 memory=410184 CPUtime=746.41 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47481 0 0 0 73649 992 0 0 20 0 1 0 32814989 530436096 102546 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 129501 102546 2368 1147 0 116928 0
Current children cumulated CPU time: 746.41 s
Current children cumulated vsize: 522196 KiB
Current children cumulated memory: 413000 KiB
[startup+749.6 s]
/proc/loadavg: 4.07 4.06 3.86 5/255 20373
/proc/meminfo: memFree=127388944/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=518004 memory=410184 CPUtime=747.2 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47481 0 0 0 73728 992 0 0 20 0 1 0 32814989 530436096 102546 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 129501 102546 2368 1147 0 116928 0
Current children cumulated CPU time: 747.2 s
Current children cumulated vsize: 522196 KiB
Current children cumulated memory: 413000 KiB
[startup+750 s]*
/proc/loadavg: 4.07 4.06 3.86 5/255 20373
/proc/meminfo: memFree=127388944/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=518004 memory=410184 CPUtime=747.61 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47481 0 0 0 73769 992 0 0 20 0 1 0 32814989 530436096 102546 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 129501 102546 2368 1147 0 116928 0
Current children cumulated CPU time: 747.61 s
Current children cumulated vsize: 522196 KiB
Current children cumulated memory: 413000 KiB
[startup+750.113 s]
/proc/loadavg: 4.07 4.06 3.86 5/255 20373
/proc/meminfo: memFree=127388944/131382120 swapFree=33010684/33010684
[pid=20336] ppid=20333 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/20336/stat : 20336 (run-dec-ls.sh) S 20333 20336 20058 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32814988 4292608 704 18446744073709551615 94523235254272 94523236148805 140734148856704 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94523236387856 94523236435600 94523256725504 140734148864359 140734148864485 140734148864485 140734148870087 0
/proc/20336/statm: 1048 704 672 219 0 110 0
[pid=20338] ppid=20336 vsize=518004 memory=410184 CPUtime=747.71 cores=5,7
/proc/20338/stat : 20338 (roundingsat) R 20336 20336 20058 0 -1 4194304 47481 0 0 0 73779 992 0 0 20 0 1 0 32814989 530436096 102546 18446744073709551615 4227072 8923433 140725367215456 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18427904 140725367224736 140725367224872 140725367224872 140725367230442 0
/proc/20338/statm: 129501 102546 2368 1147 0 116928 0
Current children cumulated CPU time: 747.71 s
Current children cumulated vsize: 522196 KiB
Current children cumulated memory: 413000 KiB
Child status: 0
Real time (s): 750.144
CPU time (s): 747.763
CPU user time (s): 737.82
CPU system time (s): 9.94333
CPU usage (%): 99.6825
Max. virtual memory (cumulated for all children) (KiB): 522196
Max. memory (cumulated for all children) (KiB): 413000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 737.82
system time used= 9.94333
maximum resident set size= 410184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47710
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= 145
involuntary context switches= 400
# summary of solver processes directly reported to runsolver:
# pid: 20336
# total CPU time (s): 747.763
# total CPU user time (s): 737.82
# total CPU system time (s): 9.94333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51876 second user time and 7.27858 second system time
The end
Begin job on nodeC006 at 2025-06-29 06:29:16
IDJOB=4503638
IDBENCH=155525
IDSOLVER=3353
FILE ID=nodeC006/4503638-1751171356
RUNJOBID= nodeC006-1751170846-20071
SLURM_JOB_ID= 9587530
Free space on /tmp= 432936 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-38.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503638-1751171356/watcher-4503638-1751171356 -o /tmp/evaluation-result-4503638-1751171356/solver-4503638-1751171356 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4503638-1751171356.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e23e458e7baadfd402519ffe94968c6
RANDOM SEED=1001505995
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.625
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.674
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.465
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3543.468
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.042
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.887
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127987080 kB
MemAvailable: 127732152 kB
Buffers: 3280 kB
Cached: 556568 kB
SwapCached: 0 kB
Active: 2474944 kB
Inactive: 308804 kB
Active(anon): 2241860 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 308804 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 64132 kB
Writeback: 4 kB
AnonPages: 2227036 kB
Mapped: 114520 kB
Shmem: 17960 kB
KReclaimable: 85240 kB
Slab: 164044 kB
SReclaimable: 85240 kB
SUnreclaim: 78804 kB
KernelStack: 4112 kB
PageTables: 7660 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2754228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1095680 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432928 MiB
End job on nodeC006 at 2025-06-29 06:41:47