(1,22) (2,23) (3,17) (4,26) (5,7) (8,20) (11,18) (12,13) (14,28) (15,30) (16,24) (19,21) (25,27) 
nodes: 1809  conflicts: 99  modelTime: 927  solveTime: 4853  totalTime: 5793  modelSize: 72262  readTime: 12 size: 13