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