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