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