(1,25) (2,19) (3,6) (4,21) (5,7) (8,11) (9,15) (10,26) (12,14) (13,24) (16,22) (17,29) (18,27) (20,30) 
nodes: 10689  conflicts: 38  modelTime: 967  solveTime: 35779  totalTime: 36757  modelSize: 72276  readTime: 11 size: 14