(2,8) (3,15) (4,7) (5,14) (6,12) (9,21) (10,30) (11,22) (13,25) (16,29) (18,23) (19,24) (20,28) (26,27) 
nodes: 47954  conflicts: 65  modelTime: 1608  solveTime: 146009  totalTime: 147628  modelSize: 72264  readTime: 11 size: 14