(1,24) (2,20) (4,17) (5,27) (6,30) (7,25) (8,22) (9,21) (10,23) (11,28) (14,19) (15,26) 
nodes: 991  conflicts: 57  modelTime: 660  solveTime: 1370  totalTime: 2036  modelSize: 41293  readTime: 6 size: 12