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