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