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