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