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