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