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