(2,18) (3,9) (4,14) (5,30) (6,15) (7,26) (8,12) (10,25) (11,23) (13,19) (16,17) (20,28) (21,24) (22,29) 
nodes: 21438  conflicts: 27  modelTime: 972  solveTime: 101109  totalTime: 102093  modelSize: 72269  readTime: 11 size: 14