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