(1,16) (2,27) (3,30) (4,25) (5,17) (6,24) (7,23) (9,19) (10,22) (11,29) (12,28) (13,20) (14,18) (15,21) 
nodes: 2108  conflicts: 12  modelTime: 1186  solveTime: 5207  totalTime: 6402  modelSize: 41292  readTime: 9 size: 14