(1,16) (2,12) (3,17) (4,22) (5,23) (6,13) (7,28) (8,18) (9,20) (10,15) (11,29) (14,25) (19,21) (24,26) 
nodes: 489589  conflicts: 37  modelTime: 944  solveTime: 1983925  totalTime: 1984880  modelSize: 72266  readTime: 11 size: 14