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