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