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