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