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