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