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