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