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