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