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