(1,21) (2,28) (3,15) (4,24) (5,16) (7,23) (8,12) (9,13) (10,27) (11,30) (14,17) (18,26) (19,29) (22,25) 
nodes: 12083  conflicts: 51  modelTime: 943  solveTime: 56428  totalTime: 57383  modelSize: 72262  readTime: 12 size: 14