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