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