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