(1,17) (2,20) (3,25) (4,22) (5,28) (6,30) (7,23) (8,26) (9,27) (10,19) (11,29) (13,16) (14,24) (15,21) 
nodes: 9544  conflicts: 46  modelTime: 667  solveTime: 15310  totalTime: 15983  modelSize: 41298  readTime: 6 size: 14