(1,30) (2,21) (3,23) (4,17) (5,19) (6,18) (7,26) (8,24) (9,22) (10,16) (11,28) (12,27) (13,29) (14,20) 
nodes: 2860  conflicts: 12  modelTime: 1196  solveTime: 9121  totalTime: 10326  modelSize: 41293  readTime: 9 size: 14