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