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