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