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