(1,20) (2,26) (4,30) (6,14) (7,9) (8,28) (10,11) (12,17) (15,27) (16,23) (18,24) (21,22) (25,29) 
nodes: 6600  conflicts: 82  modelTime: 1716  solveTime: 30345  totalTime: 32081  modelSize: 72262  readTime: 20 size: 13