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