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