(1,7) (2,12) (3,22) (4,20) (5,17) (6,25) (8,26) (9,16) (10,13) (14,24) (15,27) (18,29) (21,30) (23,28) 
nodes: 3001  conflicts: 53  modelTime: 956  solveTime: 13730  totalTime: 14698  modelSize: 72266  readTime: 12 size: 14