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