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