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