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