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