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