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