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