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