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