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