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