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