(1,26) (2,22) (3,19) (4,23) (6,24) (7,25) (8,20) (9,28) (10,27) (11,17) (12,16) (13,18) (14,30) (15,21) 
nodes: 5645  conflicts: 14  modelTime: 1189  solveTime: 17155  totalTime: 18353  modelSize: 41292  readTime: 9 size: 14