(1,26) (2,16) (3,17) (4,12) (5,24) (6,14) (7,9) (8,27) (11,21) (13,19) (15,22) (18,29) (23,30) (25,28) 
nodes: 71118  conflicts: 28  modelTime: 961  solveTime: 302919  totalTime: 303891  modelSize: 72263  readTime: 11 size: 14