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