(1,14) (2,25) (3,13) (4,30) (5,27) (6,23) (7,21) (8,19) (9,24) (10,11) (12,17) (15,18) (16,22) (20,29) (26,28) 
nodes: 150556  conflicts: 34  modelTime: 1421  solveTime: 751787  totalTime: 753219  modelSize: 72262  readTime: 11 size: 15