(1,2) (3,25) (4,22) (5,11) (6,23) (7,14) (8,20) (9,13) (10,24) (12,16) (15,29) (17,19) (18,28) (21,27) (26,30) 
nodes: 120117  conflicts: 11  modelTime: 1634  solveTime: 666182  totalTime: 667847  modelSize: 72268  readTime: 31 size: 15