(1,24) (2,6) (3,12) (4,7) (5,30) (8,25) (9,26) (10,29) (11,18) (13,17) (14,27) (15,22) (16,21) (19,20) (23,28) 
nodes: 71558  conflicts: 44  modelTime: 966  solveTime: 383661  totalTime: 384638  modelSize: 72265  readTime: 11 size: 15