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