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