(4,24) (6,21) (7,20) (8,18) (9,23) (10,22) (11,26) (12,27) (13,19) (14,25) (15,28) 
nodes: 1555  conflicts: 64  modelTime: 659  solveTime: 2352  totalTime: 3017  modelSize: 41292  readTime: 6 size: 11