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