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