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