(1,5) (2,9) (3,6) (4,10) (7,14) (8,27) (11,16) (12,24) (13,22) (15,29) (17,20) (18,30) (19,25) (21,23) (26,28) 
nodes: 14041  conflicts: 33  modelTime: 952  solveTime: 84551  totalTime: 85514  modelSize: 72265  readTime: 11 size: 15