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