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