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