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