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