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