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