(1,17) (2,16) (3,30) (4,20) (5,19) (6,28) (8,22) (9,23) (10,29) (11,24) (12,25) (14,26) (15,21) 
nodes: 6323  conflicts: 36  modelTime: 663  solveTime: 10696  totalTime: 11365  modelSize: 41298  readTime: 6 size: 13