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