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