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