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