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