(2,5) (3,27) (4,26) (6,7) (8,11) (9,10) (12,24) (13,20) (14,16) (15,18) (17,19) (21,28) (23,29) (25,30) 
nodes: 14700  conflicts: 47  modelTime: 1719  solveTime: 75422  totalTime: 77159  modelSize: 72266  readTime: 18 size: 14