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