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