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