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