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