(1,27) (2,23) (3,15) (4,5) (6,12) (7,16) (8,20) (9,17) (10,22) (11,14) (13,25) (18,29) (19,28) (21,24) (26,30) 
nodes: 28336  conflicts: 49  modelTime: 1714  solveTime: 85549  totalTime: 87403  modelSize: 72262  readTime: 140 size: 15