(1,23) (2,10) (3,12) (4,8) (5,22) (6,9) (7,27) (11,17) (13,14) (15,18) (16,29) (19,30) (20,24) (21,28) (25,26) 
nodes: 95603  conflicts: 20  modelTime: 974  solveTime: 431846  totalTime: 432830  modelSize: 72275  readTime: 10 size: 15