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