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