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