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