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