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