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