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