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