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