(1,30) (2,21) (3,24) (4,16) (5,22) (7,28) (8,29) (9,18) (10,23) (11,19) (14,17) (15,25) 
nodes: 1206  conflicts: 32  modelTime: 662  solveTime: 1612  totalTime: 2280  modelSize: 41293  readTime: 6 size: 12