(1,18) (3,27) (4,25) (5,22) (6,17) (7,29) (8,24) (9,23) (10,30) (11,19) (12,21) (13,28) (15,26) 
nodes: 3119  conflicts: 30  modelTime: 655  solveTime: 5616  totalTime: 6277  modelSize: 41293  readTime: 6 size: 13