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