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