(1,11) (2,27) (3,5) (4,30) (6,21) (7,25) (8,17) (10,18) (12,26) (13,19) (14,20) (15,22) (16,29) (23,24) 
nodes: 16606  conflicts: 24  modelTime: 969  solveTime: 57089  totalTime: 58069  modelSize: 72265  readTime: 11 size: 14