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