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