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