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