(1,30) (2,24) (3,29) (4,26) (5,18) (6,23) (7,28) (8,17) (9,16) (10,22) (11,19) (12,25) (13,21) (14,27) 
nodes: 11556  conflicts: 21  modelTime: 664  solveTime: 21304  totalTime: 21974  modelSize: 41292  readTime: 6 size: 14