(1,18) (2,7) (3,9) (4,19) (5,11) (6,29) (8,28) (10,21) (12,30) (13,26) (14,23) (16,20) (17,22) (24,25) 
nodes: 6961  conflicts: 66  modelTime: 1697  solveTime: 26936  totalTime: 28653  modelSize: 72262  readTime: 20 size: 14