(1,17) (2,7) (3,13) (4,5) (6,21) (8,12) (9,11) (10,14) (15,23) (16,26) (18,25) (19,27) (20,30) (22,28) (24,29) 
nodes: 1254  conflicts: 9  modelTime: 1703  solveTime: 5597  totalTime: 7529  modelSize: 72265  readTime: 229 size: 15