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