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