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