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