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