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