(1,19) (2,9) (3,21) (4,10) (5,17) (6,30) (7,28) (8,15) (11,12) (13,24) (14,29) (16,23) (18,22) (20,25) (26,27) 
nodes: 288879  conflicts: 37  modelTime: 1711  solveTime: 1143195  totalTime: 1144924  modelSize: 72275  readTime: 18 size: 15