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