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