(1,30) (2,25) (3,23) (4,29) (5,27) (6,16) (8,21) (9,18) (10,20) (11,24) (12,19) (14,28) (15,22) 
nodes: 2202  conflicts: 32  modelTime: 662  solveTime: 4216  totalTime: 4884  modelSize: 41298  readTime: 6 size: 13