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