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