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