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