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