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