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