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