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