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