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