(1,9) (2,5) (3,15) (4,21) (6,20) (7,26) (8,19) (10,14) (11,27) (12,22) (13,30) (16,17) (24,28) (25,29) 
nodes: 62717  conflicts: 57  modelTime: 1081  solveTime: 219061  totalTime: 220162  modelSize: 72262  readTime: 20 size: 14