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