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