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