(1,30) (2,28) (3,21) (4,27) (5,25) (6,18) (7,22) (8,16) (9,24) (10,23) (11,29) (12,26) (14,19) 
nodes: 4098  conflicts: 30  modelTime: 662  solveTime: 6369  totalTime: 7037  modelSize: 41293  readTime: 6 size: 13