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