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