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