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