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