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