(1,19) (2,26) (3,28) (4,9) (5,7) (6,23) (8,29) (10,15) (11,21) (12,24) (13,27) (14,22) (16,18) (17,25) (20,30) 
nodes: 106401  conflicts: 34  modelTime: 1069  solveTime: 395569  totalTime: 396657  modelSize: 72263  readTime: 19 size: 15