(1,20) (2,30) (3,29) (4,17) (5,26) (6,28) (7,18) (9,27) (10,25) (11,23) (12,19) (13,21) (14,16) (15,24) 
nodes: 4618  conflicts: 35  modelTime: 658  solveTime: 7616  totalTime: 8281  modelSize: 41298  readTime: 7 size: 14