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