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