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