(1,16) (2,22) (4,10) (5,27) (6,13) (7,15) (8,9) (12,19) (14,26) (17,23) (20,29) (21,28) (25,30) 
nodes: 5336  conflicts: 111  modelTime: 969  solveTime: 16527  totalTime: 17508  modelSize: 72262  readTime: 12 size: 13