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