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