(2,17) (3,21) (4,7) (5,15) (6,23) (8,30) (9,13) (10,12) (11,19) (14,28) (16,25) (18,20) (22,26) (24,29) 
nodes: 11354  conflicts: 73  modelTime: 1732  solveTime: 51822  totalTime: 53576  modelSize: 72263  readTime: 21 size: 14