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