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