(1,4) (2,10) (3,16) (5,19) (6,25) (7,27) (8,15) (9,12) (11,20) (13,17) (14,28) (18,24) (21,23) (26,29) 
nodes: 9138  conflicts: 38  modelTime: 936  solveTime: 23215  totalTime: 24163  modelSize: 72266  readTime: 11 size: 14