(1,15) (2,12) (3,5) (6,14) (7,23) (8,25) (10,22) (11,28) (16,18) (17,27) (19,30) (20,26) (21,24) 
nodes: 5335  conflicts: 74  modelTime: 931  solveTime: 10622  totalTime: 11580  modelSize: 72262  readTime: 27 size: 13