(1,9) (2,4) (3,24) (5,19) (7,12) (8,14) (10,23) (16,18) (17,28) (20,29) (21,30) (22,26) (25,27) 
nodes: 26066  conflicts: 86  modelTime: 981  solveTime: 78320  totalTime: 79312  modelSize: 72262  readTime: 11 size: 13