(1,30) (2,20) (3,16) (4,18) (5,27) (6,19) (7,28) (8,24) (9,29) (10,22) (11,26) (12,17) (13,23) (14,25) 
nodes: 12361  conflicts: 36  modelTime: 656  solveTime: 20817  totalTime: 21478  modelSize: 41293  readTime: 5 size: 14