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