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