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