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