(1,17) (2,25) (3,21) (5,16) (6,26) (7,19) (8,27) (9,18) (11,20) (12,29) (13,30) (14,22) (15,24) 
nodes: 3437  conflicts: 57  modelTime: 658  solveTime: 5702  totalTime: 6367  modelSize: 41299  readTime: 7 size: 13