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