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