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