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