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