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