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