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