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