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