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