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