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