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