(1,14) (2,27) (4,10) (5,30) (6,17) (8,24) (9,23) (11,13) (12,22) (18,19) (20,29) (21,25) 
nodes: 2628  conflicts: 94  modelTime: 1716  solveTime: 11634  totalTime: 13370  modelSize: 72266  readTime: 20 size: 12