(1,21) (2,23) (3,28) (4,7) (5,10) (6,11) (8,19) (9,27) (12,20) (13,17) (14,25) (15,24) (16,22) (18,26) (29,30) 
nodes: 319799  conflicts: 38  modelTime: 1540  solveTime: 955306  totalTime: 956864  modelSize: 72275  readTime: 18 size: 15