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