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