(1,23) (2,6) (3,16) (4,26) (5,13) (7,21) (8,20) (9,11) (10,15) (12,14) (17,19) (18,27) (22,25) (24,29) 
nodes: 312421  conflicts: 27  modelTime: 979  solveTime: 1487186  totalTime: 1488175  modelSize: 72265  readTime: 10 size: 14