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