(1,10) (2,30) (3,26) (4,22) (5,16) (6,23) (7,20) (8,13) (9,17) (11,15) (12,14) (18,29) (19,27) (21,25) (24,28) 
nodes: 4691  conflicts: 0  modelTime: 936  solveTime: 27231  totalTime: 28174  modelSize: 72338  readTime: 7 size: 15