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