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