0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 4482 #constraints 8965
0.00/0.06 c rational objective 0
124.23/124.68 c #Conflicts: 1000 | #Constraints: 9965
124.23/124.68 c #Conflicts: 2000 | #Constraints: 10965
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 3000 | #Constraints: 10987
124.23/124.68 c #Conflicts: 4000 | #Constraints: 11987
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 5000 | #Constraints: 11423
124.23/124.68 c #Conflicts: 6000 | #Constraints: 12423
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 7000 | #Constraints: 11447
124.23/124.68 c #Conflicts: 8000 | #Constraints: 12447
124.23/124.68 c #Conflicts: 9000 | #Constraints: 13447
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 10000 | #Constraints: 12161
124.23/124.68 c #Conflicts: 11000 | #Constraints: 13161
124.23/124.68 c #Conflicts: 12000 | #Constraints: 14161
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 13000 | #Constraints: 12638
124.23/124.68 c #Conflicts: 14000 | #Constraints: 13638
124.23/124.68 c #Conflicts: 15000 | #Constraints: 14638
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 16000 | #Constraints: 12886
124.23/124.68 c #Conflicts: 17000 | #Constraints: 13886
124.23/124.68 c #Conflicts: 18000 | #Constraints: 14886
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 19000 | #Constraints: 12911
124.23/124.68 c #Conflicts: 20000 | #Constraints: 13911
124.23/124.68 c #Conflicts: 21000 | #Constraints: 14911
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 22000 | #Constraints: 12742
124.23/124.68 c #Conflicts: 23000 | #Constraints: 13742
124.23/124.68 c #Conflicts: 24000 | #Constraints: 14742
124.23/124.68 c #Conflicts: 25000 | #Constraints: 15742
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 26000 | #Constraints: 13367
124.23/124.68 c #Conflicts: 27000 | #Constraints: 14367
124.23/124.68 c #Conflicts: 28000 | #Constraints: 15367
124.23/124.68 c #Conflicts: 29000 | #Constraints: 16367
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 30000 | #Constraints: 13771
124.23/124.68 c #Conflicts: 31000 | #Constraints: 14771
124.23/124.68 c #Conflicts: 32000 | #Constraints: 15771
124.23/124.68 c #Conflicts: 33000 | #Constraints: 16771
124.23/124.68 c #Conflicts: 34000 | #Constraints: 17771
124.23/124.68 c #Conflicts: 35000 | #Constraints: 18771
124.23/124.68 c #Conflicts: 36000 | #Constraints: 19771
124.23/124.68 c #Conflicts: 37000 | #Constraints: 20771
124.23/124.68 c #Conflicts: 38000 | #Constraints: 21771
124.23/124.68 c #Conflicts: 39000 | #Constraints: 22771
124.23/124.68 c #Conflicts: 40000 | #Constraints: 23771
124.23/124.68 c #Conflicts: 41000 | #Constraints: 24771
124.23/124.68 c #Conflicts: 42000 | #Constraints: 25771
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 43000 | #Constraints: 18079
124.23/124.68 c #Conflicts: 44000 | #Constraints: 19079
124.23/124.68 c #Conflicts: 45000 | #Constraints: 20079
124.23/124.68 c #Conflicts: 46000 | #Constraints: 21079
124.23/124.68 c #Conflicts: 47000 | #Constraints: 22079
124.23/124.68 c #Conflicts: 48000 | #Constraints: 23079
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 49000 | #Constraints: 17177
124.23/124.68 c #Conflicts: 50000 | #Constraints: 18177
124.23/124.68 c #Conflicts: 51000 | #Constraints: 19177
124.23/124.68 c #Conflicts: 52000 | #Constraints: 20177
124.23/124.68 c #Conflicts: 53000 | #Constraints: 21177
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 54000 | #Constraints: 16089
124.23/124.68 c #Conflicts: 55000 | #Constraints: 17089
124.23/124.68 c #Conflicts: 56000 | #Constraints: 18089
124.23/124.68 c #Conflicts: 57000 | #Constraints: 19089
124.23/124.68 c #Conflicts: 58000 | #Constraints: 20089
124.23/124.68 c INPROCESSING
124.23/124.68 c GARBAGE COLLECT
124.23/124.68 c #Conflicts: 59000 | #Constraints: 15315
124.23/124.68 c #Conflicts: 60000 | #Constraints: 16315
124.23/124.68 c #Conflicts: 61000 | #Constraints: 17315
124.23/124.68 c #Conflicts: 62000 | #Constraints: 18315
124.23/124.68 c #Conflicts: 63000 | #Constraints: 19315
124.23/124.68 c #Conflicts: 64000 | #Constraints: 20315
124.23/124.68 c #Conflicts: 65000 | #Constraints: 21315
124.23/124.68 c #Conflicts: 66000 | #Constraints: 22315
124.23/124.68 c #Conflicts: 67000 | #Constraints: 23315
124.23/124.68 c #Conflicts: 68000 | #Constraints: 24315
124.23/124.68 c #Conflicts: 69000 | #Constraints: 25315
124.23/124.68 c #Conflicts: 70000 | #Constraints: 26315
139.28/139.78 c #Conflicts: 71000 | #Constraints: 27315
139.28/139.78 c #Conflicts: 72000 | #Constraints: 28315
139.28/139.78 c #Conflicts: 73000 | #Constraints: 29315
139.28/139.78 c #Conflicts: 74000 | #Constraints: 30315
139.28/139.78 c #Conflicts: 75000 | #Constraints: 31315
139.28/139.78 c #Conflicts: 76000 | #Constraints: 32315
139.28/139.78 c #Conflicts: 77000 | #Constraints: 33315
139.28/139.78 c #Conflicts: 78000 | #Constraints: 34315
139.28/139.78 c INPROCESSING
139.28/139.78 c GARBAGE COLLECT
139.28/139.78 c rational objective 0
293.79/294.70 c #Conflicts: 79000 | #Constraints: 22885
293.79/294.70 c #Conflicts: 80000 | #Constraints: 23885
293.79/294.70 c #Conflicts: 81000 | #Constraints: 24885
293.79/294.70 c #Conflicts: 82000 | #Constraints: 25885
293.79/294.70 c #Conflicts: 83000 | #Constraints: 26885
293.79/294.70 c #Conflicts: 84000 | #Constraints: 27885
293.79/294.70 c INPROCESSING
293.79/294.70 c GARBAGE COLLECT
293.79/294.70 c #Conflicts: 85000 | #Constraints: 19301
293.79/294.70 c #Conflicts: 86000 | #Constraints: 20301
293.79/294.70 c #Conflicts: 87000 | #Constraints: 21301
293.79/294.70 c #Conflicts: 88000 | #Constraints: 22301
293.79/294.70 c #Conflicts: 89000 | #Constraints: 23301
293.79/294.70 c #Conflicts: 90000 | #Constraints: 24301
293.79/294.70 c #Conflicts: 91000 | #Constraints: 25301
293.79/294.70 c INPROCESSING
293.79/294.70 c GARBAGE COLLECT
293.79/294.70 c #Conflicts: 92000 | #Constraints: 17988
293.79/294.70 c #Conflicts: 93000 | #Constraints: 18988
293.79/294.70 c #Conflicts: 94000 | #Constraints: 19988
293.79/294.70 c #Conflicts: 95000 | #Constraints: 20988
293.79/294.70 c #Conflicts: 96000 | #Constraints: 21988
293.79/294.70 c #Conflicts: 97000 | #Constraints: 22988
293.79/294.70 c #Conflicts: 98000 | #Constraints: 23988
293.79/294.70 c #Conflicts: 99000 | #Constraints: 24988
293.79/294.70 c #Conflicts: 100000 | #Constraints: 25988
293.79/294.70 c #Conflicts: 101000 | #Constraints: 26988
293.79/294.70 c #Conflicts: 102000 | #Constraints: 27988
293.79/294.70 c #Conflicts: 103000 | #Constraints: 28988
293.79/294.70 c #Conflicts: 104000 | #Constraints: 29988
293.79/294.70 c #Conflicts: 105000 | #Constraints: 30988
293.79/294.70 c #Conflicts: 106000 | #Constraints: 31988
293.79/294.70 c #Conflicts: 107000 | #Constraints: 32988
293.79/294.70 c #Conflicts: 108000 | #Constraints: 33988
293.79/294.70 c #Conflicts: 109000 | #Constraints: 34988
293.79/294.70 c #Conflicts: 110000 | #Constraints: 35988
293.79/294.70 c #Conflicts: 111000 | #Constraints: 36988
293.79/294.70 c #Conflicts: 112000 | #Constraints: 37988
293.79/294.70 c #Conflicts: 113000 | #Constraints: 38988
293.79/294.70 c #Conflicts: 114000 | #Constraints: 39988
293.79/294.70 c #Conflicts: 115000 | #Constraints: 40988
293.79/294.70 c INPROCESSING
293.79/294.70 c GARBAGE COLLECT
293.79/294.70 c #Conflicts: 116000 | #Constraints: 26145
293.79/294.70 c #Conflicts: 117000 | #Constraints: 27145
293.79/294.70 c #Conflicts: 118000 | #Constraints: 28145
293.79/294.70 c #Conflicts: 119000 | #Constraints: 29145
293.79/294.70 c #Conflicts: 120000 | #Constraints: 30145
293.79/294.70 c #Conflicts: 121000 | #Constraints: 31145
293.79/294.70 c #Conflicts: 122000 | #Constraints: 32145
293.79/294.70 c #Conflicts: 123000 | #Constraints: 33145
293.79/294.70 c INPROCESSING
293.79/294.70 c GARBAGE COLLECT
293.79/294.70 c #Conflicts: 124000 | #Constraints: 22069
293.79/294.70 c #Conflicts: 125000 | #Constraints: 23069
293.79/294.70 c #Conflicts: 126000 | #Constraints: 24069
293.79/294.70 c #Conflicts: 127000 | #Constraints: 25069
293.79/294.70 c #Conflicts: 128000 | #Constraints: 26069
293.79/294.70 c #Conflicts: 129000 | #Constraints: 27069
293.79/294.70 c #Conflicts: 130000 | #Constraints: 28069
293.79/294.70 c #Conflicts: 131000 | #Constraints: 29069
293.79/294.70 c #Conflicts: 132000 | #Constraints: 30069
293.79/294.70 c INPROCESSING
293.79/294.70 c GARBAGE COLLECT
293.79/294.70 c #Conflicts: 133000 | #Constraints: 20807
293.79/294.70 c #Conflicts: 134000 | #Constraints: 21807
293.79/294.70 c #Conflicts: 135000 | #Constraints: 22807
293.79/294.70 c #Conflicts: 136000 | #Constraints: 23807
293.79/294.70 c #Conflicts: 137000 | #Constraints: 24807
293.79/294.70 c #Conflicts: 138000 | #Constraints: 25807
293.79/294.70 c #Conflicts: 139000 | #Constraints: 26807
293.79/294.70 c #Conflicts: 140000 | #Constraints: 27807
293.79/294.70 c #Conflicts: 141000 | #Constraints: 28807
293.79/294.70 c #Conflicts: 142000 | #Constraints: 29807
293.79/294.70 c #Conflicts: 143000 | #Constraints: 30807
293.79/294.70 c #Conflicts: 144000 | #Constraints: 31807
293.79/294.70 c #Conflicts: 145000 | #Constraints: 32807
293.79/294.70 c #Conflicts: 146000 | #Constraints: 33807
293.79/294.70 c #Conflicts: 147000 | #Constraints: 34807
293.79/294.70 c #Conflicts: 148000 | #Constraints: 35807
293.79/294.70 c #Conflicts: 149000 | #Constraints: 36807
293.79/294.70 c #Conflicts: 150000 | #Constraints: 37807
293.79/294.70 c #Conflicts: 151000 | #Constraints: 38807
293.79/294.70 c #Conflicts: 152000 | #Constraints: 39807
293.79/294.70 c #Conflicts: 153000 | #Constraints: 40807
293.79/294.70 c #Conflicts: 154000 | #Constraints: 41807
442.83/444.20 c #Conflicts: 155000 | #Constraints: 42807
442.83/444.20 c #Conflicts: 156000 | #Constraints: 43807
442.83/444.20 c #Conflicts: 157000 | #Constraints: 44807
442.83/444.20 c #Conflicts: 158000 | #Constraints: 45807
442.83/444.20 c #Conflicts: 159000 | #Constraints: 46807
442.83/444.20 c INPROCESSING
442.83/444.20 c GARBAGE COLLECT
442.83/444.20 c #Conflicts: 160000 | #Constraints: 28867
442.83/444.20 c #Conflicts: 161000 | #Constraints: 29867
442.83/444.20 c #Conflicts: 162000 | #Constraints: 30867
442.83/444.20 c #Conflicts: 163000 | #Constraints: 31867
442.83/444.20 c #Conflicts: 164000 | #Constraints: 32867
442.83/444.20 c #Conflicts: 165000 | #Constraints: 33867
442.83/444.20 c #Conflicts: 166000 | #Constraints: 34867
442.83/444.20 c #Conflicts: 167000 | #Constraints: 35867
442.83/444.20 c #Conflicts: 168000 | #Constraints: 36867
442.83/444.20 c #Conflicts: 169000 | #Constraints: 37867
442.83/444.20 c INPROCESSING
442.83/444.20 c GARBAGE COLLECT
442.83/444.20 c #Conflicts: 170000 | #Constraints: 24521
442.83/444.20 c #Conflicts: 171000 | #Constraints: 25521
442.83/444.20 c #Conflicts: 172000 | #Constraints: 26521
442.83/444.20 c #Conflicts: 173000 | #Constraints: 27521
442.83/444.20 c #Conflicts: 174000 | #Constraints: 28521
442.83/444.20 c #Conflicts: 175000 | #Constraints: 29521
442.83/444.20 c #Conflicts: 176000 | #Constraints: 30521
442.83/444.20 c #Conflicts: 177000 | #Constraints: 31521
442.83/444.20 c #Conflicts: 178000 | #Constraints: 32521
442.83/444.20 c #Conflicts: 179000 | #Constraints: 33521
442.83/444.20 c INPROCESSING
442.83/444.20 c GARBAGE COLLECT
442.83/444.20 c #Conflicts: 180000 | #Constraints: 22377
442.83/444.20 c #Conflicts: 181000 | #Constraints: 23377
442.83/444.20 c #Conflicts: 182000 | #Constraints: 24377
442.83/444.20 c #Conflicts: 183000 | #Constraints: 25377
442.83/444.20 c #Conflicts: 184000 | #Constraints: 26377
442.83/444.20 c #Conflicts: 185000 | #Constraints: 27377
442.83/444.20 c #Conflicts: 186000 | #Constraints: 28377
442.83/444.20 c #Conflicts: 187000 | #Constraints: 29377
442.83/444.20 c #Conflicts: 188000 | #Constraints: 30377
442.83/444.20 c #Conflicts: 189000 | #Constraints: 31377
442.83/444.20 c #Conflicts: 190000 | #Constraints: 32377
442.83/444.20 c #Conflicts: 191000 | #Constraints: 33377
442.83/444.20 c #Conflicts: 192000 | #Constraints: 34377
442.83/444.20 c #Conflicts: 193000 | #Constraints: 35377
442.83/444.20 c #Conflicts: 194000 | #Constraints: 36377
442.83/444.20 c #Conflicts: 195000 | #Constraints: 37377
442.83/444.20 c #Conflicts: 196000 | #Constraints: 38377
442.83/444.20 c #Conflicts: 197000 | #Constraints: 39377
442.83/444.20 c #Conflicts: 198000 | #Constraints: 40377
442.83/444.20 c #Conflicts: 199000 | #Constraints: 41377
442.83/444.20 c #Conflicts: 200000 | #Constraints: 42377
442.83/444.20 c #Conflicts: 201000 | #Constraints: 43377
442.83/444.20 c #Conflicts: 202000 | #Constraints: 44377
442.83/444.20 c #Conflicts: 203000 | #Constraints: 45377
442.83/444.20 c #Conflicts: 204000 | #Constraints: 46377
442.83/444.20 c #Conflicts: 205000 | #Constraints: 47377
442.83/444.20 c #Conflicts: 206000 | #Constraints: 48377
442.83/444.20 c #Conflicts: 207000 | #Constraints: 49377
442.83/444.20 c #Conflicts: 208000 | #Constraints: 50377
442.83/444.20 c #Conflicts: 209000 | #Constraints: 51377
442.83/444.20 c #Conflicts: 210000 | #Constraints: 52377
442.83/444.20 c #Conflicts: 211000 | #Constraints: 53377
442.83/444.20 c INPROCESSING
442.83/444.20 c GARBAGE COLLECT
442.83/444.20 c rational objective -1.11799e-13
481.61/483.19 c #Conflicts: 212000 | #Constraints: 32448
481.61/483.19 c #Conflicts: 213000 | #Constraints: 33448
481.61/483.19 c #Conflicts: 214000 | #Constraints: 34448
481.61/483.19 c #Conflicts: 215000 | #Constraints: 35448
481.61/483.19 c #Conflicts: 216000 | #Constraints: 36448
481.61/483.19 c #Conflicts: 217000 | #Constraints: 37448
481.61/483.19 c #Conflicts: 218000 | #Constraints: 38448
481.61/483.19 c #Conflicts: 219000 | #Constraints: 39448
481.61/483.19 c #Conflicts: 220000 | #Constraints: 40448
481.61/483.19 c #Conflicts: 221000 | #Constraints: 41448
481.61/483.19 c #Conflicts: 222000 | #Constraints: 42448
481.61/483.19 c INPROCESSING
481.61/483.19 c GARBAGE COLLECT
481.61/483.19 c #Conflicts: 223000 | #Constraints: 26775
481.61/483.19 c #Conflicts: 224000 | #Constraints: 27775
481.61/483.19 c #Conflicts: 225000 | #Constraints: 28775
481.61/483.19 c #Conflicts: 226000 | #Constraints: 29775
481.61/483.19 c #Conflicts: 227000 | #Constraints: 30775
481.61/483.19 c #Conflicts: 228000 | #Constraints: 31775
481.61/483.19 c #Conflicts: 229000 | #Constraints: 32775
481.61/483.19 c #Conflicts: 230000 | #Constraints: 33775
481.61/483.19 c #Conflicts: 231000 | #Constraints: 34775
481.61/483.19 c #Conflicts: 232000 | #Constraints: 35775
481.61/483.19 c #Conflicts: 233000 | #Constraints: 36775
481.61/483.19 c #Conflicts: 234000 | #Constraints: 37775
481.61/483.19 c INPROCESSING
481.61/483.19 c GARBAGE COLLECT
481.61/483.19 c rational objective -1.11799e-13
565.84/567.67 c #Conflicts: 235000 | #Constraints: 24728
565.84/567.67 c #Conflicts: 236000 | #Constraints: 25728
565.84/567.67 c #Conflicts: 237000 | #Constraints: 26728
565.84/567.67 c #Conflicts: 238000 | #Constraints: 27728
565.84/567.67 c #Conflicts: 239000 | #Constraints: 28728
565.84/567.67 c #Conflicts: 240000 | #Constraints: 29728
565.84/567.67 c #Conflicts: 241000 | #Constraints: 30728
565.84/567.67 c #Conflicts: 242000 | #Constraints: 31728
565.84/567.67 c #Conflicts: 243000 | #Constraints: 32728
565.84/567.67 c #Conflicts: 244000 | #Constraints: 33728
565.84/567.67 c #Conflicts: 245000 | #Constraints: 34728
565.84/567.67 c #Conflicts: 246000 | #Constraints: 35728
565.84/567.67 c #Conflicts: 247000 | #Constraints: 36728
565.84/567.67 c #Conflicts: 248000 | #Constraints: 37728
565.84/567.67 c #Conflicts: 249000 | #Constraints: 38728
565.84/567.67 c #Conflicts: 250000 | #Constraints: 39728
565.84/567.67 c #Conflicts: 251000 | #Constraints: 40728
565.84/567.67 c #Conflicts: 252000 | #Constraints: 41728
565.84/567.67 c #Conflicts: 253000 | #Constraints: 42728
565.84/567.67 c #Conflicts: 254000 | #Constraints: 43728
565.84/567.67 c #Conflicts: 255000 | #Constraints: 44728
565.84/567.67 c #Conflicts: 256000 | #Constraints: 45728
565.84/567.67 c #Conflicts: 257000 | #Constraints: 46728
565.84/567.67 c #Conflicts: 258000 | #Constraints: 47728
565.84/567.67 c #Conflicts: 259000 | #Constraints: 48728
565.84/567.67 c #Conflicts: 260000 | #Constraints: 49728
565.84/567.67 c #Conflicts: 261000 | #Constraints: 50728
565.84/567.67 c #Conflicts: 262000 | #Constraints: 51728
565.84/567.67 c #Conflicts: 263000 | #Constraints: 52728
565.84/567.67 c #Conflicts: 264000 | #Constraints: 53728
565.84/567.67 c #Conflicts: 265000 | #Constraints: 54728
565.84/567.67 c #Conflicts: 266000 | #Constraints: 55728
565.84/567.67 c #Conflicts: 267000 | #Constraints: 56728
565.84/567.67 c #Conflicts: 268000 | #Constraints: 57728
565.84/567.67 c #Conflicts: 269000 | #Constraints: 58728
565.84/567.67 c #Conflicts: 270000 | #Constraints: 59728
565.84/567.67 c INPROCESSING
565.84/567.67 c GARBAGE COLLECT
565.84/567.67 c rational objective -1.11799e-13
784.47/786.89 c #Conflicts: 271000 | #Constraints: 35714
784.47/786.89 c #Conflicts: 272000 | #Constraints: 36714
784.47/786.89 c #Conflicts: 273000 | #Constraints: 37714
784.47/786.89 c #Conflicts: 274000 | #Constraints: 38714
784.47/786.89 c #Conflicts: 275000 | #Constraints: 39714
784.47/786.89 c #Conflicts: 276000 | #Constraints: 40714
784.47/786.89 c #Conflicts: 277000 | #Constraints: 41714
784.47/786.89 c #Conflicts: 278000 | #Constraints: 42714
784.47/786.89 c #Conflicts: 279000 | #Constraints: 43714
784.47/786.89 c #Conflicts: 280000 | #Constraints: 44714
784.47/786.89 c #Conflicts: 281000 | #Constraints: 45714
784.47/786.89 c #Conflicts: 282000 | #Constraints: 46714
784.47/786.89 c INPROCESSING
784.47/786.89 c GARBAGE COLLECT
784.47/786.89 c #Conflicts: 283000 | #Constraints: 28833
784.47/786.89 c #Conflicts: 284000 | #Constraints: 29833
784.47/786.89 c #Conflicts: 285000 | #Constraints: 30833
784.47/786.89 c #Conflicts: 286000 | #Constraints: 31833
784.47/786.89 c #Conflicts: 287000 | #Constraints: 32833
784.47/786.89 c #Conflicts: 288000 | #Constraints: 33833
784.47/786.89 c #Conflicts: 289000 | #Constraints: 34833
784.47/786.89 c #Conflicts: 290000 | #Constraints: 35833
784.47/786.89 c #Conflicts: 291000 | #Constraints: 36833
784.47/786.89 c #Conflicts: 292000 | #Constraints: 37833
784.47/786.89 c #Conflicts: 293000 | #Constraints: 38833
784.47/786.89 c #Conflicts: 294000 | #Constraints: 39833
784.47/786.89 c #Conflicts: 295000 | #Constraints: 40833
784.47/786.89 c INPROCESSING
784.47/786.89 c GARBAGE COLLECT
784.47/786.89 c #Conflicts: 296000 | #Constraints: 25897
784.47/786.89 c #Conflicts: 297000 | #Constraints: 26897
784.47/786.89 c #Conflicts: 298000 | #Constraints: 27897
784.47/786.89 c #Conflicts: 299000 | #Constraints: 28897
784.47/786.89 c #Conflicts: 300000 | #Constraints: 29897
784.47/786.89 c #Conflicts: 301000 | #Constraints: 30897
784.47/786.89 c #Conflicts: 302000 | #Constraints: 31897
784.47/786.89 c #Conflicts: 303000 | #Constraints: 32897
784.47/786.89 c #Conflicts: 304000 | #Constraints: 33897
784.47/786.89 c #Conflicts: 305000 | #Constraints: 34897
784.47/786.89 c #Conflicts: 306000 | #Constraints: 35897
784.47/786.89 c #Conflicts: 307000 | #Constraints: 36897
784.47/786.89 c #Conflicts: 308000 | #Constraints: 37897
784.47/786.89 c #Conflicts: 309000 | #Constraints: 38897
784.47/786.89 c #Conflicts: 310000 | #Constraints: 39897
784.47/786.89 c #Conflicts: 311000 | #Constraints: 40897
784.47/786.89 c #Conflicts: 312000 | #Constraints: 41897
784.47/786.89 c #Conflicts: 313000 | #Constraints: 42897
784.47/786.89 c #Conflicts: 314000 | #Constraints: 43897
784.47/786.89 c #Conflicts: 315000 | #Constraints: 44897
784.47/786.89 c #Conflicts: 316000 | #Constraints: 45897
784.47/786.89 c #Conflicts: 317000 | #Constraints: 46897
784.47/786.89 c #Conflicts: 318000 | #Constraints: 47897
784.47/786.89 c #Conflicts: 319000 | #Constraints: 48897
784.47/786.89 c #Conflicts: 320000 | #Constraints: 49897
784.47/786.89 c #Conflicts: 321000 | #Constraints: 50897
784.47/786.89 c #Conflicts: 322000 | #Constraints: 51897
784.47/786.89 c #Conflicts: 323000 | #Constraints: 52897
784.47/786.89 c #Conflicts: 324000 | #Constraints: 53897
784.47/786.89 c #Conflicts: 325000 | #Constraints: 54897
784.47/786.89 c #Conflicts: 326000 | #Constraints: 55897
784.47/786.89 c #Conflicts: 327000 | #Constraints: 56897
784.47/786.89 c #Conflicts: 328000 | #Constraints: 57897
784.47/786.89 c #Conflicts: 329000 | #Constraints: 58897
784.47/786.89 c #Conflicts: 330000 | #Constraints: 59897
784.47/786.89 c #Conflicts: 331000 | #Constraints: 60897
784.47/786.89 c #Conflicts: 332000 | #Constraints: 61897
784.47/786.89 c #Conflicts: 333000 | #Constraints: 62897
784.47/786.89 c #Conflicts: 334000 | #Constraints: 63897
784.47/786.89 c #Conflicts: 335000 | #Constraints: 64897
784.47/786.89 c #Conflicts: 336000 | #Constraints: 65898
784.47/786.89 c INPROCESSING
784.47/786.89 c GARBAGE COLLECT
784.47/786.89 c #Conflicts: 337000 | #Constraints: 38847
784.47/786.89 c #Conflicts: 338000 | #Constraints: 39847
784.47/786.89 c #Conflicts: 339000 | #Constraints: 40847
784.47/786.89 c #Conflicts: 340000 | #Constraints: 41847
784.47/786.89 c #Conflicts: 341000 | #Constraints: 42847
784.47/786.89 c #Conflicts: 342000 | #Constraints: 43847
784.47/786.89 c #Conflicts: 343000 | #Constraints: 44847
784.47/786.89 c #Conflicts: 344000 | #Constraints: 45847
784.47/786.89 c #Conflicts: 345000 | #Constraints: 46847
784.47/786.89 c #Conflicts: 346000 | #Constraints: 47847
784.47/786.89 c #Conflicts: 347000 | #Constraints: 48847
945.94/948.79 c #Conflicts: 348000 | #Constraints: 49847
945.94/948.79 c #Conflicts: 349000 | #Constraints: 50847
945.94/948.79 c #Conflicts: 350000 | #Constraints: 51847
945.94/948.79 c INPROCESSING
945.94/948.79 c GARBAGE COLLECT
945.94/948.79 c #Conflicts: 351000 | #Constraints: 31718
945.94/948.79 c #Conflicts: 352000 | #Constraints: 32718
945.94/948.79 c #Conflicts: 353000 | #Constraints: 33718
945.94/948.79 c #Conflicts: 354000 | #Constraints: 34718
945.94/948.79 c #Conflicts: 355000 | #Constraints: 35718
945.94/948.79 c #Conflicts: 356000 | #Constraints: 36718
945.94/948.79 c #Conflicts: 357000 | #Constraints: 37718
945.94/948.79 c #Conflicts: 358000 | #Constraints: 38718
945.94/948.79 c #Conflicts: 359000 | #Constraints: 39718
945.94/948.79 c #Conflicts: 360000 | #Constraints: 40718
945.94/948.79 c #Conflicts: 361000 | #Constraints: 41718
945.94/948.79 c #Conflicts: 362000 | #Constraints: 42718
945.94/948.79 c #Conflicts: 363000 | #Constraints: 43718
945.94/948.79 c #Conflicts: 364000 | #Constraints: 44718
945.94/948.79 c INPROCESSING
945.94/948.79 c GARBAGE COLLECT
945.94/948.79 c #Conflicts: 365000 | #Constraints: 27934
945.94/948.79 c #Conflicts: 366000 | #Constraints: 28934
945.94/948.79 c #Conflicts: 367000 | #Constraints: 29934
945.94/948.79 c #Conflicts: 368000 | #Constraints: 30934
945.94/948.79 c #Conflicts: 369000 | #Constraints: 31934
945.94/948.79 c #Conflicts: 370000 | #Constraints: 32934
945.94/948.79 c #Conflicts: 371000 | #Constraints: 33934
945.94/948.79 c #Conflicts: 372000 | #Constraints: 34934
945.94/948.79 c #Conflicts: 373000 | #Constraints: 35934
945.94/948.79 c #Conflicts: 374000 | #Constraints: 36934
945.94/948.79 c #Conflicts: 375000 | #Constraints: 37934
945.94/948.79 c #Conflicts: 376000 | #Constraints: 38934
945.94/948.79 c #Conflicts: 377000 | #Constraints: 39934
945.94/948.79 c #Conflicts: 378000 | #Constraints: 40934
945.94/948.79 c #Conflicts: 379000 | #Constraints: 41934
945.94/948.79 c #Conflicts: 380000 | #Constraints: 42934
945.94/948.79 c #Conflicts: 381000 | #Constraints: 43934
945.94/948.79 c #Conflicts: 382000 | #Constraints: 44934
945.94/948.79 c #Conflicts: 383000 | #Constraints: 45934
945.94/948.79 c #Conflicts: 384000 | #Constraints: 46934
945.94/948.79 c #Conflicts: 385000 | #Constraints: 47934
945.94/948.79 c #Conflicts: 386000 | #Constraints: 48934
945.94/948.79 c #Conflicts: 387000 | #Constraints: 49934
945.94/948.79 c #Conflicts: 388000 | #Constraints: 50934
945.94/948.79 c #Conflicts: 389000 | #Constraints: 51934
945.94/948.79 c #Conflicts: 390000 | #Constraints: 52934
945.94/948.79 c #Conflicts: 391000 | #Constraints: 53934
945.94/948.79 c #Conflicts: 392000 | #Constraints: 54934
945.94/948.79 c #Conflicts: 393000 | #Constraints: 55934
945.94/948.79 c #Conflicts: 394000 | #Constraints: 56934
945.94/948.79 c #Conflicts: 395000 | #Constraints: 57934
945.94/948.79 c #Conflicts: 396000 | #Constraints: 58934
945.94/948.79 c #Conflicts: 397000 | #Constraints: 59934
945.94/948.79 c #Conflicts: 398000 | #Constraints: 60934
945.94/948.79 c #Conflicts: 399000 | #Constraints: 61934
945.94/948.79 c #Conflicts: 400000 | #Constraints: 62934
945.94/948.79 c #Conflicts: 401000 | #Constraints: 63934
945.94/948.79 c #Conflicts: 402000 | #Constraints: 64934
945.94/948.79 c #Conflicts: 403000 | #Constraints: 65934
945.94/948.79 c #Conflicts: 404000 | #Constraints: 66934
945.94/948.79 c #Conflicts: 405000 | #Constraints: 67934
945.94/948.79 c #Conflicts: 406000 | #Constraints: 68934
945.94/948.79 c #Conflicts: 407000 | #Constraints: 69934
945.94/948.79 c #Conflicts: 408000 | #Constraints: 70934
945.94/948.79 c #Conflicts: 409000 | #Constraints: 71934
945.94/948.79 c INPROCESSING
945.94/948.79 c GARBAGE COLLECT
945.94/948.79 c rational objective -2.23599e-13
1239.39/1242.95 c #Conflicts: 410000 | #Constraints: 41784
1239.39/1242.95 c #Conflicts: 411000 | #Constraints: 42784
1239.39/1242.95 c #Conflicts: 412000 | #Constraints: 43784
1239.39/1242.95 c #Conflicts: 413000 | #Constraints: 44784
1239.39/1242.95 c #Conflicts: 414000 | #Constraints: 45784
1239.39/1242.95 c #Conflicts: 415000 | #Constraints: 46784
1239.39/1242.95 c #Conflicts: 416000 | #Constraints: 47784
1239.39/1242.95 c #Conflicts: 417000 | #Constraints: 48784
1239.39/1242.95 c #Conflicts: 418000 | #Constraints: 49784
1239.39/1242.95 c #Conflicts: 419000 | #Constraints: 50784
1239.39/1242.95 c #Conflicts: 420000 | #Constraints: 51784
1239.39/1242.95 c #Conflicts: 421000 | #Constraints: 52784
1239.39/1242.95 c #Conflicts: 422000 | #Constraints: 53784
1239.39/1242.95 c #Conflicts: 423000 | #Constraints: 54784
1239.39/1242.95 c #Conflicts: 424000 | #Constraints: 55784
1239.39/1242.95 c #Conflicts: 425000 | #Constraints: 56784
1239.39/1242.95 c INPROCESSING
1239.39/1242.95 c GARBAGE COLLECT
1239.39/1242.95 c #Conflicts: 426000 | #Constraints: 34344
1239.39/1242.95 c #Conflicts: 427000 | #Constraints: 35344
1239.39/1242.95 c #Conflicts: 428000 | #Constraints: 36344
1239.39/1242.95 c #Conflicts: 429000 | #Constraints: 37344
1239.39/1242.95 c #Conflicts: 430000 | #Constraints: 38344
1239.39/1242.95 c #Conflicts: 431000 | #Constraints: 39344
1239.39/1242.95 c #Conflicts: 432000 | #Constraints: 40344
1239.39/1242.95 c #Conflicts: 433000 | #Constraints: 41344
1239.39/1242.95 c #Conflicts: 434000 | #Constraints: 42344
1239.39/1242.95 c #Conflicts: 435000 | #Constraints: 43344
1239.39/1242.95 c #Conflicts: 436000 | #Constraints: 44344
1239.39/1242.95 c #Conflicts: 437000 | #Constraints: 45344
1239.39/1242.95 c #Conflicts: 438000 | #Constraints: 46344
1239.39/1242.95 c #Conflicts: 439000 | #Constraints: 47344
1239.39/1242.95 c #Conflicts: 440000 | #Constraints: 48344
1239.39/1242.95 c #Conflicts: 441000 | #Constraints: 49344
1239.39/1242.95 c INPROCESSING
1239.39/1242.95 c GARBAGE COLLECT
1239.39/1242.95 c #Conflicts: 442000 | #Constraints: 30664
1239.39/1242.95 c #Conflicts: 443000 | #Constraints: 31664
1239.39/1242.95 c #Conflicts: 444000 | #Constraints: 32664
1239.39/1242.95 c #Conflicts: 445000 | #Constraints: 33664
1239.39/1242.95 c #Conflicts: 446000 | #Constraints: 34664
1239.39/1242.95 c #Conflicts: 447000 | #Constraints: 35664
1239.39/1242.95 c #Conflicts: 448000 | #Constraints: 36664
1239.39/1242.95 c #Conflicts: 449000 | #Constraints: 37664
1239.39/1242.95 c #Conflicts: 450000 | #Constraints: 38664
1239.39/1242.95 c #Conflicts: 451000 | #Constraints: 39664
1239.39/1242.95 c #Conflicts: 452000 | #Constraints: 40664
1239.39/1242.95 c #Conflicts: 453000 | #Constraints: 41664
1239.39/1242.95 c #Conflicts: 454000 | #Constraints: 42664
1239.39/1242.95 c #Conflicts: 455000 | #Constraints: 43664
1239.39/1242.95 c #Conflicts: 456000 | #Constraints: 44664
1239.39/1242.95 c #Conflicts: 457000 | #Constraints: 45664
1239.39/1242.95 c #Conflicts: 458000 | #Constraints: 46664
1239.39/1242.95 c #Conflicts: 459000 | #Constraints: 47664
1239.39/1242.95 c #Conflicts: 460000 | #Constraints: 48664
1239.39/1242.95 c #Conflicts: 461000 | #Constraints: 49664
1239.39/1242.95 c #Conflicts: 462000 | #Constraints: 50664
1239.39/1242.95 c #Conflicts: 463000 | #Constraints: 51664
1239.39/1242.95 c #Conflicts: 464000 | #Constraints: 52664
1239.39/1242.95 c #Conflicts: 465000 | #Constraints: 53664
1239.39/1242.95 c #Conflicts: 466000 | #Constraints: 54664
1239.39/1242.95 c #Conflicts: 467000 | #Constraints: 55664
1239.39/1242.95 c #Conflicts: 468000 | #Constraints: 56664
1239.39/1242.95 c #Conflicts: 469000 | #Constraints: 57664
1239.39/1242.95 c #Conflicts: 470000 | #Constraints: 58664
1239.39/1242.95 c #Conflicts: 471000 | #Constraints: 59664
1239.39/1242.95 c #Conflicts: 472000 | #Constraints: 60664
1239.39/1242.95 c #Conflicts: 473000 | #Constraints: 61664
1239.39/1242.95 c #Conflicts: 474000 | #Constraints: 62664
1239.39/1242.95 c #Conflicts: 475000 | #Constraints: 63664
1239.39/1242.95 c #Conflicts: 476000 | #Constraints: 64664
1239.39/1242.95 c #Conflicts: 477000 | #Constraints: 65664
1239.39/1242.95 c #Conflicts: 478000 | #Constraints: 66664
1239.39/1242.95 c #Conflicts: 479000 | #Constraints: 67665
1239.39/1242.95 c #Conflicts: 480000 | #Constraints: 68665
1239.39/1242.95 c #Conflicts: 481000 | #Constraints: 69665
1239.39/1242.95 c #Conflicts: 482000 | #Constraints: 70665
1239.39/1242.95 c #Conflicts: 483000 | #Constraints: 71665
1239.39/1242.95 c #Conflicts: 484000 | #Constraints: 72665
1239.39/1242.95 c #Conflicts: 485000 | #Constraints: 73665
1239.39/1242.95 c #Conflicts: 486000 | #Constraints: 74665
1239.39/1242.95 c #Conflicts: 487000 | #Constraints: 75665
1252.65/1256.22 c #Conflicts: 488000 | #Constraints: 76665
1252.65/1256.22 c #Conflicts: 489000 | #Constraints: 77665
1252.65/1256.22 c INPROCESSING
1252.65/1256.22 c GARBAGE COLLECT
1252.65/1256.22 c rational objective -2.23599e-13
1471.99/1476.15 c #Conflicts: 490000 | #Constraints: 44484
1471.99/1476.15 c #Conflicts: 491000 | #Constraints: 45484
1471.99/1476.15 c #Conflicts: 492000 | #Constraints: 46484
1471.99/1476.15 c #Conflicts: 493000 | #Constraints: 47484
1471.99/1476.15 c #Conflicts: 494000 | #Constraints: 48484
1471.99/1476.15 c #Conflicts: 495000 | #Constraints: 49484
1471.99/1476.15 c #Conflicts: 496000 | #Constraints: 50484
1471.99/1476.15 c #Conflicts: 497000 | #Constraints: 51484
1471.99/1476.15 c #Conflicts: 498000 | #Constraints: 52484
1471.99/1476.15 c #Conflicts: 499000 | #Constraints: 53484
1471.99/1476.15 c #Conflicts: 500000 | #Constraints: 54484
1471.99/1476.15 c #Conflicts: 501000 | #Constraints: 55484
1471.99/1476.15 c #Conflicts: 502000 | #Constraints: 56484
1471.99/1476.15 c #Conflicts: 503000 | #Constraints: 57484
1471.99/1476.15 c #Conflicts: 504000 | #Constraints: 58484
1471.99/1476.15 c #Conflicts: 505000 | #Constraints: 59484
1471.99/1476.15 c #Conflicts: 506000 | #Constraints: 60484
1471.99/1476.15 c INPROCESSING
1471.99/1476.15 c GARBAGE COLLECT
1471.99/1476.15 c #Conflicts: 507000 | #Constraints: 35630
1471.99/1476.15 c #Conflicts: 508000 | #Constraints: 36630
1471.99/1476.15 c #Conflicts: 509000 | #Constraints: 37630
1471.99/1476.15 c #Conflicts: 510000 | #Constraints: 38631
1471.99/1476.15 c #Conflicts: 511000 | #Constraints: 39631
1471.99/1476.15 c #Conflicts: 512000 | #Constraints: 40631
1471.99/1476.15 c #Conflicts: 513000 | #Constraints: 41631
1471.99/1476.15 c #Conflicts: 514000 | #Constraints: 42631
1471.99/1476.15 c #Conflicts: 515000 | #Constraints: 43631
1471.99/1476.15 c #Conflicts: 516000 | #Constraints: 44631
1471.99/1476.15 c #Conflicts: 517000 | #Constraints: 45631
1471.99/1476.15 c #Conflicts: 518000 | #Constraints: 46631
1471.99/1476.15 c #Conflicts: 519000 | #Constraints: 47631
1471.99/1476.15 c #Conflicts: 520000 | #Constraints: 48631
1471.99/1476.15 c #Conflicts: 521000 | #Constraints: 49631
1471.99/1476.15 c #Conflicts: 522000 | #Constraints: 50631
1471.99/1476.15 c #Conflicts: 523000 | #Constraints: 51631
1471.99/1476.15 c #Conflicts: 524000 | #Constraints: 52631
1471.99/1476.15 c INPROCESSING
1471.99/1476.15 c GARBAGE COLLECT
1471.99/1476.15 c #Conflicts: 525000 | #Constraints: 32052
1471.99/1476.15 c #Conflicts: 526000 | #Constraints: 33052
1471.99/1476.15 c #Conflicts: 527000 | #Constraints: 34052
1471.99/1476.15 c #Conflicts: 528000 | #Constraints: 35052
1471.99/1476.15 c #Conflicts: 529000 | #Constraints: 36052
1471.99/1476.15 c #Conflicts: 530000 | #Constraints: 37052
1471.99/1476.15 c #Conflicts: 531000 | #Constraints: 38052
1471.99/1476.15 c #Conflicts: 532000 | #Constraints: 39052
1471.99/1476.15 c #Conflicts: 533000 | #Constraints: 40052
1471.99/1476.15 c #Conflicts: 534000 | #Constraints: 41052
1471.99/1476.15 c #Conflicts: 535000 | #Constraints: 42052
1471.99/1476.15 c #Conflicts: 536000 | #Constraints: 43052
1471.99/1476.15 c #Conflicts: 537000 | #Constraints: 44052
1471.99/1476.15 c #Conflicts: 538000 | #Constraints: 45052
1471.99/1476.15 c #Conflicts: 539000 | #Constraints: 46052
1471.99/1476.15 c #Conflicts: 540000 | #Constraints: 47052
1471.99/1476.15 c #Conflicts: 541000 | #Constraints: 48052
1471.99/1476.15 c #Conflicts: 542000 | #Constraints: 49052
1471.99/1476.15 c #Conflicts: 543000 | #Constraints: 50052
1471.99/1476.15 c #Conflicts: 544000 | #Constraints: 51052
1471.99/1476.15 c #Conflicts: 545000 | #Constraints: 52052
1471.99/1476.15 c #Conflicts: 546000 | #Constraints: 53052
1471.99/1476.15 c #Conflicts: 547000 | #Constraints: 54052
1471.99/1476.15 c #Conflicts: 548000 | #Constraints: 55052
1471.99/1476.15 c #Conflicts: 549000 | #Constraints: 56052
1471.99/1476.15 c #Conflicts: 550000 | #Constraints: 57052
1471.99/1476.15 c #Conflicts: 551000 | #Constraints: 58052
1471.99/1476.15 c #Conflicts: 552000 | #Constraints: 59052
1471.99/1476.15 c #Conflicts: 553000 | #Constraints: 60052
1471.99/1476.15 c #Conflicts: 554000 | #Constraints: 61052
1471.99/1476.15 c #Conflicts: 555000 | #Constraints: 62052
1471.99/1476.15 c #Conflicts: 556000 | #Constraints: 63052
1471.99/1476.15 c #Conflicts: 557000 | #Constraints: 64052
1471.99/1476.15 c #Conflicts: 558000 | #Constraints: 65052
1471.99/1476.15 c #Conflicts: 559000 | #Constraints: 66052
1471.99/1476.15 c #Conflicts: 560000 | #Constraints: 67052
1471.99/1476.15 c #Conflicts: 561000 | #Constraints: 68052
1471.99/1476.15 c #Conflicts: 562000 | #Constraints: 69052
1471.99/1476.15 c #Conflicts: 563000 | #Constraints: 70052
1471.99/1476.15 c #Conflicts: 564000 | #Constraints: 71052
1471.99/1476.15 c #Conflicts: 565000 | #Constraints: 72052
1471.99/1476.15 c #Conflicts: 566000 | #Constraints: 73052
1471.99/1476.15 c #Conflicts: 567000 | #Constraints: 74052
1511.28/1515.52 c #Conflicts: 568000 | #Constraints: 75052
1511.28/1515.52 c #Conflicts: 569000 | #Constraints: 76052
1511.28/1515.52 c #Conflicts: 570000 | #Constraints: 77052
1511.28/1515.52 c #Conflicts: 571000 | #Constraints: 78052
1511.28/1515.52 c #Conflicts: 572000 | #Constraints: 79052
1511.28/1515.52 c #Conflicts: 573000 | #Constraints: 80052
1511.28/1515.52 c #Conflicts: 574000 | #Constraints: 81052
1511.28/1515.52 c #Conflicts: 575000 | #Constraints: 82052
1511.28/1515.52 c #Conflicts: 576000 | #Constraints: 83052
1511.28/1515.52 c #Conflicts: 577000 | #Constraints: 84052
1511.28/1515.52 c INPROCESSING
1511.28/1515.52 c GARBAGE COLLECT
1511.28/1515.52 c rational objective 1.11799e-13
1616.31/1620.82 c #Conflicts: 578000 | #Constraints: 47883
1616.31/1620.82 c #Conflicts: 579000 | #Constraints: 48883
1616.31/1620.82 c #Conflicts: 580000 | #Constraints: 49883
1616.31/1620.82 c #Conflicts: 581000 | #Constraints: 50883
1616.31/1620.82 c #Conflicts: 582000 | #Constraints: 51883
1616.31/1620.82 c #Conflicts: 583000 | #Constraints: 52883
1616.31/1620.82 c #Conflicts: 584000 | #Constraints: 53883
1616.31/1620.82 c #Conflicts: 585000 | #Constraints: 54883
1616.31/1620.82 c #Conflicts: 586000 | #Constraints: 55883
1616.31/1620.82 c #Conflicts: 587000 | #Constraints: 56883
1616.31/1620.82 c #Conflicts: 588000 | #Constraints: 57883
1616.31/1620.82 c #Conflicts: 589000 | #Constraints: 58883
1616.31/1620.82 c #Conflicts: 590000 | #Constraints: 59883
1616.31/1620.82 c #Conflicts: 591000 | #Constraints: 60883
1616.31/1620.82 c #Conflicts: 592000 | #Constraints: 61883
1616.31/1620.82 c #Conflicts: 593000 | #Constraints: 62883
1616.31/1620.82 c #Conflicts: 594000 | #Constraints: 63883
1616.31/1620.82 c #Conflicts: 595000 | #Constraints: 64883
1616.31/1620.82 c #Conflicts: 596000 | #Constraints: 65883
1616.31/1620.82 c INPROCESSING
1616.31/1620.82 c GARBAGE COLLECT
1616.31/1620.82 c #Conflicts: 597000 | #Constraints: 38907
1616.31/1620.82 c #Conflicts: 598000 | #Constraints: 39907
1616.31/1620.82 c #Conflicts: 599000 | #Constraints: 40907
1616.31/1620.82 c #Conflicts: 600000 | #Constraints: 41907
1616.31/1620.82 c #Conflicts: 601000 | #Constraints: 42907
1616.31/1620.82 c #Conflicts: 602000 | #Constraints: 43907
1616.31/1620.82 c #Conflicts: 603000 | #Constraints: 44907
1616.31/1620.82 c #Conflicts: 604000 | #Constraints: 45907
1616.31/1620.82 c #Conflicts: 605000 | #Constraints: 46907
1616.31/1620.82 c #Conflicts: 606000 | #Constraints: 47907
1616.31/1620.82 c #Conflicts: 607000 | #Constraints: 48907
1616.31/1620.82 c #Conflicts: 608000 | #Constraints: 49907
1616.31/1620.82 c #Conflicts: 609000 | #Constraints: 50907
1616.31/1620.82 c #Conflicts: 610000 | #Constraints: 51907
1616.31/1620.82 c #Conflicts: 611000 | #Constraints: 52907
1616.31/1620.82 c #Conflicts: 612000 | #Constraints: 53907
1616.31/1620.82 c #Conflicts: 613000 | #Constraints: 54907
1616.31/1620.82 c #Conflicts: 614000 | #Constraints: 55907
1616.31/1620.82 c #Conflicts: 615000 | #Constraints: 56907
1616.31/1620.82 c INPROCESSING
1616.31/1620.82 c GARBAGE COLLECT
1616.31/1620.82 c rational objective 1.11799e-13
1859.29/1864.47 c #Conflicts: 616000 | #Constraints: 34440
1859.29/1864.47 c #Conflicts: 617000 | #Constraints: 35440
1859.29/1864.47 c #Conflicts: 618000 | #Constraints: 36440
1859.29/1864.47 c #Conflicts: 619000 | #Constraints: 37440
1859.29/1864.47 c #Conflicts: 620000 | #Constraints: 38440
1859.29/1864.47 c #Conflicts: 621000 | #Constraints: 39440
1859.29/1864.47 c #Conflicts: 622000 | #Constraints: 40440
1859.29/1864.47 c #Conflicts: 623000 | #Constraints: 41440
1859.29/1864.47 c #Conflicts: 624000 | #Constraints: 42440
1859.29/1864.47 c #Conflicts: 625000 | #Constraints: 43440
1859.29/1864.47 c #Conflicts: 626000 | #Constraints: 44440
1859.29/1864.47 c #Conflicts: 627000 | #Constraints: 45440
1859.29/1864.47 c #Conflicts: 628000 | #Constraints: 46440
1859.29/1864.47 c #Conflicts: 629000 | #Constraints: 47440
1859.29/1864.47 c #Conflicts: 630000 | #Constraints: 48440
1859.29/1864.47 c #Conflicts: 631000 | #Constraints: 49440
1859.29/1864.47 c #Conflicts: 632000 | #Constraints: 50440
1859.29/1864.47 c #Conflicts: 633000 | #Constraints: 51440
1859.29/1864.47 c #Conflicts: 634000 | #Constraints: 52440
1859.29/1864.47 c #Conflicts: 635000 | #Constraints: 53440
1859.29/1864.47 c #Conflicts: 636000 | #Constraints: 54440
1859.29/1864.47 c #Conflicts: 637000 | #Constraints: 55440
1859.29/1864.47 c #Conflicts: 638000 | #Constraints: 56440
1859.29/1864.47 c #Conflicts: 639000 | #Constraints: 57440
1859.29/1864.47 c #Conflicts: 640000 | #Constraints: 58440
1859.29/1864.47 c #Conflicts: 641000 | #Constraints: 59440
1859.29/1864.47 c #Conflicts: 642000 | #Constraints: 60440
1859.29/1864.47 c #Conflicts: 643000 | #Constraints: 61440
1859.29/1864.47 c #Conflicts: 644000 | #Constraints: 62440
1859.29/1864.47 c #Conflicts: 645000 | #Constraints: 63440
1859.29/1864.47 c #Conflicts: 646000 | #Constraints: 64440
1859.29/1864.47 c #Conflicts: 647000 | #Constraints: 65440
1859.29/1864.47 c #Conflicts: 648000 | #Constraints: 66440
1859.29/1864.47 c #Conflicts: 649000 | #Constraints: 67440
1859.29/1864.47 c #Conflicts: 650000 | #Constraints: 68440
1859.29/1864.47 c #Conflicts: 651000 | #Constraints: 69440
1859.29/1864.47 c #Conflicts: 652000 | #Constraints: 70440
1859.29/1864.47 c #Conflicts: 653000 | #Constraints: 71440
1859.29/1864.47 c #Conflicts: 654000 | #Constraints: 72440
1859.29/1864.47 c #Conflicts: 655000 | #Constraints: 73440
1859.29/1864.47 c #Conflicts: 656000 | #Constraints: 74440
1859.29/1864.47 c #Conflicts: 657000 | #Constraints: 75440
1859.29/1864.47 c #Conflicts: 658000 | #Constraints: 76440
1859.29/1864.47 c #Conflicts: 659000 | #Constraints: 77440
1859.29/1864.47 c #Conflicts: 660000 | #Constraints: 78440
1859.29/1864.47 c #Conflicts: 661000 | #Constraints: 79440
1859.29/1864.47 c #Conflicts: 662000 | #Constraints: 80440
1859.29/1864.47 c #Conflicts: 663000 | #Constraints: 81440
1859.29/1864.47 c #Conflicts: 664000 | #Constraints: 82440
1859.29/1864.47 c #Conflicts: 665000 | #Constraints: 83440
1859.29/1864.47 c #Conflicts: 666000 | #Constraints: 84440
1859.29/1864.47 c #Conflicts: 667000 | #Constraints: 85440
1859.29/1864.47 c #Conflicts: 668000 | #Constraints: 86440
1859.29/1864.47 c #Conflicts: 669000 | #Constraints: 87440
1859.29/1864.47 c #Conflicts: 670000 | #Constraints: 88440
1859.29/1864.47 c #Conflicts: 671000 | #Constraints: 89440
1859.29/1864.47 c #Conflicts: 672000 | #Constraints: 90440
1859.29/1864.47 c INPROCESSING
1859.29/1864.47 c GARBAGE COLLECT
1859.29/1864.47 c #Conflicts: 673000 | #Constraints: 51195
1859.29/1864.47 c #Conflicts: 674000 | #Constraints: 52195
1859.29/1864.47 c #Conflicts: 675000 | #Constraints: 53195
1859.29/1864.47 c #Conflicts: 676000 | #Constraints: 54195
1859.29/1864.47 c #Conflicts: 677000 | #Constraints: 55195
1859.29/1864.47 c #Conflicts: 678000 | #Constraints: 56195
1859.29/1864.47 c #Conflicts: 679000 | #Constraints: 57195
1859.29/1864.47 c #Conflicts: 680000 | #Constraints: 58195
1859.29/1864.47 c #Conflicts: 681000 | #Constraints: 59195
1859.29/1864.47 c #Conflicts: 682000 | #Constraints: 60195
1859.29/1864.47 c #Conflicts: 683000 | #Constraints: 61195
1859.29/1864.47 c #Conflicts: 684000 | #Constraints: 62195
1859.29/1864.47 c #Conflicts: 685000 | #Constraints: 63195
1859.29/1864.47 c #Conflicts: 686000 | #Constraints: 64195
1859.29/1864.47 c #Conflicts: 687000 | #Constraints: 65195
1859.29/1864.47 c #Conflicts: 688000 | #Constraints: 66195
1859.29/1864.47 c #Conflicts: 689000 | #Constraints: 67195
1859.29/1864.47 c #Conflicts: 690000 | #Constraints: 68195
1859.29/1864.47 c #Conflicts: 691000 | #Constraints: 69195
1859.29/1864.47 c #Conflicts: 692000 | #Constraints: 70195
1859.29/1864.47 c INPROCESSING
1859.29/1864.47 c GARBAGE COLLECT
1859.29/1864.47 c rational objective 1.11799e-13
2167.20/2173.16 c #Conflicts: 693000 | #Constraints: 40935
2167.20/2173.16 c #Conflicts: 694000 | #Constraints: 41935
2167.20/2173.16 c #Conflicts: 695000 | #Constraints: 42935
2167.20/2173.16 c #Conflicts: 696000 | #Constraints: 43935
2167.20/2173.16 c #Conflicts: 697000 | #Constraints: 44935
2167.20/2173.16 c #Conflicts: 698000 | #Constraints: 45935
2167.20/2173.16 c #Conflicts: 699000 | #Constraints: 46935
2167.20/2173.16 c #Conflicts: 700000 | #Constraints: 47935
2167.20/2173.16 c #Conflicts: 701000 | #Constraints: 48935
2167.20/2173.16 c #Conflicts: 702000 | #Constraints: 49935
2167.20/2173.16 c #Conflicts: 703000 | #Constraints: 50935
2167.20/2173.16 c #Conflicts: 704000 | #Constraints: 51935
2167.20/2173.16 c #Conflicts: 705000 | #Constraints: 52935
2167.20/2173.16 c #Conflicts: 706000 | #Constraints: 53935
2167.20/2173.16 c #Conflicts: 707000 | #Constraints: 54935
2167.20/2173.16 c #Conflicts: 708000 | #Constraints: 55935
2167.20/2173.16 c #Conflicts: 709000 | #Constraints: 56935
2167.20/2173.16 c #Conflicts: 710000 | #Constraints: 57935
2167.20/2173.16 c #Conflicts: 711000 | #Constraints: 58935
2167.20/2173.16 c #Conflicts: 712000 | #Constraints: 59935
2167.20/2173.16 c INPROCESSING
2167.20/2173.16 c GARBAGE COLLECT
2167.20/2173.16 c #Conflicts: 713000 | #Constraints: 35550
2167.20/2173.16 c #Conflicts: 714000 | #Constraints: 36550
2167.20/2173.16 c #Conflicts: 715000 | #Constraints: 37550
2167.20/2173.16 c #Conflicts: 716000 | #Constraints: 38550
2167.20/2173.16 c #Conflicts: 717000 | #Constraints: 39550
2167.20/2173.16 c #Conflicts: 718000 | #Constraints: 40550
2167.20/2173.16 c #Conflicts: 719000 | #Constraints: 41550
2167.20/2173.16 c #Conflicts: 720000 | #Constraints: 42550
2167.20/2173.16 c #Conflicts: 721000 | #Constraints: 43550
2167.20/2173.16 c #Conflicts: 722000 | #Constraints: 44550
2167.20/2173.16 c #Conflicts: 723000 | #Constraints: 45550
2167.20/2173.16 c #Conflicts: 724000 | #Constraints: 46550
2167.20/2173.16 c #Conflicts: 725000 | #Constraints: 47550
2167.20/2173.16 c #Conflicts: 726000 | #Constraints: 48550
2167.20/2173.16 c #Conflicts: 727000 | #Constraints: 49550
2167.20/2173.16 c #Conflicts: 728000 | #Constraints: 50550
2167.20/2173.16 c #Conflicts: 729000 | #Constraints: 51550
2167.20/2173.16 c #Conflicts: 730000 | #Constraints: 52550
2167.20/2173.16 c #Conflicts: 731000 | #Constraints: 53550
2167.20/2173.16 c #Conflicts: 732000 | #Constraints: 54550
2167.20/2173.16 c #Conflicts: 733000 | #Constraints: 55550
2167.20/2173.16 c #Conflicts: 734000 | #Constraints: 56550
2167.20/2173.16 c #Conflicts: 735000 | #Constraints: 57550
2167.20/2173.16 c #Conflicts: 736000 | #Constraints: 58550
2167.20/2173.16 c #Conflicts: 737000 | #Constraints: 59550
2167.20/2173.16 c #Conflicts: 738000 | #Constraints: 60550
2167.20/2173.16 c #Conflicts: 739000 | #Constraints: 61550
2167.20/2173.16 c #Conflicts: 740000 | #Constraints: 62550
2167.20/2173.16 c #Conflicts: 741000 | #Constraints: 63550
2167.20/2173.16 c #Conflicts: 742000 | #Constraints: 64550
2167.20/2173.16 c #Conflicts: 743000 | #Constraints: 65550
2167.20/2173.16 c #Conflicts: 744000 | #Constraints: 66550
2167.20/2173.16 c #Conflicts: 745000 | #Constraints: 67550
2167.20/2173.16 c #Conflicts: 746000 | #Constraints: 68550
2167.20/2173.16 c #Conflicts: 747000 | #Constraints: 69550
2167.20/2173.16 c #Conflicts: 748000 | #Constraints: 70550
2167.20/2173.16 c #Conflicts: 749000 | #Constraints: 71550
2167.20/2173.16 c #Conflicts: 750000 | #Constraints: 72550
2167.20/2173.16 c #Conflicts: 751000 | #Constraints: 73550
2167.20/2173.16 c #Conflicts: 752000 | #Constraints: 74550
2167.20/2173.16 c #Conflicts: 753000 | #Constraints: 75550
2167.20/2173.16 c #Conflicts: 754000 | #Constraints: 76550
2167.20/2173.16 c #Conflicts: 755000 | #Constraints: 77550
2167.20/2173.16 c #Conflicts: 756000 | #Constraints: 78550
2167.20/2173.16 c #Conflicts: 757000 | #Constraints: 79550
2167.20/2173.16 c #Conflicts: 758000 | #Constraints: 80550
2167.20/2173.16 c #Conflicts: 759000 | #Constraints: 81550
2167.20/2173.16 c #Conflicts: 760000 | #Constraints: 82550
2167.20/2173.16 c #Conflicts: 761000 | #Constraints: 83550
2167.20/2173.16 c #Conflicts: 762000 | #Constraints: 84550
2167.20/2173.16 c #Conflicts: 763000 | #Constraints: 85550
2167.20/2173.16 c #Conflicts: 764000 | #Constraints: 86550
2167.20/2173.16 c #Conflicts: 765000 | #Constraints: 87550
2167.20/2173.16 c #Conflicts: 766000 | #Constraints: 88550
2167.20/2173.16 c #Conflicts: 767000 | #Constraints: 89550
2167.20/2173.16 c #Conflicts: 768000 | #Constraints: 90550
2167.20/2173.16 c #Conflicts: 769000 | #Constraints: 91550
2167.20/2173.16 c #Conflicts: 770000 | #Constraints: 92550
2167.20/2173.16 c #Conflicts: 771000 | #Constraints: 93550
2180.46/2186.42 c #Conflicts: 772000 | #Constraints: 94550
2180.46/2186.42 c #Conflicts: 773000 | #Constraints: 95550
2180.46/2186.42 c #Conflicts: 774000 | #Constraints: 96550
2180.46/2186.42 c INPROCESSING
2180.46/2186.42 c GARBAGE COLLECT
2180.46/2186.42 c rational objective 1.11799e-13
2249.38/2255.56 c #Conflicts: 775000 | #Constraints: 54263
2249.38/2255.56 c #Conflicts: 776000 | #Constraints: 55263
2249.38/2255.56 c #Conflicts: 777000 | #Constraints: 56263
2249.38/2255.56 c #Conflicts: 778000 | #Constraints: 57263
2249.38/2255.56 c #Conflicts: 779000 | #Constraints: 58263
2249.38/2255.56 c #Conflicts: 780000 | #Constraints: 59263
2249.38/2255.56 c #Conflicts: 781000 | #Constraints: 60263
2249.38/2255.56 c #Conflicts: 782000 | #Constraints: 61263
2249.38/2255.56 c #Conflicts: 783000 | #Constraints: 62263
2249.38/2255.56 c #Conflicts: 784000 | #Constraints: 63263
2249.38/2255.56 c #Conflicts: 785000 | #Constraints: 64263
2249.38/2255.56 c #Conflicts: 786000 | #Constraints: 65263
2249.38/2255.56 c #Conflicts: 787000 | #Constraints: 66263
2249.38/2255.56 c #Conflicts: 788000 | #Constraints: 67263
2249.38/2255.56 c #Conflicts: 789000 | #Constraints: 68263
2249.38/2255.56 c #Conflicts: 790000 | #Constraints: 69263
2249.38/2255.56 c #Conflicts: 791000 | #Constraints: 70263
2249.38/2255.56 c #Conflicts: 792000 | #Constraints: 71263
2249.38/2255.56 c #Conflicts: 793000 | #Constraints: 72263
2249.38/2255.56 c #Conflicts: 794000 | #Constraints: 73263
2249.38/2255.56 c #Conflicts: 795000 | #Constraints: 74263
2249.38/2255.56 c INPROCESSING
2249.38/2255.56 c GARBAGE COLLECT
2249.38/2255.56 c rational objective 1.11799e-13
2492.04/2498.82 c #Conflicts: 796000 | #Constraints: 42755
2492.04/2498.82 c #Conflicts: 797000 | #Constraints: 43755
2492.04/2498.82 c #Conflicts: 798000 | #Constraints: 44755
2492.04/2498.82 c #Conflicts: 799000 | #Constraints: 45755
2492.04/2498.82 c #Conflicts: 800000 | #Constraints: 46755
2492.04/2498.82 c #Conflicts: 801000 | #Constraints: 47755
2492.04/2498.82 c #Conflicts: 802000 | #Constraints: 48755
2492.04/2498.82 c #Conflicts: 803000 | #Constraints: 49755
2492.04/2498.82 c #Conflicts: 804000 | #Constraints: 50755
2492.04/2498.82 c #Conflicts: 805000 | #Constraints: 51755
2492.04/2498.82 c #Conflicts: 806000 | #Constraints: 52755
2492.04/2498.82 c #Conflicts: 807000 | #Constraints: 53755
2492.04/2498.82 c #Conflicts: 808000 | #Constraints: 54755
2492.04/2498.82 c #Conflicts: 809000 | #Constraints: 55755
2492.04/2498.82 c #Conflicts: 810000 | #Constraints: 56755
2492.04/2498.82 c #Conflicts: 811000 | #Constraints: 57755
2492.04/2498.82 c #Conflicts: 812000 | #Constraints: 58755
2492.04/2498.82 c #Conflicts: 813000 | #Constraints: 59755
2492.04/2498.82 c #Conflicts: 814000 | #Constraints: 60755
2492.04/2498.82 c #Conflicts: 815000 | #Constraints: 61755
2492.04/2498.82 c #Conflicts: 816000 | #Constraints: 62755
2492.04/2498.82 c #Conflicts: 817000 | #Constraints: 63755
2492.04/2498.82 c INPROCESSING
2492.04/2498.82 c GARBAGE COLLECT
2492.04/2498.82 c #Conflicts: 818000 | #Constraints: 37676
2492.04/2498.82 c #Conflicts: 819000 | #Constraints: 38676
2492.04/2498.82 c #Conflicts: 820000 | #Constraints: 39676
2492.04/2498.82 c #Conflicts: 821000 | #Constraints: 40676
2492.04/2498.82 c #Conflicts: 822000 | #Constraints: 41676
2492.04/2498.82 c #Conflicts: 823000 | #Constraints: 42676
2492.04/2498.82 c #Conflicts: 824000 | #Constraints: 43676
2492.04/2498.82 c #Conflicts: 825000 | #Constraints: 44676
2492.04/2498.82 c #Conflicts: 826000 | #Constraints: 45676
2492.04/2498.82 c #Conflicts: 827000 | #Constraints: 46676
2492.04/2498.82 c #Conflicts: 828000 | #Constraints: 47676
2492.04/2498.82 c #Conflicts: 829000 | #Constraints: 48676
2492.04/2498.82 c #Conflicts: 830000 | #Constraints: 49676
2492.04/2498.82 c #Conflicts: 831000 | #Constraints: 50676
2492.04/2498.82 c #Conflicts: 832000 | #Constraints: 51676
2492.04/2498.82 c #Conflicts: 833000 | #Constraints: 52676
2492.04/2498.82 c #Conflicts: 834000 | #Constraints: 53676
2492.04/2498.82 c #Conflicts: 835000 | #Constraints: 54676
2492.04/2498.82 c #Conflicts: 836000 | #Constraints: 55676
2492.04/2498.82 c #Conflicts: 837000 | #Constraints: 56676
2492.04/2498.82 c #Conflicts: 838000 | #Constraints: 57676
2492.04/2498.82 c #Conflicts: 839000 | #Constraints: 58676
2492.04/2498.82 c #Conflicts: 840000 | #Constraints: 59676
2492.04/2498.82 c #Conflicts: 841000 | #Constraints: 60676
2492.04/2498.82 c #Conflicts: 842000 | #Constraints: 61676
2492.04/2498.82 c #Conflicts: 843000 | #Constraints: 62676
2492.04/2498.82 c #Conflicts: 844000 | #Constraints: 63676
2492.04/2498.82 c #Conflicts: 845000 | #Constraints: 64676
2492.04/2498.82 c #Conflicts: 846000 | #Constraints: 65676
2492.04/2498.82 c #Conflicts: 847000 | #Constraints: 66676
2492.04/2498.82 c #Conflicts: 848000 | #Constraints: 67676
2492.04/2498.82 c #Conflicts: 849000 | #Constraints: 68676
2492.04/2498.82 c #Conflicts: 850000 | #Constraints: 69676
2492.04/2498.82 c #Conflicts: 851000 | #Constraints: 70676
2492.04/2498.82 c #Conflicts: 852000 | #Constraints: 71676
2492.04/2498.82 c #Conflicts: 853000 | #Constraints: 72677
2492.04/2498.82 c #Conflicts: 854000 | #Constraints: 73677
2492.04/2498.82 c #Conflicts: 855000 | #Constraints: 74677
2492.04/2498.82 c #Conflicts: 856000 | #Constraints: 75677
2492.04/2498.82 c #Conflicts: 857000 | #Constraints: 76677
2492.04/2498.82 c #Conflicts: 858000 | #Constraints: 77677
2492.04/2498.82 c #Conflicts: 859000 | #Constraints: 78677
2492.04/2498.82 c #Conflicts: 860000 | #Constraints: 79677
2492.04/2498.82 c #Conflicts: 861000 | #Constraints: 80677
2492.04/2498.82 c #Conflicts: 862000 | #Constraints: 81677
2492.04/2498.82 c #Conflicts: 863000 | #Constraints: 82677
2492.04/2498.82 c #Conflicts: 864000 | #Constraints: 83677
2492.04/2498.82 c #Conflicts: 865000 | #Constraints: 84677
2492.04/2498.82 c #Conflicts: 866000 | #Constraints: 85677
2492.04/2498.82 c #Conflicts: 867000 | #Constraints: 86677
2492.04/2498.82 c #Conflicts: 868000 | #Constraints: 87677
2492.04/2498.82 c #Conflicts: 869000 | #Constraints: 88677
2492.04/2498.82 c #Conflicts: 870000 | #Constraints: 89677
2492.04/2498.82 c #Conflicts: 871000 | #Constraints: 90677
2492.04/2498.82 c #Conflicts: 872000 | #Constraints: 91677
2492.04/2498.82 c #Conflicts: 873000 | #Constraints: 92677
2492.04/2498.82 c #Conflicts: 874000 | #Constraints: 93677
2526.95/2533.81 c #Conflicts: 875000 | #Constraints: 94677
2526.95/2533.81 c #Conflicts: 876000 | #Constraints: 95677
2526.95/2533.81 c #Conflicts: 877000 | #Constraints: 96677
2526.95/2533.81 c #Conflicts: 878000 | #Constraints: 97677
2526.95/2533.81 c #Conflicts: 879000 | #Constraints: 98677
2526.95/2533.81 c #Conflicts: 880000 | #Constraints: 99677
2526.95/2533.81 c #Conflicts: 881000 | #Constraints: 100677
2526.95/2533.81 c #Conflicts: 882000 | #Constraints: 101677
2526.95/2533.81 c #Conflicts: 883000 | #Constraints: 102677
2526.95/2533.81 c INPROCESSING
2526.95/2533.81 c GARBAGE COLLECT
2526.95/2533.81 c rational objective 1.11799e-13
2586.99/2594.00 c #Conflicts: 884000 | #Constraints: 57256
2586.99/2594.00 c #Conflicts: 885000 | #Constraints: 58256
2586.99/2594.00 c #Conflicts: 886000 | #Constraints: 59256
2586.99/2594.00 c #Conflicts: 887000 | #Constraints: 60256
2586.99/2594.00 c #Conflicts: 888000 | #Constraints: 61256
2586.99/2594.00 c #Conflicts: 889000 | #Constraints: 62256
2586.99/2594.00 c #Conflicts: 890000 | #Constraints: 63256
2586.99/2594.00 c #Conflicts: 891000 | #Constraints: 64256
2586.99/2594.00 c #Conflicts: 892000 | #Constraints: 65256
2586.99/2594.00 c #Conflicts: 893000 | #Constraints: 66256
2586.99/2594.00 c #Conflicts: 894000 | #Constraints: 67256
2586.99/2594.00 c #Conflicts: 895000 | #Constraints: 68256
2586.99/2594.00 c #Conflicts: 896000 | #Constraints: 69256
2586.99/2594.00 c #Conflicts: 897000 | #Constraints: 70256
2586.99/2594.00 c #Conflicts: 898000 | #Constraints: 71256
2586.99/2594.00 c #Conflicts: 899000 | #Constraints: 72256
2586.99/2594.00 c #Conflicts: 900000 | #Constraints: 73256
2586.99/2594.00 c #Conflicts: 901000 | #Constraints: 74256
2586.99/2594.00 c #Conflicts: 902000 | #Constraints: 75256
2586.99/2594.00 c #Conflicts: 903000 | #Constraints: 76256
2586.99/2594.00 c #Conflicts: 904000 | #Constraints: 77256
2586.99/2594.00 c #Conflicts: 905000 | #Constraints: 78256
2586.99/2594.00 c #Conflicts: 906000 | #Constraints: 79256
2586.99/2594.00 c INPROCESSING
2586.99/2594.00 c GARBAGE COLLECT
2586.99/2594.00 c rational objective 1.11799e-13
2903.83/2911.78 c #Conflicts: 907000 | #Constraints: 45428
2903.83/2911.78 c #Conflicts: 908000 | #Constraints: 46428
2903.83/2911.78 c #Conflicts: 909000 | #Constraints: 47428
2903.83/2911.78 c #Conflicts: 910000 | #Constraints: 48428
2903.83/2911.78 c #Conflicts: 911000 | #Constraints: 49428
2903.83/2911.78 c #Conflicts: 912000 | #Constraints: 50428
2903.83/2911.78 c #Conflicts: 913000 | #Constraints: 51428
2903.83/2911.78 c #Conflicts: 914000 | #Constraints: 52428
2903.83/2911.78 c #Conflicts: 915000 | #Constraints: 53428
2903.83/2911.78 c #Conflicts: 916000 | #Constraints: 54429
2903.83/2911.78 c #Conflicts: 917000 | #Constraints: 55429
2903.83/2911.78 c #Conflicts: 918000 | #Constraints: 56429
2903.83/2911.78 c #Conflicts: 919000 | #Constraints: 57429
2903.83/2911.78 c #Conflicts: 920000 | #Constraints: 58429
2903.83/2911.78 c #Conflicts: 921000 | #Constraints: 59429
2903.83/2911.78 c #Conflicts: 922000 | #Constraints: 60429
2903.83/2911.78 c #Conflicts: 923000 | #Constraints: 61429
2903.83/2911.78 c #Conflicts: 924000 | #Constraints: 62429
2903.83/2911.78 c #Conflicts: 925000 | #Constraints: 63429
2903.83/2911.78 c #Conflicts: 926000 | #Constraints: 64429
2903.83/2911.78 c #Conflicts: 927000 | #Constraints: 65429
2903.83/2911.78 c #Conflicts: 928000 | #Constraints: 66429
2903.83/2911.78 c #Conflicts: 929000 | #Constraints: 67429
2903.83/2911.78 c #Conflicts: 930000 | #Constraints: 68429
2903.83/2911.78 c INPROCESSING
2903.83/2911.78 c GARBAGE COLLECT
2903.83/2911.78 c #Conflicts: 931000 | #Constraints: 41323
2903.83/2911.78 c #Conflicts: 932000 | #Constraints: 42323
2903.83/2911.78 c #Conflicts: 933000 | #Constraints: 43323
2903.83/2911.78 c #Conflicts: 934000 | #Constraints: 44323
2903.83/2911.78 c #Conflicts: 935000 | #Constraints: 45323
2903.83/2911.78 c #Conflicts: 936000 | #Constraints: 46323
2903.83/2911.78 c #Conflicts: 937000 | #Constraints: 47323
2903.83/2911.78 c #Conflicts: 938000 | #Constraints: 48323
2903.83/2911.78 c #Conflicts: 939000 | #Constraints: 49323
2903.83/2911.78 c #Conflicts: 940000 | #Constraints: 50323
2903.83/2911.78 c #Conflicts: 941000 | #Constraints: 51323
2903.83/2911.78 c #Conflicts: 942000 | #Constraints: 52323
2903.83/2911.78 c #Conflicts: 943000 | #Constraints: 53323
2903.83/2911.78 c #Conflicts: 944000 | #Constraints: 54323
2903.83/2911.78 c #Conflicts: 945000 | #Constraints: 55323
2903.83/2911.78 c #Conflicts: 946000 | #Constraints: 56323
2903.83/2911.78 c #Conflicts: 947000 | #Constraints: 57323
2903.83/2911.78 c #Conflicts: 948000 | #Constraints: 58323
2903.83/2911.78 c #Conflicts: 949000 | #Constraints: 59323
2903.83/2911.78 c #Conflicts: 950000 | #Constraints: 60323
2903.83/2911.78 c #Conflicts: 951000 | #Constraints: 61323
2903.83/2911.78 c #Conflicts: 952000 | #Constraints: 62323
2903.83/2911.78 c #Conflicts: 953000 | #Constraints: 63323
2903.83/2911.78 c #Conflicts: 954000 | #Constraints: 64323
2903.83/2911.78 c #Conflicts: 955000 | #Constraints: 65323
2903.83/2911.78 c #Conflicts: 956000 | #Constraints: 66323
2903.83/2911.78 c #Conflicts: 957000 | #Constraints: 67323
2903.83/2911.78 c #Conflicts: 958000 | #Constraints: 68323
2903.83/2911.78 c #Conflicts: 959000 | #Constraints: 69323
2903.83/2911.78 c #Conflicts: 960000 | #Constraints: 70323
2903.83/2911.78 c #Conflicts: 961000 | #Constraints: 71323
2903.83/2911.78 c #Conflicts: 962000 | #Constraints: 72323
2903.83/2911.78 c #Conflicts: 963000 | #Constraints: 73324
2903.83/2911.78 c #Conflicts: 964000 | #Constraints: 74324
2903.83/2911.78 c #Conflicts: 965000 | #Constraints: 75324
2903.83/2911.78 c #Conflicts: 966000 | #Constraints: 76324
2903.83/2911.78 c #Conflicts: 967000 | #Constraints: 77324
2903.83/2911.78 c #Conflicts: 968000 | #Constraints: 78324
2903.83/2911.78 c #Conflicts: 969000 | #Constraints: 79324
2903.83/2911.78 c #Conflicts: 970000 | #Constraints: 80324
2903.83/2911.78 c #Conflicts: 971000 | #Constraints: 81324
2903.83/2911.78 c #Conflicts: 972000 | #Constraints: 82324
2903.83/2911.78 c #Conflicts: 973000 | #Constraints: 83324
2903.83/2911.78 c #Conflicts: 974000 | #Constraints: 84324
2903.83/2911.78 c #Conflicts: 975000 | #Constraints: 85324
2903.83/2911.78 c #Conflicts: 976000 | #Constraints: 86324
2903.83/2911.78 c #Conflicts: 977000 | #Constraints: 87324
2903.83/2911.78 c #Conflicts: 978000 | #Constraints: 88324
2903.83/2911.78 c #Conflicts: 979000 | #Constraints: 89324
2903.83/2911.78 c #Conflicts: 980000 | #Constraints: 90324
2903.83/2911.78 c #Conflicts: 981000 | #Constraints: 91324
2903.83/2911.78 c #Conflicts: 982000 | #Constraints: 92324
2903.83/2911.78 c #Conflicts: 983000 | #Constraints: 93324
2903.83/2911.78 c #Conflicts: 984000 | #Constraints: 94324
2903.83/2911.78 c #Conflicts: 985000 | #Constraints: 95324
3013.15/3021.34 c #Conflicts: 986000 | #Constraints: 96324
3013.15/3021.34 c #Conflicts: 987000 | #Constraints: 97324
3013.15/3021.34 c #Conflicts: 988000 | #Constraints: 98324
3013.15/3021.34 c #Conflicts: 989000 | #Constraints: 99324
3013.15/3021.34 c #Conflicts: 990000 | #Constraints: 100324
3013.15/3021.34 c #Conflicts: 991000 | #Constraints: 101324
3013.15/3021.34 c #Conflicts: 992000 | #Constraints: 102324
3013.15/3021.34 c #Conflicts: 993000 | #Constraints: 103324
3013.15/3021.34 c #Conflicts: 994000 | #Constraints: 104324
3013.15/3021.34 c #Conflicts: 995000 | #Constraints: 105324
3013.15/3021.34 c #Conflicts: 996000 | #Constraints: 106324
3013.15/3021.34 c #Conflicts: 997000 | #Constraints: 107324
3013.15/3021.34 c #Conflicts: 998000 | #Constraints: 108324
3013.15/3021.34 c #Conflicts: 999000 | #Constraints: 109324
3013.15/3021.34 c INPROCESSING
3013.15/3021.34 c GARBAGE COLLECT
3013.15/3021.34 c rational objective 1.11799e-13
3300.41/3309.32 c #Conflicts: 1000000 | #Constraints: 60457
3300.41/3309.32 c #Conflicts: 1001000 | #Constraints: 61457
3300.41/3309.32 c #Conflicts: 1002000 | #Constraints: 62457
3300.41/3309.32 c #Conflicts: 1003000 | #Constraints: 63457
3300.41/3309.32 c #Conflicts: 1004000 | #Constraints: 64457
3300.41/3309.32 c #Conflicts: 1005000 | #Constraints: 65457
3300.41/3309.32 c #Conflicts: 1006000 | #Constraints: 66457
3300.41/3309.32 c #Conflicts: 1007000 | #Constraints: 67457
3300.41/3309.32 c #Conflicts: 1008000 | #Constraints: 68457
3300.41/3309.32 c #Conflicts: 1009000 | #Constraints: 69457
3300.41/3309.32 c #Conflicts: 1010000 | #Constraints: 70457
3300.41/3309.32 c #Conflicts: 1011000 | #Constraints: 71457
3300.41/3309.32 c #Conflicts: 1012000 | #Constraints: 72457
3300.41/3309.32 c #Conflicts: 1013000 | #Constraints: 73457
3300.41/3309.32 c #Conflicts: 1014000 | #Constraints: 74457
3300.41/3309.32 c #Conflicts: 1015000 | #Constraints: 75457
3300.41/3309.32 c #Conflicts: 1016000 | #Constraints: 76457
3300.41/3309.32 c #Conflicts: 1017000 | #Constraints: 77457
3300.41/3309.32 c #Conflicts: 1018000 | #Constraints: 78457
3300.41/3309.32 c #Conflicts: 1019000 | #Constraints: 79457
3300.41/3309.32 c #Conflicts: 1020000 | #Constraints: 80457
3300.41/3309.32 c #Conflicts: 1021000 | #Constraints: 81457
3300.41/3309.32 c #Conflicts: 1022000 | #Constraints: 82457
3300.41/3309.32 c #Conflicts: 1023000 | #Constraints: 83457
3300.41/3309.32 c #Conflicts: 1024000 | #Constraints: 84457
3300.41/3309.32 c INPROCESSING
3300.41/3309.32 c GARBAGE COLLECT
3300.41/3309.32 c #Conflicts: 1025000 | #Constraints: 47996
3300.41/3309.32 c #Conflicts: 1026000 | #Constraints: 48996
3300.41/3309.32 c #Conflicts: 1027000 | #Constraints: 49996
3300.41/3309.32 c #Conflicts: 1028000 | #Constraints: 50996
3300.41/3309.32 c #Conflicts: 1029000 | #Constraints: 51996
3300.41/3309.32 c #Conflicts: 1030000 | #Constraints: 52996
3300.41/3309.32 c #Conflicts: 1031000 | #Constraints: 53996
3300.41/3309.32 c #Conflicts: 1032000 | #Constraints: 54996
3300.41/3309.32 c #Conflicts: 1033000 | #Constraints: 55996
3300.41/3309.32 c #Conflicts: 1034000 | #Constraints: 56996
3300.41/3309.32 c #Conflicts: 1035000 | #Constraints: 57996
3300.41/3309.32 c #Conflicts: 1036000 | #Constraints: 58996
3300.41/3309.32 c #Conflicts: 1037000 | #Constraints: 59996
3300.41/3309.32 c #Conflicts: 1038000 | #Constraints: 60996
3300.41/3309.32 c #Conflicts: 1039000 | #Constraints: 61996
3300.41/3309.32 c #Conflicts: 1040000 | #Constraints: 62996
3300.41/3309.32 c #Conflicts: 1041000 | #Constraints: 63996
3300.41/3309.32 c #Conflicts: 1042000 | #Constraints: 64996
3300.41/3309.32 c #Conflicts: 1043000 | #Constraints: 65996
3300.41/3309.32 c #Conflicts: 1044000 | #Constraints: 66996
3300.41/3309.32 c #Conflicts: 1045000 | #Constraints: 67996
3300.41/3309.32 c #Conflicts: 1046000 | #Constraints: 68996
3300.41/3309.32 c #Conflicts: 1047000 | #Constraints: 69996
3300.41/3309.32 c #Conflicts: 1048000 | #Constraints: 70996
3300.41/3309.32 c #Conflicts: 1049000 | #Constraints: 71996
3300.41/3309.32 c INPROCESSING
3300.41/3309.32 c GARBAGE COLLECT
3300.41/3309.32 c #Conflicts: 1050000 | #Constraints: 42694
3300.41/3309.32 c #Conflicts: 1051000 | #Constraints: 43694
3300.41/3309.32 c #Conflicts: 1052000 | #Constraints: 44694
3300.41/3309.32 c #Conflicts: 1053000 | #Constraints: 45694
3300.41/3309.32 c #Conflicts: 1054000 | #Constraints: 46694
3300.41/3309.32 c #Conflicts: 1055000 | #Constraints: 47694
3300.41/3309.32 c #Conflicts: 1056000 | #Constraints: 48694
3300.41/3309.32 c #Conflicts: 1057000 | #Constraints: 49694
3300.41/3309.32 c #Conflicts: 1058000 | #Constraints: 50694
3300.41/3309.32 c #Conflicts: 1059000 | #Constraints: 51694
3300.41/3309.32 c #Conflicts: 1060000 | #Constraints: 52694
3300.41/3309.32 c #Conflicts: 1061000 | #Constraints: 53694
3300.41/3309.32 c #Conflicts: 1062000 | #Constraints: 54694
3300.41/3309.32 c #Conflicts: 1063000 | #Constraints: 55694
3300.41/3309.32 c #Conflicts: 1064000 | #Constraints: 56694
3300.41/3309.32 c #Conflicts: 1065000 | #Constraints: 57694
3300.41/3309.32 c #Conflicts: 1066000 | #Constraints: 58694
3300.41/3309.32 c #Conflicts: 1067000 | #Constraints: 59694
3300.41/3309.32 c #Conflicts: 1068000 | #Constraints: 60694
3300.41/3309.32 c #Conflicts: 1069000 | #Constraints: 61694
3300.41/3309.32 c #Conflicts: 1070000 | #Constraints: 62694
3300.41/3309.32 c #Conflicts: 1071000 | #Constraints: 63694
3300.41/3309.32 c #Conflicts: 1072000 | #Constraints: 64694
3300.41/3309.32 c #Conflicts: 1073000 | #Constraints: 65694
3300.41/3309.32 c #Conflicts: 1074000 | #Constraints: 66694
3300.41/3309.32 c #Conflicts: 1075000 | #Constraints: 67694
3300.41/3309.32 c #Conflicts: 1076000 | #Constraints: 68694
3300.41/3309.32 c #Conflicts: 1077000 | #Constraints: 69694
3600.03/3609.70 c #Conflicts: 1078000 | #Constraints: 70694
3600.03/3609.70 c #Conflicts: 1079000 | #Constraints: 71694
3600.03/3609.70 c #Conflicts: 1080000 | #Constraints: 72694
3600.03/3609.70 c #Conflicts: 1081000 | #Constraints: 73694
3600.03/3609.70 c #Conflicts: 1082000 | #Constraints: 74694
3600.03/3609.70 c #Conflicts: 1083000 | #Constraints: 75694
3600.03/3609.70 c #Conflicts: 1084000 | #Constraints: 76694
3600.03/3609.70 c #Conflicts: 1085000 | #Constraints: 77694
3600.03/3609.70 c #Conflicts: 1086000 | #Constraints: 78694
3600.03/3609.70 c #Conflicts: 1087000 | #Constraints: 79694
3600.03/3609.70 c #Conflicts: 1088000 | #Constraints: 80694
3600.03/3609.70 c #Conflicts: 1089000 | #Constraints: 81694
3600.03/3609.70 c #Conflicts: 1090000 | #Constraints: 82694
3600.03/3609.70 c #Conflicts: 1091000 | #Constraints: 83694
3600.03/3609.70 c #Conflicts: 1092000 | #Constraints: 84694
3600.03/3609.70 c #Conflicts: 1093000 | #Constraints: 85694
3600.03/3609.70 c #Conflicts: 1094000 | #Constraints: 86694
3600.03/3609.70 c #Conflicts: 1095000 | #Constraints: 87694
3600.03/3609.70 c #Conflicts: 1096000 | #Constraints: 88694
3600.03/3609.70 c #Conflicts: 1097000 | #Constraints: 89694
3600.03/3609.70 c #Conflicts: 1098000 | #Constraints: 90694
3600.03/3609.70 c #Conflicts: 1099000 | #Constraints: 91694
3600.03/3609.70 c #Conflicts: 1100000 | #Constraints: 92694
3600.03/3609.70 c #Conflicts: 1101000 | #Constraints: 93694
3600.03/3609.70 c #Conflicts: 1102000 | #Constraints: 94694
3600.03/3609.70 c #Conflicts: 1103000 | #Constraints: 95694
3600.03/3609.70 c #Conflicts: 1104000 | #Constraints: 96694
3600.03/3609.70 c #Conflicts: 1105000 | #Constraints: 97694
3600.03/3609.70 c #Conflicts: 1106000 | #Constraints: 98694
3600.03/3609.70 c #Conflicts: 1107000 | #Constraints: 99694
3600.03/3609.70 c #Conflicts: 1108000 | #Constraints: 100694
3600.03/3609.70 c #Conflicts: 1109000 | #Constraints: 101694
3600.03/3609.70 c #Conflicts: 1110000 | #Constraints: 102694
3600.03/3609.70 c #Conflicts: 1111000 | #Constraints: 103694
3600.03/3609.70 c #Conflicts: 1112000 | #Constraints: 104694
3600.03/3609.70 c #Conflicts: 1113000 | #Constraints: 105694
3600.03/3609.70 c #Conflicts: 1114000 | #Constraints: 106694
3600.03/3609.70 c #Conflicts: 1115000 | #Constraints: 107694
3600.03/3609.70 c #Conflicts: 1116000 | #Constraints: 108694
3600.03/3609.70 c #Conflicts: 1117000 | #Constraints: 109694
3600.03/3609.70 c #Conflicts: 1118000 | #Constraints: 110694
3600.03/3609.70 c cpu time 3581.01 s
3600.03/3609.70 c deterministic time 77516626679 7.75e+10
3600.03/3609.70 c optimization time 413.418 s
3600.03/3609.70 c total solve time 3167.55 s
3600.03/3609.70 c core-guided solve time 0 s
3600.03/3609.70 c propagation time 1058.74 s
3600.03/3609.70 c conflict analysis time 2443.34 s
3600.03/3609.70 c propagations 588932887
3600.03/3609.70 c resolve steps 248669775
3600.03/3609.70 c decisions 1699528
3600.03/3609.70 c conflicts 1118337
3600.03/3609.70 c restarts 2046
3600.03/3609.70 c inprocessing phases 53
3600.03/3609.70 c garbage collections 53 ,( 100.00 )
3600.03/3609.70 c input clauses 6156 ,( 68.67 )
3600.03/3609.70 c input cardinalities 0 ,( 0.00 )
3600.03/3609.70 c input general constraints 2809 ,( 31.33 )
3600.03/3609.70 c input average constraint length 3.10
3600.03/3609.70 c input average constraint degree 2009414223033.63
3600.03/3609.70 c learned clauses 902800 ,( 80.73 )
3600.03/3609.70 c learned cardinalities 98 ,( 0.01 )
3600.03/3609.70 c learned general constraints 215448 ,( 19.26 )
3600.03/3609.70 c learned average constraint length 486.58
3600.03/3609.70 c learned average constraint degree 55818656.73
3600.03/3609.70 c watched CF 32, 64, 128, Arb: 50519 , 0 , 0 , 0
3600.03/3609.70 c counting CF 32, 64, 128, Arb: 167737 , 1 , 0 , 0
3600.03/3609.70 c watched constraints 50519 ,( 23.15 )
3600.03/3609.70 c counting constraints 167738 ,( 76.85 )
3600.03/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 708754150 , 2001170 , 12414785084 ,( 110332982 , 12304452102 )
3600.03/3609.70 c gcd simplifications 19648
3600.03/3609.70 c detected cardinalities 21
3600.03/3609.70 c weakened non-implied lits 82690803
3600.03/3609.70 c weakened non-implying lits 372166
3600.03/3609.70 c original variables 4482
3600.03/3609.70 c clausal propagations 161138535
3600.03/3609.70 c cardinality propagations 82646
3600.03/3609.70 c watched propagations 1224885
3600.03/3609.70 c counting propagations 425358857
3600.03/3609.70 c watch lookups 48463376223
3600.03/3609.70 c watch backjump lookups 0
3600.03/3609.70 c watch checks 6614139398
3600.03/3609.70 c propagation checks 19058934197
3600.03/3609.70 c constraint additions 2197579108
3600.03/3609.70 c trail pops 591747976
3600.03/3609.70 c formula constraints 8965
3600.03/3609.70 c learned constraints 1118327
3600.03/3609.70 c bound constraints 0
3600.03/3609.70 c core-guided constraints 0
3600.03/3609.70 c encountered formula constraints 195125466
3600.03/3609.70 c encountered learned constraints 54490665
3600.03/3609.70 c encountered bound constraints 0
3600.03/3609.70 c encountered core-guided constraints 0
3600.03/3609.70 c LP total time 18.4664 s
3600.03/3609.70 c LP solve time 16.88 s
3600.03/3609.70 c LP constraints added 8965
3600.03/3609.70 c LP constraints removed 0
3600.03/3609.70 c LP pivots internal 111985
3600.03/3609.70 c LP pivots root 105376
3600.03/3609.70 c LP calls 251
3600.03/3609.70 c LP optimalities 237
3600.03/3609.70 c LP no pivot count 19
3600.03/3609.70 c LP infeasibilities 10
3600.03/3609.70 c LP valid Farkas constraints 10
3600.03/3609.70 c LP learned Farkas constraints 9
3600.03/3609.70 c LP basis resets 0
3600.03/3609.70 c LP cycling count 0
3600.03/3609.70 c LP singular count 0
3600.03/3609.70 c LP no primal count 0
3600.03/3609.70 c LP no farkas count 0
3600.03/3609.70 c LP other issue count 0
3600.03/3609.70 c LP Gomory cuts 0
3600.03/3609.70 c LP learned cuts 0
3600.03/3609.70 c LP deleted cuts 0
3600.03/3609.70 c LP encountered Gomory constraints 0
3600.03/3609.70 c LP encountered Farkas constraints 170324
3600.03/3609.70 c LP encountered learned Farkas constraints 1648
3600.03/3609.70 c CG auxiliary variables introduced 0
3600.03/3609.70 c CG solutions found 0
3600.03/3609.70 c CG cores constructed 0
3600.03/3609.70 c CG core cardinality constraints returned 0
3600.03/3609.70 c CG unit cores 0
3600.03/3609.70 c CG single cores 0
3600.03/3609.70 c CG blocks removed during cardinality reduction 0
3600.03/3609.70 c CG first core best 0
3600.03/3609.70 c CG decision core best 0
3600.03/3609.70 c CG core reduction tie 0
3600.03/3609.70 c CG core degree average 0.00
3600.03/3609.70 c CG core slack average 0.00
3600.03/3609.70 c CG core upper bound improvements 0
3600.03/3609.70 c STR number of successful calls 0
3600.03/3609.70 c STR number of unsuccessful calls 0
3600.03/3609.70 c STR number of inconclusive calls 0
3600.03/3609.70 c STR number of successful attempts 0
3600.03/3609.70 c STR number of unsuccessful attempts 0
3600.03/3609.70 c STR number of inconclusive attempts 0
3600.03/3609.70 c STR average degree increase per successful call inf
3600.03/3609.70 c STR average degree increase per successful attempt inf
3600.03/3609.70 c STR total number of conflicts for successful attempts 0
3600.03/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.70 c STR average number of conflicts per successful attempt inf
3600.03/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.70 c AVG.sumWPerc 66.88
3600.03/3609.70 c bigint constraints 1
3600.03/3609.70 s UNKNOWN
3600.03/3609.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62094 MiB free)
memory of node 1: 64465 MiB (63580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542074-1753202597/watcher-4542074-1753202597 -o /tmp/evaluation-result-4542074-1753202597/solver-4542074-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149648 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4542074-1753202597.opb /tmp/proof-4542074-1753202597
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=150081, runsolver pid=150078
Current StackSize limit: 8192 KiB
[startup+0.100047 s]*
/proc/loadavg: 4.31 4.17 4.07 6/267 150083
/proc/meminfo: memFree=128679304/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=72880 memory=24912 CPUtime=0.09 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 4630 0 0 0 8 1 0 0 20 0 1 0 235938347 74629120 6228 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 18220 6228 2368 1147 0 5647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77072 KiB
Current children cumulated memory: 27856 KiB
[startup+0.205741 s]*
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128679304/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=73584 memory=26320 CPUtime=0.19 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 4984 0 0 0 18 1 0 0 20 0 1 0 235938347 75350016 6580 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 18396 6580 2368 1147 0 5823 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77776 KiB
Current children cumulated memory: 29264 KiB
[startup+0.305644 s]*
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128671240/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=74784 memory=27984 CPUtime=0.29 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 5421 0 0 0 28 1 0 0 20 0 1 0 235938347 76578816 6996 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 18696 6996 2368 1147 0 6123 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78976 KiB
Current children cumulated memory: 30928 KiB
[startup+0.70019 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128657836/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=75848 memory=29520 CPUtime=0.67 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 5803 0 0 0 66 1 0 0 20 0 1 0 235938347 77668352 7380 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 18962 7380 2368 1147 0 6389 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 80040 KiB
Current children cumulated memory: 32464 KiB
[startup+1.50017 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128637932/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=76688 memory=32876 CPUtime=1.47 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 6114 0 0 0 145 2 0 0 20 0 1 0 235938347 78528512 8219 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 19172 8219 2368 1147 0 6599 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 80880 KiB
Current children cumulated memory: 35820 KiB
[startup+3.10553 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128549448/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=77704 memory=33516 CPUtime=3.08 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 6272 0 0 0 305 3 0 0 20 0 1 0 235938347 79568896 8379 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 19426 8379 2368 1147 0 6853 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 81896 KiB
Current children cumulated memory: 36460 KiB
[startup+6.30016 s]
/proc/loadavg: 4.29 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128453548/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=78100 memory=34156 CPUtime=6.26 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 6441 0 0 0 621 5 0 0 20 0 1 0 235938347 79974400 8539 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 19525 8539 2368 1147 0 6952 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 82292 KiB
Current children cumulated memory: 37100 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128317308/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=82544 memory=36076 CPUtime=12.64 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 6926 0 0 0 1256 8 0 0 20 0 1 0 235938347 84525056 9019 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 20636 9019 2368 1147 0 8063 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 86736 KiB
Current children cumulated memory: 39020 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.17 4.08 5/267 150084
/proc/meminfo: memFree=128087680/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=84396 memory=38252 CPUtime=25.41 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 7464 0 0 0 2523 18 0 0 20 0 1 0 235938347 86421504 9563 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 21099 9563 2368 1147 0 8526 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 88588 KiB
Current children cumulated memory: 41196 KiB
[startup+51.1057 s]
/proc/loadavg: 4.19 4.16 4.08 5/267 150085
/proc/meminfo: memFree=127729248/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=100908 memory=50988 CPUtime=50.96 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 10189 0 0 0 5059 37 0 0 20 0 1 0 235938347 103329792 12747 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 25227 12747 2368 1147 0 12654 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 105100 KiB
Current children cumulated memory: 53932 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.19 4.09 5/268 150088
/proc/meminfo: memFree=126929128/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=127976 memory=83220 CPUtime=102 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 14667 0 0 0 10133 67 0 0 20 0 1 0 235938347 131047424 20805 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 31994 20805 2368 1147 0 19421 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 132168 KiB
Current children cumulated memory: 86164 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.20 4.10 5/268 150090
/proc/meminfo: memFree=126024764/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=152664 memory=92848 CPUtime=161.81 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 16602 0 0 0 16076 105 0 0 20 0 1 0 235938347 156327936 23212 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 38166 23212 2368 1147 0 25593 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 156856 KiB
Current children cumulated memory: 95792 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.21 4.10 5/268 150092
/proc/meminfo: memFree=125157656/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=154152 memory=94384 CPUtime=221.63 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 16985 0 0 0 22022 141 0 0 20 0 1 0 235938347 157851648 23596 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 38538 23596 2368 1147 0 25965 0
################
# More data... #
################
/proc/150083/statm: 166601 122543 2368 1147 0 154028 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 670596 KiB
Current children cumulated memory: 493116 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.24 4.20 5/268 150251
/proc/meminfo: memFree=98063920/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=667600 memory=491452 CPUtime=3153.78 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 65307 0 0 0 313664 1714 0 0 20 0 1 0 235938347 683622400 122863 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 166900 122863 2368 1147 0 154327 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 671792 KiB
Current children cumulated memory: 494396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.25 4.20 5/268 150253
/proc/meminfo: memFree=97593544/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=671368 memory=494908 CPUtime=3213.63 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 66187 0 0 0 319623 1740 0 0 20 0 1 0 235938347 687480832 123727 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 167842 123727 2368 1147 0 155269 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 675560 KiB
Current children cumulated memory: 497852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/267 150255
/proc/meminfo: memFree=97137876/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=671368 memory=494908 CPUtime=3273.47 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 66187 0 0 0 325576 1771 0 0 20 0 1 0 235938347 687480832 123727 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 167842 123727 2368 1147 0 155269 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 675560 KiB
Current children cumulated memory: 497852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.22 4.19 5/266 150257
/proc/meminfo: memFree=96662004/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=671368 memory=495036 CPUtime=3333.33 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 66201 0 0 0 331535 1798 0 0 20 0 1 0 235938347 687480832 123759 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 167842 123759 2368 1147 0 155269 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 675560 KiB
Current children cumulated memory: 497980 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/266 150259
/proc/meminfo: memFree=96315540/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=671368 memory=495036 CPUtime=3393.18 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 66205 0 0 0 337493 1825 0 0 20 0 1 0 235938347 687480832 123759 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 167842 123759 2368 1147 0 155269 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 675560 KiB
Current children cumulated memory: 497980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/267 150262
/proc/meminfo: memFree=95863232/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=674648 memory=497468 CPUtime=3453.02 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 66814 0 0 0 343456 1846 0 0 20 0 1 0 235938347 690839552 124367 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 168662 124367 2368 1147 0 156089 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 678840 KiB
Current children cumulated memory: 500412 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/267 150264
/proc/meminfo: memFree=95472256/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=681308 memory=502204 CPUtime=3512.86 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 67999 0 0 0 349417 1869 0 0 20 0 1 0 235938347 697659392 125551 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 170327 125551 2368 1147 0 157754 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 685500 KiB
Current children cumulated memory: 505148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/267 150266
/proc/meminfo: memFree=95046356/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=686812 memory=535256 CPUtime=3572.7 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 69109 0 0 0 355377 1893 0 0 20 0 1 0 235938347 703295488 133814 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 171703 133814 2368 1147 0 159130 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 691004 KiB
Current children cumulated memory: 538200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.19 4.19 4.18 5/268 150275
/proc/meminfo: memFree=94875260/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=689884 memory=550056 CPUtime=3600.03 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 69737 0 0 0 358100 1903 0 0 20 0 1 0 235938347 706441216 137514 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 172471 137514 2368 1147 0 159898 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 694076 KiB
Current children cumulated memory: 553000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 150081 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000711 s, system=0.001421 s
[startup+3609.71 s]
# the end of solver process 150083 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.01 s, system=19.0396 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.19 4.19 4.18 5/268 150275
/proc/meminfo: memFree=94875260/131250000 swapFree=33010672/33010684
[pid=150081] ppid=150078 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/150081/stat : 150081 (run-dec-log.sh) S 150078 150081 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938346 4292608 736 18446744073709551615 94600089669632 94600090564165 140726267697664 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94600090803216 94600090850960 94600093597696 140726267701573 140726267701730 140726267701730 140726267707334 0
/proc/150081/statm: 1048 736 672 219 0 110 0
[pid=150083] ppid=150081 vsize=689884 memory=550056 CPUtime=3600.03 cores=1,3
/proc/150083/stat : 150083 (roundingsat) R 150081 150081 149629 0 -1 4194304 69737 0 0 0 358100 1903 0 0 20 0 1 0 235938347 706441216 137514 18446744073709551615 4227072 8923433 140732396318592 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15065088 140732396321163 140732396321318 140732396321318 140732396326890 0
/proc/150083/statm: 172471 137514 2368 1147 0 159898 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 694076 KiB
Current children cumulated memory: 553000 KiB
Child status: 2
Real time (s): 3609.71
CPU time (s): 3600.05
CPU user time (s): 3581.01
CPU system time (s): 19.0396
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 694076
Max. memory (cumulated for all children) (KiB): 553000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.01
system time used= 19.0396
maximum resident set size= 550312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22059800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 243
involuntary context switches= 4844
# summary of solver processes directly reported to runsolver:
# pid: 150081,150083
# total CPU time (s): 3600.05
# total CPU user time (s): 3581.01
# total CPU system time (s): 19.0396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34495 second user time and 16.8052 second system time
The end
Begin job on nodeC026 at 2025-07-22 18:43:17
IDJOB=4542074
IDBENCH=163785
IDSOLVER=3352
FILE ID=nodeC026/4542074-1753202597
RUNJOBID= nodeC026-1753198973-149648
SLURM_JOB_ID= 9687759
Free space on /tmp= 432996 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_comm/normalized-27diagcomm_less_teq.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542074-1753202597/watcher-4542074-1753202597 -o /tmp/evaluation-result-4542074-1753202597/solver-4542074-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149648 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4542074-1753202597.opb /tmp/proof-4542074-1753202597
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e80427fd7184340cbc2fb1b3fd72520e
RANDOM SEED=1063239506
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.818
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.756
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.820
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.736
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.790
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.024
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.573
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128699952 kB
MemAvailable: 129540496 kB
Buffers: 2128 kB
Cached: 1466628 kB
SwapCached: 4 kB
Active: 1254656 kB
Inactive: 324488 kB
Active(anon): 131316 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 319144 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35820 kB
Writeback: 0 kB
AnonPages: 113508 kB
Mapped: 121864 kB
Shmem: 26268 kB
KReclaimable: 458860 kB
Slab: 563148 kB
SReclaimable: 458860 kB
SUnreclaim: 104288 kB
KernelStack: 4352 kB
PageTables: 3032 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 462884 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 397648 MiB
End job on nodeC026 at 2025-07-22 19:43:27