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