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