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