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