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