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