(1,8) (2,17) (3,30) (4,16) (5,10) (6,9) (7,29) (11,24) (12,14) (13,19) (15,18) (20,23) (25,27) (26,28) 
nodes: 84938  conflicts: 60  modelTime: 930  solveTime: 331249  totalTime: 332230  modelSize: 72262  readTime: 50 size: 14