(1,17) (2,27) (3,12) (4,5) (6,18) (7,21) (8,19) (9,14) (10,24) (11,22) (13,15) (16,30) (20,29) (23,25) (26,28) 
nodes: 28602  conflicts: 17  modelTime: 1562  solveTime: 167164  totalTime: 168744  modelSize: 72264  readTime: 18 size: 15