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