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