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