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