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