(1,28) (2,18) (3,27) (4,24) (5,25) (7,20) (8,16) (9,29) (10,19) (11,23) (12,17) (13,26) (14,30) (15,21) 
nodes: 2458  conflicts: 35  modelTime: 966  solveTime: 6948  totalTime: 7922  modelSize: 41298  readTime: 8 size: 14