(1,12) (2,22) (3,26) (4,30) (5,11) (6,17) (7,15) (8,13) (9,19) (10,14) (16,24) (18,25) (20,23) (21,27) 
nodes: 5720  conflicts: 39  modelTime: 1572  solveTime: 26175  totalTime: 27782  modelSize: 72266  readTime: 35 size: 14