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