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