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