(1,30) (4,25) (5,27) (6,23) (9,17) (11,21) (12,29) (13,18) (14,20) (15,19) 
nodes: 2999  conflicts: 59  modelTime: 667  solveTime: 5284  totalTime: 5958  modelSize: 41298  readTime: 7 size: 10