(1,22) (2,26) (4,14) (7,28) (8,9) (10,30) (11,23) (12,16) (13,17) (18,29) (19,24) (20,27) (21,25) 
nodes: 1542  conflicts: 110  modelTime: 1718  solveTime: 10902  totalTime: 12632  modelSize: 72262  readTime: 12 size: 13