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