(1,7) (2,13) (3,22) (4,18) (5,29) (6,11) (8,14) (9,23) (10,24) (12,25) (15,17) (16,28) (19,26) (20,30) (21,27) 
nodes: 1910107  conflicts: 20  modelTime: 963  solveTime: 10828543  totalTime: 10829537  modelSize: 72264  readTime: 31 size: 15