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