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