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