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