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