(1,18) (2,27) (3,17) (4,24) (5,21) (6,30) (7,26) (8,20) (9,16) (10,25) (12,19) (13,29) (14,22) 
nodes: 1342  conflicts: 49  modelTime: 660  solveTime: 1884  totalTime: 2550  modelSize: 41293  readTime: 6 size: 13