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