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