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