(2,30) (3,24) (4,22) (5,16) (6,26) (8,21) (9,23) (10,27) (11,17) (12,25) (13,28) (14,18) (15,20) 
nodes: 6865  conflicts: 24  modelTime: 659  solveTime: 13712  totalTime: 14378  modelSize: 41292  readTime: 7 size: 13