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