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