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