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