(1,9) (2,6) (3,16) (4,26) (5,11) (7,30) (8,17) (10,28) (12,13) (14,29) (15,23) (18,20) (19,22) (24,27) 
nodes: 41734  conflicts: 36  modelTime: 1220  solveTime: 133803  totalTime: 135044  modelSize: 72274  readTime: 21 size: 14