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