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