(1,9) (2,29) (3,14) (4,23) (5,25) (6,24) (8,30) (10,13) (11,19) (12,20) (15,28) (16,21) (18,27) (22,26) 
nodes: 2055  conflicts: 49  modelTime: 973  solveTime: 7685  totalTime: 8669  modelSize: 72263  readTime: 11 size: 14